Formal Signoff on Real Projects
Running formal at project scale: choosing blocks, planning and staffing, the FV plan template, formal coverage metrics, reviews, regressions and the final signoff report.
What you will learn
- Score candidate blocks and choose where formal signoff pays off.
- Write an FV plan using a reusable template.
- Combine formal coverage metrics with simulation coverage.
- Keep formal environments healthy through regressions and RTL changes.
Lessons
- 11.1Choosing where formal signs offA simple scoring method for candidate blocks.
- 11.2The FV plan templateA reusable, reviewable plan document.
- 11.3Coverage metrics for formalHow do you know the property set is complete enough?
- 11.4Reviews, regressions and maintenanceKeep environments trustworthy as the RTL changes.
- 11.5The signoff reportWhat the final review needs to see.
- ✎Chapter quiz (3 questions)