关于PWM模块用uvm如何实现

traveller123

目前在学习UVM，对于基于数据传输类型的系统，使用Transaction比较好理解。
但有些模块感觉用Transaction比较困难， 比如下面这个简单的PWM发生器，
请教各位验证老手，这种类型的是怎么用UVM做验证的

1. module(
   
2.     input clk,
   
3.     input rst_n,
   
4.     input enable,
   
5.     input [11:0] PRD_CNT;
   
6.     input [11:0] cmp,
   
7.     ouput reg pwm
   
8.     );
   
9.    
   
10.     reg [11:0] cnt;
    
11.   
    
12.     always @(posedge clk or negedge rst_n) begin
    
13.         if(!rst_n)
    
14.             cnt <= 12'd0;
    
15.         else if(!enable)
    
16.             cnt <= 12'd0;
    
17.         else if(cnt == PRD_CNT)
    
18.             cnt <= 12'd0;
    
19.         else
    
20.             cnt <= cnt + 1'b1;
    
21.     end
    
22.    
    
23.     always @(posedge clk or negedge rst_n) begin
    
24.         if(!rst_n)
    
25.             pwm  <= 1'b0;
    
26.         else if(!enable)
    
27.             pwm  <= 1'b0;
    
28.         else if(cnt == 12'd0)
    
29.             pwm  <= 1'b0;
    
30.         else if(cnt == cmp)
    
31.             pwm  <= 1'b1;
    
32.     end
    
33.    
    
34. endmodule
    

复制代码

诸葛小天

一般rtl代码中，都会有寄存器模块。pwm输入的enable，PRD_cnt等信号通过寄存器传入。

验证通过transaction对寄存器进行写操作，来控制pwm的输出

traveller123

但是我怎么判断PWM是否按照我想要的波形输出。

weerbest

traveller123 发表于 2019-6-20 13:55
但是我怎么判断PWM是否按照我想要的波形输出。

这个取决于你配置的cnt值啊， uvm可以通过scb去比较PWM是否为1，来判断。具体dut输出的信号需要在uvm monitor采样和refm你自己算的pwm比较。

gaurson

写一个参考模型，实时比对参考模型的输出和DUT的输出是否一致。你想要的波形肯定是依赖于一定的激励产生的，把这样的激励输入PWM模块，观察输出不就可以了？打印到文件里面。就相当于把波形转变成文件。