High-Level Verification : Methods and Tools for Verification of System-Level Designs
2011 ed.
Book Details
Format
Hardback or Cased Book
ISBN-10
1441993584
ISBN-13
9781441993588
Edition
2011 ed.
Publisher
Springer-Verlag New York Inc.
Imprint
Springer-Verlag New York Inc.
Country of Manufacture
US
Country of Publication
GB
Publication Date
May 30th, 2011
Print length
167 Pages
Weight
420 grams
Dimensions
24.70 x 16.30 x 1.70 cms
Product Classification:
Technical designCircuits & componentsElectronics: circuits and components
Ksh 16,200.00
Werezi Extended Catalogue
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
The verification techniques presented in this book include methods for verifying properties of high-level designs and methods for verifying that the translation from high-level design to a low-level Register Transfer Language (RTL) design preserves semantics.
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.
Get High-Level Verification by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer-Verlag New York Inc. and it has pages.
