High-Level Verification : Methods and Tools for Verification of System-Level Designs
2011 ed.
Book Details
Format
Hardback
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
Currently unavailable
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 Rajesh K. Gupta, Sorin Lerner 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 167 pages.
Customers Who Bought This Also Bought
The Elements of Boat Strength: For Builders, Designers, and Owners
KSh 5,400.00
Thermomechanical Pulp
KSh 16,750.00
Autodesk 3ds Max 2027 Basics Guide
KSh 13,850.00
Engineering Graphics Essentials with AutoCAD 2027 Instruction
KSh 14,400.00
AutoCAD 2027 Tutorial First Level 2D Fundamentals
KSh 12,950.00
Design-inspired Innovation
KSh 16,200.00
Engineering Physiology
KSh 25,200.00
Impact
KSh 32,400.00
Innovative Design, Analysis and Development Practices in Aerospace and Automotive Engineering
KSh 32,400.00
Analyzing Design Review Conversations
KSh 9,400.00
Design for Tomorrow—Volume 3
KSh 50,400.00
Architecting Robust Co-Design of Materials, Products, and Manufacturing Processes
KSh 23,400.00
More by Rajesh K. Gupta, Sorin Lerner
More in This Genre
The Elements of Boat Strength: For Builders, Designers, and Owners
KSh 5,400.00
Thermomechanical Pulp
KSh 16,750.00
Autodesk 3ds Max 2027 Basics Guide
KSh 13,850.00
Engineering Graphics Essentials with AutoCAD 2027 Instruction
KSh 14,400.00
AutoCAD 2027 Tutorial First Level 2D Fundamentals
KSh 12,950.00
Design-inspired Innovation
KSh 16,200.00
