Springer Series on Atoms + Plasmas

1 primary work

Constraint-Based Verification

by Adnan Aziz, Carl Pixley, and Jun Yuan

Published 1 January 2006

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.