High-Level Verification door Sudipta Kundu, Sorin Lerner & Rajesh Gupta