形式验证 - 电子工程专辑

形式验证

明天|从原理到实践，全面解锁RISC-V形式验证的正确姿势！

新思科技 2024-05-09 378浏览
本周五|从原理到实践，全面解锁RISC-V形式验证的正确姿势！

新思科技 2024-05-08 434浏览
本周五|从原理到实践，全面解锁RISC-V形式验证的正确姿势！

新思科技 2024-05-07 396浏览
本周五|从原理到实践，全面解锁RISC-V形式验证的正确姿势！

新思科技 2024-05-06 418浏览
下周五|从原理到实践，全面解锁RISC-V形式验证的正确姿势！

新思科技 2024-04-29 398浏览
下周五|从原理到实践，全面解锁RISC-V形式验证的正确姿势！

新思科技 2024-04-26 429浏览
从原理到实践，全面解锁RISC-V形式验证的正确姿势！

新思科技 2024-04-25 436浏览
形式验证的潮流引领离不开这款工具

最近的时间，有幸参加了Simens OneSpin有关形式验证为期一天的会议，多数session我是跟了下来的，听了以后再次让我肯定了两件事情。一个是形式验证对于service的属性浓厚，需要围绕客户的需求、将形式验证四处开花，充分应用起来。另外一个是，Simens EDA这家公司一直秉承着他们创新探索的精神，很多EDA idea都能够从他们的工具早先让业界知道。整个一天下来让我受益挺多，会议先从

路科验证 2024-04-25 583浏览
明天|在RISC-V内核上，形式验证一波

新思科技 2023-12-14 464浏览
本周五|在RISC-V内核上，形式验证一波

新思科技 2023-12-13 491浏览
本周五|在RISC-V内核上，形式验证一波

新思科技 2023-12-12 513浏览
本周五|在RISC-V内核上，形式验证一波

新思科技 2023-12-11 472浏览
下周五|在RISC-V内核上，形式验证一波

新思科技 2023-12-08 549浏览
在RISC-V内核上，形式验证一波

新思科技 2023-12-07 440浏览
干货，聊聊形式验证中的SVA

一、序言SVA，即SystemVerilog Assertion，在simulation和Formal都有极为广泛的应用，这里介绍一些基本的概念和常用的语法。二、一个简单的例子以一个arbiter仲裁器作为例子来阐述一些概念，这个仲裁器有4个request来自不同的agent，req的每个bit表示相应的仲裁请求发起。gnt信号每个bit表示相应的请求被允许。同时，这里还有一个opcode输

路科验证 2023-06-19 1300浏览
关于形式验证的11个误区

形式验证如何在 signoff之前发现bug。形式化验证在数学上能够详尽地证明一个芯片设计符合一组断言的能力。形式化技术是当今芯片成功设计、验证和实现的核心。形式化验证的优点在芯片开发中是众所周知和公认的。但事实并非总是如此；几十年前，形式技术被广泛认为是一种需要“魔法”才能在实际项目中成功使用的外来技术。在这段时间里，许多在signoff前发现的真正可怕的bug的成功故事，帮助提高了人们对形式验

路科验证 2022-11-29 1104浏览
关于形式验证的11个误区

EETOP版图就业&提升班正式开班报名！第一期将于下周一开课，请抓紧报名！本文您将了解到：形式验证如何在 signoff之前发现bug。形式化验证在数学上能够详尽地证明一个芯片设计符合一组断言的能力。形式化技术是当今芯片成功设计、验证和实现的核心。形式化验证的优点在芯片开发中是众所周知和公认的。但事实并非总是如此；几十年前，形式技术被广泛认为是一种需要“魔法”才能在实际项目中成功使用的外来技术。在

EETOP 2022-11-28 800浏览
形式验证：语法和时序、RISC-V非法代码识别、跨时钟域及复位域检查等【EDA线上研讨会报名|免费】

S线上研讨会2022年09月07日 19:30 - 20:30静态分析是一种非基于仿真的测试活动，它会分析 RTL 代码有无缺陷——从不符合规范到已知与设计错误相关的缺陷。本次线上研讨会主要介绍如何使用 Formal 的静态检查工具来完成代码的检查，包括语法和时序性检查，RISC-V 里非法代码识别，跨时钟域及复位域检查。立即扫码报名✦内容亮点✦• 自动检查工具Lint及AutoCheck介绍•

EETOP 2022-08-27 897浏览
形式验证让RTL功能仿真不再孤独【线上研讨会报名|免费】

线上研讨会随着芯片的规模和复杂度越来越高，对芯片的验证要求越来越高。在芯片开发生命周期的所有阶段——包括架构、设计、综合、集成和物理设计阶段，都可能会引入设计错误。如何更有效地完成芯片所有功能的验证成为最大的挑战。确实，基于RTL仿真是一个很好的验证方法，它可扩展、易于学习和设置，但是在仿真中要找到问题的根本原因（如聚焦测试参数、回溯激励以及精准找出问题信号）却是困难且费时的，此外，一些设计阶段的

