The-OpenROAD-Project / abc

ABC: System for Sequential Logic Synthesis and Formal Verification

Geek Repo

Github PK Tool