 | 2012 |
| 11 |  | Kai-Hui Chang,
Hong-Zu Chou,
Igor L. Markov:
RTL analysis and modifications for improving at-speed test.
DATE 2012: 400-405 |
| 2011 |
| 10 |  | Hong-Zu Chou,
Kai-Hui Chang,
Sy-Yen Kuo:
Facilitating unreachable code diagnosis and debugging.
ASP-DAC 2011: 485-490 |
| 9 |  | Chia-Wei Chang,
Hong-Zu Chou,
Kai-Hui Chang,
Jie-Hong Roland Jiang,
Chien-Nan Jimmy Liu,
Chiu-Han Hsiao,
Sy-Yen Kuo:
Constraint generation for software-based post-silicon bug masking with scalable resynthesis technique for constraint optimization.
ISQED 2011: 174-181 |
| 2010 |
| 8 |  | Hong-Zu Chou,
Kai-Hui Chang,
Sy-Yen Kuo:
Optimizing blocks in an SoC using symbolic code-statement reachability analysis.
ASP-DAC 2010: 787-792 |
| 7 |  | Hong-Zu Chou,
Haiqian Yu,
Kai-Hui Chang,
Dylan Dobbyn,
Sy-Yen Kuo:
Finding reset nondeterminism in RTL designs - scalable X-analysis methodology and case study.
DATE 2010: 1494-1499 |
| 6 |  | Hong-Zu Chou,
Kai-Hui Chang,
Sy-Yen Kuo:
Accurately Handle Don't-Care Conditions in High-Level Designs and Application for Reducing Initialized Registers.
IEEE Trans. on CAD of Integrated Circuits and Systems 29(4): 646-651 (2010) |
| 2009 |
| 5 |  | Hong-Zu Chou,
I-Hui Lin,
Ching-Sung Yang,
Kai-Hui Chang,
Sy-Yen Kuo:
Enhancing bug hunting using high-level symbolic simulation.
ACM Great Lakes Symposium on VLSI 2009: 417-420 |
| 4 |  | Hong-Zu Chou,
Kai-Hui Chang,
Sy-Yen Kuo:
Handling don't-care conditions in high-level synthesis and application for reducing initialized registers.
DAC 2009: 412-415 |
| 2007 |
| 3 |  | Hong-Zu Chou,
Szu-Chi Wang,
Sy-Yen Kuo:
A Randomized Distributed Algorithm for Peer-to-Peer Data Replication in Wireless Ad Hoc Networks.
PRDC 2007: 163-170 |
| 2 |  | Szu-Chi Wang,
Hong-Zu Chou,
David S. L. Wei,
Sy-Yen Kuo:
On the fundamental performance limits of peer-to-peer data replication in wireless ad hoc networks.
IEEE Journal on Selected Areas in Communications 25(1): 211-221 (2007) |
| 2004 |
| 1 |  | Hung-Yau Lin,
Hong-Zu Chou,
Fu-Min Yeh,
Ing-Yi Chen,
Sy-Yen Kuo:
An Efficient Algorithm for Reconfiguring Shared Spare RRAM.
ICCD 2004: 544-546 |