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...

Descripció completa

Dades bibliogràfiques
Publicat a:IEEE Transactions on computer-aided design of integrated circuits and systems 21, 12 (2002).
Autor principal: Kuehlmann, A.
Format: Article
Idioma:English
Matèries:
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.