公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
2020 | Time multiplexing via circuit folding | Chien P.-C; Jiang J.-H.R.; JIE-HONG JIANG | Proceedings - Design Automation Conference | 0 | 0 | |
2019 | Time-frame folding: Back to the sequentiality | Chien, P.-C.; Jiang, J.-H.R.; JIE-HONG JIANG | IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD | 2 | 0 | |
2008 | To SAT or Not to SAT: Ashenhurst Decomposition in a Large Scale | Hsuan-Po Lin; Jie-Hong R. Jiang; Ruei-Rung Lee; JIE-HONG JIANG | IEEE/ACM Int'l Conf. on Computer-Aided Design (ICCAD'08) | 22 | 0 | |
2010 | To SAT or Not to SAT: Scalable Exploration of Functional Dependency | Jie-Hong R. Jiang; Chih-Chun Lee; Alan Mishchenko; CHUNG-YANG HUANG ; JIE-HONG JIANG | IEEE Transactions on Computers (TCOMP) | | | |
2011 | Towards Completely Automatic Decoder Synthesis | Hsiou-Yuan Liu; Yen-Cheng Chou; Chen-Hsuan Lin; Jie-Hong R. Jiang; JIE-HONG JIANG | IEEE/ACM Int'l Conf. on Computer Aided Design (ICCAD'11) | 5 | 0 | |
2018 | Towards Formal Evaluation and Verification of Probabilistic Design | Nian-Ze Lee; Jie-Hong R. Jiang; JIE-HONG JIANG ; 江介宏 | IEEE Transactions on Computers | 9 | 7 | |
2014 | Towards Formal Evaluation and Verification of Probabilistic Design | Nian-Ze Lee; Jie-Hong R. Jiang; JIE-HONG JIANG | International Conference on Computer- Aided Design (ICCAD) | 4 | 0 | |
2012 | TRECO: Dynamic technology remapping for timing engineering change orders | Ho, K.-H.; Jiang, J.-H.R.; Chang, Y.-W.; YAO-WEN CHANG ; JIE-HONG JIANG | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | 8 | 8 | |
2010 | TRECO: Dynamic Technology Remapping for Timing Engineering Change Orders | Kuan-Hsien Ho; Jie-Hong R. Jiang; Yao-Wen Chang; YAO-WEN CHANG ; JIE-HONG JIANG | Asia and South Pacific Design Automation Conference (ASP-DAC'10) | 14 | 9 | |
2001 | Unified functional decomposition via encoding for FPGA technology mapping | Jiang, J.-H.; Jou, J.-Y.; Huang, J.-D.; JIE-HONG JIANG | IEEE Transactions on Very Large Scale Integration (VLSI) Systems | 4 | 3 | |
2012 | Unified QBF Certification and its Applications | Valeriy Balabanov; Jie-Hong R. Jiang; JIE-HONG JIANG | Formal Methods in System Design (FMSD) | 119 | 82 | |
2012 | When Boolean Satisfiability Meets Gaussian Elimination in a Simplex Way | Cheng-Shen Han; Jie-Hong R. Jiang; JIE-HONG JIANG | International Conference on Computer Aided Verification (CAV'12) | 26 | 0 | |
2008 | 奈米IC設計之前瞻電子設計自動化技術-子計畫三:於奈米積體電路製程變異下考量實體設計之穩健邏輯合成研究 (新制多年期第1年) | 江介宏 | | | | |
2008 | 系統驗證之可重用性研究(I) | 江介宏 | | | | |
2007 | 自動機與有限狀態機方程解於數位電路最佳化之應用 (新制多年期第1年) | 江介宏 | | | | |
2008 | 自動機與有限狀態機方程解於數位電路最佳化之應用 (新制多年期第2年) | 江介宏 | | | | |