公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
2009 | Scalable Don't Care Based Logic Optimization and Resynthesis | Alan Mishchenko; Robert K. Brayton; Jie-Hong R. Jiang; Stephen Jang; JIE-HONG JIANG | ACM International Symposium on Field-Programmable Gate Arrays (FPGA'09) | 23 | 0 | |
2011 | Scalable Don't-Care-Based Logic Optimization and Resynthesis | Alan Mishchenko; Robert Brayton; Jie-Hong R. Jiang; Stephen Jang; JIE-HONG JIANG | ACM Transactions on Reconfigurable Technology and Systems (TRETS) | 50 | 47 | |
2007 | Scalable Exploration of Functional Dependency by Interpolation and Incremental SAT Solving | Chih-Chun Lee; Jie-Hong R. Jiang; Chung-Yang Huang; Alan Mishchenko; CHUNG-YANG HUANG ; JIE-HONG JIANG | IEEE/ACM Int'l Conf. on Computer-Aided Design (ICCAD'07) | |||
2016 | Scalable Synthesis of PCHB-WCHB Hybrid Quasi-Delay Insensitive Circuits | Yi-Hsiang Lai; Chi-Chuan Chuang; Jie-Hong R. Jiang; JIE-HONG JIANG ; 江介宏 | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | 4 | 3 | |
2017 | Sequential Engineering Change Order under Retiming and Resynthesis | Nian-Ze Lee; Victor Kravets; Jie-Hong R. Jiang; JIE-HONG JIANG ; 江介宏 | International Conference on Computer-Aided Design (ICCAD) | 5 | 0 | |
2014 | Simultaneous EUV Flare Variation Minimization and CMP Control with Coupling-Aware Dummification | Chi-Yuan Liu; Hui-Ju K. Chiang; Yao-Wen Chang; Jie-Hong R. Jiang; YAO-WEN CHANG ; JIE-HONG JIANG | ACM/IEEE Design Automation Conference (DAC) | |||
2013 | Software Workarounds for Hardware Errors: Instruction Patch Synthesis | Tsung-Po Liu; Shuo-Ren Lin; Jie-Hong R. Jiang; JIE-HONG JIANG | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD) | 1 | 1 | |
2017 | Solving Stochastic Boolean Satisfiability under Random-Exist Quantification | Nian-Ze Lee; Yen-Shi Wang; Jie-Hong R. Jiang; JIE-HONG JIANG ; 江介宏 | International Joint Conference on Artificial Intelligence (IJCAI) | 11 | 0 | |
2013 | Species Minimization in Computation with Biochemical Reactions | Ruei-Yang Huang; De-An Huang; Hui-Ju Katherine Chiang; Jie-Hong R. Jiang; Francois Fages; JIE-HONG JIANG | International Workshop on Bio-Design Automation (IWBDA) | |||
2016 | String Analysis via Automata Manipulation with Logic Circuit Representation | Hung-En Wang; Tzung-Lin Tsai; Chun-Han Lin; Fang Yu; Jie-Hong R. Jiang; JIE-HONG JIANG | Int'l Conf. on Computer Aided Verification (CAV) | |||
2009 | Symmetrization in Digital Circuit Optimization | Natalia Eliseeva; Jie-Hong R. Jiang; Natalia Kushik; Nina Yevtushenko; JIE-HONG JIANG | IEEE East-West Design & Test Symposium (EWDTS'09) | |||
2013 | Synthesis of feedback decoders for initialized encoders | Kuan-Hua Tu; Jie-Hong R. Jiang; JIE-HONG JIANG | ACM/IEEE Design Automation Conference (DAC) | 1 | 0 | |
2014 | Synthesis of PCHB-WCHB Hybrid Quasi-Delay Insensitive Circuits | Chi-Chuan Chuang; Yi-Hsiang Lai; Jie-Hong R. Jiang; JIE-HONG JIANG | ACM/IEEE Design Automation Conference (DAC) | 10 | 0 | |
2015 | Synthesizing Configurable Biochemical Implementation of Linear Systems from Their Transfer Function Specifications | Tai-Yin Chiu; Hui-Ju K. Chiang; Ruei-Yang Huang; Jie-Hong R. Jiang; Francois Fages; JIE-HONG JIANG | PLOS ONE | 9 | ||
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 | |
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 | |
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 | |
2010 | TRECO: Dynamic Technology Remapping for Timing Engineering Change Orders | Kuan-Hsien Ho; Jie-Hong R. Jiang; YAO-WEN CHANG ; JIE-HONG JIANG | Asia and South Pacific Design Automation Conference (ASP-DAC'10) |