| |
-
book
 Applied Formal Verification
Applied Formal Verification delivers right-now methods for integrating this powerful tool into your design process.
Written by two of the field's leaders, this tutorial opens shortcuts to the concept-proving, efficiency-boosting benefits of formal verification.
The book includes real-world examples of formal verification applied to complex designs and clarifying explanations of high-level requirement writing.
If you've some knowledge of...
preview:
http://www.amazon.com
10/28/2005
Tags: verification
 |
