search

YosysHQ / sby

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

Adding prep mode and skip_prep option #246

Closed clairexen closed 12 months ago

clairexen commented 12 months ago

Allows for generating a design_prep model which can then be used by multiple distinct sby runs.