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

摘要：

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

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

所属期刊栏目：24

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

资助基金："973"项目2004CB318000"数学机械方法及其在信息技术中的应用"的资助

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

页数：共3页

页码：258-260