Dynamic Assertions Using TXP. - Surrendra Dudani; Joao Geada; Grzegorz Jakacki; Daniel Vainer (RV@CAV, 2001)

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