Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Debugging at the Electronic System Level

Debugging at the Electronic System Level

Rogin, Frank
Drechsler, Rolf

Paperback

Technology & EngineeringGeneral Computers

ISBN10: 9400795076
ISBN13: 9789400795075
Publisher: Springer
Published: Oct 28 2014
Pages: 199
Weight: 0.69
Height: 0.46 Width: 6.14 Depth: 9.21
Language: English
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.

1 different editions

Also available

Also in

Technology & Engineering

View All