Constraint-Based Verification at Meripustak

Constraint-Based Verification

Books from same Author: Jun Yuan , Carl Pixley , Adnan Aziz

Books from same Publisher: Springer

Related Category: Author List / Publisher List


  • Retail Price: ₹ 15044/- [ 25.00% off ]

    Seller Price: ₹ 11283

Sold By: T K Pandey      Click for Bulk Order

Offer 1: Get ₹ 111 extra discount on minimum ₹ 500 [Use Code: Bharat]

Offer 2: Get 25.00 % + Flat ₹ 100 discount on shopping of ₹ 1500 [Use Code: IND100]

Offer 3: Get 25.00 % + Flat ₹ 300 discount on shopping of ₹ 5000 [Use Code: MPSTK300]

Free Shipping (for orders above ₹ 499) *T&C apply.

In Stock

Free Shipping Available



Click for International Orders
  • Provide Fastest Delivery

  • 100% Original Guaranteed
  • General Information  
    Author(s)Jun Yuan , Carl Pixley , Adnan Aziz
    PublisherSpringer
    ISBN9780387259475
    Pages254
    BindingHardback
    LanguageEnglish
    Publish YearFebruary 2006

    Description

    Springer Constraint-Based Verification by Jun Yuan , Carl Pixley , Adnan Aziz

    Covers the methodology and state-of-the-art techniques of constrained verification, which is new and popular._x000D__x000D__x000D_It relates constrained verification with the also-hot technology called assertion-based design._x000D__x000D__x000D_Discussed and clarifies language issues, critical to both the above, which will help the implementation of these languages._x000D_ _x000D_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._x000D_