The combinational equivalence check methods based on recursive learning algorithm are discussed.
英
美
并讨论了基于递归学习的组合电路等价性检验方法;
目录
查词历史
英 汉