计算机应用研究2006，Vol.23Issue(12)：25-27,3.
利用FAN算法进行组合电路的等价性检验
Equivalence Checking for Combinational Circuits with FUN Algorithm
摘要
关键词
等价性检验/ATPG/D-算法/PODEM算法/FAN算法分类
信息技术与安全科学引用本文复制引用
曾琼..利用FAN算法进行组合电路的等价性检验[J].计算机应用研究,2006,23(12):25-27,3.基金项目
国家“973”计划资助项目(2004CB318003) （2004CB318003）
国家自然科学基金资助项目(60373113) （60373113）
