Induction-Based Gate-Level Verification of Multipliers. - Ying-Tsai Chang; Kwang-Ting Cheng (ICCAD, 2001)

Self-referential verification for gate-level implementations of arithmetic circuits. - Ying-Tsai Chang; Kwang-Ting Cheng (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2004)

Visibility enhancement for silicon debug. - Yu-Chin Hsu; Fur-Shing Tsai; Wells Jong; Ying-Tsai Chang (DAC, 2006)