"Es hat sich durch das ganze Studium eigentlich durchgezogen: diese doch recht hohen Anforderungen, die an einen gestellt wurden, aber auf der anderen Seite das Lockere, das Kameradschaftliche." Jörn Hartwig, HPI-Absolvent
Soft-Skills-Kolloqium: Basketballer Femerling erklärt Teamgeist und Erfolg
"Im Team erfolgreich sein" - wer wäre als Referent für dieses Thema besser geeignet als Patrick...
Bewerbungsschluss HPI-Schülerkolleg
HPI-Schülerkolleg geht 2012 in sein viertes Jahr. Bis zum 6. Juni können sich interessierte und...
Hochschulinformationstag am HPI
Am 8. Juni 2012 findet der Hochschulinformationstag der Universität Potsdam auf dem Campus...
HPI Alumni Homecoming Event 2012
Die zentrale Begegnungsveranstaltung für die Ehemaligen des HPI feiert 2012 gleich mehrere...
Future SOC Symposium am HPI
Vom 14. bis zum 15. Juni 2012 findet das siebte Future SOC Symposium statt.
Zertifikatsverleihung HPI-Schülerkolleg 2011/12
15 Seminareinheiten in je 3 bis 4 Modulen haben die rund 55 Schülerinnen und Schüler abgeschlossen,...
Christoph Meinel, Thorsten Theobald
Algorithms and Data Structures in VLSI Design: OBDD - Foundations and Applications
Springer-Verlag, Berlin, Heidelberg, New York, 1998
Summary:
One of the main problems in chip design is the huge number of possible combinations of individual chip elements, leading to a combinatorial explosion as chips become more complex. New key results in theoretical computer science and in the design of data structures and efficient algorithms can be applied fruitfully here. The application of ordered binary decision diagrams (OBDDs) has led to dramatic performance improvements in many computer-aided design projects. This textbook provides an introduction to the foundations of this interdisciplinary research area, with an emphasis on applications in computer-aided circuit design and formal verification.
ISBN 3-540-64486-5
267 pages
116 figures
Download complete electronic version
Order your copy from
Springer-Online
Amazon.de
There also exists a German version of the book.
Order from
Springer-Online
Amazon.de