| 臺大學術典藏 |
2020-06-11T06:33:06Z |
Automatic abstraction refinement of TR for PDR
|
Fan, K.;Yang, M.-J.;Huang, C.-Y.; Fan, K.; Yang, M.-J.; Huang, C.-Y.; CHUNG-YANG HUANG |
| 臺大學術典藏 |
2020-06-11T06:33:06Z |
Adaptive interpolation-based model checking
|
Lai, C.-Y.;Wu, C.-Y.;Huang, C.-Y.R.; Lai, C.-Y.; Wu, C.-Y.; Huang, C.-Y.R.; CHUNG-YANG HUANG |
| 臺大學術典藏 |
2020-06-11T06:33:05Z |
Fundamentals of Algorithms
|
Huang, C.-Y.;Lai, C.-Y.;Cheng, K.T.; Huang, C.-Y.; Lai, C.-Y.; Cheng, K.T.; CHUNG-YANG HUANG |
| 臺大學術典藏 |
2020-06-11T06:33:05Z |
Fast and accurate MPSoC virtual platform simulation with parallel out-of-order execution approach
|
Yeh, Y.-F.;Lin, S.-Y.;Huang, C.-Y.; Yeh, Y.-F.; Lin, S.-Y.; Huang, C.-Y.; CHUNG-YANG HUANG |
| 臺大學術典藏 |
2018-09-10T08:46:44Z |
SoC HW/SW Verification and Validation
|
Yu-Fan Yin; Chih-Jen Hsu; Thomas B. Huang; Ting-Mao Chang; CHUNG-YANG HUANG; Chung-Yang (Ric) Huang |
| 臺大學術典藏 |
2018-09-10T08:46:44Z |
Speeding Up MPSoC Virtual Platform Simulation by Ultra Synchronization Checking Method
|
Yu-Fu Yeh; Chung-Yang (Ric) Huang; Chi-An Wu; Hsin-Cheng Lin; CHUNG-YANG HUANG |
| 臺大學術典藏 |
2018-09-10T08:18:34Z |
A Unified Multi-Corner Multi-Mode Static Timing Analysis Engine
|
Chin-Chia Nien;Shih-Heng Tsai;Chung-Yang (Ric) Huang; Chin-Chia Nien; Shih-Heng Tsai; Chung-Yang (Ric) Huang; CHUNG-YANG HUANG |
| 臺大學術典藏 |
2018-09-10T08:18:34Z |
Speeding Up SoC Virtual Platform Simulation by Data-Dependency-Aware Synchronization and Scheduling
|
Kuen-Huei Lin;Siao-Jie Cai;Chung-Yang (Ric) Huang; Kuen-Huei Lin; Siao-Jie Cai; Chung-Yang (Ric) Huang; CHUNG-YANG HUANG |
| 臺大學術典藏 |
2018-09-10T08:18:34Z |
Formal Deadlock Checking on High-Level SystemC Designs
|
Chun-Nan Chou;Chang-Hong Hsu;Yueh-Tung Chao;Chung-Yang (Ric) Huang; Chun-Nan Chou; Chang-Hong Hsu; Yueh-Tung Chao; Chung-Yang (Ric) Huang; CHUNG-YANG HUANG |
| 臺大學術典藏 |
2018-09-10T08:18:34Z |
A Robust Functional ECO Engine by SAT Proof Minimization and Interpolation Techniques
|
Bo-Han Wu;Chun-Ju Yang;Chung-Yang (Ric) Huang;Jie-Hong (Rol;) Jiang; Bo-Han Wu; Chun-Ju Yang; Chung-Yang (Ric) Huang; JIE-HONG JIANG; Jie-Hong (Rol; ) Jiang; CHUNG-YANG HUANG |
