smtbmc: Scalability improvements for cexenum

YosysHQ / yosys

Yosys Open SYnthesis Suite

https://yosyshq.net/yosys/

ISC License

3.32k stars 859 forks source link

smtbmc: Scalability improvements for cexenum #4226

Open jix opened 5 months ago

jix commented 5 months ago

This PR adds two scalability improvements for smtbmc as used by cexenum. The first avoids repeating work when loading multiple .yw files, the second avoids a stack overflow on deep BMCs with large designs.