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

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

3天内不再提示

新思科技 VC Formal DPV是CPU、GPU和AI/ML设计数据路径验证的不二之选

新思科技 来源:新思科技 作者:新思科技 2022-05-09 16:27 次阅读

我们生活在大数据的世界中:B站日均播放量17亿次,微信每天发送约500亿条信息。预计到2025年,全球每天生成的数据量有望达到463EB。

如此庞大的数据量,需要采用浮点算术运算的芯片才能够以最快的速度和最高的精度进行处理、存储、分析和共享。而验证这些芯片上的数据处理逻辑(数据路径)的正确性至关重要。历史证明,未能及时发现错误将会导致高昂的代价。

鉴于此,新思科技很早就开始研究验证复杂数据路径逻辑的方法。例如,基于仿真的传统验证方法效率低、耗时长,而且对于无遗漏地验证这些复杂的数学函数根本不切实际。以一个两个32位操作数的简单数学运算为例子,其中就会包含264个操作数对。假设处理速度为每秒30亿次模拟速度,则需要195个计算年。这导致计算资源根本无法得到充分和高效利用。

形式验证使用数学方法来证明或反驳预期算法的正确性,可提供一种有效、高效且可追溯的解决方案。在对函数正确性至关重要的复杂控制和数据路径逻辑进行验证时,它可对仿真方法起到补充作用。认识到设计架构师趋向于将规范编写为C或C++参考模型,新思科技的研究团队开始致力于开发一种验证技术来确定硬件设计人员创建的RTL是否等效于C/C++模型。复杂数据路径专用验证解决方案HECTOR(High-level Equivalence C++ to RTL)由此诞生。

过去20年间,新思科技不断升级形式求解器,性能越来越完善,促使许多客户开始使用HECTOR来验证CPUGPU网络和安全性应用中的ALU、FPU和DSP块。

2017中,HECTOR技术被整合到新思科技 VC Formal Datapath Validation (DPV) App中,该应用现已能够支持所有现代C++语言和基于业界领先的新思科技 Verdi SoC Debug Platform的完整调试环境。

VC Formal DPV成为业界首个用于对数据路径元素进行无遗漏验证的商用形式验证工具。 VC Formal DPV针对独立开发的模型提供等效性检查,无遗漏地验证RTL实现是否与可信的C/C++参考模型等效,并且可用于无遗漏地验证C到C、C到RTL,以及RTL到RTL等连续设计改进,而无需任何验证平台、断言或覆盖率要求。VC Formal DPV可以灵敏地检测极端缺陷,从而避免代价高昂的错误发生。该技术嵌入了:

快速高效的形式算法,包括加入多个求解器用于解算复杂的数学逻辑

快速收敛技术,包括自动设计分区和多处理器支持

高级调试支持,包括一个集成的调试器,支持单步调试C/C++代码

灵活的语言支持:Verilog、VHDL、SystemVerilog、C、C++

VC Formal DPV可提供100%的信任度,其RTL设计实现符合C/C++参考算法,因此与基于仿真的技术相比,可以显著加快数据路径组件的签核。

17b17b30-cf6e-11ec-bce3-dac502259ad0.png

随着电子设备变得越来越智能人工智能AI)和机器学习(ML)芯片被广泛应用于许多领域。由于AI/ML芯片使用浮点运算来处理大量数据,因此VC Formal DPV非常适合此类芯片设计,获得了全球AI/ML初创企业的大量部署。 为了帮助企业采用数据路径验证方法,新思科技提供了经过形式验证的全面的C++数学库来验证RTL,并且还为交钥匙项目的培训和执行提供咨询服务。 数据路径验证的前景十分光明。新思科技凭借20多年的HECTOR技术投入和不断革新,其VC Formal DPV可对任何数据路径块进行签核。

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

    关注

    68

    文章

    10338

    浏览量

    206235
  • gpu
    gpu
    +关注

    关注

    27

    文章

    4339

    浏览量

    126299
  • 新思科技
    +关注

    关注

    5

    文章

    713

    浏览量

    50040
  • 数据路径
    +关注

    关注

    0

    文章

    4

    浏览量

    6290

原文标题:VC Formal DPV:CPU、GPU和AI/ML设计数据路径验证的不二之选

文章出处:【微信号:Synopsys_CN,微信公众号:新思科技】欢迎添加关注!文章转载请注明出处。

