Wei Yan
Abstract
This paper analyzes general equivalence checking methods,discusses combinational equivalence checking methods,studies characteristics and applications of the methods.At the end of this paper,laws of evolution of combinational equivalence checking are summarized and the direction of study on the combinational equivalence checking is indicated.
OpenAlex reports 1 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
This paper analyzes general equivalence checking methods,discusses combinational equivalence checking methods,studies characteristics and applications of the methods.At the end of this paper,laws of evolution of combinational equivalence checking are summarized and the direction of study on the combinational equivalence checking is indicated.
Key concepts: Formal equivalence checking, Combinational logic, Equivalence (formal languages), Computer science, Algorithm, Theoretical computer science, Model checking, Mathematics