TudorTimi Verification Gentleman

Apparently the following syntax isn’t 100% LRM compliant:

"
coverpoint operation {
ignore_bins ignore[] = operation with (item inside
{ POLICY::get_operation_ignore_bins() });
}
"

This is because a static function return value isn’t considered a “constant” function (go fig, right?). To get around this, it’s possible to change it to:

"
constant operation_e operation_ignore_bins[] = POLICY::get_operation_ignore_bins();

coverpoint operation {
ignore_bins ignore[] = operation with (item inside
{ operation_ignore_bins });
}
"

Some simulators might only accept the former, while some might only accept the latter. Choose whichever one works for you.