Constraint-Based Verification
Book Details
Author(s)Jun Yuan, Carl Pixley, Adnan Aziz
PublisherSpringer
ISBN / ASIN0387259473
ISBN-139780387259475
MarketplaceFrance 🇫🇷
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, critical to both the above, which will help the implementation of these languages.
