Digital System Verification : A Combined Formal Methods and Simulation Framework
Book Details
Format
Paperback / Softback
Book Series
Synthesis Lectures on Digital Circuits & Systems
ISBN-10
3031798147
ISBN-13
9783031798146
Publisher
Springer International Publishing AG
Imprint
Springer International Publishing AG
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Feb 18th, 2010
Print length
79 Pages
Product Classification:
Engineering: generalCircuits & componentsAutomatic control engineeringComputer hardware
Ksh 4,500.00
Werezi Extended Catalogue
Delivery in 28 days
Delivery Location
Delivery fee: Select location
Delivery in 28 days
Secure
Quality
Fast
This book focuses on an Integrated Design Validation (IDV) system that provides a framework for design validation and takes advantage of current technology in the areas of simulation and formal verification resulting in a practical validation engine with reasonable runtime.
Get Digital System Verification by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer International Publishing AG and it has pages.
