Automated timing model generation. - Ajay J. Daga; Loa Mize; Subramanyam Sripada; Chris Wolff; Qiuyang Wu (DAC, 2002)

Constraint analysis and debugging for multi-million instance SoC designs. - Long Fei; Loa Mize; Cho Moon; Bill Mullen; Sonia Singhal (ISQED, 2010)