跳转至

输入查询内容
    本页内容

    GP extension 比较、事件复位与类型语义

    环境：VCS W-2024.09-SP2-8。1.2 使用 uvm-1.2，2.0 使用 uvm-ieee-2020-2.0。

    实验检查观察值是否符合预期；成功复现问题不代表问题已修复。

    结果对比

    本组配置：+REVIEW_ARG=green123

    观察内容 UVM 1.2 UVM 2.0
    event reset 后保留旧数据（1=是） reset_keeps_data 1 0
    命令行正则匹配数量 command_regex_count 1 1
    UVM_VERSION_1_2 分支被选择（1=是） version_12_macro 1 0
    仅右侧有 extension 时的 compare 结果（1=相等） rhs_only_extension_equal 0 1
    仅左侧有 extension 时的 compare 结果（1=相等） lhs_only_extension_equal 0 0
    两个 extension 场景的 compare 结果（1=相等） two_extension_equal 1 1
    extension 比较调用次数 extension_compare_calls 2 1
    缺少末个 extension 时的 compare 结果（1=相等） missing_last_extension_equal 0 1
    逐项检查 extension 后的比较结果（1=相等） checked_extensions_equal 0 0
    改写 override 签名后的执行结果 migrated_override_result 7 7

    运行命令

    目录与环境准备；从解包根目录执行：

    1
    uv run tools/run_uvm_review.py --case semantic_probe --variants 12,20 --plusarg +REVIEW_ARG=green123

    最小源码

    semantic_probe.sv

    semantic_probe.sv 
      1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
    `timescale 1ns/1ps
`include "uvm_macros.svh"
import uvm_pkg::*;

class extension_checks;
  static int calls;
endclass

class extension_a extends uvm_tlm_extension#(extension_a);
  `uvm_object_utils(extension_a)
  function new(string name = "extension_a"); super.new(name); endfunction
  function bit do_compare(uvm_object rhs, uvm_comparer comparer);
    extension_checks::calls++;
    return 1;
  endfunction
endclass

class extension_b extends uvm_tlm_extension#(extension_b);
  `uvm_object_utils(extension_b)
  function new(string name = "extension_b"); super.new(name); endfunction
  function bit do_compare(uvm_object rhs, uvm_comparer comparer);
    extension_checks::calls++;
    return 1;
  endfunction
endclass

class probe_payload extends uvm_tlm_generic_payload;
  function new(string name); super.new(name); endfunction
  function void remove_last_extension();
    uvm_tlm_extension_base key;
    if (m_extensions.last(key)) m_extensions.delete(key);
  endfunction
  function bit extensions_equal(probe_payload rhs, uvm_comparer comparer);
    if (m_extensions.num() != rhs.m_extensions.num()) return 0;
    foreach (m_extensions[key]) begin
      if (!rhs.m_extensions.exists(key)) return 0;
      if (!m_extensions[key].compare(rhs.m_extensions[key], comparer)) return 0;
    end
    return 1;
  endfunction
endclass

class legacy_arbitrator extends uvm_sequencer#(uvm_sequence_item);
  function new(string name, uvm_component parent); super.new(name, parent); endfunction
`ifdef REVIEW_UVM20
  virtual function int user_priority_arbitration(int avail_sequences[$]);
`else
  virtual function integer user_priority_arbitration(integer avail_sequences[$]);
`endif
    return avail_sequences[$];
  endfunction
endclass

module semantic_probe;
  initial begin
    uvm_event event_value = new("event_value");
    uvm_sequence_item object_value = new("object_value");
    probe_payload lhs = new("lhs"), rhs = new("rhs");
    extension_a a = new(), a2 = new();
    extension_b b = new(), b2 = new();
    legacy_arbitrator arbitrator = new("arbitrator", null);
    uvm_sequencer_base base_arbitrator = arbitrator;
`ifdef REVIEW_UVM20
    int available[$] = '{2, 7};
`else
    integer available[$] = '{2, 7};
`endif
    uvm_comparer comparer = new();
    uvm_cmdline_processor cmdline = uvm_cmdline_processor::get_inst();
    string matching_args[$];
    bit equal;
    int count;

    event_value.trigger(object_value);
    event_value.reset();
    $display("REVIEW|reset_keeps_data|%0d", event_value.get_trigger_data() == object_value);
    count = cmdline.get_arg_matches("/^\\+REVIEW_ARG=(red|green)[0-9]+$/", matching_args);
    $display("REVIEW|command_regex_count|%0d", count);
`ifdef UVM_VERSION_1_2
    $display("REVIEW|version_12_macro|1");
`else
    $display("REVIEW|version_12_macro|0");
`endif
    comparer.verbosity = UVM_DEBUG;
    void'(rhs.set_extension(a));
    equal = lhs.compare(rhs, comparer);
    $display("REVIEW|rhs_only_extension_equal|%0d", equal);
    equal = rhs.compare(lhs, comparer);
    $display("REVIEW|lhs_only_extension_equal|%0d", equal);
    void'(lhs.set_extension(a2));
    void'(lhs.set_extension(b2));
    void'(rhs.set_extension(b));
    extension_checks::calls = 0;
    equal = lhs.compare(rhs, comparer);
    $display("REVIEW|two_extension_equal|%0d", equal);
    $display("REVIEW|extension_compare_calls|%0d", extension_checks::calls);
    rhs.remove_last_extension();
    equal = lhs.compare(rhs, comparer);
    $display("REVIEW|missing_last_extension_equal|%0d", equal);
    $display("REVIEW|checked_extensions_equal|%0d", lhs.extensions_equal(rhs, comparer));
    $display("REVIEW|migrated_override_result|%0d", base_arbitrator.user_priority_arbitration(available));
    $display("REVIEW|done|1");
    $finish;
  end
endmodule

    全部用例 · 证据摘要

    版本适用范围