YosysHQ / abcLinks

ABC: System for Sequential Logic Synthesis and Formal Verification
28Updated 3 weeks ago

Alternatives and similar repositories for abc

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

Sorting: