Constraint-based Verification.

Constraint-based Verification

Regular price
Sale price
Regular price
Unit price
Free shipping (Guaranteed delivery 3-5 business days for In-Stock products)
  • SHUB3989
  • ISBN details

    • ISBN 10: 0387259473
    • ISBN 13: 9780387259475


    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.

    Other Details

    • Publisher: Springer
    • Language: En
    • Edition: 2006
    • Pages: 266
    • Date Published: 2006
    • Authors: Yuan, Jun, Pixley, Carl, Aziz, Adnan