search

YosysHQ / sby

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

abc pdr: Enable log output by default #193

Closed jix closed 2 years ago

jix commented 2 years ago

This makes it consistent with the other abc solvers and shows whether abc pdr is making progress.