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站公开的视频,如有侵权请后台联系作者删除。
最后,收集整理资料非常费时,如果觉得对您有帮助,麻烦点个在看,或者赏个鸡腿也行。谢谢!
审核编辑黄宇
-
形式验证
+关注
关注
0文章
8浏览量
5720
发布评论请先 登录
相关推荐
AN-202: IC放大器用户指南:去耦、接地及其他一些要点

为什么下雨天手机信号比平时差一些
一些常见的动态电路

分享一些常见的电路

三星电容的封装形式有哪些选择?
关于THS4521的一些使用问题求解
Python递归的经典案例
咨询一些关于LED灯具的问题
细谈SolidWorks教育版的一些基础知识
555集成芯片的封装形式
Tekvpi探头接口的一些好处是什么?

评论