1

我想编写并发断言，该断言在从 UVM 测试台对 DUT 执行一些寄存器写入后开始。

class test extends uvm_test;
bit flag;
task run_phase(uvm_phase phase);
//call register write task , data is chosen in a random fashion
write(addr,data);
flag = 1;    // flag gives the time when the register is written.
// after this task the assertions must start depending on data.
endtask
endclass

module top();
//instantiate dut, interface and other stuff

property p1(logic a,logic [4:0] b,logic flag,logic c);
disable iff(!reset || b[i] == 1 || !flag)
/* 
default register value is 0, enable assertion only if 0 is written into it. 
(0 is for enabling certain feature in DUT and by-default it is enabled. 
1 is for disabling that feature. Assertion must never be enabled if b[i] contains 1)
*/
@(posedge clk)
a == 0 |-> $stable(c);
endproperty

assert property p1(dut_top.path_to_dut_signal,uvm_test_top.data,uvm_test_top.flag,dut_top.path_to_dut_other_signal); // gives compile error
// basically I need here dut's signal and the data written to register

// call run_test and set config_db for interface here
initial
begin
// ... run_test 
end

这会产生跨模块引用编译错误，因为uvm_test_top是在运行时创建的，我猜断言输入是在编译时设置的。

因此，我为此找到了一些解决方法。

在全局空间中声明一些临时变量和标志变量，如下所示：

bit flag;   // in global space
logic [4:0] temp;
class test extends uvm_test;
task run_phase(uvm_phase phase);
//call register write task 
write(addr,data);
temp=data, flag=1;
// after this task the assertions must start depending on temp.
endtask
endclass

/** In top, **/

property p1(logic a,logic [4:0] b,logic flag,logic c);
disable iff(!reset || b[i] == 0 || flag ==0)
@(posedge clk)
a == 0 |-> $stable(c);
endproperty

assert property p1(dut_top.path_to_dut_signal,temp,flag,dut_top.path_to_dut_other_signal); 
// solves the error

这里使用了两个全局空间变量；最好避免。

无论哪种方式，我都可以将这些变量放在顶部并在测试中通过 $root 访问它们。但是，我不喜欢使用 $root 来解决可重用性和包问题（如果我的顶级名称更改，或者编写了单独的断言模块，测试将出错）。

我想知道有没有其他更好的方法来实现这一点？这样我就可以延迟断言的执行。即使我将它延迟 1timestamp，我也会对 uvm_test_top 进行评估（听起来很疯狂..!!）。

另外，我不想使用接口信号，因为 DUT 与协议无关，它可以支持基于 `ifdefs.xml 的不同接口。（其实这也是另一种解决方法！！）

任何帮助是极大的赞赏。

4

1 回答 1

4

我能想到的最便携的事情是在您的 SVA 接口/模块/检查器中声明一个事件，该事件会在有趣的寄存器写入发生时发出信号：

interface sva_checker(...);
  event register_written;

  property my_prop;
    register_written |-> ...
  endproperty
endinterface

这样，您仅在寄存器写入发生后触发您的属性。您也不需要根据协议信号确定寄存器写入何时发生，因为您将依赖来自测试平台的信息。

现在有趣的部分是从你的 UVM 测试台触发这个事件。首先，您需要将此接口传递给您的 UVM 测试平台。如果这是您拥有的唯一界面，那么这很容易。您只需进行配置数据库集和相应的获取：

// in top or wherever you instantiate your SVA checker
uvm_config_db #(virtual sva_checker)::set(...);

// in your UVM TB
uvm_config_db #(virtual sva_checker)::get(..., sva_checker);

现在在您的代码中，您可以在知道您写入寄存器后触发事件：

task run_phase(uvm_phase phase);
  //call register write task , data is chosen in a random fashion
  write(addr,data);
  -> sva_checker.register_written;
  // after this task the assertions must start depending on data.
endtask

这样您就不会使用任何分层路径，也不会遇到可重用性问题。

PS我会考虑使用UVM寄存器包进行寄存器。这样您就可以做到这一点，以便在写入寄存器后自动触发此事件，而无需手动调用它。

于 2015-10-17T09:19:50.687 回答