sur 13
Effective Functional Verification — Srivatsa Vasudevan