SEChecker: A Sequential Equivalence Checking Framework Based on th Invariants

Submitted by Amirali Ghofrani on Tue, 04/07/2015 - 22:32

F. Lu and Cheng, K. - T. Tim, “SEChecker: A Sequential Equivalence Checking Framework Based on th Invariants”, Very Large Scale Integration (VLSI) Systems, IEEE Transactions on, vol. 17, pp. 733–746, 2009.