带黑盒组合电路的等价性验证

• 作者: 岳园 张自强 王瑞
• 来源期刊: 科技与创新
• 关键词: 等价性验证 黑盒 逻辑锥 可满足性验证
• 年，卷（期）: 2008,（26）
• 所属期刊栏目: 电子设计
• 页码范围: 258-260
• 页数: 3页
• 分类号: TP391
• 语种: 中文
• DOI: 10.3969/j.issn.1008-0570.2008.26.106

摘要

为了在早期阶段发现电路设计错误,需要对包含未知部分的实现电路和规范电路进行等价性验证.本文提出了一种"分而治之"的方法,把电路划分成若干子电路,使用四值逻辑模拟技术对电路未知部分进行量化,然后对子电路的合取范式进行可满足性验证.这种方法增强了算法的错误检测能力,通过在ISCAS'85基准电路和10个简单组合电路上得到的两组实验数据表明了此算法的有效性和可行性.