Subject: [sv-cc] more assertion issues
From: Francoise Martinolle (fm@cadence.com)
Date: Thu Jan 22 2004 - 08:30:10 PST
30.34 Sequence expression diagram:
how are the constant range expression represented?
a sequence expr can be :
sequence_expr ::=
cycle_delay_range sequence_expr { cycle_delay_range sequence_expr }
........
cycle_delay_range ::=
## constant_expression
| ## [ cycle_delay_const_range_expression ]
cycle_delay_const_range_expression ::=
constant_expression : constant_expression
| constant_expression : $
Also I don't see any representation for :
expression dist { dist_list }
dist_list ::= dist_item { , dist_item }
dist_item ::=
value_range := expression
| value_range :/ expression
However dist_list is represented in the constraint diagram 30.18 as a
constraint_dist.
We probably should reuse the same (and change the name to dist expr).
The diagram 30.19 seems to be using value_range and value_expr and
weight_expr reference classes which are not defined. I think they should be
all expr.
The relationships should be called leftExpr, rightExpr. and weightExpr.
I don't see a way to model a simple value expression (200) such as in the
following dist:
x dist { [100:102] :/ 1, 200 := 2, 300 := 5}
The diagram models well [100:102] :/ 1 but not 200 := 2.
Alternative is to model the dist item as:
dist_item relationship named "vpiValueRange" to unamed class which
constains expr and range classes. dist_item relationship named
"vpiWeightExpr" to class expr.
Francoise
This archive was generated by hypermail 2b28 : Thu Jan 22 2004 - 08:33:58 PST