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

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

3天内不再提示

AMD如何将Synopsys AI验证工具用于测试

SSDFans 来源:semiwiki.com 作者:semiwiki.com 2023-09-21 14:43 次阅读

构成人工智能(AI)的各种算法正在进入芯片设计流程。推动这项工作的是加速先进人工智能算法所需的新芯片设计的复杂性爆炸式增长。事实证明,在这种情况下,人工智能既是问题也是解决方案。人工智能可以用来将人工智能芯片的设计问题缩小到最小。从2020年发布设计空间优化功能(space optimization capability, DSO.ai)开始,Synopsys已经开发了一段时间的人工智能辅助设计功能。从那时起,该公司宣布了几项新功能,大大扩展了其人工智能辅助业务。Synopsys产品组合中的一个功能侧重于验证空间优化(verification space optimization, VSO.ai)。任何新功能的真正考验都是由真正的客户在真正的设计中的使用,这也是本文的主题。请继续阅读,了解AMD如何将Synopsys AI验证工具用于测试。

VSO.ai 的作用

设计的测试覆盖率是半导体验证的核心问题。战斗口号是,“如果你没有实践它,你就没有验证它。”刺激向量是使用多种技术生成的,其中约束随机是一种流行的方法。然后在设计的模拟运行中使用这些向量,寻找与预期结果不匹配的测试结果。

通过对电路进行更多的测试,发现功能性设计缺陷的机会就会增加。

验证团队选择感兴趣的结构化代码覆盖度量(行、表达式、块等),并自动将它们添加到模拟运行中。当每个测试迭代生成符合规则的约束随机刺激时,模拟器收集所有覆盖形式的度量。对结果进行监控,目标是调整约束条件以提高覆盖率。在某些时候,团队决定在项目进度和资源限制下尽力而为,并进行进一步的验证。

代码覆盖度不能反映设计的预期功能,因此用户定义的覆盖度很重要。这通常需要手动完成,仅涵盖设计行为一小部分。达到覆盖度和验证目标非常困难。

一个典型的芯片项目运行成千上万次有约束的随机模拟测试,在设计中有大量的重复活动。因此,新覆盖度的增长速度会减慢,并且新测试的边际效益递减。

在某个时刻,曲线趋于平缓,通常是在实现目标之前。团队必须尝试弄清楚情况,并在时间和资源有限的情况下尽可能多地提高覆盖度。这个过程的“最后一英里”是相当具有挑战性的。收集的数据量是压倒性的,试图分析它并确定覆盖漏洞的根本原因是困难且耗时的。对于这个配置,它是一个非法计数器还是真正的漏洞?

复杂芯片的设计包含许多类似的问题——需要分析大量数据并确定最佳前进路径。好消息是,AI技术可以非常成功地应用于这类问题。

对于覆盖度的定义,Synopsys VSO.ai除了传统的代码覆盖度,还可以推导出一些其他类型的覆盖度,以补充用户指定的覆盖度。机器学习(machine learning,ML)可以从经验中学习,并在适当的时候智能地重用覆盖。即使在单个项目中,从早期结果中学习也可以帮助改进模型。

VSO.ai在粗粒度的测试级别上工作,并提供自动的、自适应的测试优化,随着结果的变化而学习。首先运行具有最高回报率的测试,同时消除冗余测试,加速覆盖度闭环并节省计算资源。

该工具还在模拟器的细粒度级别上工作,通过调整约束随机刺激来更好地针对未执行的覆盖点,从而提高结果的测试质量。这不仅加速了覆盖率的闭环,而且还推动模型收敛到更高准确率。

通过对覆盖结果的自动化、智能化分析,解决了最后一英里的闭环挑战。VSO.ai执行根本原因分析(RCA),以确定为什么没有达到特定的覆盖点。如果这个工具能自己解决问题,它就会解决。否则,它将向团队展示可操作的结果,例如确定冲突的约束。

下图总结了VSO的好处。这些方法的最大好处是在更短的时间内以更少的设计工作获得更好的结果。

5e04d11a-574c-11ee-939d-92fbcf53809c.png

AMD有什么发现

在最近于硅谷举行的Synopsys用户大会上,AMD发表了一篇题为"Drop the Blindfold:使用VSO.ai在受限随机模拟中进行覆盖回归优化"的文章。论文详细介绍了AMD在多个设计中使用VSO.ai的经验。AMD对这项工作有很大的目标和期望:

在RTL变化和设计变体较小的情况下,以优化、自动化的方式持续达到100%的覆盖度。

AMD使用VSO.ai在四个不同设计的回归样本中应用了一种记录完备的方法。下图总结了这四项实验。

5e1a3afa-574c-11ee-939d-92fbcf53809c.png

四种设计的回归特征

AMD随后详细介绍了这些设计、它们所面临的挑战以及使用VSO.ai所取得的结果,并与未使用VSO.ai的原始设计进行了对比。回顾一下将人工智能应用于设计流程的标志性优势之一:

以更少的时间、更少的设计者精力实现更优越的结果

AMD在会上的演示中总结了观察到的优势,该演示被评为大会年度十大最佳演示之一:

为实现相同的覆盖率,在四个设计中运行的测试数量减少了1.5 - 16倍

快速、按需回归鉴定器

如果用户不确定所需的迭代次数,可用于衡量回归测试的分布情况

在预算相同的情况下,可以测试更多的分区

