Formal - 电子工程专辑

Formal

芯片验证|Formal验证技术总结

前言形式化验证是一种验证方法，而实际应用方向主要有两方面，一是综合前后的等价性检查，二是RTL设计的功能验证。本文所讲的是形式化验证方法在RTL设计功能验证方向的应用。模拟仿真验证和形式化验证芯片验证的两个方法，一个是模拟仿真验证，另一个是形式化验证。模拟仿真验证是目前最主流的验证方法，主要是以 UVM 为代表的验证方法学，特点就是搭建模拟仿真环境，通过随机化激励进行模拟仿真，reference

路科验证 2024-07-02 796浏览
4月9日首站西安丨QuestaOneSpinStatic&Formal技术大会

形式化验证技术领域正在经历空前发展，其在ASIC和FPGA领域的应用也迅速扩张。本次会议汇聚了来自Questa OneSpin Formal（QOSF）总部的技术专家们，他们将就如何利用QOSF工具提供宝贵的观点和专业知识。主题涵盖以下方面：如何应对RISC-V定制的复杂性，通过Questa FPU提高验证AI calculus的效率，以及实现全面的形式化验证覆盖。此外，本活动还将重点介绍QOSF

路科验证 2024-04-01 598浏览
Formal学习笔记之算法基础

序言本文是读《Formal Verification An Essential Toolkit for Modern VLSI Design》这本书第二章，做的学习笔记。COMPARE SPECIFICATIONS通常，我们会将spec和设计实现进行比较。Spec相对来说比较抽象些，可以是些SVA的assertion，RTL model或者一些HVL，比如systemc等。而implemenati

路科验证 2023-06-20 955浏览
Formal验证不是“黑魔法”

相比EDA仿真，Formal做的事情不是那么直观。当你测试一个场景时，EDA仿真会展示给你所有仿真周期的设计状态，但是Formal工具可能只会展示极少的周期行为。所以，你敢信么？如果你不信，可以了解下Formal的核心算法，既提高对工具的信心，还可以在执行Formal验证遇到问题时更快地提出解决方案。首先从一个小例子开始，展示如何使用一个更“聪明”的数据结构将一个复杂的问题转换为更易于处理的问题。

路科验证 2021-12-24 1286浏览
芯片验证基础｜形式化验证和功能验证VC Formal

展开 function _typeof(e){return e&&"undefined"!=typeof Symbol&&e.constructor===Symbol?"symbol":typeof e;}!function(e){if("object"===("undefined"==typeof module?"unde

云脑智库 2021-11-28 1317浏览
芯片设计验证神器VC Formal DPV解析课程上线！

相关阅读： //////////

新思科技 2021-06-16 1049浏览
芯片设计验证神器VC Formal DPV解析课程上线！

相关阅读： //////////

新思科技 2021-06-15 1598浏览
芯片设计验证神器VC Formal DPV解析课程上线！

开发者们请集合！属于开发者的年度嘉年华——新思中国开发者大会将于金秋举行。每位开发者的深度参与和分享，是新思举办开发者大会的初衷和出发点，也是新思与中国开发者共同成长的落脚点。本次大会正式启动论文征集，诚挚邀请每一位有才华的开发者分享自己在技术革新路上的所见、所思、与所得，以及新思科技如何与你一起实现创新和进步，通过芯片让世界更智能和美好。重要日期论文摘要提交截止日期2021年6月7日论文提交截止

新思科技 2021-06-11 1756浏览
芯片设计验证神器VC Formal DPV解析课程上线！

相关阅读： //////////

新思科技 2021-06-10 1582浏览
新思科技首届VC Formal线上研讨会精彩回播抢先看

对芯片设计公司而言，做出功能出色而完整的SoC芯片并及时推至市场是一个芯片产品是否能成功获利的关键。随着芯片设计复杂性的日益增加，在大量的资源用于芯片验证的同时，芯片设计团队需要在有限的时间和资源内进行更多测试，以争取在设计早期达到更全面的验证来减少重新流片的次数。新思科技 VC Formal™解决方案长期以来一直与业界创新公司合作，为先进的SoC提供全面的验证解决方案，帮助客户加快芯片产品上市时

新思科技 2020-09-27 1501浏览

正在努力加载更多...

广告

今日新闻

热门文章排行

广告

最新评论更多>>

一般喜欢标榜“打破垄断”“国x领先”的都死的比较快。嘴比手厉害

56089689_... 评论文章 2025-01-07

砺芯慧感：量产薄膜铂电阻传感器，打破国外30年垄断
我这，原先V10.5跑的好好的代码，更新V11后，单片机初始化时就不断重启

vaov_3734... 评论文章 2025-01-06

FreeRTOSV11.0升级了多项重要功能，兼容V10版本

资料

文库

帖子

博文

在线研讨会

EE直播间

第三代功率半导体器件测试解决方案直播时间：03月06日 10:00

E聘热招职位