·2,447,543篇论文数据，部分数据来源于NoteExpress
The approach can be easily incorporated into existing RTL to gate equivalence checking frameworks and increase the robustness of equivalence checking for arithmetic circuits.
本算法可直接结合到现有的RTL和门级网表的验证流程中，从而提高算术电路的验证能力。
youdao
应用推荐
模块上移
模块下移
不移动