公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
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) | 5 | 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 | 2 | |
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 |