In this paper, we address these problems and propose a sufficiency-based approach to identify useful invariants out of the initial potential invariants for SEC.

Cheng, “Sequential equivalence checking based on K-th invariants and circuit SAT solving,” in Proceedings of IEEE High Level Design Validation and Test.

In this paper, we address these problems and propose a sufficiency-based approach to identify useful invariants out of the initial potential invariants for SEC.

Simulation requires one to try out different input combinations and observe if the two circuits produce the same output. Obviously, since it is not possible to ...

In this paper we address the problem of verifying the equivalence of two sequential circuits. State-of-the-art sequential optimization techniques such as ...

Bibliographic details on Sufficiency-based filtering of invariants for Sequential Equivalence Checking.

scholarly journals Sufficiency-based filtering of invariants for Sequential Equivalence Checking · Author(s): · Wei Hu · Huy Nguyen · Michael S. Hsiao.

Sufficiency-based filtering of invariants for Sequential Equivalence Checking. Article. Full-text available. Nov 2011. Wei Hu · Huy Nguyen ...

Sufficiency-based filtering of invariants for Sequential Equivalence Checking · Wei HuH. NguyenM. Hsiao. Computer Science. 2011 IEEE International High Level ...

Inductive Invariants play critical roles in restricting the search space during Sequential Equivalence Checking (SEC), especially for those instances with ...