Automatic constraint generation for guided random simulation. - Hu-Hsi Yeh; Chung-Yang Huang (ASP-DAC, 2010)

Property-specific sequential invariant extraction for SAT-based unbounded model checking. - Hu-Hsi Yeh; Cheng-Yin Wu; Chung-Yang (Ric) Huang (ICCAD, 2011)

QuteRTL: Towards an Open Source Framework for RTL Design Synthesis and Verification. - Hu-Hsi Yeh; Cheng-Yin Wu; Chung-Yang (Ric) Huang (TACAS, 2012)