Login / Signup
Chia-Chih Jack Yen
Publication Activity (10 Years)
Years Active: 2014-2019
Publications (10 Years): 1
Top Topics
Sat Solving
Functional Analysis
Root Cause
Top Venues
VLSI-DAT
ACM Trans. Design Autom. Electr. Syst.
</>
Publications
</>
Chia-Chih Jack Yen
Failure Root Cause Analysis Automation on Functional Simulation Regressions.
VLSI-DAT
(2019)
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)