search

YosysHQ / sby

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
Other
379 stars 74 forks source link

tools/cexenum: Add '--callback' option and refactor enumeration loop #256

Open jix opened 7 months ago