A Roadmap for Formal Property Verification

  • Pallab DasGupta

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Pallab DasGupta
    Pages 1-17
  3. Pallab DasGupta
    Pages 19-58
  4. Pallab DasGupta
    Pages 59-100
  5. Pallab DasGupta
    Pages 101-128
  6. Pallab DasGupta
    Pages 129-155
  7. Pallab DasGupta
    Pages 157-194
  8. Pallab DasGupta
    Pages 195-216
  9. Pallab DasGupta
    Pages 217-241
  10. Back Matter
    Pages 243-251

About this book


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.


algorithms environment formal method formal specification formal verification integrated circuit metal-oxide-semiconductor transistor simulation single-electron transistor technology

Authors and affiliations

  • Pallab DasGupta
    • 1
  1. 1.Indian Institute of TechnologyKharagpurIndia

Bibliographic information

  • DOI
  • Copyright Information Springer 2006
  • Publisher Name Springer, Dordrecht
  • eBook Packages Engineering
  • Print ISBN 978-1-4020-4757-2
  • Online ISBN 978-1-4020-4758-9
  • Buy this book on publisher's site