A
An-Che Cheng
Researcher at National Chiao Tung University
Publications - 3
Citations - 22
An-Che Cheng is an academic researcher from National Chiao Tung University. The author has contributed to research in topics: SystemVerilog & Formal verification. The author has an hindex of 3, co-authored 3 publications receiving 21 citations.
Papers
More filters
Proceedings ArticleDOI
Resource-aware functional ECO patch generation
TL;DR: A resource-aware functional patch generation approach by gate count and wiring cost estimations, which considers the physical location of the patch and a set of nearby spare cells and produces the patch with minimal wiring cost instead of minimal size.
Proceedings ArticleDOI
A formal method to improve SystemVerilog functional coverage
TL;DR: A functional test pattern generation (FTPG) framework is proposed to automatically produce deterministic test patterns for complete coverage based on the functional coverage model (covergroup) provided by SystemVerilog, and it could be easily integrated to modern digital design flow.
Journal ArticleDOI
Efficient Coverage-Driven Stimulus Generation Using Simultaneous SAT Solving, with Application to SystemVerilog
An-Che Cheng,Chia-Chih (Jack) Yen,Celina G. Val,Sam Bayless,Alan J. Hu,Iris Hui-Ru Jiang,Jing-Yang Jou +6 more
TL;DR: This article formulated as a simultaneous Boolean satisfiability (SAT) problem that is based on covergroups, the coverage bins defined by the functional model are converted into Conjunction Normal Form (CNF) and then solved together by the proposed simultaneous SAT algorithm PLNSAT to generate stimuli for improving coverage.