在监视每个时间步后，如何保证检查器运行

Question

我有几个代理商都有自己的显示器和分析端口连接到检查器。 Checker的组织如下所示，每个check（）函数以特定顺序为每个周期。这样做是为了处理在同一周期中获得输入和输出TXN的情况（设计具有“旁路”逻辑，以立即在同一周期中输出其在输入上看到的TXN）。

如果我们使用设计＃2（下图），则不能保证我们将首先处理Input_TXN，因此，如果我们碰巧首先处理output_txn，则断言可以发射，因为它不知道该input_txn中有一个input_txn相同的周期。我已经成功地使用了设计＃1来处理在同一周期中获得输入和输出TXN的情况。但是，我现在意识到这仍然不能保证正确工作，因为模拟器有可能在output_agent的run_phase（）之后执行Checker的run_phase（），但是在input_agent的run_phase（）之前，我可以找到同样的问题。

我真正想要的几乎是每个时间段的“ check_phase”，因此我可以保证所有代理监视器在当前的时间步中完成了在检查器开始执行之前执行的。是否有任何方法可以保证在当前时间步中所有其他过程之后的检查器执行？

ps，我不是在寻找有关如何改善检查器的建议，这只是我为轻松传达问题的实际测试台的非常愚蠢的版本。

## Design 1 ##
class my_checker extends uvm_component;
  //boiler plate uvm...
  task run_phase();
    forever begin
      check_inputs();
      check_outputs();
      @(posedge vinft.clk);
    end
  endtask

  function check_inputs();
    input_txn_c txn;
    if (input_analysis_fifo.try_get(txn)) begin // non-blocking try_get()
      //do check
      pending_txn_cnt++;
    end
  endfunction

  function check_outputs();
    output_txn_c txn;
    if (output_analysis_fifo.try_get(txn)) begin //non-blocking try_get()
      assert(pending_txn_cnt > 0);
      pending_txn_cnt--;
    end
  endfunction
endclass


## Design 2 ##
class my_checker extends uvm_component;
  //boiler plate uvm...
  task run_phase();
    fork
      check_inputs();
      check_outputs();
    join_none
  endtask

  task check_inputs();
    input_txn_c txn;
    forever begin
      input_analysis_fifo.get(txn); //blocking get()
      //do check
      pending_txn_cnt++;
    end
  endtask

  task check_outputs();
    output_txn_c txn;
    forever begin
      output_analysis_fifo.get(txn); //blocking get
      assert(pending_txn_cnt > 0);
      pending_txn_cnt--;
    end
  endtask
endclass

Answer 1

由于您对输入和输出都使用FIFO，因此您应该能够使用此简单设计：

class my_checker extends uvm_component;
    //boiler plate uvm...
    input_txn_c  txni;
    output_txn_c txno;

    task run_phase();
        forever begin
            // Wait until there is an input transaction: txni
            input_analysis_fifo.get(txni);

            // Wait until there is an output transaction: txno
            output_analysis_fifo.get(txno);

            // Now there is a pair of transactions to compare: txni vs. txno
            // call compare function...
        end
    endtask

    // compare function...
endclass

由于get呼叫正在阻止，您只需要等到输入交易，然后等待直到您有输出交易。他们是否到达相同的时间步中都没关系。一旦有一个内/输出对，您可以调用比较函数。

我认为您不需要检查每对的交易数量。如果需要，您可以检查FIFO在测试结束时是否仍然有任何内容。