Constraint-Based Verification
Author: Jun Yuan
Publisher: Springer Science & Business Media
Published: 2006-01-13
Total Pages: 278
ISBN-13: 9780387259475
DOWNLOAD EBOOKCovers 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.