EDA Forum 2025
July 25th, 2025, Guangzhou, CHINA
INVITED SPEAKERS
Xiaoyang SUN ,
UniVista
Xing WEI ,
Easy-Logic Technology
Jiang XU ,
HKUST(GZ)
Zhiyi YU ,
Sun Yat-sen University
Pingqiang ZHOU ,
ShanghaiTech University
Tsung-Yi HO ,
CUHK
Shuting CAI ,
Guangdong University of Technology
Li SHANG ,
Fudan University
Fan YANG ,
Fudan University
Wenxing ZHU ,
Fuzhou University
Ngai WONG ,
The University of Hong Kong
Ying WANG ,
Institute of Computing Technology
Shaowei CAI ,
Institute of Software, Chinese Academy of Sciences
Yibo LIN ,
Peking University
Zhe LIN ,
Sun Yat-sen University
Jieru ZHAO ,
Shanghai Jiao Tong University
Yuanchuang ZHAO ,
Core Thought Research Institute
Yuzhe MA ,
HKUST(GZ)
Hongce ZHANG ,
HKUST(GZ)
Yangdi LYU ,
HKUST(GZ)
Shiju LIN ,
HKUST(GZ)
|
|
|
|
Tsung-Yi HO
CUHK Professor |
Jiang XU
HKUST(GZ) Professor |
|
|
|
|
|
|
Yuzhe MA
HKUST(GZ) Assistant Professor |
Hongce ZHANG
HKUST(GZ) Assistant Professor |
Yangdi LYU
HKUST(GZ) Assistant Professor |
Shiju LIN
HKUST(GZ) Assistant Professor |
|
Session #1 Session Chair: Yun CHEN |
|
| 9:00 - 9:20 |
Generative Design Automation for Embedded Systems
Li SHANG, Fudan University |
| 9:20 - 9:40 |
LLM辅助的专用处理器芯片设计与评价
Ying WANG, Institute of Computing Technology |
| 9:40 - 10:00 |
Benchmark for 3D-IC Backend Implementation and PPA Evaluation
Mingxuan YUAN |
| 10:00 - 10:20 |
处理器智能化测试与设计
Yangdi LYU, HKUST(GZ) |
| 10:20 - 10:40 |
Group Photo and Tea Break |
|
Session #2 Session Chair: Hongwu JIANG
|
|
| 10:40 - 11:00 |
异步电路EDA工具及其在类脑智能芯片中的应用
Zhiyi YU, Sun Yat-sen University |
| 11:00 - 11:20 |
EDA形式化验证的并行算法
Shaowei CAI, Institute of Software, Chinese Academy of Sciences |
| 11:20 - 11:40 |
Noise-Driven Zeroth-Order Optimization for Efficient Forward-Only Training
Ngai WONG, The University of Hong Kong |
| 11:40 - 12:00 |
人工智能模型推理加速与应用
Jieru ZHAO, Shanghai Jiao Tong University |
|
Session #3 Session Chair: Jiayi HUANG |
|
| 14:00 - 14:20 |
Efficient Cell Characterization and Path Timing Prediction Using Graph Transformer Network
Fan YANG, Fudan University |
| 14:20 - 14:40 |
半导体器件物理-数据混合建模与TCAD仿真
Shuting CAI, Guangdong University of Technology |
| 14:40 - 15:00 |
Pre-RTL Power Modeling and Optimization
Zhe LIN, Sun Yat-sen University |
| 15:00 - 15:20 |
AI for Hardware Formal Verification
Hongce ZHANG, HKUST(GZ) |
| 15:20 - 15:40 | Tea Break
|
|
Session #4
Session Chair: Shanshi HUANG |
|
| 15:40 - 16:00 |
Model and Algorithm for Fixed-Outline Floorplanning Based on Poisson’s Equation
Wenxing ZHU, Fuzhou University |
| 16:00 - 16:20 |
Differentiable Physical Optimization towards Timing and Thermal Closure
Yibo LIN, Peking University |
| 16:20 - 16:40 |
GPU Acceleration for Electronic Design Automation
Shiju LIN, HKUST(GZ) |
| 16:40 - 17:00 |
Curvilinear and Robust Inverse Lithography with Rigorous Optimization
Yuzhe MA, HKUST(GZ) |
|
Panel Discussion
Session Chair: Yuanchuang ZHAO |
|
| 17:00 - 17:30 |
Xiaoyang SUN、Xing WEI、Mingxuan YUAN、Yuanchuang ZHAO
|
