使用输出分组和电路可满足性的等价性验证算法

作     者：郑飞君 严晓浪 葛海通 杨军 卢永江 Zheng Feijun;Yan Xiaolang;Ge Haitong;Yang Jun;Lu Yongjiang

作者机构：浙江大学超大规模集成电路设计研究所杭州310027 

基　　金：国家自然科学基金(90207002) 

出 版 物：《计算机辅助设计与图形学学报》 (Journal of Computer-Aided Design & Computer Graphics)

年 卷 期：2005年第17卷第11期

页      码：2484-2488页

摘      要：介绍了一种使用电路可满足性解算器的组合电路等价性验证算法.对包含多输出的复杂验证问题,首先对联接电路作输出分组,将等价性验证问题转化为包含若干个组的电路可满足性问题,继而使用电路解算器解决问题.同时,注意各个子问题间的有用隐含信息的共享,减小了SAT推理的搜索空间.实验结果表明,该算法是实用有效的.

主 题 词：等价性验证 输出分组 电路可满足性 

学科分类：08[工学] 0835[0835] 0811[工学-水利类] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3321/j.issn:1003-9775.2005.11.016

馆 藏 号：203106397...