search

os-fpga / yosys_verific_rs

Yosys + (Optional) Verific Integration
Other
5 stars 6 forks source link

Update Yosys-0.44 #799

Closed awaisabbas006 closed 1 month ago

alaindargelas commented 1 month ago

@awaisabbas006 you have to push Raptor_tools in this PR

alaindargelas commented 1 month ago

This PR is not needed anymore. Done here: https://github.com/os-fpga/yosys_verific_rs/pull/800