Static Timing Analysis of Dynamically Sensitizable Paths. - S. Perremans; Luc J. M. Claesen; Hugo De Man (DAC, 1989)

Efficient false path elimination algorithms for timing verification by event graph preprocessing. - Luc J. M. Claesen; J. P. Schupp; P. Das; P. Johannes; S. Perremans; Hugo De Man (Integr., 1989)