并讨论了基于递归学习的组合电路等价性检验方法；
The combinational equivalence check methods based on recursive learning algorithm are discussed.
youdao
应用推荐
模块上移
模块下移
不移动