Constraint-Based Verification

by JunYuan (Author), Carl Pixley (Author), Adnan Aziz (Author)

• New

  Paperback
  2010

  $148.42

  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.

• New

  Hardcover
  2006

  $184.63

  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.