Formal verification - Githubissues

lushaylabs / tangnano9k-series-examples

Examples for the Lushay Labs tang nano 9k series

https://learn.lushaylabs.com/tang-nano-series/

84 stars 19 forks source link

Formal verification #9

Open fjpolo opened 5 months ago

fjpolo commented 5 months ago

⚠ This is a DRAFT PR - Still work in progress

Intention:

Add Formal Verification with SymbiYosys
Update nomenclature to indicate inputs (_i) and output (_o)
Add GOWIN IDE projects