Workshops

Agenda Overview
Time Title Speaker
13:30-13:35 Opening Remarks Zhufei Chu (Ningbo University)
13:35-14:00 LLM-based Verilog RTL coding assistant Pei-Hsin Ho (UniVista)
14:00-14:25 Smart Verification leveraging PSS Zhenghua Qi (X-EPIC) 
14:25-14:50 Development and Challenges of Logic Synthesis Tools Sherry Yang (Hangzhou Dianzi University)
14:50-15:15 Coffee Break
15:15-15:40 Large Circuit Model Qiang Xu (The Chinese University of Hong Kong)
15:40-16:05 Logic Optimization Based on Representation Learning Min Li (Huawei Noah’s Ark Lab)
16:05-16:30 Quantum Computing Programming Language Based on Coq and Formal Verification of Quantum Programs Gang Chen (Nanjing University of Aeronautics and Astronautics)
16:30-17:30 Panel: The Challenges and Opportunities of Digital Circuit Design and Verification in the Era of Large Models Moderator: 
Qiang Xu (The Chinese University of Hong Kong)
Panelist:
Pei-Hsin Ho (UniVista)
Zhenghua Qi (X-EPIC)
Sherry Yang (Hangzhou Dianzi University)
Min Li (Huawei Noah’s Ark Lab) ...
17:30-17:35 Closing Zhufei Chu (Ningbo University)
Agenda Overview
Time Title Speaker
13:30-13:35 Opening Remarks Hailong YAO (University of Science and Technology Beijing)
13:35-14:00 Multi-objective Design Space Optimization in Logic Synthesis  Ji LI (Shenzhen Giga Design Automation Co., Ltd)
14:00-14:25 New Challenges in VLSI Placement and Routing Tools Xiaojian YANG(LEDA Technology Inc.) 
14:25-14:50 STA Technologis and Challenges in Advanced Technology Nodes Chao YAN(Zhejiang Hexin Industrial Software Inc)
14:50-15:15 Prospects of Physical Implementation and Design Methodology for 3DIC Xiaoming LIU (Empyrean Technology)
15:15-15:40 3DIC Design & Package Challenges to Signoff EDA Tool Sheng HAN  (PHLEXING Technology Co., Ltd.)
15:40-16:00 Coffee Break
16:00-17:00 Closed-door Seminar
Agenda Overview
Time Title Speaker
14:00-14:05 Opening Remarks Lan Chen  (IME, CAS)
14:05-14:25 Quantum Mechanical Correction Models and Computational Methods for Semiconductor Devices Tao Cui (AMSS, CAS)
14:25-14:45 Sub-10 nm Atomistic TCAD Based on Non-von Neumann ASIC Jie Liu (HNU)
14:45-15:05 Large Scale VLSI Mask Optimization Bei Yu (CUHK)
15:05-15:25 TBD TBD (Primarius)
15:25-15:45 Coffee Break
15:45-16:05 AI Enabled Design to Contour Mechanism for Design Manufacturability Check Shengrui Zhang (DJEL)
16:05-16:25 TBD Ya Lu (Huawei)
16:25-16:55 Discussion
16:55-17:00 Closing Lan Chen (IME,CAS)

More workshops will be updated soon.