公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
2008 | A Dynamic Accuracy-Refinement Approach to Timing-Driven Technology Mapping | Sz-Cheng Huang; Jie-Hong R. Jiang; JIE-HONG JIANG | IEEE Int'l Conf. on Computer Design (ICCD'08) | 0 | 0 | |
2007 | A Statistical Approach to the Timing-Yield Optimization of Pipeline Circuits | Chin-Hsiung Hsu; Szu-Jui Chou; Jie-Hong R. Jiang; Yao-Wen Chang; JIE-HONG JIANG | Int'l Workshop on Power And Timing Modeling, Optimization and Simulation (PATMOS'07) | 0 | 0 | |
2016 | Analytic approaches to the collapse operation and equivalence verification of threshold logic circuits | Nian-Ze Lee; Hao-Yuan Kuo; Yi-Hsiang Lai; Jie-Hong R. Jiang; JIE-HONG JIANG ; 江介宏 | International Conference on Computer-Aided Design (ICCAD) | 5 | 0 | |
2019 | An approximation algorithm to the optimal switch control of reconfigurable battery packs | Shih-Yu Chen; Jie-Hong R. Jiang; Shou-Hung Welkin Ling; Shih-Hao Liang; Mao-Cheng Huang; JIE-HONG JIANG ; 江介宏 | Asia and South Pacific Design Automation Conference (ASP-DAC) | 0 | 0 | |
2012 | Automatic Decoder Synthesis: Methods and Case Studies | Hsiou-Yuan Liu; Yen-Cheng Chou; Chen-Hsuan Lin; Jie-Hong R. Jiang; JIE-HONG JIANG | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD) | 2 | 2 | |
2013 | Automatic Test Pattern Generation for Delay Defects Using Timed Characteristic Functions | Shin-Yann Ho; Shuo-Ren Lin; Ko-Lung Yuan; Chien-Yen Kuo; Kuan-Yu Liao; Jie-Hong R. Jiang; Chien-Mo James Li; JIE-HONG JIANG | IEEE/ACM International Conference on Computer-Aided Design (ICCAD) | |||
2008 | Bi-Decomposing Large Boolean Functions via Interpolation and Satisfiability Solving | Ruei-Rung Lee; Jie-Hong R. Jiang; Wei-Lun Hung; JIE-HONG JIANG | ACM/IEEE Design Automation Conference (DAC'08) | 35 | 0 | |
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 | |
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 | |
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 | |
2015 | Deriving Compositionally Deadlock-free Componenets over Synchronous Automata Compositions | Nina Yevtushenko; Khaled El-Fakih; Tiziano Villa; Jie-Hong R. Jiang; JIE-HONG JIANG | The Computer Journal | 0 | ||
2015 | Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs | Valeriy Balabanov; Jie-Hong R. Jiang; Mikolas Janota; Magdalena Widl; JIE-HONG JIANG | AAAI Conference on Artificial Intelligence (AAAI-15) | |||
2005 | Efficient Solution of Language Equations Using Partitioned Representations | Alan Mishchenko; Robert K. Brayton; Jie-Hong R. Jiang; Tiziano Villa; Nina Yevtushenko; JIE-HONG JIANG | Design Automation and Test in Europe (DATE'05) | 7 | 0 | |
2013 | Encoding Multi-Valued Functions for Symmetry | Ko-Lung Yuan; Chien-Yen Kuo; Jie-Hong R. Jiang; Meng-Yen Li; JIE-HONG JIANG | IEEE/ACM International Conference on Computer-Aided Design (ICCAD) | |||
2016 | Flexibility and Optimization of QBF Skolem-Herbrand Certificates | Valeriy Balabanov; Shuo-Ren Lin; Jie-Hong R. Jiang; JIE-HONG JIANG ; 江介宏 | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | 0 | 0 | |
2004 | Functional Dependency for Verification Reduction | Jie-Hong R. Jiang; Robert K. Brayton; JIE-HONG JIANG | Int'l Conf. on Computer Aided Verification (CAV'04) | 18 | ||
2012 | Functional Timing Analysis Made Fast and General | Yi-Ting Chung; Jie-Hong R. Jiang; JIE-HONG JIANG | ACM/IEEE Design Automation Conference (DAC'12) | 4 | 7 | |
2013 | Functional Timing Analysis Made Fast and General | Yi-Ting Chung; Jie-Hong R. Jiang; JIE-HONG JIANG | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD) | 9 | 7 |