Support for SBY's `abc --keep-going pdr` - Githubissues

YosysHQ / yosys

Yosys Open SYnthesis Suite

https://yosyshq.net/yosys/

ISC License

3.32k stars 859 forks source link

Support for SBY's `abc --keep-going pdr` #4222

Closed jix closed 4 months ago

jix commented 5 months ago

Required for SBY's new --keep-going mode for abc pdr