This repository is a template for projects 3.2 and 5.1 that takes you through:
- Putting the project from 2.1 design inside the project wrapper.
- Writing some assertions that prove the design is safe in a multi project environment.
- Runnng the formal tools to make the proof.
- Adding the design to Caravel
- Makefile & testbench
- Firmware
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-