學歷
學校 系所 學位
交通大學 資訊工程 博士
經歷
期間 單位 部門 職稱
專長
VLSI/CAD 設計
邏輯合成與最佳化
學術著作
期刊論文
期間 內容
2018-06 王國華,高振傑,'Finger Detection by Renewed FEMD Method using Kinet',Fu Jen Studies - Science and Engineering,2018-06
2015-06 林煥緒,王國華,'Accelerating Functional Symmetry Detection on CUDA Platform',Fu Jen Studies - Science and Engineering.1-24,2015-06
2015-06 張峰銘,王國華,'Accelerating Boolean Matching for Large Functions on CUDA Platform',Fu Jen Studies - Science and Engineering.127-150,2015-06
2006.10 Y. Y. Liu,K. H. Wang,T. T. Hwang,'Crosstalk Minimization in Logic Synthesis for PLA',ACM Transactions on Design Automation of Electronic Systems (TODAES),vol11.890-915,2006.10
2006.01 S. K. Lu,C. H. Hsu,Y. C. Tsai,K. H. Wang,C. W. Wu,'Efficient Built-In Redundancy Analysis for Embedded Memories with 2-D Redundancy',IEEE Transactions on Very Large Scale Integration (VLSI) Systems,,vol14.34-42,2006.01
1997.02 Kuo-Hua Wang,T. Huang,'Boolean Matching for Incompletely Specified Functions',IEEE Transaction on Computer-Aided-Design of Integrated Circuits and Systems.160-168,1997.02
1996.10 Kuo-Hua Wang,T. Huang,C. Chen,'Exploiting Communication Complexity for Boolean Matching',IEEE Transactions on Computer-Aided-Design of Integrated Circuits and Systems.1249-1256,1996.10
1994.10 T. Hwang,R.M. Owens,M.J. Irwin,Kuo-Hua Wang,'Logic Synthesis for Field Programmable Gate Arrays',IEEE Transactions on Computer-Aided-Design of Integrated Circuits and Systems.1280-1287,1994.10
1993.09 Kuo-Hua Wang,T. Huang,C. Chen,'Overlapped Decomposition for Communication Complexity Driven Multilevel Logic Synthesis',IEICE Transactions on Information and Systems Synthesis and Verification of Hardware Design.1075-1084,1993.09
研討會論文
期間 內容
2010.11.07 賴之凡,江介宏,王國華,'Boolean Matching of Function Vectors with Strengthened Learning',2010 Interantional Conference on Computer-Aided Design (ICCAD-2010),聖荷西,2010.11.07
2010.06.13 賴之凡,江介宏,王國華,'BooM: A Decision Procedure for Boolean Matching with Abstraction and Dynamic Learning',47'th Design Automation Conference (DAC-2010),美國,安納海姆,2010.06.13
2009.07.26 王國華,詹仲銘,劉榮章,'Simulation and SAT-based Boolean matching for large Boolean networks',46'th Design Automation Conference (DAC'09),美國,舊金山,2009.07.26
2007.11 Kuo-Hua Wang,Chung-Ming Chan,'Incremental Learning Approach and SAT Model for Boolean Matching with Don't Cares',International Conference on Computer-Aided Design (ICCAD-07),2007.11
2007.10.12 Kuo-Hua Wang,Chung-Ming Chan,'SAT Based Boolean Matching for Incompletely Specified Functions',The Workshop on Synthesis and System Integration of Mixed Information Technologies,日本,札幌,2007.10.12
2007.05.29 Kuo-Hua Wang,Chung-Ming Chan,'Incremental Learning Approach and SAT Model for Boolean Matching with Don't Cares',International Workshop on Logic and Synthesis,2007.05.29
2006.07.27 K. H. Wang,'Exploiting K-Distance Signatures for Boolean Matching and G-Symmetry Detection', Design Automation Conference (DAC-06,USA,San Francisco,2006.07.27
2006.04 K. H. Wang,'Exploiting K-Distance Signatures for Boolean Matching and G-Symmetry Detection',the Workshop on Synthesis And System Integration of Mixed Information Technologies,日本,名古屋,2006.04
2005.01 Kuo-Hua Wang,Jia-Hung Chen,'K-Disjointness Paradigm with Application to Symmetry Detection for Incompletely Specified Functions',Asia and South Pacific Design Automation Conference,China,Shanghai,2005.01
2004.08 Kuo-Hua Wang,Jia-Hung Chen,'Symmetry Detection for Incompletely Specified Functions with K-Disjointness Paradigm',VLSI/CAD Symposium,R.O.C.,2004.08
2004.08 Kuo-Hua Wang,Jia-Hung Chen,'Quick Symmetry Detection Method for Boolean Functions with Don’t Cares', VLSI/CAD Symposium,Taiwan,2004.08
2004.06 Kuo-Hua Wang,Jia-Hung Chen,'Symmetry Detection for Incompletely Specified Functions',Design Automation Conference,U.S.A., San Diego,2004.06
2004.02 Y. Y. Liu,K. H. Wang,T. T. Hwang,'Crosstalk Minimization in Logic Synthesis for PLA',Automation and Test in Europe Conference 2004,French,Paris,2004.02
2001.05 Y.Y. Liu,Kuo-Hua Wang,T.Huang,'Binary Decision Diagram with Minimum Expected Path Length',Automation and Test in Europe Conference 2001,Germany,2001.05
1996 T. Hwang,K.H. Wang,'Boolean Matching in Logic Synthesis',SASMI, Synthesis and System Integration of Mixed Information Technology Workshop,Japan,1996
1995.06 Kuo-Hua Wang,T. Huang,'Boolean Matching for Incompletely Specified Functions',Design Automaion Conference,U.S.A.,1995.06
1994.10 K. H. Wang,W. S. Wang,T. T. Hwang,Allen C.H. Wu,Y. L. Lin,'State Assignment for Power and Area Minimization',International Conference on Computer Design (ICCD94),1994.10
1993.08 Kuo-Hua Wang,T. Huang,C. Chen,'Technology Mapping for FPGA’s with Generalized Functional Decomposition',CAD/Graphic’93,China,1993.08
1993.02 Kuo-Hua Wang,T. Huang,C. Chen,'Restructuring Binary Decision Diagrams Based on Functional Equivalence',Proceedings Design Automation and Test in Europe Conference,French,Paris,1993.02
書籍
期間 內容
2011-01 王國華,'Advanced Techniques in Logic Synthesis, Optimizations and Applications, Ch. 11: Simulation and SAT-Based Boolean Matching for Large Boolean Networks',2011,Springer,2011-01
1994-06 Kuo-Hua Wang,'(Ph. D. Dissertation) A Study of Functional Decomposition for Multilevel Logic Synthesis',1994-06
1988-06 K. H. Wang,'(Master Thesis) Design and Implementation of a Concurrent Programming Language',National Chiao-Tung University,1988-06
研究獎勵
年度 單位 獎項
104 經濟部工業局 指導學生獲得2015通訊大賽智慧城市應用服務設計競賽_實作組 亞軍
102 國科會 國科會績優人才獎勵
101 國科會 國科會績優人才獎勵
100 國科會 國科會績優人才獎勵
99 Altera University Program 指導學生獲得2010亞洲創新設計大賽 佳作
99 Altera University Program 指導學生獲得2010亞洲創新設計大賽 佳作
97 財團法人思源文教基金會 思源 EDA獎勵金
96 財團法人思源文教基金會 思源 EDA獎勵金
96 教育部 96學年度全國大學校院積體電路電腦輔助設計(CAD)軟體製作競賽不訂題組佳作
95 財團法人思源文教基金會 思源 EDA獎勵金
94 教育部顧問室 超大型積體電路與系統設計人才培育 服務獎
93 財團法人思源文教基金會 思源 EDA獎勵金
86 國科會 國科會一般甲種研究獎勵
研究計畫
期間 主持人 計畫名稱 贊助單位 贊助金額 職稱
內嵌式可程式化邏輯模組:新架構及相關設計軟體-子計畫五:內嵌式可程式化邏輯模組之合成與最佳化技術及相關CAD工具開發(2/3) 國科會
考慮架橋/固定輸入之布林比對及其在技術映成上之應用 國科會
一套以電路面積/延遲/功率最佳化為主之多階邏輯合成演算法 國科會
2013.08.01至2014.07.31 王國華 以CUDA為主之平行SAT解題器及其布林比對應用 國科會
2012.08.01至2013.07.31 王國華 以多用途圖形處理器加速函數對稱性檢查及布林比對 國科會
2011.08.01至2012.07.31 王國華 以Craig內插理論及SAT技術抽取最小積項和 國科會
2010.08.01至2011.07.31 王國華 利用資料探勘技術解決布林比對問題 國科會
2010.08.01至2011.07.31 王國華 以資料探勘技術為主之大型二階布林化簡演算法
2009.08.01至2010.07.31 王國華 以 QBF 為主可處理不完全函數之布林比對技術 國科會
2007.08.01至2009.07.31 王國華 以模擬與SAT為主可處理大型布林網絡之布林比對技術 國科會
2007.08.01至2008.07.31 王國華 以漸進式學習為主之布林比對技術
2007.04.01至2008.03.31 王國華 以模擬與SAT為主之邏輯合成技術研究
2006.08.01至2007.07.31 王國華 以多值決策圖為主之低功技術映成 國科會
2005-08-01至2006-07-01 王國華 利用布林函數之K-距特徵值發展之布林比對技術 國科會
2004-08-01至2005-07-01 王國華 內嵌式可程式化邏輯模組:新架構及相關設計軟體─子計畫五:內嵌式可程式化邏輯模組之合成與最佳化技術及相關CAD工具開發(3/3) 國科會
2003-08-01至2004-07-01 王國華 內嵌式可程式化邏輯模組:新架構及相關設計軟體─子計畫五:內嵌式可程式化邏輯模組之合成與最佳化技術及相關CAD工具開發(2/3) 國科會
2002-08-01至2003-07-01 王國華 內嵌式可程式化邏輯模組:新架構及相關設計軟體─子計畫五:內嵌式可程式化邏輯模組之合成與最佳化技術及相關CAD工具開發(1/3) 國科會
2001-08-01至2002-07-01 王國華 組合語言、數位系統導論 輔仁教學網網路教學課程補助計劃
1999-09-01至2002-06-01 王國華 VLSI教育改進計劃─數位系統之快速雛形製作 教育部
1998-08-01至1999-07-31 王國華 考慮架橋/固定輸入之布林比對及其在技術映成上之應用 國科會
1997-08-01至1998-07-31 王國華 一套以電路面積/延遲/功率最佳化為主之多階邏輯合成演算法 國科會
校內服務
校內服務內容
期間 內容
2015-10-21至2015-10-21 帶隊老師(校企業參訪(Microsoft))
2014-08-01至2015-07-31 委員(資訊工程學系產業實習會委員)
2014-08-01至2015-07-31 委員(基本資訊能力檢定會委員)
2012-08-01至2015-07-31 系主任(資訊工程學系系主任)
2012-08-01至2015-07-31 系主任(輔仁大學資工系系主任)
2008.12.26至2008.12.26 口試委員(輔大電子所碩士論文口試委員)
校外服務
校外服務內容
期間 內容
2018-10-17至2018-10-17 帶隊老師(校企業參訪(Google))
2015-08-01至2016-7-31 命題委員(APCS大學程式設計先修檢測)
2014-01-01至2018-12-31 指導老師(ITSA 線上程式競賽)
2013.02.05至2013.02.05 論文口試委員(台大電子所碩士論文口試委員)
2008.07.15至2008.07.16 協辦人(協辦2008年電子設計自動化研討會)
擔任委員
擔任委員內容
期間 內容
2021-10-20至2021-10-20 碩士論文口試委員(台科大資工系碩士論文口試)
2021-07-30至2021-07-30 碩士論文口試委員(台科大資工系碩士論文口試)
2021-07-29至2021-07-29 碩士論文口試委員(大同大學資工所碩士論文口試委員)
2020-09-01至2021-08-31 命題與審題委員(APCS大學程式設計先修檢測)
2019-08-01至2020-07-31 命題委員(APCS大學程式設計先修檢測)
2018-09-12至null 指導老師(ITSA 線上程式競賽)
2018-08-01至2019-07-31 命題委員(APCS大學程式設計先修檢測)
2017-08-12至2017-09-12 期刊論文審查委員(IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems - 期刊論文審查委員)
2017-08-01至2018-7-31 命題委員(APCS大學程式設計先修檢測)
2017-07-17至2017-07-31 口試委員(海洋大學資工所碩士論文口試委員)
2017-06-23至2017-06-23 口試委員(大同大學資工所碩士論文口試委員)
2017-04-09至2017-05-09 期刊論文審查委員(IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems - 期刊論文審查委員)
2017-02-18至2017-06-28 命題與評審委員(2017 NCPU 全國私立大專院校程式競賽 命題&評審委員)
2016-11-28至2016-12-28 期刊論文審查委員(IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems - 期刊論文審查委員)
2016-08-01至2017-7-31 命題委員(APCS大學程式設計先修檢測)
2014-04-28至2014-05-28 期刊論文審查委員(IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems - 期刊論文審查委員)
2013.07.04至2013.07.04 (台大電子所碩士論文口試委員)
2012.06.18至2012.06.18 (台大電子所碩士論文口試委員)
2011-08-01至2013-07-31 院級評鑑委員(理工學院院級評鑑委員)
2011.06.20至2011.06.20 (台大電子所碩士論文口試委員)
2010.07.01至2010.10.31 審查委員(教育部99年度數位教材與課程認證)
2010.06.21至2010.06.21 (台大電子所碩士論文口試委員)
2010.06.11至2010.06.11 (元智資工所碩士論文口試委員)
2009.06.19至2009.06.19 (交大電子所碩士論文口試委員)
2009.06.13至2009.06.13 (中原電子所博士論文口試委員)
2005.08.01至2007.01.31 論文審查委員(論文審查委員ASP-DAC (Asia and South Pacific Design Automation Conference))
2005.08.01至2005.12.31 (International Journal of Electrical Engineer 論文審查委員)
2004至null null(經濟部技術處「業界開發產業技術計畫」-合邦電子股份有限公司『可攜式數位多媒體裝置開發計畫』審查委員)
2004.01.01至2008.11.01 (論文審查委員ACM Transactions on Design Automation of Electronic)
2004.01.01至2004.12.31 (論文審查委員IEEE Trans. On Computer-Aide-Design)
2003至2005 null(經濟部技術處「業界開發產業技術計畫」-思源科技(股)公司『混合訊號IC設計自動化佈局編輯系統計畫』審)
2001.08.01至2003.07.31 出題 (教育部顧問室『超大型積體電路與系統設計教育改進』計畫 90~92年度 CAD競賽出題 (90,91)與評審(90~92)委員 )