Chang, Kaihui
128  Ergebnisse:
Personensuche X
?
 
?
 
?
6

Path controllability analysis for high quality designs:

, In: Proceedings of the 24th Asia and South Pacific Design Automation Conference,
Chen, Li-Jie ; Chou, Hong-Zu ; Chang, Kai-Hui.. - p. 687-692 , 2019
 
?
7

Scalable sequence-constrained retention register minimizati..:

, In: Proceedings of the 52nd Annual Design Automation Conference,
 
?
8

Improving gate-level simulation accuracy when unknowns exis:

, In: Proceedings of the 49th Annual Design Automation Conference,
Chang, Kai-Hui ; Browy, Chris - p. 936-940 , 2012
 
?
9

RTL analysis and modifications for improving at-speed test:

, In: Proceedings of the Conference on Design, Automation and Test in Europe,
Chang, Kai-Hui ; Chou, Hong-Zu ; Markov, Igor L. - p. 400-405 , 2012
 
?
11

Facilitating unreachable code diagnosis and debugging:

, In: Proceedings of the 16th Asia and South Pacific Design Automation Conference,
Chou, Hong-Zu ; Chang, Kai-Hui ; Kuo, Sy-Yen - p. 485-490 , 2011
 
?
12

Logic synthesis and circuit customization using extensive e..:

Chang, Kai-Hui ; Bertacco, Valeria ; Markov, Igor L..
ACM Transactions on Design Automation of Electronic Systems.  15 (2010)  3 - p. 1-24 , 2010
 
?
13

Logic synthesis and circuit customization using extensive e..:

Chang, Kai-Hui ; Bertacco, Valeria ; Markov, Igor L..
ACM Transactions on Design Automation of Electronic Systems (TODAES).  15 (2010)  3 - p. 1-24 , 2010
 
?
14

Optimizing blocks in an SoC using symbolic code-statement r..:

, In: Proceedings of the 2010 Asia and South Pacific Design Automation Conference,
Chou, Hong-Zu ; Chang, Kai-Hui ; Kuo, Sy-Yen - p. 787-792 , 2010
 
?
15

Finding reset nondeterminism in RTL designs : scalable X..:

, In: Proceedings of the Conference on Design, Automation and Test in Europe,
Chou, Hong-Zu ; Yu, Haiqian ; Chang, Kai-Hui.. - p. 1494-1499 , 2010
 
1-15