ABC: A System for Sequential Synthesis and Verification

ABC is a growing software system for synthesis and verification of binary sequential logic circuits ...

www.eecs.berkeley.edu