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

第 卷 第 期 计算机辅助设计与图形学学报 ， 17 11 Voi . 17 No . 11 年 月 ， 2005 11 JOURNAL OF COMPUTER-AIDED DESIGN COMPUTER GRAPHICS Nov . 2005 !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! 使用输出分组和电路可满足性的等价性验证算法 郑飞君 严晓浪 葛海通 杨 军 卢永江 （浙江大学超大规模集成电路设计研究所 杭州 310027 ） （ ） zhengfj @ vi