“芯”光研途 | Compilation Challenges in Multi-FPGA Systems

讲座名称：“芯”光研途 | Compilation Challenges in Multi-FPGA Systems

讲座人：Richard Y. Sun

讲座时间：4月19日16:00

地点：北校区东大楼220报告厅

讲座人介绍：

Richard Y. Sun，西北大学计算机科学硕士、伊利诺伊大学厄巴纳-香槟分校计算机科学博士，西安电子科技大学兼职教授。于2021年加入上海思尔芯技术股份有限公司，并担任首席技术官。在加入思尔芯之前，曾负责监督新思科技公司的Zebu仿真后端工具的开发和支持；还曾领导莱迪思半导体、雅格罗技、赛灵思、Axis Systems和阿尔特拉半导体等公司的FPGA软件开发。Richard Y. Sun博士是一位杰出的FPGA设计和编译的架构师。超过27年深耕于FPGA物理实现的各种设计算法和开发软件工具，主要包括划分、布图规划、布局布线以及引脚分配等方向。在各种知名期刊和会议记录中发表了18篇技术论文，并持有9项美国专利。

讲座内容：

功能验证是电子设计自动化（EDA）中极为重要的方面。传统的基于寄存器传输级别的逻辑仿真一直是主流的验证方法，形式验证和各种静态分析检查器已经被用来补充逻辑仿真的特定角落。然而，随着集成电路设计规模的指数级增长，这些方法已无法满足需求。近年来，由于快速原型和逻辑仿真的性能和可扩展性优势，这些方法在功能验证中变得越来越受欢迎。被测设计将被映射到多个FPGA上，这种方式的运行速度比纯软件解决的更快。本次演讲将重点关注多FPGA的逻辑验证的设计编译，并提出了该领域中学术和工业界遇到的各种挑战性问题。

主办单位：微电子学院