A unified approach to simulation and timing verification at the functional level. - Vighneswara Row Mokkarala; Antony Fan; Ravi Apte (DAC, 1985)

Advanced Circuit Reliability Verification for Robust Design. - Antony Fan; Joddy Wang; Vladimir Aptekar (IRPS, 2019)