分享一些形式验证(Formal Verification)的经典视频

0.前言：

前段时间很多朋友在微信群里讨论Formal验证的视频资料问题，今天整理好了，分享给大家。

1.什么是形式验证（Formal Verification）

在计算机硬件（特别是集成电路）和软件系统的设计过程中，形式验证的含义是根据某个或某些形式规范或属性，使用数学的方法证明其正确性或非正确性。形式验证是一个系统性的过程，将使用数学推理来验证设计意图（指标）在实现(RTL)中是否得以贯彻。

由于仿真对于超大规模设计来说太耗费时间，形式验证（Formal Verification）就出现了。FV的主要思想是通过使用形式证明的方式来验证一个设计的功能是否正确。FV主要靠工具自己来完成，无需开发测试向量（断言还是需要写的），这比功能仿真的时间要少很多。

2.分享的Formal Verification视频资料

关注微信公众号《芯片验证日记》，后台回复”formal”，可得本文所有formal视频资料对应的百度链接，目录如下图所示。

2.1 《Formal_Coverage》的内容，如下图所示：

2.2 《Synopsys_VC-Formal_apps讲解》的内容，如下图所示：

2.3 《动态系统的形式化分析与控制-上海交通大学殷翔》的内容，如下图所示：

2.4《逻辑与形式化方法-龙星计划》的内容，如下图所示：

3.声明

本文所有的视频资料都是来自B站公开的视频，如有侵权请后台联系作者删除。

最后，收集整理资料非常费时，如果觉得对您有帮助，麻烦点个在看，或者赏个鸡腿也行。谢谢！

审核编辑 黄宇