• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Quality of Electronic Design (ISQED), 2009 10th International Symposium on >Improving the accuracy of rule-based equivalence checking of system-level design descriptions by identifying potential internal equivalences
【24h】

Improving the accuracy of rule-based equivalence checking of system-level design descriptions by identifying potential internal equivalences

机译：通过识别潜在的内部等效物来提高基于规则的等效物检查系统级设计描述的准确性

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Rule-based equivalence checking of system-level design descriptions proves the equivalence of two system-level design descriptions by applying the equivalence rules in a bottom-up manner. Since the previous work derives the equivalence of the internal variables based on their names, the method often fails to prove the equivalence when the variable names are changed. This paper proposes a method for improving the accuracy of the rule-based equivalence checking by identifying potential internal equivalences using random simulation. Experimental results using an example design show that the proposed method can prove the equivalence of the designs before and after a practical design optimization.
机译：对系统级设计描述的基于规则的对等检查，通过以自下而上的方式应用对等规则，证明了两个系统级设计描述的对等。由于先前的工作是根据内部变量的名称得出内部变量的等价关系，因此当变量名称更改时，该方法通常无法证明其等效性。本文提出了一种通过使用随机模拟识别潜在的内部当量来提高基于规则的当量检查准确性的方法。通过一个实例设计的实验结果表明，该方法可以证明实际设计优化前后的设计等效性。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号