EDA Labs

Laboratory

The Electronic Design Automation (EDA) Laboratory

Leader Chang, Yao-Wen

Introduction

Our research covers all aspects of VLSI physical design (PD) (partitioning, floorplanning, placement, routing, and post-layout optimization), heterogeneous integration (advanced packaging & PCB), design for manufacturing for nanometer ICs, and AI for EDA & EDA for AI. Currently, we are executing 9 research projects, including 6 from industry (advanced packaging, PCB layouts, physical design for nanometer ICs, machine learning for physical design), and 4 from NSC (advanced packaging, machine-learning-based physical design, PCB design). Our lab maintains a collection of over 400 books for research in electronic design automation, one of the most complete collections in this area. The lab is equipped with over 40+ GPUs/CPUs in servers. Each member is also equipped with at least one laptop and one desktop computer for research. The lab has been publishing the most papers at DAC + ICCAD. 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

Laboratory

VLSI SOC&EDA Lab

Leader Chen, Chung-Ping

Introduction

VLSI SoC&EDA lab is an international lab with a research emphysis on the VLSI-CAD and Microprocessor design. In the VLSI CAD part, we are focusing on the physical design, timing analysis, circuit simulation and optimization, and the cure for process variation. Recently, we are working on developing the optical lithography simulation and OPC.

Laboratory

Embedded Computing Lab

Leader Yang, Chia-Ling

Introduction

本實驗室由楊佳玲教授領導，專注於計算機結構與系統設計（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 等，共同推動前瞻性技術的落地與應用。 透過跨領域的研究、國際合作與產學鏈結，本實驗室致力於打造一個兼具創新與實務的研究環境。如果你想挑戰自己，累積紮實的系統實力，並在未來的產業中脫穎而出，我們誠摯邀請你加入！

Laboratory

ALCom Lab: Laboratory for Applied Logic & Computation in System Design

Leader Jiang, Jie-Hong

Introduction

The main research emphasis of ALCom Lab is on applying logic and computation methods for the analysis and construction of electronic systems. There are three main directions include "logic synthesis and verification," "optimization and decision procedures," and "computation models." For logic synthesis and verification, we are concerned with logic circuit optimization and verification, logic data structure manipulation and application, temporal and logic constraint solving, etc. For optimization and decision procedure, we work on satisfiability (SAT), stochastic Boolean satisfiability (SSAT), quantified Boolean formula (QBF), dependency quantified Boolean formula (DQBF), mathematical programming and explore their applications. For computation models, we study computation and circuit design with quantum physics, biochemical reactions, and neural networks. We explore important cutting-edge problems and devise new methods to solve them. We are under active international and industrial cooperation.

Laboratory

Lab of Dependable Systems (LaDS)

Leader Li, Chien-Mo

Introduction

Our lab is located at BL-427 please visit websites http://cc.ee.ntu.edu.tw/~cmli http://lads.ee.ntu.edu.tw

Laboratory

Lab of Dependable Systems (LaDS)

Leader Huang, Jiun-Lang

Introduction

The goal of the DfT research team is to develop hardware testing and security solutions. The main research topics include: (1) software-based self-testing for processor cores, (2) design-for-test techniques for heterogeneous integration, and (3) hardware security and trust.

Laboratory

Lab of Dependable Systems (LaDS)

Leader Huang, Chung-Yang

Introduction

Lab of Dependable Systems (3) Design Verification Team The research focus of our lab is in the SoC (System on a Chip) design verification area, which includes: 1. Sequential verification engines (e.g. ATPG, SAT, BDD, Arithmetic solver, etc), 2. Network, communication, and multimedia IP verification techniques, 3. Design for Verifiability (DfV), 4. System design analysis and debugging techniques, 5. Various applications of Constraint Satisfaction Problem (CSP). We are implementing the above research topics into our own tools: 1. Property Verification Framework, 2. IP Qualification Framework.

Laboratory

IRIS Lab

Leader Jiang, Iris Hui-Ru

Introduction

IRIS lab provides a cozy place to train critical and creative thinking. Every student obtains guidance directly from the coach. We co-work to solve interesting, practical, and timely problems. The research interests lie primarily in the area of Electronic Design Automation, particularly in 1) timing analysis and optimization, 2) engineering change order optimization, 3) physical design automation, 4) design for manufacturability, 5) data analytics based design automation. We have been working closely with the semiconductor industry.

Laboratory

Elsa Lab

Leader Lee, Chun-Yi

Introduction

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.

Laboratory

Nanoscale Design and Fabrication Systems Lab.

Leader Tsai, Kuen-Yu

Introduction

Nanoscale Design and Fabrication Systems Laboratory Located at R604 and R255 of the Min-Da and EEII buildings respectively, NDFSL is supervised by Prof. Kuen-Yu Tsai. The main research theme is the application of advanced control, signal processing, and optimization techniques to nanolithography and nanotechnology related problems, especially for the design and fabrication of nanometer VLSI circuits. Current research topics include: (1) Nanolithography processes and equipment: Next generation lithography (NGL) based on multiple-electron-beam-direct-write (MEBDW) and extreme ultraviolet (EUV) light. (2) Nanolithography software: Lithography simulation, resolution enhancement techniques (RET), and design for manufacturability (DFM). (3) Nanolithography process and equipment control: Advanced process control (APC), advanced equipment control (AEC), and fault detection/classification (FDC); High-accuracy alignment and overlay algorithms. (4) Circuit design automation by control and optimization techniques: Design of actuation/sensor/power circuits; Automatic circuit/layout generation and optimization. (5) Sensor/actuator array systems and signal processing: Electron-beam position monitor system based on MEMS and sensor fusion technologies. Mixed-signal circuit design for laser interferometers.

Laboratory

Formal Methods and Analysis for Computing and Engineering Laboratory (ForMACE Lab)

Leader Lee, Nian-Ze

Introduction

Located at Room 410, MK Innovation Hall, and headed by Prof. Nian-Ze Lee, ForMACE Lab (https://formace-lab.gitlab.io/webpage/) tackles challenging scientific and engineering problems to formally guarantee the reliability and security of computing systems. Our research directions include: - Formal methods and their applications in software engineering and EDA - Confidential computing - AI for Formal & Formal for AI - Satisfiability solving We emphasize both theoretical rigor and engineering excellence, adhering to the best practices of software development to implement innovative ideas and maintain high-quality tools. ForMACE Lab has strong ties to the international research community, collaborating closely with SoSy-Lab at LMU Munich, Germany, on joint research grants. We also maintain active connections with research teams in the US, Japan, and Norway. To ensure our work is impactful in practice, we solve real-world problems from industry. For example, we are currently working on an Intel-funded project to verify firmware modules underpinning confidential computing.