Subject: [sv-ec] Comments on OCR-2: inside proposal
From: Ryan, Ray (Ray_Ryan@mentorg.com)
Date: Wed Dec 03 2003 - 19:19:37 PST
Feedback on OCR-2: inside proposal
The BNF need to have added where a 'inside_expression' can be used. Likely
this needs to be added as an alternative for 'expression'.
I believe it would be useful if the BNF productions for 'open_range_list'
and 'open_value_range' were included in figure Syntax 7-2. This is the first
place these productions are referenced. They are also described in 20.5
(Defining cross coverage) however, users who don't use the coverage features
may be interested in the inside operator.
At the end of the proposal, in the section "REPLACE BNF in A.8.3", the
open_range_list should not be enclosed in braces {}. The BNF in Syntax 7-2
is correct.
What is the precedence for the inside operator?
For example in:
y = x + z inside {A} + wt;
y = x + z inside {m, n, o} + {a, b, c};
y = x ** z inside {a,b,c};
I'd recommend that 'inside' have the highest precedence of the binary
operators (7.9).
-------------------------------
Specific to usage of the 'inside' operator in constraints:
In previous discussion I believe it was stated that the constraint solver
only deals with 2-state values (although I can't find this in section 12).
So, are 'z' values allowed in an inside constraint?
IE is
constraint C1 { x inside {3'b1?1'}; }
equivalent to
constraint C2 { (x inside {3'b101}) | (x inside {3'b111}); }
Ray
This archive was generated by hypermail 2b28 : Wed Dec 03 2003 - 19:36:07 PST