This book provides readers with a comprehensive introduction to the
formal verification of hardware and software. World-leading experts
from the domain of formal proof techniques show the latest
developments starting from electronic system level (ESL)
descriptions down to the register transfer level (RTL). The authors
demonstrate at different abstraction layers how formal methods can
help to ensure functional correctness. Coverage includes the latest
academic research results, as well as descriptions of industrial
tools and case studies.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
