0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
会员中心
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示

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

芯片验证日记 来源:芯片验证日记 作者:芯片验证日记 2023-02-11 13:15 次阅读

0.前言:

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

1.什么是形式验证(Formal Verification)

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

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

2.分享的Formal Verification视频资料

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

poYBAGPnItyABozMAAGCGbwQFvw444.png

2.1 《Formal_Coverage》的内容,如下图所示:

pYYBAGPnIyeAbDQxAAS0HzhqNeE509.png

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

poYBAGPnI1yAEPsaAAMHPNusGqE653.png

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

pYYBAGPnI5aAEcxsAAaYIK655nI229.png

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

poYBAGPnI9GAU9PgAAbREDW8cBw696.png

3.声明

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

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

审核编辑黄宇

声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
  • 形式验证
    +关注

    关注

    0

    文章

    8

    浏览量

    5690
收藏 人收藏

    评论

    相关推荐

    LED驱动器应用的一些指南和技巧

    电子发烧友网站提供《LED驱动器应用的一些指南和技巧.pdf》资料免费下载
    发表于 09-25 11:35 0次下载
    LED驱动器应用的<b class='flag-5'>一些</b>指南和技巧

    Python递归的经典案例

    当我们碰到诸如需要求阶乘或斐波那契数列的问题时,使用普通的循环往往比较麻烦,但如果我们使用递归时,会简单许多,起到事半功倍的效果。这篇文章主要和大家分享一些和递归有关的经典案例,结合一些资料谈
    的头像 发表于 08-05 15:57 257次阅读

    咨询一些关于LED灯具的问题

    各位大佬,咨询一些关于LED灯具的问题 120W的吸顶灯,用的非隔离式电源,用不到1年,灯具就会闪烁、频闪或不亮,主要是什么原因造成的?是不是驱动芯片太差?
    发表于 07-02 22:33

    细谈SolidWorks教育版的一些基础知识

    SolidWorks教育版是款广泛应用于工程设计和教育领域的三维建模软件。它具备直观易用的操作界面和强大的设计功能,为学生提供了个学习和实践的平台。在本文中,我们将详细探讨SolidWorks教育版的一些基础知识,帮助初学者
    的头像 发表于 04-01 14:35 300次阅读

    555集成芯片的封装形式

    555集成芯片的封装形式主要有DIP8封装、SOP8封装以及金属封装和环氧树脂封装等。其中,DIP8封装是555芯片的经典封装形式,包含了芯片的所有引脚和功能。此外,根据应用需求,还衍生出了
    的头像 发表于 03-26 14:44 1087次阅读

    一些有关通信电路的资料?

    有关嵌入式之间DSP、ARM、FPGA三者之间和这三款芯片和外部电路之间通信的一些资料,比如说芯片之间的并行通信和芯片和外部电路之间的串行通信,MODBUS、DP、CAN等,一些一些常用的通信协议的
    发表于 03-03 18:53

    一些无功补偿装置SVG的资料

    一些SVG电路原理和功能码相关的技术说明书,想了解一些SVG的工作原理和工作过程
    发表于 02-03 10:13

    对于大模型RAG技术的一些思考

    大模型或者句向量在训练时,使用的语料都是较为通用的语料。这导致了这些模型,对于垂直领域的知识识别是有缺陷的。它们没有办法理解企业内部的一些专用术语,缩写所表示的具体含义。这样极大地影响了生成向量的精准度,以及大模型输出的效果。
    的头像 发表于 12-07 09:41 1053次阅读
    对于大模型RAG技术的<b class='flag-5'>一些</b>思考

    提高嵌入式代码质量的一些方法

    的事情搞复杂,我希望这些文字能给迷惑中的人们指出一些正确的方向,让他们少走一些弯路,基本做到一分耕耘一分收获。
    的头像 发表于 11-30 09:15 416次阅读

    我们为什么需要了解一些先进封装?

    我们为什么需要了解一些先进封装?
    的头像 发表于 11-23 16:32 534次阅读
    我们为什么需要了解<b class='flag-5'>一些</b>先进封装?

    西门子伺服驱动器维修的一些基本知识

    西门子伺服驱动器维修的一些基本知识
    的头像 发表于 11-23 10:55 1644次阅读

    分享一些SystemVerilog的coding guideline

    本文分享一些SystemVerilog的coding guideline。
    的头像 发表于 11-22 09:17 662次阅读
    分享<b class='flag-5'>一些</b>SystemVerilog的coding  guideline

    PCB抄板的一些方法

    拆掉所有器多层板抄板件,并且将PAD孔里的锡去掉。用酒精将PCB清洗干净,然后放入扫描仪内,扫描仪扫描的时候需要稍调高一些扫描的像素, 以便得到较清晰的图像。
    的头像 发表于 11-15 17:04 854次阅读
    PCB抄板的<b class='flag-5'>一些</b>方法

    列举一些嵌入式Linux应用开发里经常使用的技巧和套路

    本篇文章,我们基于ELF 1S这款开发板,来列举一些嵌入式Linux应用开发里面,经常使用到的开发技巧和套路。
    的头像 发表于 11-14 10:44 435次阅读
    列举<b class='flag-5'>一些</b>嵌入式Linux应用开发里经常使用的技巧和套路

    对大家玩机器人和STM32有一些帮助

    电子发烧友网站提供《对大家玩机器人和STM32有一些帮助.rar》资料免费下载
    发表于 11-10 16:11 0次下载
    对大家玩机器人和STM32有<b class='flag-5'>一些</b>帮助