/berkeley-abc

ABC: System for Sequential Logic Synthesis and Formal Verification

Primary LanguageCOtherNOASSERTION

Watchers