MCDF验证学习笔记

文章目录

前言
mcdf模块简介
mcdf验证结构布局
测试用例
覆盖率收集
分析覆盖率收集情况
添加新的测试用例
异常激励测试

前言

本文仅个人学习过程笔记，如有疏漏，望指正或补充。

mcdf模块简介

多通道数据整形器(MDCF，multi-channel data formatter)，可以将上行(upline)多个通道数据经过内部fifo，最终以数据包(data packet)的形式送出。模块内部框图结构如下：

该模块采用自定义接口，且上行数据和下行数据的接口协议不同：
通道从端接口时序如下：

控制寄存器接口时序如下：

整形器接口时序如下：

mcdf验证结构布局

利用UVM验证方法搭建验证环境如下：

测试用例

（1）base_test主要工作：通过config_db#(virtual intf)::get(）获得虚接口句柄，并创建了env实例，并向下传递了接口；
（2）base_virt_seq主要工作：通过p_sqr得到rgm的实例句柄，并实现reg、fmt、data配置虚方法；
（3）其余test则继承于base_test，但在其run_phase中例化了不同的seq，且将其挂载至顶层virt_sqr，同时通过objection机制控制仿真的运行。
（4）data_consistence_virt_seq和full_random分别针对固定和随机reg、fmt、data配置情况下的MCDF验证；
reg_builtin_virt_seq则利用UVM内建的三个seq（检查rgm复位值与硬件复位值是否一致；检查所有寄存器域属性的有效性；检查寄存器映射的有效性）对MCDF进行验证；reg_wrtie_read_virt_seq、reg_stability_virt_seq分别对寄存器做读写测试和稳定性测试；down_stream_low_bandwith_virt_seq模拟了MCDF下行数据接收端设置为小存储量、低带宽的类型的情况。

覆盖率收集

定义了如下6个覆盖组：

使用固定种子seed_1和随机种子分别跑以上测试，可以得到合并后的代码覆盖率情况如下：

功能覆盖率情况如下：

分析覆盖率收集情况

代码覆盖率中翻转覆盖率最低，且data、addr、rstn等很多位翻转未被覆盖到。

控制寄存器的打包长度pkt_len部分值未覆盖到，状态寄存器FIFO余量域大部分值未覆盖到。

添加新的测试用例

（1）针对data、addr、rstn等bit位的翻转，改变约束条件或给定向激励去覆盖，同时增加跑随机种子test的次数：

(2)针对控制寄存器的打包长度pkt_len的覆盖，增加定向激励：

对于状态寄存器FIFO余量域的覆盖，采用发送数据过程中读状态寄存器的方式：

同时对控制寄存器和状态寄存器的保留域，由于该部分无法写入，做exclude后，得到代码覆盖率和功能覆盖率的情况如下：

异常激励测试

注意：本异常激励测试板块是自己琢磨的，暂未清楚何为异常测试及意图，有待研究。大佬有缘看到欢迎补充~
由于MCDF中只有控制寄存器和状态寄存器，且地址分别为0x00,0x04,0x08;0x10,0x14,0x18.考虑对MCDF中不存在的寄存器地址0xFF及0x28进行写入、读出作为异常激励:

备注：对现有寄存器的保留域写，由于intf.cmd_data_m2s=t.data，两边位数不一致，从低位截断写入数据，因此seq中比较读写值时不会报错。
得到如下DUT行为（此处关闭了seq中检查写入数据和读出数据比较）：