Title: Synthesis of Digital Circuits