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

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

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

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2011
Sprache
Englisch
ISBN 10 
1441993606
ISBN 13 
9781441993601
Einband
Taschenbuch
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

ISBN 10:  1441993584 ISBN 13:  9781441993588
Verlag: Springer, 2011
Hardcover