Travelled to:1 × Estonia
1 × USA
Collaborated with:C.(.Huang H.Yeh C.Wu C.Lai
Talks about:rtl (2) counterexampl (1) framework (1) algorithm (1) synthesi (1) interpol (1) generat (1) toward (1) design (1) verif (1)
Person: Cheng-Yin Wu
DBLP: Wu:Cheng=Yin
Contributed to:
2013
2012Wrote 2 papers:
- DAC-2013-WuWLH #algorithm #generative #model checking #satisfiability
- A counterexample-guided interpolant generation algorithm for SAT-based model checking (CYW, CAW, CYL, CY(H), p. 6.
- TACAS-2012-YehWH #design #framework #named #open source #synthesis #towards #verification
- QuteRTL: Towards an Open Source Framework for RTL Design Synthesis and Verification (HHY, CYW, CY(H), pp. 377–391.