Advanced BDD Optimization

VLSI CADhas greatly bene?ted from the use of reduced ordered Binary Decision Diagrams (BDDs) and the clausal representation as a problem of Boolean Satis?ability (SAT), e.g. in logic synthesis, ver- cation or design-for-testability. In recent practical applications, BDDs are optimized with respect t...

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Auteurs principaux: Ebendt, Rudiger (Auteur), Fey, Görschwin (Auteur), Drechsler, Rolf (Auteur)
Collectivité auteur: SpringerLink (Online service)
Format: Électronique eBook
Langue:Inglés
Publié: New York, NY : Springer US : Imprint: Springer, 2005.
Édition:1st ed. 2005.
Sujets:
Electronic circuits.
Probabilities.
Mechanical engineering.
Electrical engineering.
Engineering design.
Electronics.
Electronic Circuits and Systems.
Probability Theory.
Mechanical Engineering.
Electrical and Electronic Engineering.
Engineering Design.
Electronics and Microelectronics, Instrumentation.
Accès en ligne:Texto Completo

Internet

Texto Completo

Items no disponibles

Informations d'exemplaires de

Documents similaires