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 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. This book gives a modern presentation of the established as well as of recent concepts. Latest results in BDD optimization are given, c- ering di?erent aspects of paths in BDDs and the use of e?cient lowe…
Mehr
CHF 192.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Ebendt, Rudiger / Fey, Görschwin
- ISBN: 978-1-4419-3796-4
- EAN: 9781441937964
- Produktnummer: 10301413
- Verlag: Springer Us
- Sprache: Englisch
- Erscheinungsjahr: 2010
- Seitenangabe: 232 S.
- Masse: H24.0 cm x B16.0 cm x D1.2 cm 378 g
- Auflage: Softcover reprint of hardcover 1st ed. 2005
- Abbildungen: Paperback
- Gewicht: 378
100 weitere Werke von Rolf Drechsler:
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Ebook (PDF Format)
CHF 136.00
Automated Analysis of Virtual Prototypes at the Electronic System Level
Ebook (PDF Format)
CHF 94.50
Bewertungen
Anmelden