白兰经

Question

你是如何在specman中使用gen生成"randc“类实现的？

示例：

list_l : list of uint(bits:3);
keep list_1.size () == 8;

我希望以这样的方式生成，列表中的所有元素都应该在(0-7)之间具有随机的no。

Answer 1

当前定义在列表上的约束将确保生成列表时包含范围[0..7]中的所有值。

使用gen将根据需要生成列表。

示例

list_l : list of uint(bits:3);
keep list_l.size () == 8;
generate_list() is {
    gen list_l;
}

如果希望所有列表项都是唯一的，请在列表中添加以下约束：

keep list_l.all_differnt(it);

Answer 2

可以使用"is_a_permutation()"伪方法来填充每个值一次的列表。

示例

list_l : list of uint(bits:3);
keep list_1.is_a_permutation(all_values(uint(bits:3)));

或

keep list_1.is_a_permutation({0;1;2;3;4;5;6;7});

注意，在本例中，"is_a_permutation()"将列表大小限制为8。