Covers the methodology and state-of-the-art techniques of constrained verification, which is new and popular.
It relates constrained verification with the also-hot technology called assertion-based design.
Discussed and clarifies language issues, critical to both the above, which will help the implementation of these languages.
- ISBN10 1280618744
- ISBN13 9781280618741
- Publish Date 1 January 2006
- Publish Status Active
- Out of Print 25 March 2015
- Publish Country US
- Imprint Springer Us
- Pages 253
- Language English