EDA組實驗室

實驗室名稱

電子設計自動化實驗室

主持人 張耀文

介紹

本實驗室位於博理館406室，主要研究領域為奈米積體電路的實體設計（電路分割、平面規劃、擺置、繞線器及佈局最佳化）、異質整合(先進封裝和PCB)布局設計、AI for EDA & EDA for AI等。目前共執行9個研究計畫，其中6個為與業界的建教合作計畫（以機器學習方法應用於佈局最佳化、先進封裝和PCB實體設計、Optical 和 Electrical 整合繞線、考量可製造性設計的實體設計等），3個為國科會計畫（晶創計畫異質整合設計最佳化、奈米積體電路可製造性設計、兆級電路系統的實體設計等）。實驗室有專業藏書400餘本，堪稱電子設計自動化域最豐富的典藏之一。實驗室主要的硬體研究設備有工作站及PC Severs共40+個GPU/CPU，每人皆配備個人及筆記型電腦各一台，充分提供研究所需。頂尖國際會議 DAC 和 ICCAD 論文發表量世界第一，共獲得 13 次最佳論文獎和 26 最佳論文獎提名，2017 年獲得的 DAC 最佳論文獎為 DAC 62 年來台灣唯一不分領域的最佳論文獎(700件論文第一名)，2025年獲ICCAD最佳論文獎，ICCAD 44年來台灣唯一的最佳論文獎(1500+摘要、1058件完整論文交件第一名)。EDA 國際競賽獲獎共計 8 次第一名和 25 前三名，全球第一。 Yao-Wen Chang * 2025 ICCAD Best Paper Award (#1 out of 1058 submissions) * 2025/2026 Chair, IEEE Fellow Search Committee, IEEE CEDA * 2022/2023/2024 IEEE Robert N. Noyce Award Selection Committee (a.k.a. the Nobel Prize in Semiconductors) * 2020/2021 President, IEEE Council on EDA (CEDA) * 2012/2019 Secretary/VP/President-elect, IEEE CEDA * 2013/2014 ICCAD Technical Program Chair / General Chair * 2010/2011/2012 ISPD Technical Program Chair / General Chair / Steering Committee Chair * 2017 DAC Best Paper Award * 2013 Four DAC Research Awards (1st Most Papers in the 5th Decade, etc.) * 101 papers in DAC (#1 worldwide), 81 papers in ICCAD (#2 worldwide), 88 papers in TCAD (#3) * Eight 1st-place & 25 top-3 awards of SigDA/CEDA EDA Contests

實驗室名稱

超大型積體電路系統晶片暨電腦輔助設計實驗室

主持人 陳中平

介紹

VLSI SoC&EDA 實驗室是一個國際化的電腦輔助設計及數位IC設計實驗室，其研究重點在於針對電路實體設計及時序之最佳化線路模擬，以及在針對製造時所產生之製程移之影響及解決方案。最近，我們又極力發展半導體光學製程之模擬之最佳化。在IC設計方面，我們主力在發展在高速低功率之微處理機所須之線路及多顆之結構設計。

實驗室名稱

嵌入式計算實驗室

主持人 楊佳玲

介紹

本實驗室由楊佳玲教授領導，專注於計算機結構與系統設計（Computer Architecture & System Design），研究範疇橫跨嵌入式系統（Embedded Systems）與高效能運算（High-Performance Computing, HPC）。 我們的研究議題涵蓋： Performance Modeling 與 Simulation Methodology Workload Characterization Emerging Memory Technology SSD-based Storage System Runtime System Domain-Specific Architecture CPU/GPU Architecture 實驗室核心使命是培育台灣產業界最迫切需求的系統專業人才。我們不僅是台灣少數能在國際旗艦級會議（如 ISCA, ASPLOS, MICRO, HPCA 等）發表研究成果的團隊之一，更持續拓展國際合作，與 Intel、IBM、TUM、KIT 等知名研究單位建立深厚的交流。同時，我們也與台灣企業積極合作，包括 旺宏、鈺創、台達電、聯發科、HP 等，共同推動前瞻性技術的落地與應用。 透過跨領域的研究、國際合作與產學鏈結，本實驗室致力於打造一個兼具創新與實務的研究環境。如果你想挑戰自己，累積紮實的系統實力，並在未來的產業中脫穎而出，我們誠摯邀請你加入！

實驗室名稱

應用邏輯與計算研究室

主持人 江介宏

介紹

ALCom Lab 應用邏輯與計算研究室(http://alcom.ee.ntu.edu.tw)，位於明達館526室，研究主軸為邏輯與計算在系統設計的應用，主要包含「邏輯合成與驗證」、「最佳化方法與決策程序」、「計算模型」三大方向。「邏輯合成與驗證」的研究包括邏輯電路的優化與驗證、邏輯資料結構操作與應用、時序與邏輯條件式求解等。「最佳化方法與決策程序」的研究包括布林可滿足性(Satisfiability, SAT)、隨機布林可滿足性(Stochastic Boolean Satisfiability, SSAT)、 量詞布林公式(Quantified Boolean Formula, QBF)、 相依量詞布林公式(Dependency Quantified Boolean Formula, DQBF)、數學規劃(Mathematical Programming)求解與應用等。「計算模型」的研究包括以量子物理、生化反應、類神經元為基礎之計算模型與系統設計。我們探索科技與工程前沿的重要問題，激盪新思維與方法來解決問題。我們也透過頻繁的國際合作與產學交流來推廣研究成果。

實驗室名稱

可靠性系統實驗室

主持人 李建模

介紹

實驗室位於博理館427 目前有大學專題生，碩士生與博士生 有興趣加入同學歡迎跟學長姊面談 請見網頁 http://lads.ee.ntu.edu.tw http://cc.ee.ntu.edu.tw/~cmli

實驗室名稱

可靠性系統實驗室

主持人 黃俊郎

介紹

本團隊的目標為發展硬體測試與安全技術。主要的研究題目包括： (1) 以軟體實現現的處理器核心自我測試技術 (2) 異質整合自我測試技術 (3) 硬體安全與信任機制

實驗室名稱

可靠性系統實驗室

主持人 黃鐘揚

介紹

可靠性系統實驗室（三）設計驗證工作室 本實驗室主要之研究領域為晶片系統(SoC)之設計驗證，其中的項目包括： 1. 核心驗證引擎之研究與開發， 2. 網路、通訊、多媒體智財(IP)之驗證技術， 3. 系統設計分析與除錯技術， 4. Constraint Satisfaction Problem (CSP) 之各項應用。 綜合以上之研究，本實驗室正著手開發兩套驗證工具系統： 1. Property Verification Framework, 2. IP Qualification Framework.

實驗室名稱

IRIS智動化實驗室

主持人 江蕙如

介紹

IRIS智動化實驗室提供一個訓練創新思考的空間。每位學生直接與老師一起工作研究，嘗試解決有趣、實際、並有迫切需求的問題。主要研究領域是電子設計自動化，研究主題包含：時序分析與最佳化、設計變更最佳化、實體設計自動化、製造可行性。透過與業界領導廠商合作研究開發突破性技術。

實驗室名稱

Elsa Lab

主持人 李濬屹

介紹

Elsa Lab is supervised by Prof. Chun-Yi Lee, and is a professional research team dedicated to developing innovative virtual-to-real transfer learning, deep reinforcement learning (DRL), computer vision (CV) technologies for intelligent robotics and autonomous agents, parallel computation, computer architecture designs/EDA for CPUs and GPUs, AI for EDA, and EDA for AI models. Elsa Lab’s mission is to invent groundbreaking technologies, cultivate professional talents, and continuously contribute cutting-edge research works to the global research communities and industries. We welcome top-tier researchers, professionals, and promising students all over the world to work together with us toward exciting innovations. 
 Currently, Elsa Lab collaborates with leading research institutes and corporations worldwide for joint research projects, the exchange of talents, and the hosting of international workshops.

實驗室名稱

奈米設計與製造系統實驗室

主持人 蔡坤諭

介紹

本實驗室位於明達館604室與電機二館255室，由蔡坤諭教授主持。研究主旨在於應用先進的控制，訊號處理，與最佳化演算法以解決奈米製像與奈米科技相關的問題，尤其是奈米積體電路的製造與設計。目前主要的研究方向包括： (1)奈米等級微影製程與設備之研發； (2)奈米等級微影與晶片可製造性分析與設計軟體之研發； (3)奈米等級微影製程與設備之控制； (4)應用控制與最佳化演算法於電路自動化設計； (5)感測器與致動器陣列與其訊號處理演算法之研發。 主要研究設備包括：個人電腦、高效能工作站叢集、多種數值運算與製程元件模擬軟體、多種電子設計自動化軟體、高壓電源供應器、示波器、即時資料擷取與控制系統開發平台、奈米定位平台、與次奈米等級雷射干涉儀等。

實驗室名稱

計算工程之形式方法與分析實驗室

主持人 李念澤

介紹

計算系統為現代生活不可或缺的一部分。 座位於「學新館 410」，ForMACE Lab (https://formace-lab.gitlab.io/webpage/) 致力於解決以形式方法確保計算系統的可靠性與安全性時，將遭遇到的科學與工程方面的挑戰。 我們的研究方向包括： - 形式方法及其在軟體工程與電子設計自動化 (EDA) 中的應用 - 機密運算 - AI 與形式方法之相互應用 - 可滿足性求解 在 ForMACE Lab，我們強調理論嚴謹性與工程實踐能力，遵循軟體開發的最佳實踐來實現創新想法並維護高品質的研究工具。 本實驗室與國際學術社群保持緊密聯繫，並與德國慕尼黑大學 (LMU Munich) 的 SoSy-Lab 進行聯合研究計畫。 此外，我們也與美國、日本和挪威的研究團隊保持積極的合作關係。 為了確保本實驗室研究對實際應用的影響力，我們致力於解決產業界提出的實際問題。 例如，我們目前正在執行一個由 Intel 贊助的計畫，專注於驗證機密運算所依賴的韌體模組。