Robustness and Usability in Modern Design Flows - Tapa dura

Fey, Görschwin; Drechsler, Rolf

 
9781402065354: Robustness and Usability in Modern Design Flows
Tapa dura
ISBN 10: 1402065353 ISBN 13: 9781402065354
Editorial: Springer, 2008

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Acerca del autor

Prof. Rolf Drechsler has authored and edited numerous books for Springer

De la contraportada

The size of technically producible integrated circuits increases continuously. But the ability to design and verify these circuits does not keep up with this development. Therefore today s design flow has to be improved to achieve a higher productivity. In Robustness and Usability in Modern Design Flows the current design methodology and verification methodology are analyzed, a number of deficiencies are identified and solutions suggested. Improvements in the methodology as well as in the underlying algorithms are proposed.

An in-depth presentation of preliminary concepts makes the book self-contained. Based on this foundation major design problems are targeted. In particular, a complete tool flow for Synthesis for Testability of SystemC descriptions is presented. The resulting circuits are completely testable and test pattern generation in polynomial time is possible. Verification issues are covered in even more detail. A whole new paradigm for formal design verification is suggested. This is based upon design understanding, the automatic generation of properties and powerful tool support for debugging failures. All these new techniques are empirically evaluated and experimental results are provided.

As a result, an enhanced design flow is created that provides more automation (i.e. better usability) and reduces the probability of introducing conceptual errors (i.e. higher robustness).

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2008
Idioma
Inglés
ISBN 10 
1402065353
ISBN 13 
9781402065354
Encuadernación
Tapa dura
Número de páginas
188
Contacto del fabricante
no disponible
Persona responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Otras ediciones populares con el mismo título

9789048176625: Robustness and Usability in Modern Design Flows

Edición Destacada

ISBN 10:  904817662X ISBN 13:  9789048176625
Editorial: Springer, 2010
Tapa blanda