Verilog系统到Specman E

Question

对于$readmemh(文件、数组)和系统verilog中类似的系统任务和功能，Specman E中的等效语法是什么？

我正致力于将现有的系统verilog代码转换为Specman，我已经转换并实现了大部分的概念，除了下面的几个系统方法帮助我实现像Specman E中的下面这样的方法。

$readmemh(file_s,data_2d_i);//For converting SV code into Specman E

Answer 1

在vr_ad包中有一个等价的方法。假设您有一个名为vr_ad_mem的data_2d_i对象，您可以例如调用

data_2d_i.readmemh(file_s,0,1000,0,1000);

将地址从该文件中读取到内存中。

示例：

import vr_ad/e/vr_ad_top;
extend sys {
   mem: vr_ad_mem;
   keep mem.addressing_width_in_bytes == 1;
   keep mem.size == 1000;

   run() is also {
      var data_2d_l: list of byte;
      -- read first 16 bytes of mem-file and store the result in a list
      mem.readmemh("mem.txt", 0, 15, 0, 15);
      data_2d_l = mem.fetch(0, 16);
      print data_2d_l;
   };
};