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

by Sorin Lerner, Rajesh K. Gupta, Sudipta Kundu

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.

• Format: Hardcover
• Language: English
• ISBN: 1441993584
• ISBN13: 9781441993588
• Release Date: May 2011
• Publisher: Springer
• Length: 167 Pages
• Weight: 0.95 lbs.
• Dimensions: 0.7" x 9.3" x 6.1"