Question

我正在寻找方法来禁用侧uvm组件中的断言进行某些测试。下面简单的代码代表我的env，并对需求进行评论。我以为我可以使用$ assertoff。如果需要额外的工具来实现这一点，我可以修改uvm组件。

    import uvm_pkg::*;
    `include "uvm_macros.svh"

    class tb_env extends uvm_component;

       `uvm_component_utils(tb_env)

       int exp_val = 0;
       int act_val = 0;

       function new(string name = "tb_env", uvm_component parent = null);
          super.new(name, parent);
       endfunction

       virtual task run_phase (uvm_phase phase);
         super.run_phase(phase);
         phase.raise_objection(this);
         #10us;
         ASRT: assert ( exp_val == act_val) else
           `uvm_error(get_name(), "Error");
         #10us;
         `uvm_info(get_name(), "Done env", UVM_LOW);
         phase.drop_objection(this);
       endtask : run_phase

    endclass

    program tb_run;

    initial
    begin
       tb_env env = new("env");

       // Requirement: Disable assertion env.ASRT with system call $assertoff(...)

       fork
         run_test();
         begin
          #5us;
          env.exp_val = 1;
         end
       join
    end

    endprogram

Answer 1

我想让事情变得简单易懂。因此，更喜欢使用一些胶合逻辑来抑制断言。

有关一些仿真器，$assertoff的仅适用于模块而不是类下，可以使用一些守着标志指示断言的启用/禁用。仅当标志为 set 时才会检查断言。您可以在基类中的任何位置声明此标志，并在启用/禁用来自不同扩展类的断言时使用相同的标志。

还可以开发这个防护标志的广义宏。以下代码通过使用 guard 禁用断言。如果 后卫是一个静态变量，那么也可以通过范围解析 （：:)来访问它。

import uvm_pkg::*; `include "uvm_macros.svh" `define ASSERT(VAL,ERR) \ assert(!assert_guard || (VAL)) else begin // If assert_guard=0, then assertion passes without checking other condition \ `uvm_error(get_name(),ERR); \ end \ class tb_env extends uvm_component; `uvm_component_utils(tb_env) bit assert_guard; int exp_val = 0; int act_val = 0; function new(string name = "tb_env", uvm_component parent = null); super.new(name, parent); assert_guard = 1; // by default assertions are on endfunction virtual task run_phase (uvm_phase phase); super.run_phase(phase); phase.raise_objection(this); #10us; ASRT: `ASSERT( exp_val == act_val, "Error"); #10us; `uvm_info(get_name(), "Done env", UVM_LOW); phase.drop_objection(this); endtask : run_phase endclass module tb_run; initial begin tb_env env = new("env"); env.assert_guard = 0; //tb_env::assert_guard = ; // If assert_guard was static //$assertoff(0,env.run_phase.ASRT); // Works only for VCS fork run_test(); begin #5us; env.exp_val = 1; end join end endmodule // Output: UVM_INFO @ 0: reporter [RNTST] Running test ... UVM_INFO testbench.sv(31) @ 20000: env [env] Done env

作为替代方法，还可以使用禁用deffered断言的disable语句。但在这种情况下，需要知道解雇断言的确切时间。有关此方法的详细信息，请参阅IEEE 1800-2012 Section 16.4.4。

Answer 2

$assertoff系统任务可以在特定模块中关闭断言，但不能关闭特定的类或对象。因此，您必须通过修改tb_env课程来手动执行此操作。

Answer 3

是的，您可以将$assertoff用于您的目的。

以下是没有$assertoff的代码。

class tb_env;
  int exp_val = 0;
  int act_val = 0;

  virtual task run_phase ();
    #10;
    ASRT: assert ( exp_val == act_val) else
      $error("Error");
  endtask : run_phase
endclass

program tb_run;
  tb_env env = new();

  initial
  begin      
     // $assertoff(0, env.run_phase.ASRT);

     fork
       env.run_phase();
       begin
         #5;
         env.exp_val = 1;
         $display("@%0t : exp_val - %0b, act_val - %0b", $time(), env.exp_val, env.act_val);
       end
     join
  end
endprogram

// Output -
@5 : exp_val - 1, act_val - 0
"a.sv", 7: $unit::\tb_env::run_phase .ASRT: started at 10s failed at 10s
        Offending '(this.exp_val == this.act_val)'
Error: "a.sv", 7: $unit.tb_env::run_phase.ASRT: at time 10
Error
$finish at simulation time                   10

这是您的代码$assertoff。

class tb_env;
  int exp_val = 0;
  int act_val = 0;

  virtual task run_phase ();
    #10;
    ASRT: assert ( exp_val == act_val) else
      $error("Error");
  endtask : run_phase
endclass

program tb_run;
  tb_env env = new();

  initial
  begin
     $assertoff(0, env.run_phase.ASRT);

     fork
       env.run_phase();
       begin
         #5;
         env.exp_val = 1;
         $display("@%0t : exp_val - %0b, act_val - %0b", $time(), env.exp_val, env.act_val);
       end
     join
  end
endprogram

// Output -
Stopping new assertion attempts at time 0s: level = 0 arg = $unit::\tb_env::run_phase .ASRT (from inst tb_run (a.sv:17))
@5 : exp_val - 1, act_val - 0
$finish at simulation time                   10

如何在test uvm对象中使用assertoff来禁用断言

3 个答案: