2020年 VC Formal SIG 亚太专场

课程概要

欢迎加入第一届新思科技VC Formal SIG亚太线上专场，活动旨在鼓励形式验证领域的最新创新，促进工程师的互相交流技术要点以及面临的验证挑战。

您将从行业专家听到突破性的应用实例和成功的形式验证的部署。演讲内容包括：

• Intel  - 从边缘到云端：芯片设计的趋势和挑战
• Qualcomm – 爬上形式部署的金字塔，从 Apps 到 Signoff
• NXP – 通过Formal实现存储整合验证
• Intel – 攻克难题: 通过Sequential Equivalence 解决Combo Equivalence Holes
• 燧原科技- 在AI设计中验证数据路径并控制逻辑功能性
• 新思科技- 用Formal使曲线变平