使用逻辑锥分割的组合电路等价性验证

摘要：

为了提高等价性验证在数字电路中的验证效率,提出一种逻辑锥分割和可满足性相结合的方法.通过划分规则把参照电路和实现电路划分成若干个逻辑锥,利用匹配技术对两者的逻辑锥进行匹配,将已匹配的两个逻辑锥的输出用一个异或门连接,从而得到Miter电路,将该结构转换成相应的合取范式,用可满足性引擎来验证Miter电路是否功能等价.在ISCAS' 85基准电路的实验结果表明该方法的可行性.

关键词：等价性验证、逻辑锥、可满足性

所属期刊栏目：49

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金11005054

在线出版日期：2013-03-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：61-66