High-Level Verification: Methods and Tools for Verification of System-Level Designs - Tapa blanda

Kundu, Sudipta; Lerner, Sorin; Gupta, Rajesh K.

 
9781441993601: High-Level Verification: Methods and Tools for Verification of System-Level Designs
Tapa blanda
ISBN 10: 1441993606 ISBN 13: 9781441993601
Editorial: Springer, 2011

Esta edición ISBN ya no está disponible.

Sinopsis

Introduction.- Related Work.- Background.- Execution-based Model Checking for High-Level Designs.- Efficient Symbolic Analysis for Concurrent Programs.- Translation Validation of High-Level Synthesis.- Parameterized Program Equivalence Checking.- Conclusions and Future Work.

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

Editorial
Springer
Año de publicación
2011
Idioma
Inglés
ISBN 10 
1441993606
ISBN 13 
9781441993601
Encuadernación
Taschenbuch
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

9781441993588: High-Level Verification: Methods and Tools for Verification of System-Level Designs

Edición Destacada

ISBN 10:  1441993584 ISBN 13:  9781441993588
Editorial: Springer, 2011
Tapa dura