基于Mining-SEC方法的电路等价性验证

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

基于Mining-SEC方法的电路等价性验证

王冠军，童敏明，周勇，赵莹

Equivalence Verification of Circuits Based on Mining-SEC Approach

WANG Guan-jun, TONG Min-ming, ZHOU Yong, ZHAO Ying

计算机工程 . 2014, (1): 301 -304 . DOI: 10.3969/j.issn.1000-3428.2014.01.065