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

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

 
9781441993601: High-Level Verification: Methods and Tools for Verification of System-Level Designs
Couverture souple
ISBN 10 : 1441993606 ISBN 13 : 9781441993601
Editeur : Springer, 2011

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2011
Langue
anglais
ISBN 10 
1441993606
ISBN 13 
9781441993601
Reliure
Taschenbuch
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

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

Edition présentée

ISBN 10 :  1441993584 ISBN 13 :  9781441993588
Editeur : Springer-Verlag New York Inc., 2011
Couverture rigide