Constraint Identification for Timing Verification. - Joel Grodstein; Jengwei Pan; William J. Grundmann; Bruce Gieseke; Yao-Tsung Yen (ICCAD, 1990)

XREF/COUPLING: Capacitive Coupling Error Checker. - William J. Grundmann; Yao-Tsung Yen (ICCAD, 1990)

A first-order charge conserving MOS capacitance model. - Karem A. Sakallah; Yao-Tsung Yen; Steve S. Greenberg (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1990)

Timing Verification on a 1.2M-Device Full-Custom CMOS Design. - Jengwei Pan; Larry L. Biro; Joel Grodstein; William J. Grundmann; Yao-Tsung Yen (DAC, 1991)

Design Methodology and CAD Tools for the NVAX Microprocessor. - Victor Peng; Dale R. Donchin; Yao-Tsung Yen (ICCD, 1992)

A Systematic Technique for Verifying Critical Path Delays in a 300MHz Alpha CPU Design Using Circuit Simulation. - Madhav P. Desai; Yao-Tsung Yen (DAC, 1996)