Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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.
- Host: GitHub
- URL: https://github.com/mattvenn/wrapped_rgb_mixer
- Owner: mattvenn
- License: apache-2.0
- Created: 2021-01-18T12:17:56.000Z (almost 4 years ago)
- Default Branch: mpw8
- Last Pushed: 2023-01-04T11:15:55.000Z (almost 2 years ago)
- Last Synced: 2024-12-07T04:40:58.817Z (26 days ago)
- Topics: asic, gds, hdl
- Language: Verilog
- Homepage: https://zerotoasiccourse.com/
- Size: 12.8 MB
- Stars: 8
- Watchers: 3
- Forks: 9
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- Funding: .github/FUNDING.yml
- License: LICENSE
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-