Take a photo of a barcode or cover
253 pages • missing pub info (editions)
ISBN/UID: 9781441938527
Format: Paperback
Language: English
Publisher: Springer
Publication date: 29 October 2010
Description
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, ...
Community Reviews
Content Warnings
253 pages • missing pub info (editions)
ISBN/UID: 9781441938527
Format: Paperback
Language: English
Publisher: Springer
Publication date: 29 October 2010
Description
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, ...
Community Reviews
Content Warnings