|
"chung yang huang"的相关文件
显示项目 6-15 / 46 (共5页)
1 2 3 4 5 > >>
每页显示[10|25|50]项目
| 臺大學術典藏 |
2020-06-11T06:33:09Z |
A false-path aware formal static timing analyzer considering simultaneous input transitions.
|
Tsai, Shihheng;Huang, Chung-Yang; Tsai, Shihheng; Huang, Chung-Yang; CHUNG-YANG HUANG |
| 臺大學術典藏 |
2020-06-11T06:33:09Z |
Interpolation-based incremental ECO synthesis for multi-error logic rectification.
|
Tang, Kai-Fu;Wu, Chi-An;Huang, Po-Kai;Huang, Chung-Yang (Ric); Tang, Kai-Fu; Wu, Chi-An; Huang, Po-Kai; Huang, Chung-Yang (Ric); CHUNG-YANG HUANG |
| 臺大學術典藏 |
2020-06-11T06:33:09Z |
Interpolant generation without constructing resolution graph.
|
Hsu, Chih-Jen;Huang, Shao-Lun;Wu, Chi-An;Huang, Chung-Yang; Hsu, Chih-Jen; Huang, Shao-Lun; Wu, Chi-An; Huang, Chung-Yang; CHUNG-YANG HUANG |
| 臺大學術典藏 |
2020-06-11T06:33:08Z |
Property-specific sequential invariant extraction for SAT-based unbounded model checking
|
Yeh, H.-H.;Wu, C.-Y.;Huang, C.-Y.R.; Yeh, H.-H.; Wu, C.-Y.; Huang, C.-Y.R.; CHUNG-YANG HUANG |
| 臺大學術典藏 |
2020-06-11T06:33:08Z |
Conquering the scheduling alternative explosion problem of SystemC symbolic simulation
|
CHUNG-YANG HUANG; Chou, C.-N.;Chu, C.-K.;Huang, C.-Y.R.; Chou, C.-N.; Chu, C.-K.; Huang, C.-Y.R. |
| 臺大學術典藏 |
2020-06-11T06:33:08Z |
A high-throughput and arbitrary-distribution pattern generator for the constrained random verification
|
Wu, B.-H.;Yang, C.-J.;Huang, C.-Y.; Wu, B.-H.; Yang, C.-J.; Huang, C.-Y.; CHUNG-YANG HUANG |
| 臺大學術典藏 |
2020-06-11T06:33:08Z |
Match and replace: A functional ECO engine for multierror circuit rectification
|
Huang, S.-L.;Lin, W.-H.;Huang, P.-K.;Huang, C.-Y.; Huang, S.-L.; Lin, W.-H.; Huang, P.-K.; Huang, C.-Y.; CHUNG-YANG HUANG |
| 臺大學術典藏 |
2020-06-11T06:33:08Z |
An ultrasynchronization checking method with trace-driven simulation for fast and accurate MPSoC virtual platform simulation
|
Yeh, Y.-F.;Lin, H.-C.;Huang, C.-Y.; Yeh, Y.-F.; Lin, H.-C.; Huang, C.-Y.; CHUNG-YANG HUANG |
| 臺大學術典藏 |
2020-06-11T06:33:07Z |
Speeding Up MPSoC virtual platform simulation by Ultra Synchronization Checking Method.
|
Yeh, Yu-Fu;Huang, Chung-Yang;Wu, Chi-An;Lin, Hsin-Cheng; Yeh, Yu-Fu; Huang, Chung-Yang; Wu, Chi-An; Lin, Hsin-Cheng; CHUNG-YANG HUANG |
| 臺大學術典藏 |
2020-06-11T06:33:07Z |
Toward an extremely-high-throughput and even-distribution pattern generator for the constrained random simulation techniques
|
Wu, B.-H.;Yang, C.-J.;Tso, C.-C.;Huang, C.-Y.R.; Wu, B.-H.; Yang, C.-J.; Tso, C.-C.; Huang, C.-Y.R.; CHUNG-YANG HUANG |
显示项目 6-15 / 46 (共5页)
1 2 3 4 5 > >>
每页显示[10|25|50]项目
|
