Stars
1
star
written in C
Clear filter
YosysHQ / abc
Forked from berkeley-abc/abcABC: System for Sequential Logic Synthesis and Formal Verification