会议动态
CCF DAC 2023详细程序
时间 | 类型 | 程序安排 | 主持人/讲者 |
2023年10月13日 | |||
19:00 - 22:30 | - | CCF集成电路设计专委会2023年工作会议及换届选举会议 | 李华伟 (中国科学院计算所) |
2023年10月14日 | |||
8:30 - 8:50 | - | CCF-DAC 2023开幕式 | 李华伟 (中国科学院计算所) |
8:50 - 9:00 | 白皮书发布仪式 | 发布人:韩银和 (中国科学院计算所) | |
9:00 - 9:45 | Keynote-1 | 题目:集成电路: 计算机发展的基石 | 李华伟 (中国科学院计算所) |
特邀讲者:刘明院士 | |||
9:45 - 10:30 | Keynote-2 | 题目:晶上系统技术与发展现状 | 李华伟 (中国科学院计算所) |
特邀讲者:王文武(中国科学院重任局) | |||
10:30 - 11:00 | Coffee Break (大会合影) | ||
11:00 - 11:35 | Keynote-3 | 题目:Advanced Semiconductor Device Modeling for DTCO in AI Era | 刘雷波 (清华大学) |
特邀讲者:刘志宏 (上海概伦电子) | |||
11:35 - 12:10 | Keynote-4 | 题目:鲲鹏软硬协同 – 打造高性能EDA算力底座 | 刘雷波 (清华大学) |
特邀讲者:丁肇辉 (华为HPC首席技术专家) | |||
12:10 - 12:15 | 《高性能计算提速国产EDA跨越成长——EDA算力底座白皮书》 | 发布单位 华为 | |
13:30 - 17:30 | 论坛-1 | 论坛题目:数字EDA工具、算法和模型论坛 | 包云岗 (中国科学院计算所) 李兴权 (鹏城实验室) |
13:30 - 17:30 | Session 1 (主持人:解壁伟 中国科学院计算技术研究所) | ||
EDA如何在半导体产业变革中重塑前行 | 熊晓明 (广东工业大学) | ||
Machine Learning in EDA: When and How | 余备 (香港中文大学) | ||
数字集成电路布图规划、混合模块布局和 总体布线的数学模型与算法 | 朱文兴 (福州大学) | ||
结合SAT sweeping和精确仿真的等价性验证方法 | 蔡少伟 (中国科学院软件所) | ||
Session 2 (主持人:李兴权 鹏城实验室) | |||
FPGA动态重构系统划分、调度、布局协同设计方法 | 陈松 (中国科学技术大学) | ||
基于矩阵半张量积的逻辑推理引擎及逻辑优化 | 储著飞 (宁波大学) | ||
加速晶体管级集成电路仿真的并行稀疏LU分解开源软件包 | 金洲 (中国石油大学 (北京)) | ||
RTLLM: An Open-source Bench-mark for RTL Generation with Large Language Model | 谢知遥 (香港科技大学) | ||
In Pursuit of Deciphering ReLU Networks and Beyond | 范凤磊 (香港中文大学) | ||
13:30 - 17:30 | 论坛-2 | 论坛题目:数字集成电路工具链关键技术与挑战 | 姚海龙 (北科大) |
13:30 - 17:30 | EDA业界前沿洞察 | 黄宇 (华为海思) | |
一体化EDA数字实现工具链的需求和实现 | 肖勇 (鸿芯微纳) | ||
超大规模集成电路布局问题的机遇与挑战 | 陈建利 (立芯科技) | ||
底层融合与创新应对先进工艺签核挑战 | 贺青 (行芯科技) | ||
EDA助力Yield-PPA导向的数字芯片设计 | 刘晓明 (华大九天) | ||
鲲鹏毕昇编译器--高性能并行编译与优化技术实践 | 魏伟 (华为中央软件院) | ||
Panel 讨论: 如何加速国产数字集成电路工具链发展? | |||
13:30 - 17:30 | 论坛-3 | 论坛题目:空间计算架构 | 孙广宇 (北大) |
13:30 - 17:30 | 空间架构在处理控制流挑战中的优化与发展 | 胡杨 (清华大学) | |
面向高阶关联分析的加速器设计 | 郑龙 (华中科技大学) | ||
Cocco: Hardware-Mapping Co-Exploration towards Memory Capacity-Communication Optimization | 谭展宏 (北极雄芯) | ||
芯粒集成处理器设计:从模块化到之江一号 | 王颖 (中国科学院计算所) | ||
面向AI芯片的编译与优化 | 梁云 (北京大学) | ||
13:30 - 17:30 | 论坛-4 | 论坛题目:AI和并行加速的先进EDA技术 | 金洲 (中国石油大学) |
13:30 - 17:30 | Session1:EDA并行加速技术 | ||
Large Scale Atomistic TCAD Simulations | 汪林望 (中国科学院半导体所) | ||
大规模供电网络的并行仿真算法研究 | 喻文健 (清华大学) | ||
GPU Powered Analog Circuit Simulator | 吴大可 (华大九天) | ||
GPU Acceleration for Design Rule Checking | 何卓论 (香港中文大学) | ||
异构计算和人工智能加速物理设计与优化 | 林亦波 (北京大学) | ||
Session2:AI for EDA | |||
噪声 v.s. 时序:利用机器学习加速签核收敛 | 卓成 (浙江大学) | ||
Towards Generative AI for Physical Design | Mark Ren (NVIDIA) | ||
基于机器学习的OPC方法 | 杨帆 (复旦大学) | ||
智能EDA框架—AiEDA | 李兴权 (鹏城实验室) | ||
Learning Based Stress Evolution Analysis Under DC Current Stressing for Multisegment Wires | 陈海宝 (上海交通大学) | ||
13:30 - 15:20 | 论文分组-1 | Topic: 集成电路设计 | 赵康 (北京邮电大学) 杨建磊 (北航) |
13:30 - 13:45 | MVT: a Holistic Codec Architecture Exploiting Encoding Parameters Sharing for Multiple-Way Video Transcoding | 樊海爽 (中国科学院计算所) | |
13:45 - 14:00 | A Self-healing High-Speed Clock Receiver Circuit for HCI Effect | 李丹 (重庆理工大学) | |
14:00 - 14:15 | GPMAD: 一个基于产生式编程技术的微处理器敏捷设计框架 | 邹鸿基 (国防科技大学) | |
14:15 - 14:30 | 基于逻辑势的GasP异步电路设计与实现 | 李勋 (兰州大学) | |
14:30 - 14:45 | 低功耗宽频带可编程伪差分环振电荷泵锁相环设计 | 杨贺 (河南科技大学) | |
14:45 - 15:00 | 国密SM4算法CBC模式的高效设计与实现 | 郝泽钰 (北京航空航天大学) | |
15:00 - 15:15 | 基于LWE问题的全同态加密软硬件研究进展综述 | 河人华 (首都师范大学) | |
13:30 - 15:20 | 论文分组-2 | Topic: 集成电路布局、综合与验证 | 贺旭 (湖南大学) 王真 (上海电力大学) |
13:30 - 13:45 | 考虑模块翻转和空白区域再分配 的基于静电场的固定边框布图规划 | 刘端祥 (福州大学) | |
13:45 - 14:00 | 一种基于共轭次梯度算法的非光滑布图规划方法 | 孙健 (武汉理工大学) | |
14:00 - 14:15 | Enhancing Dataflow Awareness for High-Quality Macro Placement | 赵晓田 (上海交通大学) | |
14:15 - 14:30 | 考虑多输入转换效应的时序建模 | 丁文杰 (东南大学) | |
14:30 - 14:45 | 基于强化学习的阈值电压分配漏功耗优化方法研究 | 张展华 (东南大学) | |
14:45 - 15:00 | Delay-Driven Physical-Aware Logic Synthesis with Reinforcement Learning | 朱琳宇 (上海交通大学) | |
15:00 - 15:15 | Formalization of Computational Boolean Algebra | 陈乡栎 (南京航空航天大学) | |
15:40 - 17:30 | 论文分组-3 | Topic: 存储器、加速器与硬件环境 | 陈乃金 (安徽工程大学) 李冰 (首都师范大学) |
15:40 - 15:55 | 容错深度学习加速器跨层优化 | 张青 (中国科学院计算所) | |
15:55 - 16:10 | Mixed-Precision Quantization with Tightly Integrated Inference Unit | Ruge Xu (上海交通大学) | |
16:10 - 16:25 | SENTRY: Lifetime Secure Technique for industry Embedded Non-volatile Random Access Memory | Zilong Guo (电子科技大学) | |
16:25 - 16:40 | ENCORE: Efficient Architecture Verification Framework with FPGA Acceleration | 徐烁翔 (上海科技大学 中国科学院计算所) | |
16:40 - 16:55 | 面向处理器功能验证的硬件化SystemVerilog断言 | 张子卿 (中国科学院计算所) | |
16:55 - 17:10 | 基于RISC-V双核构建轻量级可信执行环境SoC | 唐佳绩 (电子科技大学) | |
15:40 - 17:30 | 论文分组-4 | Topic: 集成电路布线 | 邸志雄 (西南交通大学) 贾小涛 (北京航空航天大学) |
15:40 - 15:55 | 一种基于二维熵模型的PCB布线评价策略 | 李湘 (武汉理工大学) | |
15:55 - 16:10 | 面向高密度印刷电路板圆形特征的快速铺铜算法 | 方敬苛 (武汉理工大学) | |
16:10 - 16:25 | 一种基于模式布线的FPC布线规划算法 | 徐静雪 (武汉理工大学) | |
16:25 - 16:40 | 基于多策略的总线拓扑感知全局布线算法 | 黄隽芊 (福州大学) | |
16:40 - 16:55 | 面向FPGA的片内与片间协同布线算法 | 黄鹏程 (福州大学) | |
16:55 - 17:10 | 流路径驱动的微流控生物芯片任意角度布线算法 | 潘友林 (福州大学) | |
17:10 - 17:25 | 考虑长度匹配的快速单通量量子电路布线算法 | 余延涛 (福州大学) | |
14:00 - 17:00 | ATS Tutorial-2 SILICON LIFECYCLE MANAGEMENT | Dr. Yervant Zorian Synopsys, Armenia IEEE Fellow | |
Dr. Fei Su Intel, CA, USA | |||
19:00 - 21:30 | CCF容错计算专委会2023年换届选举会议 |
2023年10月15日 | |||
8:50 - 9:30 | ATS Keynote-1 | 题目:STANDARDIZING CHIPLET INTERCONNECT TEST AND REPAIR | 胡伟 (西北工业大学) |
特邀讲者:Sreejit Chakravarty (Ampere Computing, Santa Clara, CA, USA) | |||
9:30 - 10:10 | ATS Keynote-2 | 题目:ASSESSING THE POWER-AWARENESS OF VLSI TESTING | 胡伟 (西北工业大学) |
特邀讲者:Xiaoqing Wen (Kyushu Institute of Technology, Japan) | |||
10:10 - 10:40 | Coffee Break | ||
10:40 - 11:20 | ATS Keynote-3 | 题目:TOWARDS BUILDING SECURE SCAN-BASED DFT | 胡伟 (西北工业大学) |
特邀讲者:Gang Qu (University of Maryland) | |||
11:20 - 12:00 | ATS Keynote-4 | 题目:TRENDING OF DFT & YIELD LEARNING | 胡伟 (西北工业大学) |
特邀讲者:Yu Huang (Huawei) | |||
13:30 - 17:30 | 论坛-5 | 论坛题目:近似计算 | 王真 (上海电力大学) 陈珂 (南航) |
13:30 - 17:30 | 近似计算:从电路到应用 | 刘伟强 (南京航空航天大学) | |
高效近似电路逻辑综合 | 钱炜慷 (上海交通大学) | ||
高能效近似计算与应用 | 刘波 (东南大学) | ||
高能效异质及混合存内计算电路设计 | 孙亚男 (上海交通大学) | ||
近似计算的应用与挑战 | 申小龙 (华为技术有限公司) | ||
大规模点云中最远点采样算法的硬件加速方法 | 王良 (北京航空航天大学) | ||
Panel 讨论 | |||
13:30 - 17:30 | 论坛-6 | 论坛题目:openDACS v3.0开源EDA论坛 | 李华伟 (中国科学院计算所) 何均宏 (openDACS工委会) |
13:30 - 17:30 | SIG1设计验证&测试综合,组长:李华伟(中国科学院计算技术研究所) | ||
ICTest-ATPG:Stuck-at Fault自动测试生成系统 | 叶靖 (中科鉴芯公司) | ||
EMSim+: 基于GAN的测评优化工具 | 何家骥 (天津大学) | ||
SIG3物理设计&建模验证,组长:杨帆(复旦大学) | |||
动态噪声感知的静态时序分析 | 卓成 (浙江大学) | ||
SIG5 制造EDA,组长:李志强(中国科学院微电子研究所) | |||
制造EDA工具SIG-薄膜晶体管工艺A-Si_TFT PDK | 李志强 (中国科学院微电子所) | ||
SIG8 处理器设计自动化,组长:王颖(中国科学院计算技术研究所) | |||
集成芯片开源仿真器研究 | 王小航 (浙江大学) | ||
机器学习辅助片上网络设计 | 尹捷明 (南京邮电大学) | ||
DeepBurning:开源空间加速器生成器 | 王颖 (中国科学院计算所) | ||
Panel:首届开放原子开源大赛——openDACS开源EDA与芯片 何均宏(openDACS工作委员会联合主任) | |||
13:30 - 17:30 | 论坛-7 | 论坛题目: 智能设计制造协同 | 尹勋钊、孙奇 (浙大) |
13:30 - 17:30 | 人工智能在器件模型和模拟电路参数优化中的应用研究 | 陆叶 (复旦大学) | |
设计自动化流程中的多目标、多阶段协同设计优化 | 孙奇 (浙江大学) | ||
EDA学科建设与前沿技术进展 | 王润声 (北京大学) | ||
超大规模集成电路中的掩模优化 | 余备 (香港中文大学) | ||
智能计算时代下的Chiplet生态建设 | 谭展宏 (北极雄芯) | ||
新型铪基铁电存储器的工艺电路协同优化技术 | 杨建国 (中国科学院微电子所) (张江实验室) | ||
13:30 - 17:30 | 论坛-8 | 论坛题目:先进计算范式与自动化设计 | 李鹤 (东南大学) 毛伟 (西电) |
13:30 - 17:30 | 基于因子图的无人系统高效计算框架 | 刘强 (天津大学) | |
存内计算编译器与加速器设计 | 杜力 (南京大学) | ||
高能效铁电器件及存算应用 | 周久人 (西安电子科技大学) | ||
稀疏计算支撑高效点云 | 戴国浩 (上海交通大学) | ||
基于深度学习的众工艺角静态时序分析方法研究 | 曹鹏 (东南大学) | ||
量子计算软件优化方法 | 卢丽强 (浙江大学) | ||
视觉SLAM微处理器及设计方法 | 刘檬 (北京工业大学) | ||
面向忆阻器存内计算的敏捷设计方法与EDA技术 | 张宇航 (上海交通大学) | ||
13:30 - 17:30 | 论坛-9 | 论坛题目:面向TinyML的软硬件协同设计 | 郭鑫斐 (上交密西根) |
13:30 - 17:30 | 基于人工智能的可植入式医疗设备的个性化研究(线上) | 贾振格 (美国圣母大学) | |
基于感存算一体智能硬件AI | 杨晓风 (深圳九天睿芯科技有限公司) | ||
从TinyML到LLM:基于存算一体的可扩展AI处理器 | 赵亦彤 (后摩智能公司) | ||
面向AIoT的领域的端侧计算实践 | 赵鑫鑫 (浪潮科学研究院) | ||
面向智慧物联网终端的TinyML算法、电路与系统设计 | 赖睿 (西安电子科技大学) | ||
面向物端视觉信息智能处理的存算学一体化类脑芯片 | 石匆 (重庆大学) | ||
面向异构边缘设备的DNN模型推理优化 | 刘云新 (清华大学) | ||
18:00 - 21:00 | CCF-DAC 晚宴 |
2023年10月16日 | |||
9:00 - 12:00 | 论坛-10 | 论坛题目:处理器设计自动化 | 王颖 (中国科学院计算所) |
9:00 - 12:00 | 面向紧凑型卷积神经网络的脉动阵列结构优化 | 马胜 (国防科技大学) | |
开源芯片敏捷开发与科教实践 | 张科 (中国科学院计算所) | ||
ChatCPU: 基于大语言模型的处理器敏捷开发平台 | 王翕 (清华大学) | ||
机器学习辅助的微架构功耗建模及设计空间探索 | 翟建旺 (北京邮电大学) | ||
Softening Hardware: Using Application-Specific Processors to Optimize Modern SoC Designs | 毛海雪 (新思科技) | ||
机器学习辅助体系结构设计 | 尹捷明 (南京邮电大学) | ||
9:00 - 12:00 | 论坛-11 | 论坛题目:先进封装与PCB设计自动化 | 李宁 (武汉理工) 徐宁 (武汉理工) |
9:00 - 12:00 | 集成芯片封装的全流程EDA解决方案 | 代文亮 (芯和半导体科技股份有限公司) | |
大模型驱动板级EDA工具链的新机会 | 刘明玉 (华为云计算技术有限公司) | ||
三维集成电路时钟网络设计与热力学建模 | 成元庆 (北京航空航天大学) | ||
曲折难走的EDA国产化道路的探索 | 王战义 (上海弘快科技有限公司) | ||
高密PCB板Global Routing探索与实践 | 吴皓莹 (武汉理工大学) | ||
国产EDA的发展方向的思考 | 叶秀芹 (宁波为昕科技有限公司) | ||
9:00 - 12:00 | 论坛-12 | 论坛题目:新型存储与存算一体实用化 | 李学清 (清华大学) 王逸群 (江城实验室) |
9:00 - 12:00 | Deep In-Memory Computing using Memristive Stateful Logic(线上) | Nima TaheriNejad (德国海德堡大学) | |
HfO2基铁电存储器 | 罗庆 (中国科学院微电子所) | ||
高能效自旋磁存储芯片 | 蔡浩 (东南大学) | ||
忆阻器阵列矩阵运算的跨层次优化 | 王兴晟 (华中科技大学) | ||
存内计算的一些问题与思考 | 李学清 (清华大学) | ||
为片上训练提供的多精度存内计算设计 | 章尧君 (苹芯科技) | ||
“感算共融”智能感知芯片 | 邹天琦 (每刻深思智能科技) | ||
三维异构集成技术赋能存算一体芯片 | 王逸群 (湖北江城实验室) | ||
9:00 - 12:00 | 博士生论坛与Poster展示、CCF-DAC Demo 竞赛(展台) | 姚海龙 (北京科技大学) 邸志雄 (西南交通大学) | |
Poster 展示 | |||
9:00 - 12:00 | 面向稀疏代数编译的张量格式优化方法 | 杨濡冰 (北京航空航天大学) | |
基于深度强化学习的连续微流控生物芯片 控制逻辑布线算法 | 蔡华洋 (福州大学) | ||
A High Throughput True Random Number Generator Based on Feedback Ring Oscillator | 王骏君 (西安电子科技大学) | ||
总线偏差驱动的层分配算法 | 余延涛 (福州大学) | ||
Timing Failure due to Intra-Interference in Cloud Multitenant FPGA and a Recovery Method | 卢伟聪 (中山大学) | ||
考虑最大时延优化的FPGA布线算法 | 林振坤 (福州大学) | ||
超大规模集成电路下时延驱动的层分配算法 | 李泽鹏 (福州大学) | ||
基于定理证明器的行波进位加法器开发 以及新的芯片设计方法探索 | 孟月华 (南京航空航天大学) | ||
Mutual Information based Thermal Sensor Planning Method Assisting the On-chip Temperature Monitoring with Device Level Granularity | 陈汪勇 (中山大学) | ||
一种低功耗脉冲时间依赖可塑性突触及神经元电路设计 | 陈卓俊 (湖南大学) | ||
完全可编程阀门阵列生物芯片下架构综合设计算法 | 王景熠 (福州大学) | ||
Single Event Effect Sensitivity on Artificial Intelligence SoC with Different Algorithm Models | He Lyu (西北工业大学) | ||
自治式FPGA云服务器的网络化配置与部署方法 | 闫嘉润 (电子科技大学) | ||
博士生论坛 | |||
9:00 - 12:00 | Application Mapping and Control-system Design for Microfluidic Biochips with Distributed Channel Storage | 陈志盛 (福州大学) | |
基于机器学习的微架构功耗建模和设计空间探索方法研究 | 翟建旺 (清华大学) | ||
FPGA 边缘端卷积神经网络加速器研究 | 郭楚亮 (浙江大学) | ||
面向无人系统多类神经网络协同场景的智算芯片体系结构研究 | 韩萌 (北京航空航天大学) | ||
面向图计算的存内计算架构研究 | 黄禹 (之江实验室) | ||
PTrAcc:基于 Transformer 网络的点云加速器 | 廉瑶秀 (上海交通大学) | ||
TSTC:两级稀疏张量核—兼顾算法灵活性和硬件效率 | 刘军 (上海交通大学) | ||
基于谱图理论的超大规模电路仿真算法研究 | 刘志强 (清华大学) | ||
A high accurate multi-objective Exploration Framework for design space of CPU | 王铎 (中国科学院计算所) | ||
基于 FPGA 的图计算加速器访存优化机制研究 | 王庆刚 (华中科技大学) | ||
基于状态迁移的硬件设计代码缺陷自动定位技术研究 | 吴江 (国防科技大学) | ||
REMAP: A Spatiotemporal CNN Accelerator Optimization Methodology and Toolkit Thereof | 赵博然 (西安交通大学) | ||
面向深度学习的粗粒度可重构阵列映射方法 | 倪小兵 (中国科学技术大学) | ||
Demo Contest | |||
9:00 - 12:00 | 深维科技复杂大容量FPGA正向设计工具链 | 郭浩 (深维科技) | |
OpenPARF 基于机器学习框架的 大规模异构FPGA开源布局布线工具 | 麦景 (北京大学) | ||
存算一体 AI 芯片辅助设计工具集 | 曹文旭 (电子科技大学) | ||
基于鱼眼相机的高能效实时环视感知系统 | 黄谦 (中山大学) | ||
关于SQED在AveMC工具上的实现 | 胡议月 (成都奥卡思微电科技) | ||
具有RDMA功能的100G FPGA网卡设计 | 李钊 (西安电子科技大学) | ||
AlexTimer A Statistical Static Timing Analysis Tool | Suchang Huang (东南大学) | ||
智能自动化快速 PCB 建库工具的设计与实现 | 高诗宇 (首都师范大学) | ||
基于神经网络的架构级电路功耗预测方法研究 | 李康 (西安电子科大) | ||
基于GNN的硬件木马自动检测方法研究 | 李杰 (西安电子科大) | ||