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

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

3天内不再提示

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

星星科技指导员 来源:嵌入式计算设计 作者:Shailesh Vasekar 2022-06-20 11:33 次阅读

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

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

执行流量追溯

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

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

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

设想

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

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

pYYBAGKv6q-AMhRVAAMU2NUwKx0469.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_《》方法中使用不同的索引进行采样。

代码示例

pYYBAGKv6riAVgdyAAHfPsBYt4w555.png

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

结论

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

审核编辑:郭婷

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

    关注

    30

    文章

    5020

    浏览量

    117630
  • 接口
    +关注

    关注

    33

    文章

    7616

    浏览量

    148377
  • 路由器
    +关注

    关注

    22

    文章

    3482

    浏览量

    111315
收藏 人收藏

    评论

    相关推荐

    使用lwip socket udp功能,开发板为客户时不能够接收服务器发送过来的数据 ?

    { } } } } /* 函数名称:Socket_UDP_ClientTX 函数功能:Socket_UDP_Client 客户数据发送 参数:无 返回值:无 使用说明:在任务 vTask_2 里面周期
    发表于 04-16 06:01

    Aurix TC2752的中机制是怎么样的?有无固定的中向量标号和中地址啊?

    AurixTC2752的中机制是怎么样的?有无固定的中向量标号和中地址啊?是类似于飞思卡尔或者28335那样的吗?
    发表于 02-05 06:33

    和四稳压器的原理分析

    ,二极管的作用是什么? 3、输出电容的作用,滤波和去耦有什么分别? 四稳压器在三稳压器的基础上实现了输出采样反馈的功能,请问在该图如果要实现输出采样反馈该怎么加?
    发表于 01-27 14:09

    PLC从HTTP服务获取JSON文件,解析数据寄存器

    文件提交给HTTP的服务; 服务有返回的JSON,或者GET命令获取到的JSON,网关进行解析后将数据写入PLC寄存器。 本文主要描述通过GET命令获取数据,解析西门子PLC的
    发表于 01-24 09:47

    鸿蒙原生应用/元服务开发-新版本云一体化模板体验反馈

    总的来说,最新版本的云一体化模板确实方便了开发者自行搭建项目,极大地简化了开发者在这上面的时间浪费。同时对应用功能的开发搭建也缩短了不少时间。 期待后续更新更多的开发模板把!
    发表于 12-05 14:57

    使用AD8138实现单转差分功能的疑问

    您好,附件是AD8138的外围电路,是参考芯片手册的电路设计的。主要是为了实现单转差分的功能。现在出现几个问题: 1. 对于Vocm引脚,我从0V变化750mV的过程中,输出的共模电压并不是
    发表于 11-27 08:24

    请问轨轨放大器同相输入和光电探测器正可以接地吗?

    请问轨轨放大器同相输入和光电探测器正可以接地吗?还是要接一个偏置。
    发表于 11-17 09:24

    医疗废物在线监管系统让医废全程可追溯

    医疗废物在线监管系统让医废全程可追溯   随着医疗技术的不断发展,医疗废物的管理和处置成为了医疗机构必须面对的重要问题,医疗废物不仅对环境和人类健康构成潜在威胁,而且也是医院感染控制的重要环节。然而
    的头像 发表于 11-02 16:50 194次阅读

    PCB行业应如何实现全流程追溯

    为了解决这些问题,PCB制造企业需要对 PCB产品进行全流程追溯,通过数字化系统确保所有流程数据都在可追溯的状态下,从而保证产品品质稳定可靠。那么,PCB行业应如何实现全流程追溯
    发表于 09-12 11:40 360次阅读
    PCB行业应如何实现全流程<b class='flag-5'>追溯</b>?

    V850E/PHO2可追溯性数据

    V850E/PHO2 可追溯性数据
    发表于 06-26 19:44 0次下载
    V850E/PHO2<b class='flag-5'>可追溯</b>性数据

    医疗废物在线监管让医废管理全流程监控可追溯

    医疗废物在线监管让医废管理全流程监控可追溯 医疗废物在线监管系统主要对医疗卫生机构在医疗、预防、保健以及其他相关活动中产生的具有直接或间接感染性、毒性以及其他危害性的废物进行监控管理,监测医疗废物
    的头像 发表于 06-09 16:42 524次阅读
    医疗废物在线监管让医废管理全流程监控<b class='flag-5'>可追溯</b>

    使用6300EVK板子搭建LWIP TCP服务,在响应客户回传数据时无规律丢包的原因?

    使用官方6300EVK板子 搭建 LWIP TCP服务在响应客户回传数据时无规律丢包电脑PING连接也会丢包
    发表于 05-26 08:10

    如果想强制使触发器的输出为1应该怎么操作呢?

    如果想强制使触发器的输出为1应该怎么操作呢?
    发表于 05-10 14:42

    V850E/PHO2可追溯性数据

    V850E/PHO2 可追溯性数据
    发表于 05-05 19:52 0次下载
    V850E/PHO2<b class='flag-5'>可追溯</b>性数据

    为什么需求可追溯性对于当今的嵌入式系统仍然很重要

    挑战在于了解如何在当今动态市场条件和更短的发布时间驱动的快速变化的软件面前保持需求可追溯性。了解双向可追溯性并知道如何维护它可确保产品功能是合理的,反之,没有理由地构建任何东西。
    的头像 发表于 04-24 11:00 749次阅读
    为什么需求<b class='flag-5'>可追溯</b>性对于当今的嵌入式系统仍然很重要