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

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

3天内不再提示

使用功能覆盖执行端到端流量可追溯性

星星科技指导员 来源:嵌入式计算设计 作者:Shailesh Vasekar 2022-11-25 16:46 次阅读
加入交流群
微信小助手二维码

扫码添加小助手

加入工程师交流群

对于要验证的 DUT 的每个功能特性,所有可能的激励生成都是通过测试用例并在记分牌、模型、检查器和断言的帮助下开发的。

大多数情况下,定义功能覆盖目标是在测试计划准备过程中完成的。对于要验证的被测设备 (DUT) 的每个功能特性,所有可能的激励生成都是通过测试用例并在记分牌、模型、检查器和断言的帮助下开发的。我们通过检查对该刺激的反应来确认 DUT 的正确性。为了确保我们创建了足够的输入场景和 DUT 响应组合,我们根据覆盖组、覆盖点和断言覆盖范围为每个特征定义了覆盖目标,这让我们对特定功能的验证程度充满信心。

DUT RTL 将块添加到从覆盖类分数中定义的变量中,并在具有不同值命中的交叉覆盖组中使用这些变量将确认输入事务是否遵循指定的设计输出路径。出于几个原因,这非常重要。首先,功能验证记分牌确实会进行端到端交易检查,但它不会确认 DUT 流量路径激励是否遵循。其次,单个覆盖组或UVM RALRegmodel功能覆盖或断言覆盖将有助于单个刺激覆盖,但结合使用将确保功能路径的正确性。让我们详细了解如何使用功能覆盖来确认从输入到输出端口遍历所需数据和控制路径的流量。

执行流量可追溯性

很多时候,仅涵盖单个特征和交叉特征是不够的。通过不同数据块、各种控制逻辑和不同 DUT 配置的所有可能组合,检查输入接口的流量是否已到达其他端的输出接口,这是一个基本要求。

在控制块接口上具有用于 DUT 输入、输出接口的单独覆盖组,regmodel 自动生成的功能覆盖范围可能无法保证基于寄存器配置。输入事务、数据包或命令已通过所需的数据块和控制路径,或者已绕过典型的控制块。

使用交叉覆盖,在覆盖类之外定义的变量上,并用于存储来自各种写入方法的事务,可以确保这些变量命中不同的值并跟踪设计的DUT路径。覆盖组也将在覆盖类之外定义。

场景

让我们考虑一个场景,如图 1 所示。在高度配置和输入的DUT中。..数据包可以通过选择的数据路径和控制路径块以及基于寄存器配置的选定数据包路由器端口路由到输出端口。使用字段 RT=2‘b01 寄存器CTRNL_RUT决定从输入端口 1 到 DataPath_blk1 的数据包路径,使用 Cntrl_plan1、交换机 1(图中未显示)和路由器端口 1,最后到输出端口 1。但是,寄存器CTRNL_RUT。RT=2’b10 将使用 Cntrl_plan2 更改通过DataPath_blk2和路由器端口 2 的新传入数据包的路由。

在这种情况下,为datapath_block1定义的覆盖组,控制路径即Cntrl_plane1和寄存器字段RT将单独覆盖激励值。但是,如果变量是在覆盖类的范围之外定义的,保存来自这些接口的信号值,并且如果在具有相关值的交叉覆盖中使用,则可以确认数据包已遍历正确的路径并实现数据包可追溯性。

pYYBAGOAgOuAWk77AAEhvgeoN00649.png

图1:流量跟踪获取每个点的信息

覆盖实施

在测试平台中,环境类通常具有实例化的所有接口代理、功能覆盖率和记分板。IO 和控制接口监视器的分析端口连接到功能覆盖类的导出,以获取接口数据包和事务。所需的资源,如 regmodel,将使用uvm_condig_db构造到覆盖类来设置不同的配置对象。覆盖实现明智,定义覆盖类之外的变量、数据包存储元素,并使用这些元素来复制重要接口信号、控制信号和数据包字段的值。在覆盖类之外定义的这些变量将在交叉覆盖中使用。

如上图 1 所示,在覆盖类之外定义的变量将用于保存数据包 ID 等信息,DataPath_blk1有效。对于控制平面,保存就绪、状态、目标 ID、路由通道号等信息。注册字段(如CTRNL_RUT)的值。RT 值可以与这些变量交叉,以确保如果 RT 的字段值为 01,则Datapath_blk1字段和控制计划信号具有感兴趣的值。使用上述方法实现功能覆盖将很有帮助,尤其是在块和集群级别验证的情况下。覆盖类的独立实现探索了具有类似 DUT 接口的项目之间的可重用性选项。

