公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
2011 | Bi-decomposition using SAT and interpolation | Lee, R.-R.; Jiang, J.-H.R.; Hung, W.-L.; JIE-HONG JIANG | Advanced Techniques in Logic Synthesis, Optimizations and Applications | | | |
2019 | Biochemical Threshold Function Implementation with Zero-Order Ultrasensitivity | Huang, W.-C.; Jiang, J.-H.R.; Fages, F.; Molina, F.; JIE-HONG JIANG | BioCAS 2019 - Biomedical Circuits and Systems Conference, Proceedings | | | |
2021 | Bit-Slicing the Hilbert Space: Scaling up Accurate Quantum Circuit Simulation | Tsai Y.-H; Jiang J.-H.R; Jhang C.-S.; JIE-HONG JIANG | Proceedings - Design Automation Conference | | | |
2010 | Boolean Matching of Function Vectors with Strengthened Learning | Chih-Fan Lai; Jie-Hong R. Jiang; Kuo-Hua Wang; JIE-HONG JIANG | Int'l Conf. on Computer-Aided Design (ICCAD'10) | 9 | 0 | |
2010 | BooM: A Decision Procedure for Boolean Matching with Abstraction and Dynamic Learning | Chih-Fan Lai; Jie-Hong R. Jiang; Kuo-Hua Wang; JIE-HONG JIANG | ACM/IEEE Design Automation Conference (DAC'10) | 13 | 0 | |
2014 | Building Reconfigurable Circuitry in a Biochemical World | Hui-Ju Katherine Chiang; Jie-Hong Rol; Jiang; Franç ois Fages; JIE-HONG JIANG | IEEE Biomedical Circuits and Systems Conference (BioCAS) | 6 | 0 | |
2018 | Canonicalization of Threshold Logic Representation and its Applications | S.-Y. Lee; N.-Z. Lee; J.-H. R. Jiang; JIE-HONG JIANG ; 江介宏 | Int’l Conf. on Computer-Aided Design (ICCAD) | 9 | 0 | |
2020 | Circuit learning for logic regression on high dimensional boolean space | Chen P.-W; Huang Y.-C; Lee C.-L; JIE-HONG JIANG | Proceedings - Design Automation Conference | | | |
2021 | A Circuit-Based SAT Solver for Logic Synthesis | Zhang H.-T; JIE-HONG JIANG ; Mishchenko A. | IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD | 6 | 0 | |
2016 | Clauses Versus Gates in CEGAR-Based 2QBF Solving. | Balabanov, Valeriy; Jiang, Jie-Hong Roland; Mishchenko, Alan; Scholl, Christoph; JIE-HONG JIANG | Beyond NP, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 12, 2016. | | | |
2012 | Clock Rescheduling for Timing Engineering Change Orders | Kuan-Hsien Ho; Xin-Wei Shih; Jie-Hong R. Jiang; JIE-HONG JIANG | Asia and South Pacific Design Automation Conference (ASP-DAC'12) | 4 | 0 | |
2017 | Closing the Accuracy Gap of Static Performance Analysis of Asynchronous Circuits | Cheng-Yu Shih; Chun-Hong Shih; Jie-Hong R. Jiang; JIE-HONG JIANG ; 江介宏 | Design Automation Conference (DAC) | 0 | 0 | |
1998 | Compatible Class Encoding in Hyper-Function Decomposition for FPGA Synthesis. | Jiang, Jie-Hong Roland; Jou, Jing-Yang; Huang, Juinn-Dar; JIE-HONG JIANG | Proceedings of the 35th Conference on Design Automation, Moscone center, San Francico, California, USA, June 15-19, 1998. | | | |
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 | |
2012 | Compiling Program Control Flows into Biochemical Reactions | De-An Huang; Jie-Hong R. Jiang; Ruei-Yang Huang; Chi-Yun Cheng; JIE-HONG JIANG | Int'l Conf. on Computer-Aided Design (ICCAD'12) | 9 | 0 | |
2019 | Comprehensive search for ECO rectification using symbolic sampling | Kravets, V.N.; Lee, N.-Z.; Jiang, J.-H.R.; JIE-HONG JIANG | Proceedings - Design Automation Conference | | | |
2014 | Configurable Linear Control of Biochemical Systems | JIE-HONG JIANG | International Workshop on Bio-Design Automation (IWBDA) | | | |
2011 | Constraint generation for software-based post-silicon bug masking with scalable resynthesis technique for constraint optimization | Chang, C.-W.; Chou, H.-Z.; Chang, K.-H.; Jiang, J.-H.R.; Liu, C.-N.J.; Hsiao, C.-H.; JIE-HONG JIANG ; SY-YEN KUO | Proceedings of the 12th International Symposium on Quality Electronic Design, ISQED 2011 | 3 | 0 | |
2021 | Constraint Solving for Synthesis and Verification of Threshold Logic Circuits | Lee N.-Z; JIE-HONG JIANG | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | | | |
2018 | Cost-Aware Patch Generation for Multi-Target Function Rectification of Engineering Change Orders | H.-T. Zhang; J.-H. R. Jiang; JIE-HONG JIANG ; 江介宏 | Design Automation Conference (DAC) | 7 | 0 | |