English  |  正體中文  |  简体中文  |  2822808  
???header.visitor??? :  29970684    ???header.onlineuser??? :  664
???header.sponsordeclaration???
 
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
???ui.leftmenu.abouttair???

???ui.leftmenu.bartitle???

???index.news???

???ui.leftmenu.copyrighttitle???

???ui.leftmenu.link???

"h z chou"???jsp.browse.items-by-author.description???

???jsp.browse.items-by-author.back???
???jsp.browse.items-by-author.order1??? ???jsp.browse.items-by-author.order2???

Showing items 1-10 of 22  (3 Page(s) Totally)
1 2 3 > >>
View [10|25|50] records per page

Institution Date Title Author
臺大學術典藏 2019-10-31T06:58:45Z Path Controllability Analysis for High Quality Designs SY-YEN KUO;C. Huang;S. Y. Kuo;K. H. Chang;H. Z. Chou;L. J. Chen; L. J. Chen; H. Z. Chou; K. H. Chang; S. Y. Kuo; C. Huang; SY-YEN KUO
臺大學術典藏 2019-10-31T06:58:45Z Path Controllability Analysis for High Quality Designs SY-YEN KUO;C. Huang;S. Y. Kuo;K. H. Chang;H. Z. Chou;L. J. Chen; L. J. Chen; H. Z. Chou; K. H. Chang; S. Y. Kuo; C. Huang; SY-YEN KUO
臺大學術典藏 2018-09-10T15:36:26Z Handling Nondeterminism in Logic Simulation So That Your Waveform Can Be Trusted Again H. Z. Chou;K. H. Chang;S. Y. Kuo; H. Z. Chou; K. H. Chang; S. Y. Kuo; SY-YEN KUO
臺大學術典藏 2018-09-10T15:36:26Z Handling Nondeterminism in Logic Simulation So That Your Waveform Can Be Trusted Again H. Z. Chou;K. H. Chang;S. Y. Kuo; H. Z. Chou; K. H. Chang; S. Y. Kuo; SY-YEN KUO
臺大學術典藏 2018-09-10T08:46:22Z Facilitating Unreachable Code Diagnosis and Debugging H. Z. Chou; K. H. Chang; S. Y. Kuo; SY-YEN KUO
臺大學術典藏 2018-09-10T08:18:12Z 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; H. Z. Chou; H. Yu; K. H. Chang; D. Dobbyn; S. Y. Kuo; SY-YEN KUO
臺大學術典藏 2018-09-10T08:18:12Z 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; H. Z. Chou; H. Yu; K. H. Chang; D. Dobbyn; S. Y. Kuo; SY-YEN KUO
臺大學術典藏 2018-09-10T08:18:12Z Automatic Constraint Generation for Software-Based Post-Silicon Bug Repair H. Z. Chou;K. H. Chang;S. Y. Kuo; H. Z. Chou; K. H. Chang; S. Y. Kuo; SY-YEN KUO
臺大學術典藏 2018-09-10T08:18:12Z Automatic Constraint Generation for Software-Based Post-Silicon Bug Repair H. Z. Chou;K. H. Chang;S. Y. Kuo; H. Z. Chou; K. H. Chang; S. Y. Kuo; SY-YEN KUO
臺大學術典藏 2018-09-10T08:18:12Z Automating Unreachable Code Diagnosis and Debugging H. Z. Chou;K. H. Chang;S. Y. Kuo; H. Z. Chou; K. H. Chang; S. Y. Kuo; SY-YEN KUO

Showing items 1-10 of 22  (3 Page(s) Totally)
1 2 3 > >>
View [10|25|50] records per page