本周五14:00，新思科技「形式驗證為RISC-V內核保駕護航」正式開講！感興趣的下滑預約學習??

時間：5月22日 周五，14:00-15:00

內容簡介：

本次分享中，我們將重點介紹如何通過形式驗證技術，為RISC-V內核提供端到端的驗證保證。我們將結合自研的RISC-V AIP，講解形式驗證在RISC-V設計中的應用場景，幫助您快速掌握利用形式化方法，在無需復雜testbench的前提下，高效發現功能缺陷，覆蓋邊界場景，為設計質量筑牢防線。

講師介紹：

李霈霈， 新思科技高級資深應用工程師，目前專注于 Formal形式驗證工作。

形式：線上

參與方式：下方掃碼免費報名

(web: synopsys.snps.tech/surl/cZ4c0GC )

歡迎掃碼進入課程報名入口，鎖定2026全年課程席位！

- -THE END- -