Debugging at the Electronic System Level

Debugging at the Electronic System Level

by Frank Rogin, Rolf Drechsler

Paperback(2010)

$129.99
Choose Expedited Shipping at checkout for guaranteed delivery by Thursday, January 24

Product Details

ISBN-13: 9789400795075
Publisher: Springer Netherlands
Publication date: 10/27/2014
Edition description: 2010
Pages: 199
Product dimensions: 6.10(w) x 9.25(h) x (d)

Table of Contents

List of Figures. List of Tables. Preface. Acknowledgements.
1. INTRODUCTION; 1 General Objective of the Book; 2 Summary of Contributions; 3 Book Outline. 2. ESL DESIGN AND VERIFICATION; 1 ESL Design; 2 ESL Verification; 3 Our Debugging Approach. 3. EARLY ERROR DETECTION; 1 Deduction Techniques in a Nutshell; 2 Static Analysis Framework; 3 SystemC Design Analysis System; 4 Experimental Results; 5 Summary and Future Work. 4. HIGH-LEVEL DEBUGGING AND EXPLORATION; 1 Observation Techniques in a Nutshell; 2 System-Level Debugging; 3 High-Level SystemC Debugging; 4 Experimental Results; 5 Summary and Future Work. 5. LEARNING ABOUT THE DESIGN; 1 Induction Techniques in a Nutshell; 2 Automatic Generation of Properties; 3 Dynamic Invariant Analysis on Simulation Traces; 4 Experimental Results; 5 Summary and Future Work. 6. ISOLATING FAILURE CAUSES; 1 Experimentation Techniques in a Nutshell; 2 Automatic Isolation of Failure Causes; 3 Automatic Isolation of Failure Causes in SystemC; 4 Experimental Results; 5 Summary and Future Work. 7. SUMMARY AND CONCLUSION.
Appendix A. FDC Language ; 1 FDC Syntax ; 2 FDC Semantic.
Appendix B. Debug Pattern Catalog; 1 General Format; 2 COMPETITION Pattern; 3 TIMELOCK Pattern.
References. List of Acronyms. Index of Symbols. Index.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews