Robustness and Usability in Modern Design Flows
Autor: | Görschwin Fey, Rolf Drechsler |
---|---|
EAN: | 9781402065361 |
eBook Format: | |
Sprache: | Englisch |
Produktart: | eBook |
Veröffentlichungsdatum: | 08.01.2008 |
Kategorie: | |
Schlagworte: | Debugging Design Methodology Erfüllbarkeitsproblem der Aussagenlogik Formal Methods Testing Usability algorithms data structures formal verification integrated circuit verification |
96,29 €*
Versandkostenfrei
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
The size of technically producible integrated circuits increases continuously, but the ability to design and verify these circuits does not keep up. Therefore today's design flow has to be improved. Using a visionary approach, this book analyzes the current design methodology and verification methodology, a number of deficiencies are identified and solutions suggested. Improvements in the methodology as well as in the underlying algorithms are proposed.
Prof. Rolf Drechsler has authored and edited numerous books for Springer