9月2日（周四） 电巢直播 《FPGA/SOC形式化验证》

电巢直播

' q$ @" ?, w4 _

直播主题：FPGA/SOC形式化验证

直播老师：荣庆安老师、陈维嵬老师

直播时间：9月2日 晚20：00

5 b# K  X0 c  }; Q2 n  Q
$ o* D" |" |) P% p: @7 K3 z

1、直播内容简介

) `. x+ |- T+ I. J) Q$ T# @

在芯片设计和基于FPGA的设计流程中数字前端验证是人力花费最多的一个环节，可以说芯片数字前端的设计流程就是设计和验证的交替迭代。验证占整个芯片设计流程70%的人力、物力资源，流片失败的原因中70%是由于验证不充分导致的功能错误。

/ [1 B% q! _" J- b' ^

目前业界主流的验证方法主要是以UVM（Universal Verification Methodology）为代表的验证方法学，然而，这些基于电路仿真的验证方法存在较多的根本性问题一直无法有效解决，因此，业界一直在寻找其他更为有效的验证方法学。本次直播分享，荣老师和陈老师分享的《形式化验证》就是其中之一。与传统的基于仿真的验证方法相比，形式化验证有着本质性的不同。形式化验证方法拥有很多特殊的优点，能够在理论上完全克服传统验证方法的缺陷和不足。

2、讲师介绍

/ ]8 H9 @; U: v% Q# d) X6 I# Q$ F

荣庆安老师：

原华为器件工程首席专家

EDA365论坛特邀版主

! w# T; ]/ G4 |) u" j

荣老师从事器件工程相关工作20年多年，作为领域技术专家完成过交换机、路由器、传输、基站等多类产品器件工程设计工作，主持多项重大失效问题攻关，产品开发实战案例丰富。

5 @. z" n3 y0 |& w# g1 N2 p6 G

荣老师曾作为专家组主任负责华为公司器件工程领域技术能力建设工作。组织公司器件可靠性实验室建设，亲自承担过高复杂IC新工艺，新封装材料可靠性技术研究项目，完成过硅光，3D存储器，磁性材料，GaN等器件商业应用分析验证工作。组织建立起器件选型规范及选用流程，并作为IPD子流程有效实施。经历了华为公司器件工程技术领域从弱到强的过程，企业各发展阶段器件工程领域技术能力需求及如何积累有深入的体会。

荣老师也积极参与行业活动，十多年参与中国质量协会，IEEE可靠性协会，JEDEC等国内、国际标准行业会议，并在JEDEC等行业协会发表十多篇器件质量可靠性论文或提案。获得国内外相关专利6项。

陈维嵬老师：

西门子EDA OneSpin中国区技术经理

, O+ A- v; d2 a  G2 }/ v6 N

陈维嵬拥有诺维萨德大学的电子和计算机双硕士学位，加入OneSpin两年多的时间，与大中华区新老客户紧密合作，帮助领先的公司成功实现其验证目标，在复杂的设计中评估和实施先进的形式验证解决方案拥有丰富的经验。

4 X* p% E5 {) }, V

3、直播要点

; E# c1 s# H' ]6 A% X

• 典型的验证方法介绍
• 什么是形式化验证
• 形式化验证的主要优点
• 形式化验证软件工具：Onespin
  
  
  
  

) D' S2 y. U8 r; [! m! C7 b6 a6 I: h

4 n3 b# a# R% v, T6 C' V; X, O

9 X' o8 i/ G4 v- {0 Y2 o- d

4、适合对象

4 j6 J) W/ B# F: X& A6 ]; Y

• IC工程师
• FPGA工程
• 硬件工程师
• 电气工程、电子信息相关专业学生
  
  

5 N! Z: R& r  y0 }  X/ g3 n

直播主题：FPGA/SOC形式化验证

直播老师：荣庆安老师、陈维嵬老师

直播时间：9月2日 晚20：00

关于直播内容，您可以将相关技术问题在下方进行发帖提问。直播中，老师会进行答疑~

Cyberbot7

Altera FPGA逻辑部分要访问DDR3,一定要通过hps吗？我想刚开始不用SoC

ephemeral

芯片数字前端的设计流程就是设计和验证的交替迭代，期待老师的解答
5 Y/ r6 O: l% {9 Z+ U3 d, I2 ~

embnn

与传统的基于仿真的验证方法相比，形式化验证有着本质性的不同，有什么不同呢？老师，期待您的分享。

guanshen

老师可以讲解过硅光电池板做信号接收的优点吗？