Equivalence Checking(等价性检查) 是在数字集成电路开发过程中使用得一种方法,它的目标是证明一个电路的两种描述具有完全一致的行为。
基于70个网页-相关网页
The equivalent checking in the formal verification was through the whole of digital circuit back-end design, such as: the comparison between RTL and netlist; the one between netlist and layout.
有代码与综合后网表之间的验证等价性检查;综合后的网表与布局布线后设计之间的等价性检查。 论文描述了数字电路后端验证的发展和流程。
参考来源 - 数字电路后端的形式验证方法研究及应用·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