Members Get 10% Off and Earn Rewards Find Out More

Constraint-Based Verification / Edition 1

Add to Wishlist

ISBN-10:: 1441938524
ISBN-13:: 9781441938527
Pub. Date:: 10/29/2010
Publisher:: Springer US

ISBN-10:: 1441938524
ISBN-13:: 9781441938527
Pub. Date:: 10/29/2010
Publisher:: Springer US

Constraint-Based Verification / Edition 1

Paperback

View All Available Formats & Editions

$109.99

SHIP THIS ITEM
Qualifies for Free Shipping
PICK UP IN STORE
Check Availability at Nearby Stores

Available within 2 business hours

Overview

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.

Product Details
Table of Contents

Product Details

ISBN-13:	9781441938527
Publisher:	Springer US
Publication date:	10/29/2010
Edition description:	Softcover reprint of hardcover 1st ed. 2006
Pages:	254
Product dimensions:	6.10(w) x 9.25(h) x 0.36(d)

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.

From the B&N Reads Blog

Page 1 of

Overview

Product Details

Table of Contents

Related Subjects

Customer Reviews