| 1996 |
| 6 | EE | Madhav P. Desai,
Yao-Tsung Yen:
A Systematic Technique for Verifying Critical Path Delays in a 300MHz Alpha CPU Design Using Circuit Simulation.
DAC 1996: 125-130 |
| 1992 |
| 5 | | Victor Peng,
Dale R. Donchin,
Yao-Tsung Yen:
Design Methodology and CAD Tools for the NVAX Microprocessor.
ICCD 1992: 310-313 |
| 1991 |
| 4 | EE | Jengwei Pan,
Larry L. Biro,
Joel Grodstein,
William J. Grundmann,
Yao-Tsung Yen:
Timing Verification on a 1.2M-Device Full-Custom CMOS Design.
DAC 1991: 551-554 |
| 1990 |
| 3 | | Joel Grodstein,
Jengwei Pan,
William J. Grundmann,
Bruce Gieseke,
Yao-Tsung Yen:
Constraint Identification for Timing Verification.
ICCAD 1990: 16-19 |
| 2 | | William J. Grundmann,
Yao-Tsung Yen:
XREF/COUPLING: Capacitive Coupling Error Checker.
ICCAD 1990: 244-247 |
| 1 | EE | Karem A. Sakallah,
Yao-Tsung Yen,
Steve S. Greenberg:
A first-order charge conserving MOS capacitance model.
IEEE Trans. on CAD of Integrated Circuits and Systems 9(1): 99-108 (1990) |