An-Che Cheng

According to our database, An-Che Cheng authored at least 3 papers between 2012 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Resource-aware functional ECO patch generation.

An-Che Cheng, Iris Hui-Ru Jiang, Jing-Yang Jou

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2014

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

ACM Trans. Design Autom. Electr. Syst., 2014

2012

A formal method to improve SystemVerilog functional coverage.

An-Che Cheng, Chia-Chih Yen, Jing-Yang Jou

Proceedings of the 2012 IEEE International High Level Design Validation and Test Workshop, 2012