constraints - Specman e : How to constrain 'all_different' to list of structs?

Question

我有这样定义的 my_list:

struct my_struct {
    comparator[2] : list of int(bits:16);
    something_else[2] : list of uint(bits:16);
};
...
my_list[10] : list of my_struct;

禁止同一索引(0 或 1)处的比较器 在所有列表中都相同。当我以这种方式约束它时(例如对于索引 0):

 keep my_list.all_different(it.comparator[0]);

我得到编译错误:

*** Error: GEN_NO_GENERATABLE_NOTIF: 

    Constraint without any generatable element.
    ... 
    keep my_list.all_different(it.comparator[0]);

我怎样才能生成不同的它们？感谢任何帮助

Answer 1

它也可以一次性使用:

keep for each (elem) in my_list {
  elem.comparator[0] not in my_list[0..max(0, index-1)].apply(.comparator[0]);
  elem.comparator[1] not in my_list[0..max(0, index-1)].apply(.comparator[1]);      
};