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

    浏览量

    5695
收藏 人收藏

    评论

    相关推荐

    一些常见的动态电路

    无论是模电还是数电,理论知识相对来说还是比较枯燥,各种电路原理理解清楚不算容易,换种生动形象的方式或许会增加一些趣味性,也更容易理解这些知识。下面整理了一些常见的电路,以动态图形的方式展示。 整流
    的头像 发表于 11-16 09:26 170次阅读
    <b class='flag-5'>一些</b>常见的动态电路

    分享一些常见的电路

    理解模电和数电的电路原理对于初学者来说可能比较困难,但通过一些生动的教学方法和资源,可以有效地提高学习兴趣和理解能力。 下面整理了一些常见的电路,以动态图形的方式展示。 整流电路 单相桥式整流
    的头像 发表于 11-13 09:28 182次阅读
    分享<b class='flag-5'>一些</b>常见的电路

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

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

    Python递归的经典案例

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

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

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

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

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

    555集成芯片的封装形式

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

    Tekvpi探头接口的一些好处是什么?

    Tekvpi探针接口的一些好处是什么? Tekvmi探针接口的最大好处是多功能性和易于使用。 示波器 使用Tekvmi接口支持范围广泛的 普罗布斯 包括Tekvmi探针,BMC
    的头像 发表于 03-22 10:32 374次阅读
    Tekvpi探头接口的<b class='flag-5'>一些</b>好处是什么?

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

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

    晶振电路中电容电阻的一些基本原理和作用解析

    晶振电路中的电容和电阻是调整和维持晶振振荡稳定性的关键元件。KOAN凯擎小妹带大家了解下晶振电路中电容电阻的一些基本原理和作用。
    的头像 发表于 02-20 16:22 1631次阅读
    晶振电路中电容电阻的<b class='flag-5'>一些</b>基本原理和作用解析

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

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

    AI算力数据中心的一些挑战

    AI或者人工智能自1956年提出至今已有几十年的历史。过去的几十年里面,人工智能的热度经历了三次浪潮,第次提出人工智能之后出现一些新的技术,也应用到了工业生产上,但是很快大家发现所谓的人工智能还不是那么智能,波浪潮过去之后,
    发表于 12-25 11:25 525次阅读
    AI算力数据中心的<b class='flag-5'>一些</b>挑战

    使用的AD420总出现一些不稳定的问题怎么解决?

    你好! 直使用的AD420总出现一些不稳定的问题,直没有解决,现象是输出的电流直是4mA,有时能正确输出。
    发表于 12-12 08:27

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

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

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

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