用AIG推理检验组合电路的等价性
范全润;段振华;徐国培
Combinational equivalence checking based on AIG reasoning
J4 . 2009, (5): 877 -884 . 

　陕ICP备09011600号
版权所有 © 2018 《西安电子科技大学学报》编辑部
地址：西安市太白南路2号349信箱(710071) Tel: (029)88202853 Email:xuebao@mail.xidian.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发