| Titre : |
Advanced BDD optimization |
| Type de document : |
document électronique |
| Auteurs : |
Ebendt, Rüdiger, Auteur ; Drechsler, Rolf, Auteur |
| Editeur : |
Berlin ; London ; Cham : Springer |
| Année de publication : |
2005 |
| Collection : |
Engineering |
| ISBN/ISSN/EAN : |
978-0-387-25454-8 |
| Note générale : |
Configuration requise : Adobe acrobat |
| Langues : |
Anglais (eng) |
| Mots-clés : |
Electronics Engineering Design Engineering |
| Index. décimale : |
621.38 Dispositifs électroniques. Tubes à électrons. photocellules. Accélérateur de particules. Tubes à rayons X |
| Résumé : |
VLSI CAD has greatly benefited from the use of reduced ordered Binary Decision Diagrams (BDDs) and the clausal representation as a problem of "Boolean Satisfiability" (SAT), e.g. in logic synthesis, verification or design-for-testability. In recent practical applications, BDDs are optimized with respect to new objective functions for design space exploration. The latest trends show a growing number of proposals to fuse the concepts of BDD and SAT.
Advanced BDD Optimization gives a modern presentation of the established as well as of recent concepts. Latest results in |
Advanced BDD optimization [document électronique] / Ebendt, Rüdiger, Auteur ; Drechsler, Rolf, Auteur . - Berlin ; London ; Cham : Springer, 2005. - ( Engineering) . ISBN : 978-0-387-25454-8 Configuration requise : Adobe acrobat Langues : Anglais ( eng)
| Mots-clés : |
Electronics Engineering Design Engineering |
| Index. décimale : |
621.38 Dispositifs électroniques. Tubes à électrons. photocellules. Accélérateur de particules. Tubes à rayons X |
| Résumé : |
VLSI CAD has greatly benefited from the use of reduced ordered Binary Decision Diagrams (BDDs) and the clausal representation as a problem of "Boolean Satisfiability" (SAT), e.g. in logic synthesis, verification or design-for-testability. In recent practical applications, BDDs are optimized with respect to new objective functions for design space exploration. The latest trends show a growing number of proposals to fuse the concepts of BDD and SAT.
Advanced BDD Optimization gives a modern presentation of the established as well as of recent concepts. Latest results in |
|  |
Ajouter le résultat dans votre panier Faire une suggestion Affiner la rechercheAdvanced BDD optimization (2005)
