公开课内容
本次分享将从形式化验证的目的和思维方式入手，通过案例介绍使用SpinalHDL进行形式化验证的流程和方法，降低数字设计工程师利用SpinalHDL这一敏捷开发工具实现高可靠IP核的难度。
内容大纲
- 简介形式化验证目的和手段
- SymbiYosys简要介绍
- 以计数器为例介绍SpinalHDL进行覆盖验证
- 以计数器为例介绍SpinalHDL进行“BMC”边界模型检查及“Prove”证明
- 分享某验证案例经验
视频回放及PPT下载
视频回放链接：https://aijishu.com/l/1110000000339570
PPT部分预览（点击下方附件可直接下载）
更多公开课信息请关注极术社区微信号。
请注意下载PPT和观看回放需要完成新手任务，可查看此教程或者咨询极术小姐姐（微信：aijishu20)。
| 文件名 | 大小 | 下载次数 | 操作 |
|---|---|---|---|
| 【极术公开课】肖寅东-SpinalHDL形式化验证初探.pdf | 687.22KB | 20 | 下载 |