收藏 人收藏

    评论

    相关推荐

    是德科技推出AI数据中心测试平台旨在加速AI/ML网络验证和优化的创新

    2024年2月29日,是德科技(Keysight Technologies,Inc.)宣布,针对人工智能(AI)和机器学习(ML)基础设施生态系统,推出了 AI数据中心测试平台,旨在加
    的头像 发表于 02-29 09:32 215次阅读
    是德科技推出<b class='flag-5'>AI</b><b class='flag-5'>数据</b>中心测试平台旨在加速<b class='flag-5'>AI</b>/<b class='flag-5'>ML</b>网络<b class='flag-5'>验证</b>和优化的创新

    为什么GPUCPU更快?

    GPUCPU更快的原因并行处理能力:GPU可以同时处理多个任务和数据,而CPU通常只能一次处理一项任务。这是因为
    的头像 发表于 01-26 08:30 487次阅读
    为什么<b class='flag-5'>GPU</b>比<b class='flag-5'>CPU</b>更快?

    Formal Verify形式验证的流程概述

    Formal Verify,即形式验证,主要思想是通过使用数学证明的方式来验证一个修改后的设计和它原始的设计,在功能上是否等价。
    的头像 发表于 09-15 10:45 467次阅读
    <b class='flag-5'>Formal</b> Verify形式<b class='flag-5'>验证</b>的流程概述

    明天|一步左移到位:动静结合,VC SpyGlass如何加速复杂CDC验证

    原文标题:明天|一步左移到位:动静结合,VC SpyGlass如何加速复杂CDC验证 文章出处:【微信公众号:新思科技】欢迎添加关注!文章转载请注明出处。
    的头像 发表于 08-10 17:40 317次阅读
    明天|一步左移到位:动静结合,<b class='flag-5'>VC</b> SpyGlass如何加速复杂CDC<b class='flag-5'>验证</b>

    gpucpu有什么区别?

    gpucpu有什么区别? GPUCPU是电脑中两个重要的计算器件。如果想要了解这两个设备的区别,需要从它们的含义和工作原理入手。 首先,CPU
    的头像 发表于 08-09 16:15 9417次阅读

    本周五|一步左移到位:动静结合,VC SpyGlass如何加速复杂CDC验证

    原文标题:本周五|一步左移到位:动静结合,VC SpyGlass如何加速复杂CDC验证 文章出处:【微信公众号:新思科技】欢迎添加关注!文章转载请注明出处。
    的头像 发表于 08-07 18:45 307次阅读

    下周五|一步左移到位:动静结合,VC SpyGlass如何加速复杂CDC验证

    原文标题:下周五|一步左移到位:动静结合,VC SpyGlass如何加速复杂CDC验证 文章出处:【微信公众号:新思科技】欢迎添加关注!文章转载请注明出处。
    的头像 发表于 08-04 17:55 342次阅读

    Ai 部署的临界考虑电子指南

    %数据中心的工作量。平方GPU对培训工作量有效,但在人工智能的所有不同阶段都不需要GPU。在2021年的一项研究中,56%的研究受访者将成本列为他们面临的最重大挑战实施AI/
    发表于 08-04 07:25

    一步左移到位:动静结合,VC SpyGlass如何加速复杂CDC验证

    原文标题:一步左移到位:动静结合,VC SpyGlass如何加速复杂CDC验证 文章出处:【微信公众号:新思科技】欢迎添加关注!文章转载请注明出处。
    的头像 发表于 08-03 18:35 376次阅读

    什么是形式验证(Formal验证)?Formal是怎么实现的呢?

    相信很多人已经接触过验证。如我以前有篇文章所写验证分为IP验证,FPGA验证,SOC验证CPU
    的头像 发表于 07-21 09:53 4473次阅读
    什么是形式<b class='flag-5'>验证</b>(<b class='flag-5'>Formal</b><b class='flag-5'>验证</b>)?<b class='flag-5'>Formal</b>是怎么实现的呢?

    AI开发测试关于CPUGPU的资源配比

    GPU服务器相对CPU服务器来说是非常昂贵的,大约是美金和人民币汇率的差距(以8卡GPU服务器为例),而且在芯片紧缺的年代,GPU到货周期还比较长!面对资源昂贵、算力又是
    发表于 06-25 11:31 1062次阅读
    <b class='flag-5'>AI</b>开发测试关于<b class='flag-5'>CPU</b>和<b class='flag-5'>GPU</b>的资源配比

    Formal Verification的基础知识

    通过上一篇对Formal Verification有了基本的认识;本篇将通过一个简单的例子,感受一下Formal的“魅力”;目前Formal Tool主流的有Synopsys的VC
    的头像 发表于 05-25 17:29 1266次阅读
    <b class='flag-5'>Formal</b> Verification的基础知识

    思科技正积极打造AI EDA套件

    思科技正积极打造AI EDA套件 EDA可以利用计算机辅助设计(CAD)软件,来完成超大规模集成电路(VLSI)芯片的功能设计、综合、验证、物理设计(包括布局、布线、版图、设计规则检查
    发表于 05-11 18:40 921次阅读

    思科技发布业界首款全栈式AI驱动型EDA解决方案

    来源:新思科技 行业领袖们在2023新思科技全球用户大会上,分享交流AI技术在芯片设计、模拟、验证、测试和制造等方面的应用 摘要: · Synopsys.
    的头像 发表于 04-03 17:19 409次阅读

    思科技发布业界首款全栈式AI驱动型EDA解决方案Synopsys.ai

    中已有9家公司采用了Synopsys.ai解决方案,持续夯实了新思科技在AI驱动芯片设计的全球领导者地位。在每个芯片开发项目中,该解决方案的AI引擎持续在不同的
    发表于 04-03 16:03