5.22 线上研讨会｜深度解析：形式验证如何为RISC-V内核保驾护航

本周五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- -