... arithmetic check 算术核对; 算术检验 arithmetic checking 算术检查 arithmetic checque 算术校验 ...
基于18个网页-相关网页
·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
应用推荐
模块上移
模块下移
不移动