Chapter 12: Your new FV-aware lifestyle

Abstract

In our concluding chapter, we review the multiple motivations for formal verification (FV), 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 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.

Keywords

Formal equivalence verification (FEV); Formal property verification (FPV); Formal verification (FV)

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

Get Formal Verification, 2nd Edition now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.