abc

ABC: System for Sequential Logic Synthesis and Formal Verification

GitHub

888 stars
40 watching
577 forks
Language: C
last commit: 15 days ago