issues
search
YosysHQ
/
sby
SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
Other
387
stars
73
forks
source link
Test designs using $allconst
#169
Closed
jix
closed
2 years ago
jix
commented
2 years ago
This will only pass after YosysHQ/yosys#3358 landed
This will only pass after YosysHQ/yosys#3358 landed