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
Publisher: Springer, 2011

This specific ISBN edition is currently not available.

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.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2011
Language
English
ISBN 10 
1441993606
ISBN 13 
9781441993601
Binding
Paperback

Other Popular Editions of the Same Title

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

Featured Edition

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