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

Cur síos iomlán

Sonraí bibleagrafaíochta
Foilsithe in:IEEE Transactions on computer-aided design of integrated circuits and systems 21, 12 (2002).
Príomhchruthaitheoir: Kuehlmann, A.
Formáid: Alt
Teanga:English
Ábhair:
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.