Cheng-Yin Wu

According to our database, Cheng-Yin Wu authored at least 4 papers between 2011 and 2014.

Collaborative distances:

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

2014

Adaptive interpolation-based model checking.

Chien-Yu Lai, Cheng-Yin Wu, Chung-Yang (Ric) Huang

Proceedings of the 19th Asia and South Pacific Design Automation Conference, 2014

2013

A counterexample-guided interpolant generation algorithm for SAT-based model checking.

Cheng-Yin Wu, Chi-An Wu, Chien-Yu Lai, Chung-Yang (Ric) Huang

Proceedings of the 50th Annual Design Automation Conference 2013, 2013

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