Add "pdr -d" engine support (and aigfolds config option) - Githubissues

YosysHQ / sby

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

Other

379 stars 74 forks source link

Add "pdr -d" engine support (and aigfolds config option) #240

Closed clairexen closed 1 year ago

clairexen commented 1 year ago

(needs https://github.com/jix/abc/tree/pdr-invdump)