Debugging at the Electronic System Level

by Rolf Drechsler and Frank Rogin

Book Overview

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...

• Format: Paperback
• Language: English
• ISBN: 9400795076
• ISBN13: 9789400795075
• Release Date: October 2014
• Publisher: Springer
• Length: 199 Pages
• Weight: 0.69 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"