Your Formal-Aware Workflow
Make formal part of everyday design work: designer assertions, team habits, practice problems with solutions, and where to go next.
What you will learn
- Write assertions as part of RTL design, not as an afterthought.
- Introduce formal into a team step by step.
- Practise on six self-contained problems (two with full solutions).
- Plan your next steps in learning formal verification.
Lessons
- 12.1Assertions as part of designCapture intent while it is fresh.
- 12.2Bringing formal into a teamAn incremental path that builds trust.
- 12.3Practice problemsSix small exercises, from easy to tricky.
- 12.4Solutions to problems 1 and 2Reference designs and property sets.
- 12.5Where to go nextFurther reading, tools and communities.
- ✎Chapter quiz (3 questions)