|
|
Taiwan Academic Institutional Repository >
Browse by Author
|
"chung yang huang"
Showing items 1-10 of 46 (5 Page(s) Totally)
1 2 3 4 5 > >>
View [10|25|50] records per page
| 臺大學術典藏 |
2020-06-11T06:33:11Z |
NBM-T-BBX-OS01, Semisynthesized from Osthole, Induced G1 Growth Arrest through HDAC6 Inhibition in Lung Cancer Cells
|
Pai, Jih-Tung;Hsu, Chia-Yun;Hua, Kuo-Tai;Yu, Sheng-Yung;Huang, Chung-Yang;Chen, Chia-Nan;Liao, Chiung-Ho;Weng, Meng-Shih; Pai, Jih-Tung; Hsu, Chia-Yun; Hua, Kuo-Tai; Yu, Sheng-Yung; Huang, Chung-Yang; Chen, Chia-Nan; Liao, Chiung-Ho; Weng, Meng-Shih; CHUNG-YANG HUANG |
| 臺大學術典藏 |
2020-06-11T06:33:10Z |
Using SAT-based Craig interpolation to enlarge clock gating functions.
|
Lin, Ting-Hao;Huang, Chung-Yang (Ric); Lin, Ting-Hao; Huang, Chung-Yang (Ric); CHUNG-YANG HUANG |
| 臺大學術典藏 |
2020-06-11T06:33:10Z |
A counterexample-guided interpolant generation algorithm for SAT-based model checking
|
Wu, C.-Y.;Wu, C.-A.;Lai, C.-Y.;Huang, C.-Y.; Wu, C.-Y.; Wu, C.-A.; Lai, C.-Y.; Huang, C.-Y.; CHUNG-YANG HUANG |
| 臺大學術典藏 |
2020-06-11T06:33:10Z |
A robust constraint solving framework for multiple constraint sets in constrained random verification
|
Wu, B.-H.;Huang, C.-Y.; Wu, B.-H.; Huang, C.-Y.; CHUNG-YANG HUANG |
| 臺大學術典藏 |
2020-06-11T06:33:09Z |
A Counterexample-Guided Interpolant Generation Algorithm for SAT-Based Model Checking
|
Wu, Cheng-Yin;Wu, Chi-An;Lai, Chien-Yu;Huang, Chung-Yang R.; Wu, Cheng-Yin; Wu, Chi-An; Lai, Chien-Yu; Huang, Chung-Yang R.; CHUNG-YANG HUANG |
| 臺大學術典藏 |
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. |
Showing items 1-10 of 46 (5 Page(s) Totally)
1 2 3 4 5 > >>
View [10|25|50] records per page
|
