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

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

3天内不再提示

一文浅谈SoC功能验证中的软件仿真

思尔芯S2C 2023-01-12 17:11 次阅读
加入交流群
微信小助手二维码

扫码添加小助手

加入工程师交流群

随着SOC/ASIC 设计规模不断增大,且结构愈加复杂,导致验证的复杂度呈指数级增长。为了缩短芯片的上市周期,在不同设计阶段工程师们往往选择不同的仿真验证工具,提高整个芯片开发效率。在一个芯片的设计开发流程中,软件仿真是其中重要的一个部分。这种基于软件的逻辑仿真可以说在整个功能验证中都需要用到。

什么是软件仿真?

软件仿真,简单说来,就是用软件和编程语言将所有的硬件特征虚拟出来。它先是通过计算机结合测试激励来模拟芯片在真实环境下的运行状况,帮助工程师通过各种调试手段来判断运行结果是否符合预期。由于它能够较快速地搭建一个仿真环境,十分简便;而且软件仿真对DUT的结果可视化较好(输出波形可直接观测),可以以用户友好的GUI模式来进行debug;工程师也可以随时暂停或者中断验证工具的运行,提高了整个debug的效率。此外,回归测试(regression test)是逻辑仿真不能忽略的一部分。对于芯片这种人类史上既宏大又细微的工程,任何一个改变就像多米诺骨牌一样,牵一发而动全身。因此,工程师会重新进行测试以确认修改没有引入新的错误或导致其他代码产生错误。这样的动作就是回归测试,也是软件仿真的主要功能之一。基于以上特性,在数字芯片的前端设计中,软件仿真是工程师们常规必备的验证工具,其重要性不言而喻。

软件仿真面临哪些挑战?

不过,这种通过运行软件的方式验证芯片的设计方案固然简单方便,但对于SOC/ASIC规模越来越大,设计越来越复杂的今天,仿真运行需要花费的时间也越来越长。从运行效率来看,软件仿真更适合一些小规模的设计,尤其是在一些模块级别的功能验证上,软件仿真的编译速度很快,这在一定程度上会加快整体项目的验证速度。此外,软件仿真会在具有不同物理抽象层次(级别)下进行,例如晶体管级、逻辑门级、RTL级和行为级。为了加速整个芯片开发周期,在外购IP越来越普遍的今天,芯片开发大多是自主设计部分和多个IP模块集成,形成复杂芯片的设计。如果交付的IP模块源代码并不是RTL代码,就没办法使用软件仿真进行验证。因此,基于以上两点,软件仿真在运行时,还需要支持连接第三方工具如数学建模,硬件仿真加速器,原型验证平台等共同完成功能仿真。虽然软件仿真技术对工程师来说非常有必要,但就现有的商业模式来说,提供的商用软件仿真服务会以软件许可证(software license)的形式收费。但在实际使用时,工程师们难以依赖经验进行有效算力与工具需求计算的匹配。因为项目开发中对于算力的需求是波动的。有时候已购买的license无法满足现实使用需求,有部分设计工程师获取不到就会造成抢占或拥堵。但如果超前部署,又会带来巨额的成本投入,有可能在闲置时造成资源的浪费。这就对芯片开发效率产生致命影响。对于企业来说怎么平衡生产和效益匹配的问题是当下急需解决的事情。

高性能、多语言混合的

商用数字软件仿真工具

PegaSim 芯神驰是思尔芯倾力打造的一款高性能、多语言混合的商用数字软件仿真工具,已得到多家海内外厂商验证。
其采用了创新的架构算法,实现了高性能的仿真和约束求解器引擎,对System Verilog语言、Verilog 语言、VHDL语言和UVM方法学等提供了广泛的支持,同时支持时序反标和门级后仿真,并可提供功能覆盖率、代码覆盖率分析等功能。同时创新的软件架构允许仿真器支持不同的处理器架构—— x86-64、RISC-VARM等。芯神驰可搭配思尔芯的芯神匠架构设计软件、芯神鼎硬件仿真系统,以及芯神瞳原型验证平台,可实现设计与验证工程师从IP、子系统及全系统等不同场景的验证需求,进而满足当今复杂SoC的验证需求。更重要的是,此款商用数字软件仿真工具采用创新的商业模式,可以很好地满足企业多样化的需求,帮助企业解决license使用紧张、算力不足、license被设计工程师长期占用等问题。真正为企业做到降本增效,加速芯片设计,确保整个芯片设计流程对需求规格的完整实现,以及项目按照预期的验证计划高效地推进。

//

关于思尔芯S2C

思尔芯(S2C)自2004年设立上海总部以来始终专注于集成电路EDA领域。作为业内知名的EDA解决方案专家,公司业务聚焦于数字芯片的前端验证,已覆盖验证云服务、架构设计、软件仿真、硬件仿真、原型验证等工具。已与超过500家国内外企业建立了良好的合作关系,服务于人工智能、超级计算、图像处理、数据存储、信号处理等数字电路设计功能的实现,广泛应用于物联网云计算5G通信、智慧医疗、汽车电子等终端领域。

公司总部位于上海,并建立了全球化的技术研发与市场服务网络,在北京、深圳、西安、香港、东京、首尔及圣何塞等地均设有分支机构或办事处。

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

    关注

    38

    文章

    4517

    浏览量

    227672
  • 仿真
    +关注

    关注

    53

    文章

    4411

    浏览量

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

扫码添加小助手

