[sv-ac] Questions related to 2095

Hello Everyone,

I'm starting to look at Mantis 2095, which is assigned to me.

Here's the issue: The BNF for property spec is as follows:

property_spec ::= [clocking_event][disable iff (expression_or_dist)] . . .

Where:
expression_or_dist ::= expression [*dist* {dist_list}]

(should be curly braces:) ^ ^

(Interesting: I get a square bracket whey I try to type a curly brace)

This would allow writing a property which included the following disable
condition:

        disable iff (x dist { 0:=30, 2:=70})

(should be curly braces:) ^ ^

The Mantis item asks for an explanation and an example which illustrates
this capability.

My question is: What is the intended use of this capability? And what
does it mean?

Note: I also see that expression_or_dist appears in other constructs

For example:
        expression_or_dist *throughout* sequence_expr

Thanks,

Tom

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.