Bisimulation is often chosen as the equivalence relation in equivalence checking.
在等价验证中，通常选择互模拟作为等价关系。
A sequential equivalence checking algorithm based on state transfer graph is presented.
提出一种基于状态转换图的时序电路等价验证算法。
An improved algorithm based on register mapping is proposed to increase the speed of equivalence checking for sequential circuits.
为了提高时序电路的等价性验证速度，提出一种改进的基于寄存器匹配的验证算法。
A novel latch mapping technique for equivalence checking was proposed to overcome the limit of low accuracy of previous mapping methods.
为了克服现有等价性验证技术中难以精确匹配锁存器的局限性，提出了一种结合多种方法的新型锁存器匹配算法。
The combinatorial games are much finer than game template in characterizing behavioral equivalences, and are much closer to the design of equivalence checking algorithms.
组合游戏的刻画方法比游戏模板更为细致，而且更加接近等价性检测算法的设计。
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和门级网表的验证流程中，从而提高算术电路的验证能力。
The combinational equivalence checking methods based on binary decision diagram(BDD)are dis-cussed, the false negative problem during equivalence checking and its eliminating methods are analyzed.
讨论了基于二叉判决图（BDD）的组合电路等价性检验方法，并分析了等价性检验过程中的误判问题及其消除方法；
For example, a reasonably trained, reasonably motivated programmer can do a perfectly fine job finding boundary conditions and checking whether each known equivalence class is handled.
例如，一个接受过一定培训、有一定积极性的程序员可以很好地找到边界条件，并且检查每一个等价类是否都处理了。
For example a reasonably trained reasonably motivated programmer can do a perfectly fine job finding boundary conditions and checking whether each known equivalence class is handled.
例如，一个接受过一定培训、有一定积极性的程序员可以很好地找到边界条件，并且检查每一个等价类是否都处理了。
For example a reasonably trained reasonably motivated programmer can do a perfectly fine job finding boundary conditions and checking whether each known equivalence class is handled.
例如，一个接受过一定培训、有一定积极性的程序员可以很好地找到边界条件，并且检查每一个等价类是否都处理了。
应用推荐