Hu-Hsi Yeh

According to our database, Hu-Hsi Yeh authored at least 3 papers between 2010 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2012

QuteRTL: Towards an Open Source Framework for RTL Design Synthesis and Verification.

Hu-Hsi Yeh, Cheng-Yin Wu, Chung-Yang (Ric) Huang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

2011

Property-specific sequential invariant extraction for SAT-based unbounded model checking.

Hu-Hsi Yeh, Cheng-Yin Wu, Chung-Yang (Ric) Huang

Proceedings of the 2011 IEEE/ACM International Conference on Computer-Aided Design, 2011

2010

Automatic constraint generation for guided random simulation.

Hu-Hsi Yeh, Chung-Yang Huang

Proceedings of the 15th Asia South Pacific Design Automation Conference, 2010