abc: Support arbitrary prep abc commands - Githubissues

YosysHQ / sby

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

Other

379 stars 74 forks source link

abc: Support arbitrary prep abc commands #274

Closed jix closed 2 months ago