Documents disponibles écrits par cet auteur

Advanced BDD optimization / Ebendt, Rüdiger

Public ISBD Titre : Advanced BDD optimization Type de document : document électronique Auteurs : Ebendt, Rüdiger, Auteur ; Drechsler, Rolf, Auteur Editeur : Berlin : 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 . - 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

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
E00143	621.38 EBE	Ressources électroniques	Bibliothèque Centrale	Electronique	Disponible
E00144	621.38 EBE	Ressources électroniques	Bibliothèque Centrale	Electronique	Disponible