为了提高组合电路的等价性验证速度,提出了一种利用电路内部等价信息的新型验证方法.该方法结合了通用割集和专用割集. 从原始输出进行回溯得到通用割集,用通用割集验证所有候选等价点(CEP)的等价性. 从特定候选等价点进行回溯得到专用割集,通过消除高层次结点间的依赖关系对专用割集进行优化,用专用割集验证特定候选等价点的等价性.实验结果表明,与传统依赖性处理策略相比,该验证方法中的依赖性处理策略减少了验证时间.与只基于通用割集或专用割集的验证方法相比,该方法可以使组合电路的验证速度明显提高.
国家自然科学基金资助项目(90207002).
杨军 郑飞君 卢永江 葛海通 严晓浪. 结合通用割集和专用割集的组合电路验证方法[J]. J4, 2006, 40(9): 1511-1515.
YANG Jun, ZHENG Fei-Jun, LEI Yong-Jiang, GE Hai-Tong, YAN Xiao-Lang. . J4, 2006, 40(9): 1511-1515.
http://www.zjujournals.com/xueshu/eng/CN/ 或 http://www.zjujournals.com/xueshu/eng/CN/Y2006/V40/I9/1511
Cited