Verification and Synthesis of Digital Circuits by Chandan Karfa