• 等价验证 - 引用次数：14

  An equivalence verification method based on polynomial symbolic algebra has been proposed.

  提出了基于多项式符号代数的等价验证方法。

  参考来源 - 基于多项式符号代数的数字电路形式验证方法研究
  等价性验证 - 引用次数：4

  In the end, we did equivalence verification to RTL level code and gate-level-netlist to verify the equivalence between RTL code and gate-level-netlist after logic synthesis.

  最后,针对RTL级代码以及门级网表进行了等价性验证,验证其RTL级代码与综合后的门级网表是否逻辑等价。

  参考来源 - 超声热量测量ASIC的芯片级验证

·2,447,543篇论文数据，部分数据来源于NoteExpress