A Roadmap for Formal Property Verification Image close
A Roadmap for Formal Property Verification on Hardback by Pallab Dasgupta
A Roadmap for Formal Property Verification on Hardback by Pallab Dasgupta
Show Hide Adult Content
A Roadmap for Formal Property Verification close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Technology  
Technology: general issues  
Engineering: general

A Roadmap for Formal Property Verification

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Hardback
$265.99
RRP:
$302.95 save $36.96
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $66.50 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 18-28 June using International Courier

Description

Integrating formal property verification (FPV) into an existing design process raises several interesting questions. Have I written enough properties? Have I written a consistent set of properties? What should I do when the FPV tool runs into capacity issues? 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. A Roadmap for Formal Property Verification explores the key issues in this powerful technology through simple examples – you do not need any background on formal methods to read most parts of this book.

Author Biography:

The author leads the Formal Verification Group at the Indian Institute of Technology, Kharagpur (http://www.facweb.iitkgp.ernet.in/~pallab/forverif.html). He has collaborations with leading companies, including Intel, Sun Microsystems, Synopsys, Texas Instruments, National Semiconductors, General Motors, Interra Systems and Virtio Corp, on developing formal methods for design verification. The author is a senior member of IEEE.
Release date Australia
July 5th, 2006
Audience
  • Professional & Vocational
Illustrations
xiv, 252 p.
Pages
252
Dimensions
155x235x15
ISBN-13
9781402047572
Product ID
5807972

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by Pallab Dasgupta

See all books by this author

A Roadmap for Formal Property Verification by Pallab Dasgupta Save $41
$263.99
$305.95
A Roadmap for Formal Property Verification
by Pallab Dasgupta ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Multiobjective Heuristic Search by Pallab Dasgupta
$135.99
Multiobjective Heuristic Search
by Pallab Dasgupta ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Cohesive Coverage Management Leveraging Formal Test Plans by Aritra Hazra
$139.99
Cohesive Coverage Management Leveraging Formal Test Plans
by Aritra Hazra ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Technology >
Technology: general issues >
Engineering: general
Books >
Non-Fiction >
Technology >
Energy technology & engineering >
Electrical engineering
Books >
Non-Fiction >
Technology >
Electronics & communications engineering >
Electronics engineering
Books >
Non-Fiction >
Technology >
Electronics & communications engineering >
Electronics engineering >
Circuits & components
Books >
Computers & Internet >
Graphical & digital media applications >
Computer-aided design (CAD)
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Computer architecture & logic design