ABC: System for Sequential Logic Synthesis and Formal Verification
Why do you think that https://github.com/YosysHQ/yosys is a good alternative to abc
ABC: System for Sequential Logic Synthesis and Formal Verification
Why do you think that https://github.com/YosysHQ/yosys is a good alternative to abc