如果等价性检查失败，检查器会生成一个输入向量序列，它可以在仿真中使用以便演示两个电路之间的差异。
If an equivalence check fails, the checker generates an input sequence of vectors that, when simulated, demonstrates the differences between the two circuits.
如果等价性检查失败，检查器会生成一个输入向量序列，它可以在仿真中使用以便演示两个电路之间的差异。
If an equivalence check fails, the checker generates an input sequence of vectors that, when simulated, demonstrates the differences between the two circuits.
应用推荐