EETOP 2022-08-06 879浏览
【FormalVerification形式验证】小知识分享

Formal Verification（形式验证) 当确认设计的功能验证仿真没有问题以后，后面的Flow设计实现的每一个步骤的结果都可以与上个步骤的结果做形式比较，也就是等价检查，如果检查结果一致就表示通过啦。FV（Formal Verification）主要是进行逻辑形式和功能的一致性比较，是靠工具自己来完成，无需开发测试向量，所以对于工程师而言，只需要掌握软件的操作用法就够了，无需额外的知识去

路科验证 2022-06-17 1442浏览
【FormalVerification形式验证】小知识分享

Formal Verification（形式验证) 当确认设计的功能验证仿真没有问题以后，后面的Flow设计实现的每一个步骤的结果都可以与上个步骤的结果做形式比较，也就是等价检查，如果检查结果一致就表示通过啦。FV（Formal Verification）主要是进行逻辑形式和功能的一致性比较，是靠工具自己来完成，无需开发测试向量，所以对于工程师而言，只需要掌握软件的操作用法就够了，无需额外的知识去

EETOP 2022-04-17 1064浏览

正在努力加载更多...

广告

今日新闻

热门文章排行

1 打破日本垄断！30亿美元，又一国产半导体设备细分领域要崛起！

飙叔科技洞察  1815
2 突发！加州7级地震，对半导体产业有何影响？

皇华电子元器件IC供应商  1416
3 突发！高度重视芯片的韩国总统尹锡悦被逮捕！

集成电路IC  1328
4 美国加州7级地震，晶圆厂恐受影响

芯极速  438
5 震惊！裁员3万人！

集成电路IC  430
6 传苏州瑞萨裁撤MCU研发团队

谈思汽车  304
7 华为何刚：Mate70系列每颗芯片都具备国产能力

52RD  276
8 2024中国研究生创“芯”大赛·EDA精英挑战赛总决赛闭幕，北京大学夺得大赛最高奖-麒麟杯

芯思想  273
9 涉嫌违反反垄断法，英伟达被中国立案调查！

赛博汽车  253
10 华为Mate70RS拆机：揭秘麒麟9020芯片真容，神秘数字再现！

EETOP  245
11 传上海某新势力将“原地解散”？！

谈思汽车  240
12 突发！俄罗斯最大晶圆厂宣布破产！

集成电路IC  227
13 连续多年全球第一！中国占全球超40%市场，半导体设备国产化率进一步突破！

飙叔科技洞察  221
14 全力出击！华为手机“杀回”海外市场，鸿蒙全球扩张也来了！

飙叔科技洞察  202
15 历史一刻！华为手机实现所有芯片100%国产，再也不用美国芯片

快科技  194
16 雷军：SUV车型小米YU7正在进行大规模路测

52RD  191
17 超8.3亿！安森美收购这家SiC公司

行家说汽车半导体  174
18 独家定点！禾赛ATX激光雷达将搭载于长城汽车多品牌量产车型

MEMS  169
19 21名芯片工程师被逮捕！

芯极速  165
20 2024年第三季度，Canalys智能手机全方位榜单及预测：前10款机型、AI、高端手机、折叠屏、5G

Canalys  159
21 退无可退！小米手机芯片终于要来了！其他国产手机厂商何去何从？

飙叔科技洞察  157
22 2025年新能源车供需格局展望：市场趋势与发展机会

电动车千人会  153
23 华为新一代麒麟CPU真身曝光！惊现神秘数字2035，看完肃然起敬

快科技  146
24 通富微电、中电科、亚太芯谷研究院、中科院化学研究所领衔作报告，2024先进封装技术与材料论坛12月25-26日在苏州召开

中国半导体论坛  145
25 做好准备！曝海信大规模裁员3万人!

智芯Player  142
26 iPhoneSE4真要来了：首发苹果自研5G基带

快科技  141
27 倒闭1.46万家！2024年国产芯片公司破产原因及产业影响深度分析

芯八哥  139
28 英伟达为什么会被立案调查？

电子工程世界  139
29 重大突破，华为芯片实现100%国产！

PCB资讯  138
30 突发！美国拨款210亿去除中国设备！

集成电路IC  137

广告

最新评论更多>>

是的，分析实在，还有云存储哦！两相结合，到底又有什么用？

自做自受评论文章 2024-12-10

大数据，到底有什么用？
比亚迪比亚迪

多吃蔬菜评论文章 2024-12-10

比亚迪新能源61家核心供应商名单公开！【附150页深度报告】

资料

文库

帖子

博文

在线研讨会

EE直播间

提升毫米波信号测试精度直播时间：12月18日 14:00
EE Talk主题专访系列直播-对话：释放 Wi-Fi 7 在高带宽应用中的技术潜力直播时间：12月19日 10:00

E聘热招职位