如果默认回归未达到100%的覆盖率,VSO.ai有可能超过这一覆盖率(即实验 #1)。

覆盖率回归中删除无用的测试用例

对受限随机测试进行更可靠的测试分级

URG(统一报告生成器):基于种子 V/S

VSO.ai:基于概率

调试

发现命中概率低于预期的覆盖项

该演示对VSO.ai进行了测试,并记录了该工具的积极影响。如前所述,这种对真实设计的用户应用是对新技术的真正考验。这就是AMD对Synopsys AI验证工具的测试。

审核编辑:汤梓红

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

    关注

    25

    文章

    5265

    浏览量

    132942
  • AI
    AI
    +关注

    关注

    87

    文章

    27240

    浏览量

    264977
  • 验证工具
    +关注

    关注

    0

    文章

    9

    浏览量

    7465
  • Synopsys
    +关注

    关注

    2

    文章

    154

    浏览量

    89929
  • 人工智能
    +关注

    关注

    1781

    文章

    44815

    浏览量

    232094

原文标题:AMD将Synopsys AI验证工具投入测试

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

收藏 人收藏

    评论

    相关推荐

    Synopsys IC Validator工具获得GLOBALFOUNDRIES(GF)认证

    全球第一大芯片自动化设计解决方案提供商及全球第一大芯片接口IP供应商、信息安全和软件质量的全球领导者Synopsys(NASDAQ:SNPS)宣布,Synopsys IC Validator工具已获得GLOBALFOUNDRIE
    的头像 发表于 05-23 17:51 6922次阅读

    Synopsys与R &S公司战略合作常见问题Synopsys与R &S公司战略合作常见问题

    加速LTE和LTE-Advanced无线系统中芯片、终端和基站的设计和验证Synopsys的LTE和LTE-Advanced库在Rohde & Schwarz测试测量解决方案上进行
    发表于 05-28 17:38

    如何将约束应用于设计

    我是FPGA新手,我想了解如何将约束应用于设计。请帮助我以上来自于谷歌翻译以下为原文i am new to FPGA, i want to have knowledge about applying constraintsto a design. plz help me
    发表于 01-08 10:07

    芯片设计完整流程及工具

    ,不符合规格要求的,就需要重新修改设计和编码。设计和仿真验证是反复迭代的过程,直到验证结果显示完全符合规格标准。仿真验证工具Mentor公司的Modelsim,
    发表于 08-16 11:08

    芯片设计流程及工具

    的黄金标准,一切违反,不符合规格要求的,就需要重新修改设计和编码。设计和仿真验证是反复迭代的过程,直到验证结果显示完全符合规格标准。仿真验证工具Mentor公司的Modelsim,
    发表于 02-12 16:07

    IC设计:Synopsys2018 版本 EDA 工具免费分享

    IC设计:Synopsys2018 版本 EDA 工具免费分享1. 下载的文件列表包含一下文件;加群Q:139869702ReadMe:文件就是现在你正在阅读的文件,主要是详细的说明软件的使用和包含
    发表于 11-30 18:56

    如何将矢量信号分析工具用于多域场合?

    用于多域场合。还讨论了矢量信号生成和软件无线电设计如何影响起支配作用的射频/模拟硬件与数字域的连接。最后,本指南介绍如何将仪器和无线电硬件直接集成到先进的软件仿真工具中。
    发表于 05-20 06:49

    请问一下cadence工具好用还是synopsys工具好用?

    请问一下cadence工具好用还是synopsys工具好用?
    发表于 06-23 06:34

    硬件验证语言——简介

    HDL 编写)来验证我们的设计。我们的门数每天都在增加,因此它们的验证成了严峻的挑战。过去,验证是使用设计语言完成的。我们创建了“测试台”,
    发表于 02-16 13:36

    【RISC-V 生态软件系列】HHB AI部署工具实战: HAAS AI EDK精度验证和性能测试

    测试验证模型在HAAS AI EDK上的运行精度和性能主要分成三步:1)生成模型;2)上板执行;3)结果分析。1. 生成模型在HHB资源下载页面下载最新的工具docker镜像。下载好
    发表于 03-08 07:13

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

    摘要:Synopsys.ai可为芯片设计提供AI驱动型解决方案,包含数字、模拟、验证测试和制造模块。AI引擎可显著提高设计效率和芯片质量,
    发表于 04-03 16:03

    力科推出仿真设计验证工具

    力科推出仿真设计验证工具 力科今天宣布推出新的分析工具显著扩展PCI-Express 3.0协议测试。新的软件工具叫SimPASS,针对硅
    发表于 02-03 16:31 753次阅读

    力科推出SimPASS仿真设计验证工具用于PCI-Expr

    力科推出SimPASS仿真设计验证工具用于PCI-Express 3.0协议分析仪 力科近日宣布推出新的分析工具显著扩展PCI-Express 3.0协议
    发表于 02-05 08:30 784次阅读

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

    行业领袖们在2023新思科技全球用户大会上,分享交流AI技术在芯片设计、模拟、验证测试和制造等方面的应用   摘要 : Synopsys.ai可为芯片设计提供
    发表于 04-03 16:02 601次阅读

    新思科技发布业界首款全栈式AI驱动型EDA解决方案Synopsys.ai,引领芯片设计新范式

    Synopsys.ai可为芯片设计提供AI驱动型解决方案,包含数字、模拟、验证测试和制造模块。AI引擎可显著提高设计效率和芯片质量,同时降
    的头像 发表于 04-04 23:10 458次阅读