ISBN-10:
1441993584
ISBN-13:
9781441993588
Pub. Date:
05/30/2011
Publisher:
Springer New York
High-Level Verification: Methods and Tools for Verification of System-Level Designs / Edition 1

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

Hardcover

Current price is , Original price is $159.99. You
Select a Purchase Option (2011)
  • purchase options
    $107.84 $159.99 Save 33% Current price is $107.84, Original price is $159.99. You Save 33%.
  • purchase options

Product Details

ISBN-13: 9781441993588
Publisher: Springer New York
Publication date: 05/30/2011
Edition description: 2011
Pages: 167
Product dimensions: 6.10(w) x 9.25(h) x 0.03(d)

Table of Contents

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.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews