An Efficient Algorithm for Reconfiguring Shared Spare RRAM. - Hung-Yau Lin; Hong-Zu Chou; Fu-Min Yeh; Ing-Yi Chen; Sy-Yen Kuo (ICCD, 2004)

A Randomized Distributed Algorithm for Peer-to-Peer Data Replication in Wireless Ad Hoc Networks. - Hong-Zu Chou; Szu-Chi Wang; Sy-Yen Kuo (PRDC, 2007)

Randomised and distributed methods for reliable peer-to-peer data communication in wireless ad hoc networks. - Hong-Zu Chou; Szu-Chi Wang; Sy-Yen Kuo; Ing-Yi Chen; Shih-Yi Yuan (IET Commun., 2007)

On the fundamental performance limits of peer-to-peer data replication in wireless ad hoc networks. - Szu-Chi Wang; Hong-Zu Chou; David S. L. Wei; Sy-Yen Kuo (IEEE J. Sel. Areas Commun., 2007)

Handling don't-care conditions in high-level synthesis and application for reducing initialized registers. - Hong-Zu Chou; Kai-Hui Chang; Sy-Yen Kuo (DAC, 2009)

Enhancing bug hunting using high-level symbolic simulation. - Hong-Zu Chou; I-Hui Lin; Ching-Sung Yang; Kai-Hui Chang; Sy-Yen Kuo (ACM Great Lakes Symposium on VLSI, 2009)

Optimizing blocks in an SoC using symbolic code-statement reachability analysis. - Hong-Zu Chou; Kai-Hui Chang; Sy-Yen Kuo (ASP-DAC, 2010)

Finding reset nondeterminism in RTL designs - scalable X-analysis methodology and case study. - Hong-Zu Chou; Haiqian Yu; Kai-Hui Chang; Dylan Dobbyn; Sy-Yen Kuo (DATE, 2010)

Accurately Handle Don't-Care Conditions in High-Level Designs and Application for Reducing Initialized Registers. - Hong-Zu Chou; Kai-Hui Chang; Sy-Yen Kuo (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010)

Facilitating unreachable code diagnosis and debugging. - Hong-Zu Chou; Kai-Hui Chang; Sy-Yen Kuo (ASP-DAC, 2011)

Constraint generation for software-based post-silicon bug masking with scalable resynthesis technique for constraint optimization. - Chia-Wei Chang; Hong-Zu Chou; Kai-Hui Chang; Jie-Hong Roland Jiang; Chien-Nan Jimmy Liu; Chiu-Han Hsiao; Sy-Yen Kuo (ISQED, 2011)

RTL analysis and modifications for improving at-speed test. - Kai-Hui Chang; Hong-Zu Chou; Igor L. Markov (DATE, 2012)

Handling Nondeterminism in Logic Simulation so That Your Waveform Can Be Trusted Again. - Kai-Hui Chang; Hong-Zu Chou; Haiqian Yu; Dylan Dobbyn; Sy-Yen Kuo (IEEE Des. Test, 2016)

Path controllability analysis for high quality designs. - Li-Jie Chen; Hong-Zu Chou; Kai-Hui Chang; Sy-Yen Kuo; Chi-Lai Huang (ASP-DAC, 2019)