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

Fuld beskrivelse

Bibliografiske detaljer
Udgivet i:IEEE Transactions on computer-aided design of integrated circuits and systems 21, 12 (2002).
Hovedforfatter: Kuehlmann, A.
Format: Article
Sprog:English
Fag:
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.