分享一些形式验证（Formal Verification）的经典视频

0.前言：

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

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

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

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

2.分享的Formal Verification视频资料