search

YosysHQ / sby

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

SBY Stages Setup script generation #217

Open lethalbit opened 1 year ago

lethalbit commented 1 year ago

NOTE: Currently a WIP

This PR adds generation of setup Yosys scripts for use with the new stages.