Re: [sv-ec] Conflicting rules in A.2.10 and A.6.5


Subject: Re: [sv-ec] Conflicting rules in A.2.10 and A.6.5
From: Surrendra Dudani (Surrendra.Dudani@synopsys.com)
Date: Fri Sep 05 2003 - 12:53:18 PDT


Right. To consider "," as an event disjunction, you must use parenthesis.
For example in a sequence instantiation below,

seq (a = b, (c, d));

The above will parse two arguments;
1) a
2) (c,d) as an event expression

Surrendra
At 02:24 PM 9/5/2003 +0530, you wrote:
>Hi,
>There is conflict in parsing the following sequence command.
>
> sequence s (a = b, c, d);
> a ##1 d;
> endsequence
>
>At per the following rules
>the b,c,d expression can be interpreted as a single event expression
>or b,c can be interpreted as event expression and d as another
>formal_identifier etc.
>
>The problem is because of same delimiter (,) is used in rule
>
>sequence_formal_list :: =
> ( formal_list_item { , formal_list_item })
>
>and
>
>event_expression :: = event_expression , event_expression
>
>
>Here is set of rules which are creating conflicts
>
>sequence_formal_list :: =
> ( formal_list_item { , formal_list_item })
>
>
>formal_list_item :: = formal_identifier [ = actual_arg_expr ]
>
>actual_arg_expr :: = event_expression
>
>event_expression :: = [ edge_identifier ] expression [ iff expression ]
> | event_expression or event_expression
> | event_expression , event_expression
>
>Can we use different delimiter for this rule
>
>sequence_formal_list :: =
> ( formal_list_item { , formal_list_item })
>
>Thanks
>Kausik
>

**********************************************
Surrendra A. Dudani
Synopsys, Inc.
377 Simarano Drive, Suite 300
Marlboro, MA 01752

Tel: 508-263-8072
Fax: 508-263-8123
email: Surrendra.Dudani@synopsys.com
**********************************************



This archive was generated by hypermail 2b28 : Fri Sep 05 2003 - 12:54:37 PDT