[sv-ac] FW: BOUNCE sv-ac@eda.org: Non-member submission from [Kausik Datta <kausikd@cal.interrasystems.com>]

Subject: [sv-ac] FW: BOUNCE sv-ac@eda.org: Non-member submission from [Kausik Datta ]
From: Faisal Haque (fhaque@cisco.com)
Date: Thu Nov 06 2003 - 15:54:21 PST

Forwarding for Kausik

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org]
Sent: Thursday, November 06, 2003 4:19 AM
To: owner-sv-ac@eda.org
Subject: BOUNCE sv-ac@eda.org: Non-member submission from [Kausik Datta
<kausikd@cal.interrasystems.com>]

>From owner-sv-ac Thu Nov 6 04:18:47 2003
Received: from cal.interrasystems.com ([203.200.181.200])
        by server.eda.org (8.12.0.Beta7/8.12.0.Beta7) with ESMTP id
hA6CIf1b011337
        for <sv-ac@eda.org>; Thu, 6 Nov 2003 04:18:45 -0800 (PST)
Received: from cal.interrasystems.com (lily [192.192.164.72])
        by cal.interrasystems.com (8.9.3+Sun/8.9.1) with ESMTP id
RAA09990;
        Thu, 6 Nov 2003 17:48:39 +0530 (IST)
Message-ID: <3FAA3C1D.9070407@cal.interrasystems.com>
Date: Thu, 06 Nov 2003 17:48:37 +0530
From: Kausik Datta <kausikd@cal.interrasystems.com>
Reply-To: kausikd@cal.interrasystems.com
Organization: Interra Systems India Pvt. Ltd.
User-Agent: Mozilla/5.0 (X11; U; SunOS sun4u; en-US; rv:1.0.1)
Gecko/20020920 Netscape/7.0
X-Accept-Language: en-us, en
MIME-Version: 1.0
To: sv-ac@server.eda.org
Subject: Another conflict in assertion rules
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit

Hi,

Here is another conflict in assertion rule.

Thanks
Kausik

consider the following rules in Assertion

property_spec :: = clocking_event '(' expression ')' [not] property_expr
                   | multi_clock_property_expr
                   | ...

multi_clock_property_expr ::= multi_clock_sequence
                              | ....

multi_clock_sequence :: = clocked_sequence { ## clocked_sequence }

clocked_sequence ::= clocking_event sequence_expr

Now, sequence_expr can contain expression.

sequence_expr ::= '(' sequence_expr ')'
                  | expression
                  | ....

So, there is a shift/reduce conflict, whether to reduce by using rule
multi_clock_property_expr or to shift to accept the 1st rule in
property_spec.

This archive was generated by hypermail 2b28 : Thu Nov 06 2003 - 15:57:48 PST