Effective Functional Verification door Srivatsa Vasudevan