Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/mattvenn/wrapped_rgb_mixer

Demo project for the Zero to ASIC Course.
https://github.com/mattvenn/wrapped_rgb_mixer

asic gds hdl

Last synced: 17 days ago
JSON representation

Demo project for the Zero to ASIC Course.

Awesome Lists containing this project

README

        

[![multi_tool](https://github.com/mattvenn/wrapped_rgb_mixer/actions/workflows/multi_tool.yaml/badge.svg)](https://github.com/mattvenn/wrapped_rgb_mixer/actions/workflows/multi_tool.yaml)

# Wrapped RGB Mixer

This repository is a template for projects 3.2 and 5.1 that takes you through:

## 3.2

* 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.

## 5.1

* Adding the design to Caravel
* Makefile & testbench
* Firmware

# License

This repo is part of the [Zero to ASIC course](https://zerotoasiccourse.com) and licensed with [Apache 2](LICENSE).

# Resources

* 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-