Advanced BDD Optimization

• Κύριοι συγγραφείς: Ebendt, Rüdiger (Συγγραφέας), Fey, Görschwin (Συγγραφέας), Drechsler, Rolf (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA : Springer US, 2005.
• Θέματα: Engineering.; Probabilities.; Mechanical engineering.; Engineering design.; Electrical engineering.; Electronics.; Microelectronics.; Electronic circuits.; Circuits and Systems.; Probability Theory and Stochastic Processes.; Mechanical Engineering.; Electrical Engineering.; Engineering Design.; Electronics and Microelectronics, Instrumentation.

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...