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

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

3天内不再提示

AI 能否帮助管理 SoC 验证所需的数据?

廉鼎琮 来源:lq544 作者:lq544 2022-08-01 18:09 次阅读
加入交流群
微信小助手二维码

扫码添加小助手

加入工程师交流群

西门子公司 Mentor 仿真部门的技术营销总监 Thomas Delaye 最近研究了如何更有效地在芯片设计验证工具中使用数据,例如硬件仿真。他发现这是一个很大的挑战,因为硬件仿真存在数据问题,尤其是它生成的大量数据。接下来是 Lauro Rizzatti 对 Delaye 的采访,他们讨论了 AI 是否可以管理用于 SoC 验证的数据。

Lauro Rizzatti (LR):谢谢你今天加入我,Thomas。听说你做过大数据分析。也许您可以谈谈分析的标准和到目前为止的结果。

Thomas Delaye (TD):嗯,这并不是对大数据的真正分析。它更像是一个查看工程数据的项目,这与大数据不同。对我来说,大数据是关于创建大量信息的挑战,以及为特定目的有效处理信息的能力。

LR:您正在研究如何使用数据来增强或更有效地验证 SoC 设计。特别是硬件仿真。

TD:是的,没错。硬件仿真的数据问题有两个具体原因。第一个非常简单。硬件仿真会生成太多数据。想象一下,您有一个十亿门设计,并且您进行了十亿个周期的验证运行。在某些情况下,您捕获的数据量太大而无法处理甚至记录。波形等传统技术,每个人都已经使用了很长时间,但没有任何帮助,因为仅仅获得一百万个时钟的波形可能令人难以置信。除了大型数据集之外,还有整个基础架构可以将数据从模拟器中取出并存储。正如你可以想象的那样,这不是一件容易的事。

你是什么?这就是我们转向第二个问题的地方,即我们不想收集比需要更多的数据。通过管理数据收集,我们捕获了大量信息以用于验证设计。正是在这个更复杂的领域,人工智能可以发挥作用。

深度学习技术和机器学习算法可用于根据验证结果或设计行为来研究设计。AI 可以帮助确定要审查的数据的数量和类型,以帮助了解正在发生的事情。从那时起,验证工程师可以确定要进一步探索的内容。也许通过查看特定块并且仅查看该块而不是整个设计来启动后续运行或在当前运行中更深入地挖掘。突然之间,这个庞大的数据量变成了更合理的数据量。

从庞大的数据集到仅捕获可用数据量的这条路径是下一代验证平台的关键。这样,验证工程师就可以更精确地处理不断增长的设计规模和复杂性,以及不断增加的软件内容。

pYYBAGLeT8aAGQNUAADXqcty9oo186.jpg

上图估计了 RTL 到 GDSII 流程中每个芯片与工艺节点的存储容量需求。资料来源:戴尔易安信

LR:您希望将仿真转移到这个下一代验证平台吗?

TD:在仿真中,我们有能力运行很长时间,并且有能力“处理”整个设计。例如,借助 Mentor 的 Veloce Strato,您可以在需要时随时查看所有内容。虽然很容易捕捉到你想要的一切,但没有多少人愿意这样做。所需要的是一种向用户提供关于何时和什么内容的指导的机制。

这是变得有点困难的地方,因为模拟器可以提供多种类型的数据。诸如运行中的基本信息之类的信息与设计本身无关。例如,运行的时钟周期数、执行的事务类型。我将所有这些数据称为通用细节。您只需拥有一个可以运行完整设计的具有完全可见性的快速平台即可访问它。

另一类基本信息是对设计行为的理解。例如,此信息让您知道设计现在正在重置中,您不需要捕获任何内容,因为重置序列只是重置所有内容。你只想等到下一个阶段。

这种类型的数据收集需要一个“大脑”,当访问特定内存或激活特定时钟结构时,大脑会显示重置。所有这些都需要设计知识。实现这一点非常复杂,因为仿真器必须查看设计中发生的情况,并将智能应用到过程中。模拟器通常不会这么做。仿真引擎和仿真引擎只是纯引擎。他们接收数据,处理数据,然后取出数据。然而,在Veloce Strato中,我们创建了用于特定目的的数据采集和分析环境。下一步是扩展这种能力,并减轻在整个系统级别验证具有大量数据的大型设计的痛苦。这就是挑战。

LR:你能给我一个具体的例子,说明数据问题的这两个方面在现实生活中是如何发挥作用的吗?

