/ABC

ABC: a famous opensource tool for logic synthesis and verification

Primary LanguageCOtherNOASSERTION

Stargazers