ISBN 9781402047572,A Roadmap for Formal Property Verification

A Roadmap for Formal Property Verification

Rs7284 Rs8912 18% OFF

Availability: Available

Usually ships in: 2-3 business days

(Free Delivery)

We Accept
ISBN 9781402047572
Check delivery information
 
ISBN 9781402047572
Publisher

Ingram Publisher Services

Publication Year 2006
ISBN-13

ISBN 9781402047572

ISBN-10 1402047576
Binding

Hardback

Number of Pages 266 Pages
Subject

Engineering: general

Integrating formal property verification (FPV) into an existing design process raises several interesting questions. This book develops the answers to these questions and fits them into a roadmap for formal property verification - a roadmap that shows how to glue FPV technology into the traditional validation flow.
Scroll