227-0128-00L  Synthesis of Digital Circuits