news 2026/7/29 17:22:37

sv 功能覆盖率

作者头像

张小明

前端开发工程师

1.2k 24
文章封面图
sv 功能覆盖率

covergroup定义在类外面:

covergroup cmd_fcov with function sample(svt_axi_transaction tr); coverpoint tr.addr; coverpoint tr.id; coverpoint tr.data.size; endgroup class xx_refm extends uvm_refm; cmd_fcov A_cov; function new(string name = "psub_sdma_scb", uvm_component parent); A_cov = new(); endfunction //在具体的位置调用:A_cov.sample(axi_tr); endclass

一下常用表达:表达很大位宽的最大值


功能覆盖率的cross采样:

功能覆盖率基于采样事件采样到当前时刻的值进行cross,不会在不同时间片段之间进行cross,已验证;


接口覆盖率:

方法一:

  1. 定义一个module接口和DUT保持一致,接口方向定义为input。
  2. 在这个module里面定义covergroup去采样相关接口信号。
  3. 在module里面的initial块里面去实例化covergroup。
  4. 在top_connect顶层去把fcov_if_module bind到DUT上。
  5. 采用:bind DUT_inst1 fcov_if_module fcov_if_module_inst1(.*)

这个方法的好处是在ST重用场景如果BT有多个时,会比较友好,可以去bind到不同实例上。

方法二:直接定义在外面一个文件,include到顶层连接文件。就是比较简单快捷。如果ST重用有多个对应DUT可以考虑通过实例化多份,采样对应的实例信号。


常用的方法:

在SystemVerilog中,`binsof`和`intersect`是用于处理位向量和集合的内建函数。

- `binsof`函数用于从一个位向量中提取1的位置,并将结果返回为一个集合。它的语法如下: ```systemverilog function integer binsof(input logic [N-1:0] vector); ``` 其中,`vector`是一个位向量,`N`代表位向量的宽度。`binsof`会遍历`vector`的每一位,并将值为1的索引添加到返回的集合中。例如,对于位向量`8'b11010011`,`binsof`会返回`{0, 3, 4, 6, 7}`。

- `intersect`函数用于计算两个集合的交集,并将结果返回为一个集合。它的语法如下: ```systemverilog function static integer intersect(input integer A[$], input integer B[$]); ``` 其中,`A`和`B`是两个集合。`intersect`会返回`A`和`B`的交集。例如,对于集合`{1, 2, 3, 4}`和`{3, 4, 5}`,`intersect`会返回`{3, 4}`。

在 SystemVerilog 中,`binsof` 和 `intersect` 是在功能覆盖率收集上使用的两个关键字。

`binsof` 用于在 `covergroup` 或 `coverpoint` 中获取已定义的覆盖率桶(coverage bin)的集合。通过使用 `binsof`,可以访问和操作覆盖率桶中的信息。

以下是 `binsof` 的示例用法: ```systemverilog

covergroup my_coverage;

coverpoint my_signal {

bins data = {0, 1, [2:5], 8};

bins edge = {posedge, negedge}; }

endgroup

function void my_function();

int my_bins[$];

my_bins = my_coverage.my_signal.binsof(data);

foreach (my_bins[i]) $display("Data bin: %0d", my_bins[i]);

// 获取与两个覆盖率桶相交的交集

my_bins =intersect(my_coverage.my_signal.binsof(data), my_coverage.my_signal.binsof(edge)); foreach (my_bins[i]) $display("Intersection bin: %0d", my_bins[i]);

endfunction

``` 在上述示例中,`my_coverage` 是一个 `covergroup`,其中包含了一个 `coverpoint` `my_signal`,它定义了两个覆盖率桶 `data` 和 `edge`。通过使用 `binsof`,可以获取名为 `data` 的覆盖率桶,并在 `my_function` 中进行操作和输出。 `intersect` 是一个函数,用于获取两个集合的交集。在上述示例中,`intersect` 函数用于获取 `data` 和 `edge` 这两个覆盖率桶集合的交集,并在 `my_function` 中进行操作和输出。 这些关键字和功能可以帮助开发人员在进行功能覆盖率分析时收集和处理相关数据。


cross:

对两个coverpoint进行cross时,这两个cp必须在同一个采样事件时,才会进行cross。否则会出现,两个cp都有覆盖率,但是没有cross的情况

版权声明: 本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若内容造成侵权/违法违规/事实不符,请联系邮箱:809451989@qq.com进行投诉反馈,一经查实,立即删除!
网站建设 2026/7/29 17:18:08

1.mysql 服务器8.0安装

下载: 1.进入下载地址:MySQL 2.切换tab页 download,找到社区版本:MySQL Community (GPL) Downloads 3.点击进入MySQL Community Server 4.点击进入 go to download page 5.切换到Archives ,选择所需版本8.0.26,操…

作者头像 李华
网站建设 2026/7/29 17:14:38

AI云原生实战13-IDC的GPU闲置、云上的GPU太贵?混合云AI部署完整方案

📌 AI云原生实战调研30篇系列 第13篇 🎯 混合云AI部署是75%企业的选择,但IDC的GPU在闲置、云上的GPU在烧钱。本文将带你从架构设计到完整YAML配置,搭建一个"数据不出域GPU弹性扩缩"的生产级混合云方案。 读完这一篇&am…

作者头像 李华
网站建设 2026/7/29 17:14:30

GetQzonehistory:QQ空间历史说说的专业备份解决方案

GetQzonehistory:QQ空间历史说说的专业备份解决方案 【免费下载链接】GetQzonehistory 获取QQ空间发布的历史说说 项目地址: https://gitcode.com/GitHub_Trending/ge/GetQzonehistory 在数字时代,QQ空间承载了无数用户的青春记忆和成长轨迹。然而…

作者头像 李华
网站建设 2026/7/29 17:13:06

Python项目的性能回归测试:用airspeed velocity建立持续性能基准

Python项目的性能回归测试:用airspeed velocity建立持续性能基准 一、性能回归检测的必要性与挑战 功能回归测试是软件工程中的成熟实践——CI流水线中的单元测试和集成测试确保代码变更不破坏已有功能。但性能回归测试在Python项目中仍远未普及。造成这一差距的核心…

作者头像 李华
网站建设 2026/7/29 17:12:51

旅游信息推荐系统源码 Java+SpringBoot+Vue3 前后分离

一、关键词旅游信息推荐系统,旅游资讯推荐系统,旅游推荐系统二、作品包含源码数据库全套环境和工具资源本地部署教程三、项目技术前端技术:Html、Css、Js、Vue3、Element-plus后端技术:Java、SpringBoot2、MyBatis四、运行环境&am…

作者头像 李华