ABC: System for Sequential Logic Synthesis and Formal Verification - View it on GitHub