Travelled to:1 × Germany
3 × USA
Collaborated with:F.Xie K.Cong L.Lei K.Hao S.Ray B.C.0008 C.Havlicek R.Kannavara
Talks about:test (3) framework (2) synthesi (2) behavior (2) implement (1) versatil (1) prototyp (1) virtual (1) silicon (1) scalabl (1)
Person: Zhenkun Yang
DBLP: Yang:Zhenkun
Contributed to:
2015
2014
20142013
2018Wrote 5 papers:
- ISSTA-2015-CongLYX #automation #fault #injection #robust #testing
- Automatic fault injection for driver robustness testing (KC, LL, ZY, FX), pp. 361–372.
- DAC-2014-YangHCLRX #behaviour #certification #framework #scalability #synthesis
- Scalable Certification Framework for Behavioral Synthesis Front-End (ZY, KH, KC, LL, SR, FX), p. 6.
- DATE-2014-CongLYX #evaluation #prototype #testing #validation
- Coverage evaluation of post-silicon validation tests with virtual prototypes (KC, LL, ZY, FX), pp. 1–6.
- DAC-2013-YangRHX #behaviour #design #equivalence #implementation #optimisation #synthesis
- Handling design and implementation optimizations in equivalence checking for behavioral synthesis (ZY, SR, KH, FX), p. 6.
- FASE-2018-ChenHYCKX #framework #named #testing
- CRETE: A Versatile Binary-Level Concolic Testing Framework (BC0, CH, ZY, KC, RK, FX), pp. 281–298.