形式验证 - 电子工程专辑

形式验证

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

EETOP 2022-04-17 1093浏览

正在努力加载更多...

广告

今日新闻

热门文章排行

1 特斯拉上海超级工厂拟停产升级

一览众车  13830
2 AMEYA360|2025年春节放假通知！

皇华电子元器件IC供应商  8409
3 美国人突然挤爆小红书的原因找到了，难民们说出了实情！

快科技  3957
4 传美国对大陆芯片限制：从7nm降到16nm

strongerHuang  3255
5 小米15Ultra影像细节：支持10cm微距大光圈双长焦镜组镀膜换新

手机技术资讯  1671
6 已确认！SGS和BV必维正在洽谈合并！

谈思汽车  1624
7 美国拟管制16nm！

半导体工艺与设备  1596
8 比亚迪轰出开年第一炮，日系车再遭殃？

电动车公社  1518
9 赵明辞职！荣耀正式官宣“换帅”，前华为悍将李健接任

CINNOResearch  1399
10 富士康撤离印度！

集成电路IC  1374
11 2024年Q1-Q4全球智能手机出货量汇总；全年12.4亿部，同比增长6.4%

芯存社  1225
12 中国人造太阳再迎重大突破核聚变商业化远景渐明晰

科创板日报  926
13 靴子落地！美国正式推出全球AI芯片禁令：AMD、英伟达GPU禁运往中国大陆

集成电路IC  926
14 高德红外加速布局AI时代，催生红外行业新机遇

MEMS  882
15 疑供货中国"H公司"，台积电终止合作新加坡PowerAIR

芯极速  810
16 刚刚，美国正式公布AI芯片出口新限制！但有例外…

芯通社  807
17 2024全球智能手机销量出炉！苹果稳坐第一，华为未进前五！

EETOP  776
18 敏感时期！英伟达CEO黄仁勋即将访问中国；强烈反对美国AI芯片限制新措施！

飙叔科技洞察  731
19 又一家新势力爆雷

一览众车  701
20 精准定制，异型无忧：西安励德实现倾斜侧壁新突破

MEMS  675
21 突发！美国黑名单再扩容，5家中国光伏企业遭禁入美市场！

DT半导体材料  674
22 脑机接口，频频迎重磅政策！

科创板日报  657
23 深夜被“一锅端”！算能科技及子公司智谱及子公司被美国封杀

集成电路IC  653
24 美国AI芯片管制新规，引发英伟达和甲骨文等集体反对！

飙叔科技洞察  640
25 2025CES英特尔：PC芯片帝王在汽车业的倔强-唯一提供整体方案

Vehicle  630
26 算电协同！华为指明AIDC十大趋势

科创板日报  626
27 CES2025汽车专题报告：智能汽车领域四大新趋势

智能汽车设计  605
28 总投资约7.8亿元，立讯精密（邯郸）新能源汽车电子配件制造产业园项目落户武安

线束中国  588
29 CES2025：MiniLED与MicroLED新品正逐渐成为高端显示的新选择

CINNOResearch  571
30 2024年AI大算力芯片技术发展与产业趋势

智能计算芯世界  558

广告

最新评论更多>>

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

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

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

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

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

资料

文库

帖子

博文

在线研讨会

EE直播间

Fabless100系列技术和应用直播 —实时控制、BMS：国产MCU迈向高性能应用直播时间：02月18日 10:00
高效协同与版本管理：Cliosoft助力现代芯片设计直播时间：02月26日 10:00
第三代功率半导体器件测试解决方案直播时间：03月06日 10:00

E聘热招职位