ABC is a system for Sequential Logic Synthesis and Formal Verification
