Login / Signup
Cheng-Yin Wu
Publication Activity (10 Years)
Years Active: 2011-2014
Publications (10 Years): 0
Top Topics
Temporal Properties
Model Checking
Generation Algorithm
Timed Automata
Top Venues
TACAS
ASP-DAC
DAC
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
</>
Publications
</>
Cheng-Yin Wu
,
Chi-An Wu
,
Chien-Yu Lai
,
Chung-Yang (Ric) Huang
A Counterexample-Guided Interpolant Generation Algorithm for SAT-Based Model Checking.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
33 (12) (2014)
Chien-Yu Lai
,
Cheng-Yin Wu
,
Chung-Yang (Ric) Huang
Adaptive interpolation-based model checking.
ASP-DAC
(2014)
Cheng-Yin Wu
,
Chi-An Wu
,
Chien-Yu Lai
,
Chung-Yang (Ric) Huang
A counterexample-guided interpolant generation algorithm for SAT-based model checking.
DAC
(2013)
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)