TD:是的。这是一个非常简单的例子。想象一下在基于事务的环境中运行很长时间的验证。您拉取一个报告,告诉您何时触发了一些DPI调用或事务调用。根据时间戳,尝试将该事件与设计中嵌入的处理器上运行的软件相关联。最后,您想确定此时我正在运行这段代码。

基于报告的用户正在得出这一结论,但仿真环境没有提供真正的相关信息。只有交易在给定时间发生。然后你可能会说,在这个时候,我正在运行和练习这个特定的块-例如,我的DDR。也许我应该看看我的DDR,以了解为什么我在这个时候发送这个交易。

用户要求我们建立关于设计中发生的事情的指针和信息,以便他们可以根据他们所知道的和他们知道要查找的内容返回并找到它。然后因为他们知道去哪里寻找,他们知道应该与哪个设计团队合作来解决它。有时,验证问题只是不知道应该咨询哪个设计师团队或外观问题。也许顺序不正确,或者某些代码加载不正确,或者其他原因。在我的 100 亿门设计中首先看什么以及在哪里看?这是第一个问题。

接下来,他们正在寻求有关可以提供哪些数据以帮助他们专注于一个特定问题的帮助。我们不需要告诉他们问题出在哪里。当然,那会更好。当我们可以根据收集到的所有数据提供范围狭窄的数据时,它将使所提供的各种日志之间的关联变得更容易。

另一方面,我们也可以想象有某种验证方法可以创建标准接口或集中方式向工具提供数据,以识别最常见的问题块,或信号类型或行为类型。进行了调查。所有这些东西都可以根据需要提供给模拟器,就像你提供断言一样,但是比较模糊,所以你不想花太多时间在上面。只是说,如果您在电源线上看到不符合正确顺序的东西,您应该标记它。我们可以提供数据来缩小分析范围。

LR:在这个思考和搜索的过程中,您是否遇到过任何您认为重要数据点的文献、文章、博客等?

TD:不是我能想到的。我认为没有人从学术甚至公众的角度来处理这个问题。我认为这个问题是验证的下一步。这无疑是一个全球性的问题,目前还没有很好的答案。每个人都在向人工智能寻求帮助。

此外,人工智能引起了我们所有用户的特别关注,因为如果我们有效地使用人工智能,我们将能够几乎对他们的代码进行逆向工程。而且我很确定,由于保密性和安全性,许多公司不愿意向我们提供任何细节或提供任何设计或提供日志。我认为这种验证方法的安全性将是困难的。在这种情况下,我们将不得不找到比 AI 更有意义的方法,而不仅仅是提供波形。

再次感谢您的有趣对话和见解,Thomas。也许我们可以在未来跟进,看看这项工作是如何进行的。

审核编辑 黄昊宇

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

    关注

    38

    文章

    4522

    浏览量

    227753
  • AI
    AI
    +关注

    关注

    90

    文章

    38302

    浏览量

    297359
  • 人工智能
    +关注

    关注

    1813

    文章

    49784

    浏览量

    261899
  • 大数据
    +关注

    关注

    64

    文章

    9031

    浏览量

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

扫码添加小助手

