在 Specman 中返回一个数组

Question

如何从 Specman 中的方法调用返回数组？ 例如，

method a : list of uint is { 
   var data: list of uint;
   .....
   result = data;

};

extend sys {
 var data_sys: list of uint;
 run() is also {
  data_sys = a();
 };
};

我的打印输出显示一些元素与数组数据和 data_sys 不同。 你能告诉我我错过了什么吗？

Answer 1

您发布的代码无法编译。 放入更多打印语句或在 Specview 中设置断点并单步执行代码。 您知道您正在执行哪个测试阶段的打印输出吗？ 如果您想按程序设置 data_sys（而不是让 Specman 生成它），您应该指定不生成修饰符“!”。

[...]
!data_sys : list of uint;
[...]

Answer 2

请提供sscce。

如果没有这个，这个非常基本的示例可能会这样做：

extend sys {
  m() : list of uint is {
    print result.size(); // result.size() = 0
  };

  run() is also {
    var m := m();
  };
};

方法可以返回一个数组，该数组是默认为您分配的。 它是由指针返回的，所以要注意。

作为一条经验法则，在计算时尽量避免使用返回列表的方法。 尝试将列表作为参数传递，以传达其动态特性，除非该方法是创建方法或 getter：

collect_packets(packets : list of packet) is {...};
get_collected_packets() : list of packet is {...};