|
|
Taiwan Academic Institutional Repository >
Browse by Author
|
"huang c y r"
Showing items 1-8 of 8 (1 Page(s) Totally)
1
View [10|25|50] records per page
| 臺大學術典藏 |
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 |
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 |
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: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 |
| 臺大學術典藏 |
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 |
| 臺大學術典藏 |
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: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 |
Showing items 1-8 of 8 (1 Page(s) Totally)
1
View [10|25|50] records per page
|
