search

YosysHQ / sby

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

Support for "abc --keep-going pdr" via new "pdr -X" mode #263

Closed jix closed 4 months ago

jix commented 4 months ago

This includes #262 and depends on YosysHQ/yosys#4222 as well as YosysHQ/abc#27.