This paper discusses equivalence checking for combinational circuits and analyzes the key techniques of FAN algorithm.

 
  • 摘要讨论了组合电路的等价性检验方法,分析了FAN算法的关键技术。
今日热词
目录 附录 查词历史