Specman：在一个表达式中分配多个结构成员

Question

嘿，

我扩展了一个现有的 specman 测试，其中出现了一些类似这样的代码：

struct dataset {
  !register : int (bits:16);
  ... other members
}

...

data : list of dataset;
foo : dataset;
gen foo;

foo.register = 0xfe;
... assign other foo members ...
data.push(foo.copy());

有没有一种方法可以在一行中分配给结构体的成员？喜欢：

foo = { 0xff, ... };

Answer 1

我目前无法想出一种根据需要设置所有成员的直接方法，但是有一种方法可以初始化变量（我不确定它是否也适用于结构成员）。无论如何，类似下面的内容可能适合您：

myfunc() is {
    var foo : dataset = new dataset with {
        .register = 0xff;
        .bar = 0xfa;
    }
    data.push(foo.copy());
}

您可以从specman提示符中使用help new struct找到有关new的更多信息。

希望有帮助！

Answer 2

按名称分配字段的简单优点是我一直认为有用、编码安全且可读的一种语言功能。

这就是我的做法：

struct s {
  a : int;
  b : string;
  c : bit;
};

extend sys {
  ex() is {
    var s := new s with {.a = 0x0; .b = "zero"; .c = 0;};
  };
  run() is also {
    var s;
    gen s keeping {.a == 0x0; .b == "zero"; .c == 0;};
  };
};

我什至会这样做 data.push(new dataset with {.reg = 0xff; bar = 0x0;}); 但如果您愿意，您可以提高可读性标志。

警告：使用 unpack() 是完全正确的（参见罗斯的答案），但在我看来很容易出错。我建议验证（使用实际运行的代码）您选择使用 unpack() 的每个地方。

Answer 3

您可以直接使用 Specman 的 pack 和 unpack 功能以及“物理字段”（这些实例成员以修饰符 % 为前缀）。

示例：

define FLOODLES_WIDTH 47;
type floodles_t : uint(bits:FLOODLES_WIDTH);

define FLABNICKERS_WIDTH 28;
type flabnickers_t : uint(bits:FLABNICKERS_WIDTH);

struct foo_s {
   %!floodle : floodles_t;
   %!flabnicker : flabnickers_t;
};

extend sys {
   run() is also {
      var f : foo_s = new;
      unpack(packing.low,64'hdeadbeefdeadbeef,f);
      print f;

      unpack(packing.low,64'hacedacedacedaced,f);
      print f;

   };
   setup() is also {
      set_config(print,radix,hex);
   };
};

运行此命令时，它会打印：

Loading /nfs/pdx/home/rbroger1/tmp.e ...
read...parse...update...patch...h code...code...clean...
Doing setup ...
Generating the test using seed 1...

Starting the test ...
Running the test ...
  f = foo_s-@0: foo_s   of unit: sys
        ----------------------------------------------  @tmp
0       !%floodle:                      0x3eefdeadbeef
1       !%flabnicker:                   0x001bd5b
  f = foo_s-@0: foo_s   of unit: sys
        ----------------------------------------------  @tmp
0       !%floodle:                      0x2cedacedaced
1       !%flabnicker:                   0x00159db

在您的 Specman 文档中查找 packing, unpacking,Physical fields, Packing.low, Packing.high。

即使结构未映射到 DUT，您仍然可以使用物理字段。如果您的结构已经将物理字段用于其他目的，那么您需要为该结构寻求某种 set* 方法。