Algorithms And Data Structures In Vlsi Design

This is a presentation of the theory and practice of chip design using ordered binary decision diagrams (OBDD), a method for simulating and testing complex chip... » 

This is a presentation of the theory and practice of chip design using ordered binary decision diagrams (OBDD), a method for simulating and testing complex chips. The text examines techniques such as chip error recognition, maximal integration and deep submicron. «