Drechsler, Rolf
Robustness and Usability in Modern Design Flows
Table of contents
1. Introduction
2. Preliminaries
3. Algorithms and Data Structures
4. Synthesis
5. Property Generation
6. Diagnosis
7. Summary and Conclusions
DRM-restrictions
Printing: not available
Clipboard copying: not available
- Author(s)
- Drechsler, Rolf
- Fey, Görschwin
- Publisher
- Springer
- Publication year
- 2008
- Language
- en
- Edition
- 1
- Category
- Technology, Energy, Traffic
- Format
- Ebook
- eISBN (PDF)
- 9781402065361
