%0 Journal Article
%T Equivalence Checking for Combinational Circuits with FUN Algorithm
利用FAN算法进行组合电路的等价性检验*
%A ZENG Qiong
%A
曾琼
%J 计算机应用研究
%D 2006
%I
%X Abstract:This paper discusses equivalence checking for combinational circuits and analyzes the key techniques of FAN algorithm. We check equivalence of combinational circuits with FUN algorithm, and experimental results show that FAN algorithm is efficient.
%K 等价性检验
%K ATPG
%K D算法
%K PODEM算法
%K FAN算法
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=9DDDB1A1D4FBB045&yid=37904DC365DD7266&vid=EA389574707BDED3&iid=59906B3B2830C2C5&sid=C5154311167311FE&eid=DB817633AA4F79B9&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=11