Robustness and Usability in Modern Design Flows

by Rolf Drechsler and G Rschwin Fey

Dedication. List of Figures. List of Tables. Preface. 1. Introduction. 2. Preliminaries. 2.1 Boolean Reasoning. 2.2 Circuits. 2.3 Formal Verification. 2.4 Automatic Test Pattern Generation. 3. Algorithms and Data Structures. 3.1 Combining SAT and BDD Provers. 3.2 Summary and Future Work. 4. Synthesis. 4.1 Synthesis of SystemC. 4.2 Synthesis for Testability. 4.3 Summary and Future Work. 5. Property Generation. 5.1 Detecting Gaps in Testbenches. 5.2...

• Format: Paperback
• Language: English
• ISBN: 904817662X
• ISBN13: 9789048176625
• Release Date: October 2010
• Publisher: Springer
• Length: 166 Pages
• Weight: 0.59 lbs.
• Dimensions: 0.4" x 6.1" x 9.2"