0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
会员中心
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示

利用硬件仿真工具进行验证和确认

星星科技指导员 来源:嵌入式计算设计 作者:Lauro Rizzatti 2022-06-19 16:22 次阅读
加入交流群
微信小助手二维码

扫码添加小助手

加入工程师交流群

任何学科的设计——电子、机械、航空航天等——都始于一个规范,该规范捕捉最终产品应该做什么,并从根本上推动整个开发周期。在开发的早期阶段,第一个任务使用规范来验证正在开发的设计是否正常工作并且没有错误。然后,当设计的所有部分都组装成一个完整的系统时,第二个任务使用规范来确定系统是否也按照预期的方式运行。

这两个任务称为设计验证(任务 1)和设计验证(任务 2)。有时,错误地,这两个术语可以互换使用。虽然相似,但这两项任务的目标却截然不同。

验证:我们构建的系统正确吗?

验证:我们是否在构建正确的系统?

在片上系统 (SoC) 设计过程中,使用基于软件的硬件描述语言 (HDL) 仿真方法进行设计验证。相反,设计验证是在实际使用环境中测试的整个系统的原型上进行的。

不幸的是,HDL 仿真执行速度并没有跟上设备的复杂性,尽管它具有所有优点:易用性、灵活性和快速的设计迭代时间。当今的许多设计,例如具有 1,024 个端口的互联网路由器或高清视频处理器,都需要大量的验证序列,即使在最快的 PC 上模拟也需要很多年。这些序列源于运行长的、连续的串行协议流或处理复杂的嵌入式软件以全面验证 SoC 或系统设计的需要。

此外,近年来,在硅可用之前开始软件验证已变得很重要。为了实现这一目标,引入了一种称为虚拟原型的新型方法。虽然其中一些工具已经实现了启动软件开发的目标,但它们只处理不需要准确表示底层硬件的应用程序。在测试嵌入式软件(例如固件、设备驱动程序、操作系统和诊断程序)的交互时,它们会出现不足。对于此测试,嵌入式软件开发人员依靠准确的硬件模型来验证他们的代码。

相比之下,硬件设计人员需要一套相当完整的软件来在系统验证期间全面测试他们的 SoC。古老的基于 FPGA 电路板的系统原型设计方法提供了设计的准确表示,但不太适合硬件调试。因此,只要设计适合少数 FPGA,FPGA 原型对软件开发团队的吸引力就更大。

最终,软件和硬件组需要在一个通用模型上走到一起,以验证完整的硬件和嵌入式软件。对于大多数使用传统开发周期的人来说,第一个完整的模型是实际的硅片(图 1)。

poYBAGKu3PyAJtb5AABrjEhTIsc454.png

【图1 | 在传统的开发周期中,第一个完整的模型是硅。]

等待实际硅片的问题在于它在设计周期中为时已晚。由于嵌入式软件在硅片之前无法在完整、准确的系统模型的上下文中得到充分验证,因此在硅片中发现问题的可能性增加。它们可以在软件或软件和硬件中找到,通常会迫使额外的芯片重新设计和代码修订。重新设计和代码修订都具有成本和上市时间的影响。避免这些影响所需要的是一种提供统一解决方案的方法,以在第一块芯片之前实现硬件/软件验证和确认。

最新一代的硬件仿真器实现了这一点。它们提供几乎无限的容量,多达数十亿个门,并以 1 兆赫或更多兆赫的速度验证被测设计 (DUT),提供比 FPGA 原型系统更好的硬件调试。它们易于使用,可以更快地编译 DUT,并允许从世界任何地方进行 24/7 远程访问。在仿真器上运行的新软件应用程序使其能够支持多种类型的验证,从低功耗分析和验证到测试设计 (DFT) 逻辑验证。仿真器还为从网络到处理器/图形、存储等各种细分市场带来了独特的技术。

