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

• 作者: 何安平 岳园
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 等价性验证 逻辑锥 可满足性
• 年，卷（期）: 2013,（2）
• 所属期刊栏目: 理论研究、研发设计
• 页码范围: 61-66
• 页数: 6页
• 分类号: TP301
• 字数: 3143字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1112-0395

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	岳园	西北民族大学数学与计算机科学学院	8	7	2.0	2.0
2	何安平	兰州大学信息科学与工程学院	10	13	3.0	3.0