寄存器配置信息也可以通过接口接收,但同样需要解码地址和字段,因此使用 regmodel 将是有意义的。Regmodel 带有丰富的 API 集和默认序列,用于执行所有寄存器和字段及其属性。基于Regmodel的自动生成的功能覆盖率可以单独处理。

嵌入式覆盖组存在已知限制。我们不能使用同一覆盖组的多个实例作为数据类型,因此在功能覆盖类之外定义覆盖组将有助于定义覆盖组数组,特别是如果大多数接口属于同一类型,这是网络域 DUT 的常见情况,这将有所帮助。具有多个实例的单个覆盖组可以在每个覆盖类write_《》方法中使用不同的索引进行采样。

代码示例

pYYBAGOAgO2AWZ8nAADXZOHiJX4603.png

在上面的例子中,covergroup 和变量存储来自 write 方法的交易和接口信号,并在类外声明。这将允许跨覆盖组使用这些变量。

结论

基于将验证事务或数据包的重要接口信号,可以定义覆盖类范围之外的全局变量并用于复制这些信号。每个接口信号也可以做同样的事情,控制信号和那些许多全局变量可以在一个覆盖组中使用,这将定义这些变量的交叉覆盖。通过这种方式,您可以确认从输入到输出端口的流量遍历所需的数据和控制路径。

审核编辑:郭婷

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

    关注

    5212

    文章

    20763

    浏览量

    338765
  • 寄存器
    +关注

    关注

    31

    文章

    5623

    浏览量

    130630
  • 路由器
    +关注

    关注

    22

    文章

    3940

    浏览量

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

扫码添加小助手

