This repository is a template for project 3.1 that takes you through:
- Writing a cover statement to show the timer starting and ending.
- Writing some assertions to prove the timer works as designed.
This repo is part of the Zero to ASIC course and licensed with Apache 2.
- SBY docs https://symbiyosys.readthedocs.io/en/latest/index.html
- Getting started with Formal Verification youtube course: https://www.youtube.com/playlist?list=PLX1FD-Xa88fbMhT-tTe67O2gz_UwEjz9-