Hu-Hsi Yeh

Publication Activity (10 Years)

Years Active: 2010-2012
Publications (10 Years): 0

Top Topics

Functional Verification

Engineering Design

Top Venues

Publications

Hu-Hsi Yeh, Cheng-Yin Wu, Chung-Yang (Ric) Huang
QuteRTL: Towards an Open Source Framework for RTL Design Synthesis and Verification. TACAS (2012)
Hu-Hsi Yeh, Cheng-Yin Wu, Chung-Yang (Ric) Huang
Property-specific sequential invariant extraction for SAT-based unbounded model checking. ICCAD (2011)
Hu-Hsi Yeh, Chung-Yang Huang
Automatic constraint generation for guided random simulation. ASP-DAC (2010)