网易首页 > 网易号 > 正文 申请入驻

硬件辅助验证,格局巨变

0
分享至

公众号记得加星标⭐️,第一时间看推送不会错过。

来 源 : 内容 编译自 semiwiki 。

过去十年,硬件辅助验证(HAV:hardware-assisted verification)领域的竞争格局发生了巨大变化。曾经主导市场的战略驱动因素,随着半导体设计领域快速变化的动态而随之改变。

随着现代片上系统 (SoC) 集成数百亿个晶体管、多个芯片以及不断扩展的 IP 模块和通信协议,设计复杂性急剧上升。嵌入式软件的指数级增长进一步改变了验证方式,使得在仿真和原型平台上进行早期软件验证和系统级测试对于实现产品上市目标至关重要。

与此同时,极致的性能、能效、可靠性和安全性已成为处理器、GPU、网络设备和移动应用的核心设计要素。人工智能的兴起将这些参数推向了新的极限,重新定义了硬件辅助验证必须达到的标准,才能跟上下一代半导体创新的步伐。

我的思绪回到了2010年代中期DeepChip杂志上那些激烈的辩论。当时,我(指代本文作者:Lauro Rizzatti)为Mentor Graphics公司担任顾问,自豪地为Veloce硬件辅助验证(HAV)平台摇旗呐喊。而与我正面交锋的是Cadence公司当时的营销经理Frank Schirrmeister,他则坚定地捍卫着Palladium产品线。

如今重温这些交流,更凸显了用户对HAV平台期望的深刻转变。曾经引发激烈争论的三个关键部署方面,如今已彻底颠覆:运行时间与编译性能、多用户操作以及DUT调试。让我们仔细看看它们各自发生了怎样的变化。

运行性能还是编译时间,谁优先?

十年前,人们更看重的是编译时间而非运行时性能。当时主流的观点(以Cadence在基于处理器的HAV阵营中为代表)是,快速编译能够提高工程效率,因为它可以实现每天更多的RTL调试迭代周期。相比之下,基于FPGA的系统通常编译时间较长,这往往会抵消其更快的执行速度,从而造成严重的流程瓶颈。

然而,在过去十年中,高端仿真的主要应用场景发生了巨大变化。虽然迭代式 RTL 调试仍然重要,但如今最具挑战性和价值的关键任务是验证超长软件工作负载:启动完整的操作系统、运行完整的软件栈、执行复杂的应用程序基准测试,以及越来越多地部署完整的 AI/ML 模型。这些工作负载不再以分钟或小时为单位运行,而是以天甚至周为单位运行,这彻底颠覆了以往的模式,使得编译时间的差异变得无关紧要。

这种使用方式的根本性转变,已经决定性地将高端应用的价值主张转向了高性能的、基于 FPGA 的系统。

是否应该支持多用户

早在 2015 年,争论的焦点之一就围绕着多用户支持和作业粒度展开。基于处理器的仿真系统的支持者认为,最大化大型昂贵平台价值的最佳方式是让尽可能多的工程师并行运行小型、独立的作业。关键指标是系统利用率:在一个拥有十亿门电路的系统上,可以同时调试多少个千万门电路的模块?

尽管运行多个小型作业的能力仍然很有价值,但大容量仿真的驱动因素已经完全转变。重点已从最大化用户并行性转向实现单次系统关键型芯片前验证运行。推动这一转变的因素是单芯片AI加速器和复杂多芯片架构的兴起,这些架构必须作为统一的系统进行验证。

应对这一挑战需要新的扩展技术——例如机架之间的高速异步互连——使供应商能够构建越来越大的虚拟仿真环境,从而承载这些庞大的设计。

经济原理也随之演变:仿真不再仅仅是为了提高日常工程效率,而是为了降低数十亿美元项目中系统级错误泄露到芯片上的灾难性风险。

调试的演变:从波形到工作负载

从历史上看,仿真器调试环境的质量取决于其对所有内部网络波形可见性的支持能力。基于处理器的系统在这方面表现出色,能够提供对设计中每个信号的原生、类似仿真的访问。相比之下,基于FPGA的系统常常因其所做的妥协而受到诟病,例如插入探针带来的性能和容量开销,以及每次移动探针位置时都需要重新编译。

