Trending Bestseller

Constraint-Based Verification

No reviews yet Write a Review
Paperback / softback
29 October 2010
$334.16
Ships in 3-5 business days
Hurry up! Current stock:
Constrained Random Simulation.- High Level Verification Languages.- Assertion Languages and Constraints.- Preliminaries.- Constrained Vector Generation.- Constraint Simplification.- More Optimizations.- Constraint Synthesis.- Constraint Diagnosis.- Word-Level Constraint Solving.

You Can Find This Book In

    Book Details
    ISBN-13
    9781441938527
    Author
    Jun Yuan
    Publisher
    Springer Nature B.V.
    Published
    29 October 2010
    Format
    Paperback / softback

    This product hasn't received any reviews yet. Be the first to review this product!

    $334.16
    Ships in 3-5 business days
    Hurry up! Current stock:

    Constraint-Based Verification

    $334.16

    Description

    Constrained Random Simulation.- High Level Verification Languages.- Assertion Languages and Constraints.- Preliminaries.- Constrained Vector Generation.- Constraint Simplification.- More Optimizations.- Constraint Synthesis.- Constraint Diagnosis.- Word-Level Constraint Solving.

    You Can Find This Book In

      This Book Is Categorised As