公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
2001 | An Analysis of ATPG and SAT algorithms for Formal Verification | G. Parthasarathy; K-T. Cheng; CHUNG-YANG HUANG | International High Level Design Validation and Test Workshop | | | |
2000 | AQUILA: An equivalence checking system for large sequential designs | Huang, S.-Y.; Cheng, K.-T.; Chen, K.-C.; Huang, C.-Y.; Brewer, F.; CHUNG-YANG HUANG | IEEE Transactions on Computers | | | |
2000 | Assertion checking by combined word-level ATPG and modular arithmetic constraint-solving techniques. | Huang, Chung-Yang; Cheng, Kwang-Ting; CHUNG-YANG HUANG | Proceedings of the 37th Conference on Design Automation, Los Angeles, CA, USA, June 5-9, 2000. | | | |
2016 | Automatic abstraction refinement of TR for PDR | Fan, K.; Yang, M.-J.; CHUNG-YANG HUANG | Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC | | | |
2010 | Automatic Constraint Generation for Guided Random Simulation | Hu-Hsi Yeh; CHUNG-YANG HUANG | ACM/IEEE Asia and South Pacific Design Automation Conference (ASP-DAC) | | | |
2008 | Characterisation of Taiwanese propolis collected from different locations and seasons | Chen, Yue-Wen; Wu, Shiao-Wen; Ho, Kai-Kuang; Lin, Shih-Bin; Huang, Chung-Yang; Chen, Chia-Nan; CHUNG-YANG HUANG | Journal of the Science of Food and Agriculture | | 42 | |
2021 | Compatible Equivalence Checking of X-Valued Circuits | Wang Y.-N; Luo Y.-R; Chien P.-C; Wang P.-L; Wang H.-R; Lin W.-H; JIE-HONG JIANG ; CHUNG-YANG HUANG | IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD | 0 | 0 | |
2013 | Conquering the scheduling alternative explosion problem of SystemC symbolic simulation | Chou, C.-N.; Chu, C.-K.; CHUNG-YANG HUANG | IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD | | | |
2013 | A counterexample-guided interpolant generation algorithm for SAT-based model checking | Wu, C.-Y.; Wu, C.-A.; Lai, C.-Y.; CHUNG-YANG HUANG | Proceedings - Design Automation Conference | | | |
2014 | A Counterexample-Guided Interpolant Generation Algorithm for SAT-Based Model Checking | Wu, Cheng-Yin; Wu, Chi-An; Lai, Chien-Yu; CHUNG-YANG HUANG | Ieee Transactions on Computer-Aided Design of Integrated Circuits and Systems | | 4 | |
2009 | Electronic Design Automation: Synthesis, Verification, and Test | L-T. Wang; K-T. Cheng; Y-W. Chang; CHUNG-YANG HUANG | | | | |
2009 | A false-path aware formal static timing analyzer considering simultaneous input transitions. | Tsai, Shihheng; CHUNG-YANG HUANG | Proceedings of the 46th Design Automation Conference, DAC 2009, San Francisco, CA, USA, July 26-31, 2009 | | | |
2016 | Fast and accurate MPSoC virtual platform simulation with parallel out-of-order execution approach | Yeh, Yu-Fu; Lin, Shu-Yen; SHU-YEN LIN ; CHUNG-YANG HUANG | Journal of the Chinese Institute of Engineers | 0 | 0 | |
2010 | Formal Deadlock Checking on High-Level SystemC Designs | Chun-Nan Chou; Chang-Hong Hsu; Yueh-Tung Chao; CHUNG-YANG HUANG | IEEE/ACM International Conference on Computer-Aided Design (ICCAD) | | | |
2007 | FSTA:正規靜態時序分析技術(II) | 黃鐘揚 | | | | |
2009 | Fundamentals of Algorithms | CHUNG-YANG HUANG ; Lai, C.-Y.; Cheng, K.T. | Electronic Design Automation | 13 | 0 | |
2014 | A high-throughput and arbitrary-distribution pattern generator for the constrained random verification | Wu, B.-H.; Yang, C.-J.; CHUNG-YANG HUANG | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | | | |
2008 | Improving Constant-Coefficient Multiplier Verification by Partial Product Identification | Chao-Yue (Colby) Lai; CHUNG-YANG HUANG ; Kei-Yong Khoo | Design Automation and Test in Europe (DATE) | 6 | 0 | |
2009 | Interpolant generation without constructing resolution graph. | Hsu, Chih-Jen; Huang, Shao-Lun; Wu, Chi-An; CHUNG-YANG HUANG | 2009 International Conference on Computer-Aided Design, ICCAD 2009, San Jose, CA, USA, November 2-5, 2009 | 3 | 0 | |
2011 | Interpolation-based incremental ECO synthesis for multi-error logic rectification. | Tang, Kai-Fu; Wu, Chi-An; Huang, Po-Kai; CHUNG-YANG HUANG | Proceedings of the 48th Design Automation Conference, DAC 2011, San Diego, California, USA, June 5-10, 2011 | | | |