5月22日，新思科技芯課程RISC-V系列即將推出：【形式驗證為RISC-V內核保駕護航】，將重點介紹如何通過形式驗證技術，為RISC-V內核提供端到端的驗證保證。我們將結合自研的RISC-V AIP，講解形式驗證在RISC-V設計中的應用場景，幫助您快速掌握利用形式化方法，在無需復雜testbench的前提下，高效發現功能缺陷，覆蓋邊界場景，為設計質量筑牢防線。歡迎大家積極報名參會。

時間：5月22日（星期五），14:00–15:00

地點：線上直播

講師簡介：

李霈霈 | 新思科技高級資深應用工程師

目前專注于 Formal形式驗證工作。

掃碼立即報名參會