加入工程师交流群

    评论

    相关推荐
    热点推荐

    AI NAS:当存储遇上智能,开启数据管理新纪元

    数据爆炸的时代,AI NAS(网络附加存储)已成为个人和企业存储海量数据的利器。然而,面对日益庞大的数据量,传统的NAS系统在文件管理和搜
    的头像 发表于 11-27 11:26 718次阅读
    <b class='flag-5'>AI</b> NAS:当存储遇上智能,开启<b class='flag-5'>数据管理</b>新纪元

    在Linux ubuntu上使用riscv-formal工具验证蜂鸟E203 SoC的正确性

    内容:在Linux ubuntu上使用riscv-formal工具验证蜂鸟E203 SoC的正确性 步骤: 1、下载和安装riscv-formal工具: bash复制代码 git clone
    发表于 10-24 07:52

    NVMe高速传输之摆脱XDMA设计37:队列管理功能验证与分析1

    。 测试点与对应测试步骤如表 1所示。 表 1 队列管理功能验证步骤 (1) 创建队列功能测试结果 测试步骤 1、 2 关键信号波形如图1 所示。 在配置队列控制寄存器后, 队列管理模块根据创建信息
    发表于 10-13 11:17

    【「AI芯片:科技探索与AGI愿景」阅读体验】+AI的科学应用

    灵感的过程中发挥关键作用。五、用AI实现诺贝尔奖级别的科学发现 这想法这能够大胆的。 1、AI科学家的构建 全自主科学实验室需要哪些部分: ①自动实验设备 ②流程管理系统 ③数据处理和
    发表于 09-17 11:45

    2025年AI 智能终端和SoC芯片解读

    电子发烧友网站提供《2025年AI 智能终端和SoC芯片解读.pptx》资料免费下载
    发表于 09-15 16:38 593次下载

    如何利用技术实现装置数据验证的全生命周期管理

    装置数据验证的全生命周期管理,需覆盖 需求规划、数据采集、自动化验证、存储归档、应用迭代、退役审计 6 大核心阶段。利用技术实现这一闭环,需
    的头像 发表于 09-05 15:23 542次阅读
    如何利用技术实现装置<b class='flag-5'>数据</b><b class='flag-5'>验证</b>的全生命周期<b class='flag-5'>管理</b>?

    西部数据通过 MLPerfâ Storage V2 测试结果,验证其真实场景下的AI存储性能

    西部数据 OpenFlex™ Data24 4000 系列 NVMe-oFä 存储平台,基于铠侠 CM7-V 系列 NVMe® 固态硬盘与配置 PEAK:AIO 软件的AI智算服务器,展现出卓越
    发表于 08-05 18:15 699次阅读

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

    0 1   简介   SoC 设计团队的任务是在创建昂贵的生产掩膜之前完成完整的系统级验证。这意味着彻底审核所有硬件模块、这些模块之间的所有交互以及为最终应用创建的所有专用软件,而且所有这些任务都要
    的头像 发表于 06-12 14:39 1205次阅读
    Veloce Primo补全完整的<b class='flag-5'>SoC</b><b class='flag-5'>验证</b>环境

    Cadence Conformal AI Studio助力前端验证设计

    Cadence 推出最新的前端验证设计方案 Conformal AI Studio,专为解决日益复杂的前端设计挑战而打造,旨在提升设计人员的工作效率,进而优化全流程功耗、效能和面积(PPA)等设计目标。
    的头像 发表于 06-04 11:16 1491次阅读

    西门子利用AI来缩小行业的IC验证生产率差距

    工智能相结合,突破了集成电路(IC)验证流程的极限,提高了工程团队的生产效率。 Questa One提供更快的引擎,使工程师的工作速度更快,所需的工作负载更少,能够支持从IP到系统级芯片(SoC)再到系统的最大型、最复杂的设计,
    的头像 发表于 05-27 14:34 437次阅读

    新思科技VSO.ai如何颠覆芯片验证

    随着片上系统(SoC)复杂性不断增加,IP的复杂性与验证难度以及用于验证的VIP的开发要求也日益提高。不断发展的协议标准要求为IP和VIP提供动态测试套件,并满足规定的功能和代码覆盖率指标。
    的头像 发表于 05-21 14:49 1042次阅读
    新思科技VSO.<b class='flag-5'>ai</b>如何颠覆芯片<b class='flag-5'>验证</b>

    AI智能体对电子企业的帮助是什么

    对企业的具体帮助,并聚焦于万达宝LAIDFU(来福)这一创新产品,展示其如何通过自定义应用场景,轻松触及传统数据难以覆盖的领域。一、AI智能体:企业转型升级的催化剂
    的头像 发表于 05-21 10:08 536次阅读
    <b class='flag-5'>AI</b>智能体对电子企业的<b class='flag-5'>帮助</b>是什么

    芯华章以AI+EDA重塑芯片验证效率

    ”问题,用实际案例诠释“AI+EDA”如何重塑验证效率,让大家实实在在的看见国产验证EDA技术落地的扎实与生态协同创新的力量。
    的头像 发表于 04-18 14:07 1383次阅读
    芯华章以<b class='flag-5'>AI</b>+EDA重塑芯片<b class='flag-5'>验证</b>效率

    是德科技推出AI数据中心构建器以验证和优化网络架构和主机设计

    · 通过模拟真实工作负载验证AI基础设施的性能 · 通过评估新算法、组件或协议提高AI训练的性能 · 在不投资昂贵的大规模部署的情况下,调整和优化AI工作负载和系统基础设施的参数 是德
    的头像 发表于 04-10 08:50 507次阅读

    适用于数据中心和AI时代的800G网络

    AI云平台中,以太网因其通用性和易扩展性,仍然占据重要地位。为满足AI需求,现代以太网采用了以下优化技术: RoCE(基于以太网融合的RDMA):减少数据传输延迟。 自适应流量
    发表于 03-25 17:35