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
Listing 8 begins by loading the equivalent of Listing 6 and checking yet again if the XML is well-formed.
清单8从加载清单6的等价物并再次检查XML是否格式良好开始。
The passport check at immigration is the equivalent of the login (handing over the passport) and authentication (checking the identity in a database at the location).
移民局对护照的检查就等价于登录（递交护照）和身份验证（在某处、在数据库中检查标识）。
The equivalent inductive circuit of switching converters for checking its inner-intrinsic safety is obtained by analyzing the most dangerous case in various operating mode.
通过分析开关变换器的最危险故障状态，得出了判断其内部本质安全的等效电感电路。
应用推荐