在设计周期的早期,仿真器用于与仿真器和 SystemVerilog 进行协同仿真,以在组装完整的 SoC 设计之前验证知识产权 (IP) 模块和子系统。在设计周期的后期,仿真器用于验证整个系统并执行嵌入式软件验证。

它们在相同的设计表示上为硬件和软件工程师提供完整的硬件和软件调试功能。这让硬件和软件开发团队能够以前所未有的方式协作并修复集成问题(图 2)。

poYBAGKu3QiAR37bAABv0QjvAqE747.png

【图2 | 最新一代的硬件仿真器显着加快了开发周期。]

硬件仿真以前仅限于验证超大型设计,如今已成为所有设计验证和确认流程的基础。这种新发现的流行是日益增长的硅复杂性和嵌入式软件的广泛使用的结果。在设计中心,硬件仿真被使用,并且在未来它将在从硬件验证、硬件/软件集成到嵌入式软件和系统验证的整个开发周期中使用得更多。

审核编辑:郭婷

声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
  • 处理器
    +关注

    关注

    68

    文章

    20377

    浏览量

    255600
  • 嵌入式
    +关注

    关注

    5212

    文章

    20763

    浏览量

    338736
  • 仿真器
    +关注

    关注

    14

    文章

    1053

    浏览量

    88265
收藏 人收藏
加入交流群
微信小助手二维码

扫码添加小助手

