Joel Grodstein Jengwei Pan William J. Grundmann Bruce Gieseke Yao-Tsung Yen Constraint Identification for Timing Verification. 16-19 1990 ICCAD db/conf/iccad/iccad1990.html#GrodsteinPGGY90