The Community for Technology Leaders
Green Image
Issue No. 03 - May/June (2005 vol. 22)
ISSN: 0740-7475
pp: 248-257
Maher N. Mneimneh , University of Michigan
Karem A. Sakallah , University of Michigan
This article is a general survey of conceptual and algorithmic approaches to sequential-equivalence checking. Although this fundamental problem is very complex, recent advances in satisfiability solvers and ATPG approaches are making good headway.
conceptual and algorithmic approache, sequential-equivalence checking, satisfiability solvers, ATPG

M. N. Mneimneh and K. A. Sakallah, "Principles of Sequential-Equivalence Verification," in IEEE Design & Test of Computers, vol. 22, no. , pp. 248-257, 2005.
88 ms
(Ver 3.3 (11022016))