search

angry-goose-initiative / wiki

AGI Wiki
0 stars 0 forks source link

Yosys for Synthesis And Formal Verif #56

Open JZJisawesome opened 3 months ago

JZJisawesome commented 3 months ago

Like UVM, these are nice to haves. We do have Vivado for synthesis already, but we could use Yosys for Github Actions regressions/etc

JZJisawesome commented 3 months ago

Useful: https://symbiyosys.readthedocs.io/en/latest/index.html