O'Reilly logo

Formal Verification by M Kumar, Tom Schubert, Erik Seligman

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

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.

Keywords

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 ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required