issues
search
YosysHQ
/
sby
SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
Other
388
stars
73
forks
source link
Updated formal flow with new witness format
#210
Closed
jix
closed
2 years ago
jix
commented
2 years ago
Requires
https://github.com/YosysHQ/yosys/pull/3434
Requires https://github.com/YosysHQ/yosys/pull/3434