The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.03 - May/June (2005 vol.22)
pp: 248-257
Maher N. Mneimneh , University of Michigan
Karem A. Sakallah , University of Michigan
ABSTRACT
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.
INDEX TERMS
conceptual and algorithmic approache, sequential-equivalence checking, satisfiability solvers, ATPG
CITATION
Maher N. Mneimneh, Karem A. Sakallah, "Principles of Sequential-Equivalence Verification", IEEE Design & Test of Computers, vol.22, no. 3, pp. 248-257, May/June 2005, doi:10.1109/MDT.2005.68
22 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool