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 伪方法生成父列表中括号中的条件成立的所有元素的父列表的子列表。

Answer 2

在 Specman 的最新版本中，您可以使用预定义的 set 类型，它正是用于此目的。 例如，您可以执行以下操作：

var s1: set = [1..5, 10..15];
var s2: set = [4..13];
var s3: set = s1.intersect(s2);

甚至可以执行以下操作： 等等

x: int;
y: int;
........
var s1: set = [x..y];
var s2: set = [1..10];
var s3: set = s1.union(s2);

。

Answer 3

另一种方法可能是使用 uints，假设您有 500 个可能的值：

domain : uint(bits:500);
complement : uint(bits:500);
set : uint(bits:500) = domain & ~complement;

您可以稍后根据您的域与可能值的比率提取索引，

set_l : list of uint = set[.]].all_indices(it==1);

此方法可能会更快地计算