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 ...
Get Formal Verification 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.
