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

ver descrição completa

Detalhes bibliográficos
Publicado no:IEEE Transactions on computer-aided design of integrated circuits and systems 21, 12 (2002).
Autor principal: Kuehlmann, A.
Formato: Artigo
Idioma:English
Assuntos:
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.