加入工程师交流群

    评论

    相关推荐
    热点推荐

    AI与Multi-Die时代的快速仿真:EDA快仿工具选型指南与验证效率优化方法

    直接影响: 架构决策周期; 软件开发启动时间; 流片风险; 数据中心级功耗目标; 产品上市窗口。 尤其在Multi-Die系统中,验证对象不再只是单一SoC,而是: 多裸片互连; HBM子系统; Die-to-Die协议; 热与功耗协同; 软件栈与硬件协同运行。 传统CP
    的头像 发表于 05-22 15:47 82次阅读

    ROHM PLECS Simulator仿真工具上线

    全球知名半导体制造商ROHM(总部位于日本京都市)宣布,在ROHM官网上发布了基于仿真软件PLECS*开发的仿真工具“ROHM PLECS Simulator”,该工具可在Web上高速
    的头像 发表于 05-12 13:40 170次阅读
    ROHM PLECS Simulator<b class='flag-5'>仿真</b><b class='flag-5'>工具</b>上线

    核聚变装置中PSM高压电源的实时仿真验证

    ,其拓扑搭建如下图。 >控制算法的仿真验证 这里我们分别使用PSM控制、PWM配合PSM控制、移相控制三种控制方式,对高压电源模型进行实时仿真联合调试。 1. PSM控制 PS
    发表于 02-09 15:45

    如何使用Modelsim仿真I2C控制器

    混合的程序进行仿真。这里的仿真是对设计进行功能仿真(也称之为前仿真),其目的是
    的头像 发表于 01-10 14:14 5732次阅读
    如何使用Modelsim<b class='flag-5'>仿真</b>I2C控制器

    如何选择适合的智驾仿真工具进行场景生成和测试?

    在自动驾驶技术日益发展的背景下,选择合适的智驾仿真工具进行场景生成和测试显得尤为重要。该工具不仅需要支持高精度的场景重建,还需满足多种环境条件和传感器模型的兼容性。本文将深入探讨如何评
    的头像 发表于 11-25 10:32 540次阅读
    如何选择适合的智驾<b class='flag-5'>仿真</b><b class='flag-5'>工具</b><b class='flag-5'>进行</b>场景生成和测试?

    利用 NucleiStudio IDE 和 vivado 进行硬件联合仿真

    本文利用NucleiStudio IDE 和 vivado 对 NICE demo协处理器进行硬件联合仿真。 1. 下载demo_nice例程:https://github.com
    发表于 11-05 13:56

    嵌入式软件测试与专业测试工具的必要性深度解析

    。专业工具通过虚拟化硬件接口(如GPIO、CAN总线),允许开发者在早期验证代码逻辑,实现软硬件并行开发。例如,硬件在环(HIL)测试通过F
    发表于 09-28 17:42

    Wisim DC电源完整性EDA物理验证仿真工具介绍

    Wisim DC是一款高效、高性能的平台级电源完整性EDA物理验证仿真工具。可快速诊断IC封装和系统级板图内的设计缺陷和电源管理风险,通过定位板图中的“热点”,自动优化VRM感应线位置,使系统PDN达到最优设计。
    的头像 发表于 09-26 15:57 811次阅读
    Wisim DC电源完整性EDA物理<b class='flag-5'>验证</b><b class='flag-5'>仿真</b><b class='flag-5'>工具</b>介绍

    如何验证硬件冗余设计的有效性?

    硬件冗余设计的核心目标是应对单点故障、保障系统连续运行,其有效性验证需围绕 “故障发生时的切换能力、数据完整性、业务连续性” 三大核心指标展开,通过 “静态配置检查 + 动态故障模拟 + 长期稳定性
    的头像 发表于 09-18 16:36 1685次阅读
    如何<b class='flag-5'>验证</b><b class='flag-5'>硬件</b>冗余设计的有效性?

    如何利用外部校验工具验证电能质量在线监测装置的准确性?

    利用外部校验工具验证电能质量在线监测装置(以下简称 “监测装置”)准确性的核心逻辑是:通过 “标准信号源” 或 “高精度参考设备” 提供已知的、准确的电能参数,将监测装置的测量值与标准值进行
    的头像 发表于 09-11 17:24 990次阅读
    如何<b class='flag-5'>利用</b>外部校验<b class='flag-5'>工具</b><b class='flag-5'>验证</b>电能质量在线监测装置的准确性?

    有哪些工具可以辅助进行电能质量在线监测装置的数据验证

    辅助电能质量在线监测装置数据验证工具可分为标准源设备、现场校验仪器、数据分析软件、自动化测试平台四大类,覆盖从信号模拟、实时监测到数据验证的全流程。以下结合行业实践与搜索资源,详细说明各类
    的头像 发表于 09-04 12:07 734次阅读
    有哪些<b class='flag-5'>工具</b>可以辅助<b class='flag-5'>进行</b>电能质量在线监测装置的数据<b class='flag-5'>验证</b>?

    如何验证硬件加速是否真正提升了通信协议的安全性?

    是具体验证方法与框架,覆盖从底层硬件到上层协议的全链路验证: 一、基础验证硬件加速模块的安全功能正确性
    的头像 发表于 08-27 10:16 1428次阅读
    如何<b class='flag-5'>验证</b><b class='flag-5'>硬件</b>加速是否真正提升了通信协议的安全性?

    绿氢系统 PEM 电解槽直流接入仿真验证深度解析

    的可行性进行全面验证,可为 PEM 电解槽的实际应用提供理论和实践依据。 一、EasyGo PEM 电解槽模型 质子交换膜(Proton Exchange Membrane,简称PEM)是电解槽
    发表于 07-03 18:25

    推动硬件辅助验证平台增长的关键因素

    硬件加速和基于FPGA的原型设计诞生于1980年代中期,开发者将当时初露头角的现场可编程门阵列(FPGA)率先应用于硅前设计的原型验证,由此催生了一种全新的验证工具,打破了软件
    的头像 发表于 06-11 14:42 1136次阅读
    推动<b class='flag-5'>硬件</b>辅助<b class='flag-5'>验证</b>平台增长的关键因素

    绿氢系统篇丨PEM电解槽模型交流接入模式仿真验证

    电解槽模型通过离线验证和实时仿真验证两种方式,对该模型在交流接入模式的可行性进行全面验证,可为 PEM 电解槽的实际应用提供理论和实践依据
    发表于 06-05 18:55