YosysHQ / abc

ABC: System for Sequential Logic Synthesis and Formal Verification
27Updated last month

Alternatives and similar repositories for abc:

Users that are interested in abc are comparing it to the libraries listed below