极术干货| 肖寅东-SpinalHDL形式化验证初探（视频+PPT）

公开课内容

本次分享将从形式化验证的目的和思维方式入手，通过案例介绍使用SpinalHDL进行形式化验证的流程和方法，降低数字设计工程师利用SpinalHDL这一敏捷开发工具实现高可靠IP核的难度。

内容大纲

• 简介形式化验证目的和手段
• SymbiYosys简要介绍
• 以计数器为例介绍SpinalHDL进行覆盖验证 Ÿ
• 以计数器为例介绍SpinalHDL进行“BMC”边界模型检查及“Prove”证明
• 分享某验证案例经验

视频回放及PPT下载

视频回放链接：https://aijishu.com/l/1110000000339570
PPT部分预览（点击下方附件可直接下载）

更多公开课信息请关注极术社区微信号。

请注意下载PPT和观看回放需要完成新手任务，可查看此教程或者咨询极术小姐姐（微信：aijishu20)。