Robust Boolean reasoning for equivalence checking and functional property verification.

Robust Boolean reasoning for equivalence checking and functional property verification.

Many tasks in computer-aided design (CAD), such as equivalence checking, property checking, logic synthesis, and false paths analysis, require efficient Boolean reasoning for problems derived from circuits. Traditionally, canonical representations, e.g., binary decision diagrams (BDDs), or structura...

Descrizione completa

Dettagli Bibliografici
Pubblicato in:IEEE Transactions on computer-aided design of integrated circuits and systems 21, 12 (2002).
Autore principale: Kuehlmann, A.
Natura: Articolo
Lingua:English
Soggetti:
Boolean reasoning.
Binary decision diagram.
Computer-aided design.
Equivalence checking.
False path analysis.
Functional property verification.
Logic synthesis.
Orthogonal strength.
Random simulation.
Shared graph.
Structural satisfiability.
Structural transformation.