Prepare SBY for upcomming `$check` cell support and prevent backend failure for `$print` cells - Githubissues

YosysHQ / sby

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows

Other

379 stars 74 forks source link

Prepare SBY for upcomming `$check` cell support and prevent backend failure for `$print` cells #259

Closed jix closed 5 months ago