specman 中的列表生成

Question

我输入 my_type : [a,b,c,d,e,f]; 我有 my_list : my_type;

列表

我想生成 my_list，但是有限制 c,d,f 应该放在一起。如果生成的列表中有 c、d 或 f，则它们中的 3 个必须全部存在。（我可以在列表中包含 none 个）。

Answer 1

给你：

type my_type : [a,b,c,d,e,f]; 

{
  my_list: list of my_type;
  keep my_list.has(it in [c,d,f]) => ( ( c in my_list ) && ( d in my_list ) && ( f in my_list) );
}

specman 中的列表生成

List generation in specman

specman