加入工程师交流群

    评论

    相关推荐
    热点推荐

    模仿学习实战:幻尔科技LeRobot如何从“被动执行”进化为“自主学徒”

    ”与“智能学徒”的本质区别。最显著的体现,就是LeRobot所具备的模仿学习能力——它从根本上改变了机器人的技能习得方式,实现了从被动“执行
    的头像 发表于 05-18 10:58 728次阅读
    <b class='flag-5'>端</b><b class='flag-5'>到</b><b class='flag-5'>端</b>模仿学习实战:幻尔科技LeRobot如何从“被动<b class='flag-5'>执行</b>”进化为“自主学徒”

    半导体供应链信任革命:从可追溯到全链路可信的升级之路

    芯片厂商亟待破解的核心命题。这不仅关乎数据整合与系统打通,更考验着全行业的协同共识与技术落地能力。核心痛点仅靠“可追溯”挡不住灰色地带在半导体供应链中,“可追溯
    的头像 发表于 01-05 15:32 1011次阅读
    半导体供应链信任革命:从<b class='flag-5'>可追溯到</b>全链路可信的升级之路

    Nullmax感知规划大模型进化提速

    近日,2025年度浦东新区科技发展基金社会领域数字化转型专项拟支持项目名单公布。经评审,Nullmax申报的《面向城市高级别辅助驾驶的感知规划大模型》项目入选。
    的头像 发表于 12-22 16:39 754次阅读

    自动驾驶仿真新范式:aiSim如何解决智驾测试的&quot;灾难挑战&quot;

    。然而,这种变革对仿真测试带来了"灾难挑战"——传统仿真方法因感知与规控接口的消失而亟待重构。 2 aiSim:智驾仿真的全链路解决方案 2.1 核心架构创新 康谋科技的aiS
    的头像 发表于 12-17 14:15 492次阅读
    <b class='flag-5'>端</b><b class='flag-5'>到</b><b class='flag-5'>端</b>自动驾驶仿真新范式:aiSim如何解决智驾测试的&quot;灾难<b class='flag-5'>性</b>挑战&quot;

    H200的“合规闸口”:高端AI芯片供应链中的可追溯生命线

    H200 出口政策的松紧,凸显地缘政治下高端 AI 芯片供应链 “合规自证” 的核心趋势,可追溯成为穿越合规闸口的生命线。其面临数据防篡改、跨境数据主权冲突、供应链数据孤岛三大难题。解决方案为
    的头像 发表于 12-11 16:44 1143次阅读

    如何训练好自动驾驶模型?

    [首发于智驾最前沿微信公众号]最近有位小伙伴在后台留言提问:算法是怎样训练的?是模仿学习、强化学习和离线强化学习这三类吗?其实
    的头像 发表于 12-08 16:31 1683次阅读
    如何训练好自动驾驶<b class='flag-5'>端</b><b class='flag-5'>到</b><b class='flag-5'>端</b>模型?

    智驾模拟软件推荐——为什么选择Keymotek的aiSim?

    随着自动驾驶技术的快速发展,车企和科技公司对于模拟测试平台的需求越来越强。从L2/ADASL4/L5等级的自动驾驶,虚拟模拟已经成为其中的关键一环。特别是对于「」智驾(
    的头像 发表于 11-18 11:35 1095次阅读

    东莞MES系统助力企业实现生产过程透明化与可追溯

    数字化转型大环境下,东莞制造企业逐步认识透明化和可追溯对于生产管理具有重要意义。 MES制造执行系统 作为连接生产硬件和管理软件的关键工具,为企业在实现生产过程的透明化和
    的头像 发表于 11-17 16:04 476次阅读

    自动驾驶中“一段式”和“二段式”有什么区别?

    [首发于智驾最前沿微信公众号]最近有小伙伴提问,一段式和二段式有什么区别。其实说到自
    的头像 发表于 10-24 09:03 1518次阅读
    自动驾驶中“一段式<b class='flag-5'>端</b><b class='flag-5'>到</b><b class='flag-5'>端</b>”和“二段式<b class='flag-5'>端</b><b class='flag-5'>到</b><b class='flag-5'>端</b>”有什么区别?

    为什么可追溯是汽车制造的关键

    作者:Poornima Apte 投稿人:DigiKey 北美编辑 在汽车行业,制造是一个复杂的过程。庞大的供应商网络根据既定协议及时运送零件进行组装。可追溯使所有利益相关者能够精确追溯每个零件
    的头像 发表于 10-02 16:18 2014次阅读
    为什么<b class='flag-5'>可追溯</b><b class='flag-5'>性</b>是汽车制造的关键

    LoRaWAN®协议,如何赋能的供应链监控新时代?

    LoRaWAN®模块RFM6601推动物流与供应链智能化,提升效率、安全与可追溯,助力LPWAN市场发展。
    的头像 发表于 09-17 10:04 802次阅读
    LoRaWAN®协议,如何赋能<b class='flag-5'>端</b><b class='flag-5'>到</b><b class='flag-5'>端</b>的供应链监控新时代?

    发展趋势下,云算力如何赋能智能驾驶技术跃迁?

    [首发于智驾最前沿微信公众号]随着智能驾驶辅助系统的发展,汽车行业正在从传统模块化架构向(End-to-End,E2E)模型迈进。
    的头像 发表于 09-08 09:16 1233次阅读
    <b class='flag-5'>端</b><b class='flag-5'>到</b><b class='flag-5'>端</b>发展趋势下,云算力如何赋能智能驾驶技术跃迁?

    普迪飞 Exensio®数据分析平台 | 助力提升半导体制造的可追溯

    ExensioAssemblyOperations是Exensio数据分析平台的关键组成部分之一,它在先进封装和PCB组装中提供了单个器件级别的可追溯,遵循SEMIE142标准,并且无需使用电
    的头像 发表于 08-19 13:52 1710次阅读
    普迪飞 Exensio®数据分析平台 | 助力提升半导体制造的<b class='flag-5'>可追溯</b><b class='flag-5'>性</b>

    半导体可追溯和供应链韧性的未来

    半导体行业推动了航空航天、医疗设备、汽车制造以及工业自动化等关键领域的技术进步。尽管半导体技术对各行业的影响力巨大,该行业在物流管理方面仍面临严峻挑战,尤其是在确保供应链的连续与可靠方面。传统的物流方法,例如依赖“两年日期代码”的做法,已无法充分满足现代工业对产品
    的头像 发表于 07-05 14:32 1340次阅读

    Perforce ALM产品简介:一站式需求与测试管理平台(已通过SO 26262认证)

    Perforce ALM 是一体化的需求与测试管理平台,支持可追溯,已通过ISO 26262 认证,适用于汽车电子、嵌入式系统等对
    的头像 发表于 06-05 16:06 638次阅读
    Perforce ALM产品简介:一站式需求与测试管理平台(已通过SO 26262认证)