The approach can he easily incorporated into existing RTL to gate equivalence checking frameworks and increase the robustness of equivalence checking for arithmetic circuits.

• 该算法可以直接结合到现有的寄存器传输级(RTL)和门级网表的验证流程中，从而提高算术电路的验证能力。