直播時間：

?2021年09月02日 20:00

直播主題：

?【大咖直播】《FPGA/SOC形式化驗證》

直播簡介：

感謝您使用電巢APP， PC端建議使用Google Chrome瀏覽器進行觀看！

講師介紹：

榮慶安老師|EDA365論壇特邀版主，原華為器件可靠性技術(shù)首席專家

原華為器件可靠性技術(shù)首席專家、器件工程專家組主任、器件歸一化工作奠基人；

20多年交換機、路由器、傳輸、基站等產(chǎn)品器件工程設(shè)計；

主持多項重大失效問題攻關(guān)，完成了邏輯、儲存、光器件等領(lǐng)域器件優(yōu)選庫建設(shè)；

參與中國器件標準工作，國內(nèi)外發(fā)表論文4篇，獲器件相關(guān)6項發(fā)明專利。

陳維嵬|西門子EDA?OneSpin中國區(qū)技術(shù)經(jīng)理

陳維嵬擁有諾維薩德大學(xué)的電子和計算機雙碩士學(xué)位，加入OneSpin兩年多的時間，與大中華區(qū)新老客戶緊密合作，幫助領(lǐng)先的公司成功實現(xiàn)其驗證目標，在復(fù)雜的設(shè)計中評估和實施先進的形式驗證解決方案擁有豐富的經(jīng)驗。

主題背景：

在芯片設(shè)計和基于FPGA的設(shè)計流程中數(shù)字前端驗證是人力花費最多的一個環(huán)節(jié)，可以說芯片數(shù)字前端的設(shè)計流程就是設(shè)計和驗證的交替迭代。驗證占整個芯片設(shè)計流程70%的人力、物力資源，流片失敗的原因中70%是由于驗證不充分導(dǎo)致的功能錯誤。

目前業(yè)界主流的驗證方法主要是以UVM（Universal Verification Methodology）為代表的驗證方法學(xué)，然而，這些基于電路仿真的驗證方法存在較多的根本性問題一直無法有效解決，因此，業(yè)界一直在尋找其他更為有效的驗證方法學(xué)。本次直播分享，榮老師和陳老師分享的《形式化驗證》就是其中之一。與傳統(tǒng)的基于仿真的驗證方法相比，形式化驗證有著本質(zhì)性的不同。形式化驗證方法擁有很多特殊的優(yōu)點，能夠在理論上完全克服傳統(tǒng)驗證方法的缺陷和不足。

直播要點：

典型的驗證方法介紹

什么是形式化驗證

形式化驗證的主要優(yōu)點

形式化驗證軟件工具：Onespin

適合對象：

IC工程師

FPGA工程師

硬件工程師

電氣工程、電子信息相關(guān)專業(yè)學(xué)生