公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
2014 | Adaptive interpolation-based model checking | Lai, C.-Y.; Wu, C.-Y.; Huang, C.-Y.R.; CHUNG-YANG HUANG | Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC | 0 | 0 | |
2013 | Conquering the scheduling alternative explosion problem of SystemC symbolic simulation | Chou, C.-N.; Chu, C.-K.; Huang, C.-Y.R.; CHUNG-YANG HUANG | IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD | 11 | 0 | |
2011 | Property-specific sequential invariant extraction for SAT-based unbounded model checking | Yeh, H.-H.; Wu, C.-Y.; Huang, C.-Y.R.; CHUNG-YANG HUANG | IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD | 1 | 0 | |
2011 | 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.; CHUNG-YANG HUANG | IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD | 7 | 0 | |