Über den Autor
Prof. Rolf Drechsler has authored and edited numerous books for Springer
Dedication. List of Figures. List of Tables. Preface.nnn1. Introduction.nnnn2. Preliminaries. 2.1 Boolean Reasoning. 2.2 Circuits. 2.3 Formal Verification. 2.4 Automatic Test Pattern Generation.nnnn3. Algorithms and Data Structures. 3.1 Combining SAT and BDD Provers. 3.2 Summary and Future Work.n4. Synthesis. 4.1 Synthesis of SystemC. 4.2 Synthesis for Testability. 4.3 Summary and Future Work.nnnn5. Property Generation. 5.1 Detecting Gaps in Testbenches. 5.2 Design Understanding. 5.3 Summary and Future Work.nnnn6. Diagnosis. 6.1 Comparing SAT-based and Simulation-based Approaches. 6.2 Generating Counterexamples for Diagnosis. 6.3 Debugging Properties. 6.4 Summary and Future Work.nnnn7. Summary and Conclusions.nnnnReferences. Index of Symbols. Index.
More automation for time consuming tasks
Powerful tools by exploiting formal techniques
Visionary approach for formal design verification
Debugging at the source level becomes easy
Robustness against error prone manual interventions