Verification and Synthesis of Digital Circuits door Chandan Karfa