随着以软件为中心的工作负载的兴起,这种范式已从根本上发生了改变。对于一位正在调查操作系统运行三天后崩溃原因的工程师来说,导出数TB的底层波形不仅不切实际,而且意义不大。调试的抽象层次已经提升——从追踪单个信号到观察整个系统。如今的重点是通过软件调试器、协议分析器和基于断言的验证来实现系统级的可见性,这些方法侵入性更小,也更适合诊断复杂系统在数十亿次循环中的行为。

与此同时,基于FPGA平台的波形捕获技术取得了显著进步。现代仪器化技术已将传统开销从大约30%降低到5%左右,从而在需要时能够获得深度信号可视性,且不会造成过高的成本。

调试不再是一项单一的任务。它已成为一门多层次的学科,其有效性取决于针对当前问题选择合适的可见性级别。

最近,我有机会与弗兰克重聚——他现在是Synopsys的市场总监——十年前,我们曾就硬件辅助验证(HAV)展开过激烈的面对面辩论。然而,这一次,我们的讨论气氛截然不同。我们两人如今都已成为这个瞬息万变领域的资深人士,却对半导体设计格局的巨大变革——以及这种变革如何重塑了HAV平台的架构、功能和部署方法——达成了完全一致的共识。

曾经将“基于处理器”和“基于FPGA”阵营区分开来的分歧,如今已基本趋于一致:设计复杂性、软件主导地位以及人工智能驱动的工作负载重塑了验证的根本优先事项。关注点已从编译速度和多用户利用率转向系统级验证、可扩展性和长期稳定性。表1总结了过去十年中HAV系统关键属性的演变。


更重要的是,硬件加速验证(HAV)本身的作用已经远远超出了其最初的用途。HAV 曾经被视为一种后期验证工具——主要用于系统验证和芯片设计前的软件调试——如今已成为整个半导体设计流程中不可或缺的支柱。现代仿真平台几乎涵盖了整个生命周期:从早期的RTL验证和软硬件协同设计,到复杂的系统集成,甚至包括首片调试。

https://semiwiki.com/eda/synopsys/363578-lessons-from-the-deepchip-wars-what-a-decade-old-debate-teaches-us-about-tech-evolution/

*免责声明:本文由作者原创。文章内容系作者个人观点,半导体行业观察转载仅为了传达一种不同的观点,不代表半导体行业观察对该观点赞同或支持,如果有任何异议,欢迎联系半导体行业观察。

今天是《半导体行业观察》为您分享的第4222期内容,欢迎关注。

加星标⭐️第一时间看推送,小号防走丢

求推荐

特别声明:以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布,本平台仅提供信息存储服务。

Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.

相关推荐
热点推荐
一夜负债200亿?电动车巨头轰然倒塌:终于活成贾跃亭信徒?

一夜负债200亿?电动车巨头轰然倒塌:终于活成贾跃亭信徒?

削桐作琴
2025-11-13 16:50:53
沃尔:浓眉可能已经不想留在独行侠,他想去家乡球队公牛

沃尔:浓眉可能已经不想留在独行侠,他想去家乡球队公牛

懂球帝
2025-11-14 08:26:39
给员工降薪50%却在外面捐款一个亿!对自己人好一点就这么难吗?

给员工降薪50%却在外面捐款一个亿!对自己人好一点就这么难吗?

翻开历史和现实
2025-10-17 09:54:36
男子去试驾开了40公里,销售小姐姐提醒也不听,网友:买车送媳妇

男子去试驾开了40公里,销售小姐姐提醒也不听,网友:买车送媳妇

唐小糖说情感
2025-11-10 10:42:26
湖南富婆发现路上“陌生女人”长得很像自己,查验DNA后发现,竟然是自己的双胞胎姐妹

湖南富婆发现路上“陌生女人”长得很像自己,查验DNA后发现,竟然是自己的双胞胎姐妹

励职派
2025-11-14 12:45:25
“新疆棉”事件5年后,那个丑态百出的“反华妖女”,如今怎样了

“新疆棉”事件5年后,那个丑态百出的“反华妖女”,如今怎样了

博览历史
2025-09-10 20:25:07
不出意外的话!苏林会成为第二个黎笋