加入工程师交流群

    评论

    相关推荐
    热点推荐

    如何使用CMSIS DAP仿真器调试,通过NucleiStudio调试蜂鸟SOC

    如标题所示,我们分享如何使用CMSIS DAP仿真器调试,通过NucleiStudio调试蜂鸟SOC 我们先介绍下CMSIS DAP仿真器: 他的
    发表于 10-21 12:05

    新思科技RTL与功能签核助力低功耗SoC验证

    在半导体设计,“签核”通常被视为个里程碑。但实际上,这涵盖了多个具有特定目标的独立验证阶段。
    的头像 发表于 10-21 10:15 549次阅读

    NVMe高速传输之摆脱XDMA设计33:初始化功能验证与分析

    到链路训练状态, 在这里为了减少仿真时间在仿真过程缩减了延时条件。 由于链路训练由 PCIE 集成块执行, 在功能仿真过程
    发表于 10-08 08:02

    讲解】汽车生产DV与PV验证

    在汽车开发和生产过程,DV(DesignVerification,设计验证)和PV(ProductionValidation,生产验证)是两个关键的质量控制环节,分别针对设计可靠性和生产
    的头像 发表于 09-16 16:59 3077次阅读
    【<b class='flag-5'>一</b><b class='flag-5'>文</b>讲解】汽车生产DV与PV<b class='flag-5'>验证</b>

    INTEWORK VBA | Ethernet总线分析、仿真验证站式搞定

    测试验证的全套解决方案,助力工程师高效应对研发挑战。新功能速览01基于SOME/IP协议栈的Ethernet服务节点仿真功能面对SOME/IP服务化控制器
    的头像 发表于 08-05 16:24 657次阅读
    INTEWORK VBA | Ethernet总线分析、<b class='flag-5'>仿真</b>及<b class='flag-5'>验证</b><b class='flag-5'>一</b>站式搞定

    Veloce Primo补全完整的SoC验证环境

    在芯片构建之前完成。虽然硬件加速器和桌面原型板是这项验证两个众所周知的参与者,但企业原型同样具备重要的意义。 尽管仿真在设计的早期阶段占据主导地位,但由于性能的原因,其更多的适用于模块级验证
    的头像 发表于 06-12 14:39 1181次阅读
    Veloce Primo补全完整的<b class='flag-5'>SoC</b><b class='flag-5'>验证</b>环境

    硬件辅助验证(HAV) 对软件验证的价值

    硬件辅助验证 (HAV) 有着悠久的历史,如今作为软件驱动验证的必备技术,再度受到关注。 RISC-V 可能是说明这点的最好例子。HAV 能够执行多个周期的
    的头像 发表于 05-13 18:21 1674次阅读

    电磁环境仿真验证系统软件

    电磁环境仿真验证系统软件
    的头像 发表于 04-29 16:59 840次阅读
    电磁环境<b class='flag-5'>仿真</b>与<b class='flag-5'>验证</b>系统<b class='flag-5'>软件</b>

    FPGA EDA软件的位流验证

    位流验证,对于芯片研发是个非常重要的测试手段,对于纯软件开发人员,最难理解的就是位流验证。在FPGA芯片研发,位流
    的头像 发表于 04-25 09:42 2072次阅读
    FPGA EDA<b class='flag-5'>软件</b>的位流<b class='flag-5'>验证</b>

    仿真软件ABAQUS:功能强大的有限元软件

    在当今的工程技术领域,仿真分析已经成为产品设计、结构优化和材料研究不可或缺的部分。随着计算机技术的飞速发展,各种仿真软件应运而生,其中ABAQUS作为
    的头像 发表于 04-23 11:05 1545次阅读
    <b class='flag-5'>仿真</b><b class='flag-5'>软件</b>ABAQUS:<b class='flag-5'>功能</b>强大的有限元<b class='flag-5'>软件</b>

    软件更新 | 以太网通信仿真功能已上线!TSMaster 202503 版本更新速览

    TSMaster202503软件功能又更新啦!这次,我们带来了工程师们期待已久的以太网通信仿真功能,让您的车载网络测试如虎添翼!除了以太网
    的头像 发表于 04-12 20:03 1024次阅读
    <b class='flag-5'>软件</b>更新 | 以太网通信<b class='flag-5'>仿真</b><b class='flag-5'>功能</b>已上线!TSMaster 202503 版本更新速览

    技术分享 | AVM合成数据仿真验证方案

    AVM 合成数据仿真验证技术为自动驾驶环境感知发展带来助力,可借助仿真软件配置传感器、搭建环境、处理图像,生成 AVM 合成数据,有效加速算法验证
    的头像 发表于 03-19 09:40 3499次阅读
    技术分享 | AVM合成数据<b class='flag-5'>仿真</b><b class='flag-5'>验证</b>方案

    线路板仿真验证:电子产品的幕后保障

    在电子产品的复杂架构,线路板就如同人体的神经系统,承担着信号传输与连接的重任。随着电子产品功能不断强大、体积愈发小巧,线路板的设计与制造面临着前所未有的挑战。而线路板仿真验证技术,成
    的头像 发表于 03-07 09:21 680次阅读

    新思科技推出基于AMD芯片的新代原型验证系统

    近日,新思科技宣布推出全新基于AMD Versal™ Premium VP1902自适应系统级芯片(SoC)的HAPS®原型验证系统,以此进步升级其硬件辅助验证(HAV)产品组合。
    的头像 发表于 02-19 17:12 1157次阅读

    新思科技全新升级业界领先的硬件辅助验证产品组合,助力下代半导体与设计创新

    和ZeBu®仿真系统,全新升级其业界领先的硬件辅助验证(HAV)产品组合。全新代HAPS-200原型验证系统和ZeBu仿真系统提供了改善的
    发表于 02-18 16:00 473次阅读