High Level Functional Verification Closure. - Surrendra Dudani; Jayant Nagda (ICCD, 2002)