High-Level Verification of System Designs. door Sudipta Kundu