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

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

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

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2011
Lingua
Inglese
ISBN 10 
1441993606
ISBN 13 
9781441993601
Rilegatura
Taschenbuch
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania

Altre edizioni note dello stesso titolo

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

Edizione in evidenza

ISBN 10:  1441993584 ISBN 13:  9781441993588
Casa editrice: Springer Verlag, 2011
Rilegato