Specman 方法返回大小列表

Question

我想定义一个返回大小列表的方法。例如。

my_method(): list of my_struct is { ... };

显然会返回一个未知大小的列表。在线文档没有将大小列表作为返回值的语法定义。

Answer 1

列表大小指定如下:

my_list : list of int;
keep my_list.size() == 4;

您可以将这样的列表包装在模板结构中，并将结构中的列表限制为这样的数字:

<'

struct my_struct {
    data : int;
};

template struct FourElemWrpr of ( <first'type> ) {
    d : list of <first'type>;
    keep d.size() == 4;
};

extend sys {
    foo() : FourElemWrpr of int is {
        gen result;
        print result.d;
    };
    run() is also {
        var wrpr := foo();
        print wrpr.d;
    };
};

'>

在 Specman 10 上运行时，会产生:

Welcome to Specman Elite 
[...]

Generating the test with Pgen using seed 1...

Starting the test ...
Running the test ...
  result.d =
0.      -208970122
1.      -1768025704
2.      -65377588
3.      -723567746
  wrpr.d =
0.      -208970122
1.      -1768025704
2.      -65377588
3.      -723567746
No actual running requested.
Checking the test ...
Checking is complete - 0 DUT errors, 0 DUT warnings.