不出意外的话!苏林会成为第二个黎笋

近史谈
2025-11-02 18:54:35
已成闭环!西甲官方晒20队胜负关系图:谁都可能战胜谁

已成闭环!西甲官方晒20队胜负关系图:谁都可能战胜谁

懂球帝
2025-11-13 15:45:12
1991年中央派人请张学良回大陆,张:回大陆可以,但我有三个要求

1991年中央派人请张学良回大陆,张:回大陆可以,但我有三个要求

墨兰史书
2025-11-09 12:45:03
她是上海知名主持,母亲是骆文莲,师傅是曹可凡,如今却转行幕后

她是上海知名主持,母亲是骆文莲,师傅是曹可凡,如今却转行幕后

阿讯说天下
2025-11-13 12:35:10
拉菲尼亚评巴萨历史巴西球员TOP5:内马尔居首,小罗第二

拉菲尼亚评巴萨历史巴西球员TOP5:内马尔居首,小罗第二

懂球帝
2025-11-14 05:53:11
杭州保姆纵火案通灵实录:通灵人与被害人交流,得知朱小贞真实死因

杭州保姆纵火案通灵实录:通灵人与被害人交流,得知朱小贞真实死因

可儿故事汇
2024-08-29 12:50:53
辛柏青状态不对劲了!丧妻后首露正脸,眼神空洞憔悴到不敢认

辛柏青状态不对劲了!丧妻后首露正脸,眼神空洞憔悴到不敢认

老吴教育课堂
2025-11-14 13:31:28
越南合流日本

越南合流日本

求实处
2025-11-12 21:15:03
该反思了,诈骗头目都外国抓获没收,老百姓取款都要被询问,为啥

该反思了,诈骗头目都外国抓获没收,老百姓取款都要被询问,为啥

你食不食油饼
2025-11-12 11:48:56
造纸厂储罐发现3具女尸,法医:三人为亲姐妹,生前骨盆均被破坏

造纸厂储罐发现3具女尸,法医:三人为亲姐妹,生前骨盆均被破坏

罪案洞察者
2025-10-28 15:33:21
震惊!河南临颍县设定“萝卜坑”招聘一文职参谋,网友们沸腾了…

震惊!河南临颍县设定“萝卜坑”招聘一文职参谋,网友们沸腾了…

火山诗话
2025-11-13 14:47:42
最大的访问团,国王携家族三百多名成员访问中国,在中国生活至今

最大的访问团,国王携家族三百多名成员访问中国,在中国生活至今

今日养生之道
2025-11-14 11:44:01
朱雨玲首战胜世界第三,孙颖莎4-0封神,王楚钦急躁失利

朱雨玲首战胜世界第三,孙颖莎4-0封神,王楚钦急躁失利

残梦断忆
2025-11-14 13:38:42
女性“高潮”的秘密:别再假装了,教你的伴侣如何带你到达巅峰

女性“高潮”的秘密:别再假装了,教你的伴侣如何带你到达巅峰

精彩分享快乐
2025-11-12 00:05:03
2025-11-14 15:47:00
半导体行业观察 incentive-icons
半导体行业观察
专注观察全球半导体行业资讯
12222文章数 34703关注度
往期回顾 全部

科技要闻

火箭成功回收 贝索斯终于追上马斯克一小步

头条要闻

中方密集就日首相言论发声 孙卫东连用五个"严重"表态

头条要闻

中方密集就日首相言论发声 孙卫东连用五个"严重"表态

体育要闻

40岁C罗肘击染红 离场时怒骂对手主帅

娱乐要闻

《国色天香》编剧发长文质疑古二?

财经要闻

统计局:前10月房地产开发投资下降14.7%

汽车要闻

小鹏X9超级增程动态评测全网首发 高速实测车内65分贝

态度原创

健康
游戏
时尚
教育
公开课

金振口服液助力科学应对呼吸道疾病

《完美音浪》官宣复活?发行权移交韩国蓝洞

秋天穿衣真的一点都不难!从这些穿搭中收获灵感,舒适又耐看

教育要闻

上海市教委发布最新情况通报!关于“绿捷”事件!

公开课

李玫瑾:为什么性格比能力更重要?

无障碍浏览 进入关怀版