| Issue Date | Title | Author(s) | Source | scopus | WOS | Fulltext/Archive link |
|---|---|---|---|---|---|---|
| 2010 | Accurately Handle Don’t-Care Conditions in High-Level Designs and Application for Reducing Initialized Registers | H. Z. Chou; K. H. Chang; S. Y. Kuo; SY-YEN KUO | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | 12 | 11 | |
| 2010 | Automatic Constraint Generation for Software-Based Post-Silicon Bug Repair | H. Z. Chou; K. H. Chang; S. Y. Kuo; SY-YEN KUO | 19th International Workshop on Logic and Synthesis(IWLS 2010) | |||
| 2010 | Automating Unreachable Code Diagnosis and Debugging | H. Z. Chou; K. H. Chang; S. Y. Kuo; SY-YEN KUO | 19th International Workshop on Logic and Synthesis(IWLS 2010) | |||
| 2009 | Enhancing Bug Hunting Using High-Level Symbolic Simulation | H. Z. Chou; I. H. Lin; C. S. Yang; K. H. Chang; S. Y. Kuo; SY-YEN KUO | 2009 ACM Great Lake Symposium on VLSI (GLSVLSI-2009) | 4 | 0 | |
| 2011 | Facilitating Unreachable Code Diagnosis and Debugging | H. Z. Chou; K. H. Chang; S. Y. Kuo; SY-YEN KUO | 16th Asia and South Pacific Design Automation Conference (ASP-DAC 2011) | 2 | 0 | |
| 2010 | Finding Reset Nondeterminism in RTL Designs–Scalable X-Analysis Methodology and Case Study | H. Z. Chou; H. Yu; K. H. Chang; D. Dobbyn; S. Y. Kuo; SY-YEN KUO | 2010 Design, Automation & Test in Europe (DATE 2010) | 9 | 0 | |
| 2007 | Fundamental Performance Limits of Data Replication for Peer-to-Peer Applications in Wireless Ad-hoc Networks | S. C. Wang; H. Z. Chou; D. S. L. Wei; S. Y. Kuo; SY-YEN KUO | IEEE Journal of Selected Areas in Communications (J-SAC) | 9 | 11 | |
| 2009 | Handling Don't-Care Conditions in High-LevelSynthesis and Application for Reducing Initialized Registers | H. Z. Chou; K. H. Chang; S. Y. Kuo; SY-YEN KUO | 46th ACM/IEEE Design Automation Conference (DAC-2009) | 8 | 0 | |
| 2016 | Handling Nondeterminism in Logic Simulation So That Your Waveform Can Be Trusted Again | H. Z. Chou; K. H. Chang; S. Y. Kuo; SY-YEN KUO | IEEE Design & Test of Computers | 3 | 1 | |
| 2010 | Optimizing Blocks in an SoC Using Symbolic Code-Statement Reachability Analysis | H. Z. Chou; K. H. Chang; S. Y. Kuo; SY-YEN KUO | 15th Asia and South Pacific Design Automation Conference (ASP-DAC 2010) | 5 | 0 | |
| 2019 | Path Controllability Analysis for High Quality Designs | L. J. Chen; H. Z. Chou; K. H. Chang; S. Y. Kuo; C. Huang; SY-YEN KUO | 24th Asia and South Pacific Design Automation Conference (ASP-DAC 2019) | 0 | 0 | |
| 2007 | Randomized and Distributed Methods for Reliable Peer-to-Peer Data Communications in Wireless Ad Hoc Networks | H. Z. Chou; S. C. Wang; I. Y. Chen; S. Y Yuan; S. Y. Kuo; SY-YEN KUO | IET Communications | 4 | 4 | |
| 2007 | Randomized Distributed Algorithm for Peer-to-Peer Data Replication in Wireless Ad Hoc Networks | H. Z. Chou; S. C. Wang; S. Y. Kuo; SY-YEN KUO | 2007 Pacific Rim International Symposium on Dependable Computing (PRDC'07) | 0 | 0 |
