High-Level Verification of System Designs. by Sudipta Kundu