数字芯片形式验证的研究与应用

形式验证是一种数字芯片设计的验证方法,主要思想是通过使用形式证明的方式来验证一个设计的功能是否正确。由于不需要测试者考虑如何获得测试激励,所以可以有效地提高验证效率,减少验证周期。文章研究了主流的数字芯片验证方法,分析了形式验证的基本流程,搭建了一个典型的形式验证平台,并使用VC_Formal工具进行仿真调试。