Chapter 11

Your new FV-aware lifestyle

In our concluding chapter, we review the multiple motivations for formal verification, including design exercise, bug hunting, full proofs, specialized applications, and formal equivalence, summarizing and highlighting our key points in each area. We then give some general advice for getting prepared and starting FV work, as well as some ideas for measuring ROI (Return On Investment) of FV. Finally, we conclude with a high-level description of the many “hats” an FV engineer might wear, and an overall summary of this book.


Formal Verification (FV); Formal Equivalence Verification (FEV); Formal Property Verification (FPV)

I never said it. Honest. Oh, I said there are maybe 100 billion galaxies and ...

Get Formal Verification now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.