Abstract: Checking the functional equivalence of sequential circuits is an important practical problem. Because general algorithms for solving this problem require a state-space traversal of the product machine, they are computationally expensive.
Section II gives an overview of related work on sequential equivalence checking. Sec- tion III presents the theory on which the detection of equivalent signals.
People also ask
What is sequential equivalence checking?
What are the different types of equivalence checking?
Which type of errors is equivalence checking primarily designed to detect?
How to check equivalence?
Checking the functional equivalence of sequential circuits is an important practical problem. Because general algorithms for solving this problem require a ...
In this paper, we present a new method for sequential equivalence checking which utilizes functionally equivalent signals to prove the equivalence of both ...
Sequence equivalency checking (SEC) takes timing into account and examines the equivalency of two design representations over multiple clock cycles.
Sequential. Verification w/o structure similarities. PSPACE-complete. Verification w/ structure similarities. E.g., retiming equivalence; P- to PSPACE-complete.
Abstract- Sequential Equivalence Checking is the process of proving formal equivalence between two non-state matching implementations of a given design ...
[PDF] On the verification of sequential equivalence - Virginia Tech
computing.ece.vt.edu › tcad03_sec
[6] C. A. J. van Eijk, “Sequential equivalence checking based on struc- tural similarities,” IEEE Trans. Computer-Aided Design, vol. 19, pp. 814–819, July ...
Structural similarity between the two circuits under checking can be explored to improve its efficiency, which attempts to solve the structural equivalence ...
In this paper, we present a new method to prove the equivalence of sequential circuits which show structural similarities. The method is not based on a state ...