I agree that this site is using cookies. You can find further informations here.
X
Huang, Chung-Yang (Ric)
29  results:
Search for persons X
?
1

Compatible Equivalence Checking of X-Valued Circuits:

, In: 2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD),
Wang, Yu-Neng ; Luo, Yun-Rong ; Chien, Po-Chun... - p. 1-9 , 2021
Link: https://doi.org/10.1109/..
 
?
2

Fast and accurate MPSoC virtual platform simulation with pa..:

Yeh, Yu-Fu ; Lin, Shu-Yen ; Huang, Chung-Yang (Ric)
Journal of the Chinese Institute of Engineers.  39 (2016)  8 - p. 977-985 , 2016
Link: https://doi.org/10.1080/..
 
?
3

A robust constraint solving framework for multiple constrai..:

, In: Proceedings of the 50th Annual Design Automation Conference,
Wu, Bo-Han ; Huang, Chung-Yang (Ric) - p. 1-7 , 2013
Link: https://dl.acm.org/doi/1..
 
?
4

Conquering the scheduling alternative explosion problem of ..:

, In: Proceedings of the International Conference on Computer-Aided Design,
Chou, Chun-Nan ; Chu, Chen-Kai ; Huang, Chung-Yang (Ric) - p. 685-690 , 2013
Link: https://dl.acm.org/doi/1..
 
?
5

A counterexample-guided interpolant generation algorithm fo..:

, In: Proceedings of the 50th Annual Design Automation Conference,
Wu, Cheng-Yin ; Wu, Chi-An ; Lai, Chien-Yu. - p. 1-6 , 2013
Link: https://dl.acm.org/doi/1..
 
?
6

A robust general constrained random pattern generator for c..:

, In: Proceedings of the International Conference on Computer-Aided Design,
Wu, Bo-Han ; Huang, Chung-Yang (Ric) - p. 109-114 , 2012
Link: https://dl.acm.org/doi/1..
 
?
7

Multi-patch generation for multi-error logic rectification ..:

, In: Proceedings of the Conference on Design, Automation and Test in Europe,
Tang, Kai-Fu ; Huang, Po-Kai ; Chou, Chun-Nan. - p. 1567-1572 , 2012
Link: https://dl.acm.org/doi/1..
 
?
8

Symbolic model checking on SystemC designs:

, In: Proceedings of the 49th Annual Design Automation Conference,
Chou, Chun-Nan ; Ho, Yen-Sheng ; Hsieh, Chiao. - p. 327-333 , 2012
Link: https://dl.acm.org/doi/1..
 
?
9

Interpolation-based incremental ECO synthesis for multi-err..:

, In: Proceedings of the 48th Design Automation Conference,
Tang, Kai-Fu ; Wu, Chi-An ; Huang, Po-Kai. - p. 146-151 , 2011
Link: https://dl.acm.org/doi/1..
 
?
10

A robust ECO engine by resource-constraint-aware technology..:

, In: Proceedings of the 16th Asia and South Pacific Design Automation Conference,
Huang, Shao-Lun ; Wu, Chi-An ; Tang, Kai-Fu.. - p. 382-387 , 2011
Link: https://dl.acm.org/doi/1..
 
?
11

Using SAT-based Craig interpolation to enlarge clock gating..:

, In: Proceedings of the 48th Design Automation Conference,
Lin, Ting-Hao ; Huang, Chung-Yang (Ric) - p. 621-626 , 2011
Link: https://dl.acm.org/doi/1..
 
?
12

Property-specific sequential invariant extraction for SAT-b..:

, In: Proceedings of the International Conference on Computer-Aided Design,
Yeh, Hu-Hsi ; Wu, Cheng-Yin ; Huang, Chung-Yang (Ric) - p. 674-678 , 2011
Link: https://dl.acm.org/doi/1..
 
?
13

Match and replace : a functional ECO engine for multi-er..:

, In: Proceedings of the International Conference on Computer-Aided Design,
Huang, Shao-Lun ; Lin, Wei-Hsun ; Huang, Chung-Yang (Ric) - p. 383-388 , 2011
Link: https://dl.acm.org/doi/1..
 
?
14

Toward an extremely-high-throughput and even-distribution p..:

, In: Proceedings of the International Conference on Computer-Aided Design,
Wu, Bo-Han ; Yang, Chun-Ju ; Tso, Chia-Cheng. - p. 602-607 , 2011
Link: https://dl.acm.org/doi/1..
 
?
15

SoC HW/SW verification and validation:

, In: Proceedings of the 16th Asia and South Pacific Design Automation Conference,
Huang, Chung-Yang (Ric) ; Yin, Yu-Fan ; Hsu, Chih-Jen.. - p. 297-300 , 2011
Link: https://dl.acm.org/doi/1..
 
1-15