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

A Counterexample-Guided Interpolant Generation Algorithm for SAT-Based Model Checking.

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

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 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

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