RISC-V芯课程 | 形式验证为RISC-V内核保驾护航

5月22日，新思科技芯课程RISC-V系列即将推出：【形式验证为RISC-V内核保驾护航】，将重点介绍如何通过形式验证技术，为RISC-V内核提供端到端的验证保证。我们将结合自研的RISC-V AIP，讲解形式验证在RISC-V设计中的应用场景，帮助您快速掌握利用形式化方法，在无需复杂testbench的前提下，高效发现功能缺陷，覆盖边界场景，为设计质量筑牢防线。欢迎大家积极报名参会。

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

地点：线上直播

讲师简介：

李霈霈 | 新思科技高级资深应用工程师

目前专注于 Formal形式验证工作。

扫码立即报名参会