"Timing Verification on a 1.2M-Device Full-Custom CMOS Design" by Jengwei Pan et al. published in proceedings of DAC 91, the ACM/IEEE Design Automation Conference, Jun. 1991. |
"Automatic Detection of MOS Synchronizers for Timing Verification" by Joel Grodstein et al., published in ICCAD '91, IEEE Int'l Conference on Computed Aided Design, Santa Clara, Nov. 11-14, 1991. |
"Constraint Identification for Timing Verification" by Joel Grodstein et al., published in ICCAD '90, IEEE Int'l Conference on Computer Added Design, Nov. 1990. |