Login / Signup
An-Che Cheng
Publication Activity (10 Years)
Years Active: 2012-2016
Publications (10 Years): 1
Top Topics
Sat Solving
Image Patches
Functional Analysis
Generation Algorithm
Top Venues
ACM Trans. Design Autom. Electr. Syst.
HLDVT
DATE
</>
Publications
</>
An-Che Cheng
,
Iris Hui-Ru Jiang
,
Jing-Yang Jou
Resource-aware functional ECO patch generation.
DATE
(2016)
An-Che Cheng
,
Chia-Chih Jack Yen
,
Celina G. Val
,
Sam Bayless
,
Alan J. Hu
,
Iris Hui-Ru Jiang
,
Jing-Yang Jou
Efficient Coverage-Driven Stimulus Generation Using Simultaneous SAT Solving, with Application to SystemVerilog.
ACM Trans. Design Autom. Electr. Syst.
20 (1) (2014)
An-Che Cheng
,
Chia-Chih Yen
,
Jing-Yang Jou
A formal method to improve SystemVerilog functional coverage.
HLDVT
(2012)