Specman 宏使用 int_range_list 对象进行集合减法

Question

我使用一堆集合来生成受约束的随机流量，但我希望能够调用一个 Specman 宏来计算一个集合的补充，语法如下:

COMPLEMENT begin 
   domain=[0..10,24..30],
   complementing_set=[2..3,27..30] 
end

并让它生成:

[0..1,4..10,24..26]

每次我需要集合的补充时，我都会使用完全填充的列表(例如 {0;1;2;3....} )然后删除元素，而不是使用 Specman 的内置 int_range_list 对象。而且我还在运行时而不是编译时进行了很多这些集合计算。

Answer 1

你可以试试这个:

var domain: list of int = {0..10, 24..30}; 
var complementing_set: list of int = {2..3, 27..30};
var complement: list of int = domain.all(it in complementing set);

all伪方法生成父列表中括号中条件成立的所有元素的父列表的子列表。