Advanced BDD Optimization

• Main Authors: Ebendt, Rüdiger (Author), Fey, Görschwin (Author), Drechsler, Rolf (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Boston, MA : Springer US, 2005.
• Subjects: 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...