Как сделать перекрестки в SystemVerilog?

Question

Я хотел бы найти пересечение между двумя списками в SystemVerilog. От Specman есть

var intersect: list of my_enum; 
intersect = listA.all(it in listB); 

Который я считаю довольно странным. Но лучше я смог придумать в SystemVerilog является:

typedef enum {A, B, C, D} my_enum; 
my_enum listA[$] = {A, B, C}; 
my_enum listB[$] = {B, C, D}; 
my_enum intersect[$]; 

foreach(listA[i]) 
    if(listA[i] inside listB) 
    intersect.push_back(listA[i]); 

IEEE 1800-2012 упоминает об пересекаться ключевое слово, но это, кажется, не относится к этому случаю. Есть ли более элегантный способ?

Answer 1

intersect - это ключевое слово, используемое в SVAs. Не рекомендуется использовать любое ключевое слово в качестве имени переменной.

ЗАКАНЧИВАТЬ IEEE Std 1800-2012 § 7,12 методы манипуляции массива

Я считаю, что это нужный эквивалент функция:

myIntersect = listA.find with (item inside {listB});