Subject: Re: [sv-ac] Latest LRM for today's meeting
From: John Havlicek (john.havlicek@motorola.com)
Date: Thu Apr 03 2003 - 08:10:09 PST
Hi Surrendra:
Harry is also pointing out that once you drop to the level of
property_expression, you can't get to property_instance. So
I think you need to add property_instance to the rhs of the
property_expression production.
Best regards,
John H.
> X-Sender: dudani@us04.synopsys.com
> Date: Thu, 03 Apr 2003 11:03:34 -0500
> From: Surrendra Dudani<Surrendra.Dudani@synopsys.com>
> Sender: owner-sv-ac@eda.org
> Precedence: bulk
>
> Thanks for pointing out. It's an error. It should be like assert, i.e,
> cover property (property_spec) statement_or_null
>
> Surrendra
> At 09:52 AM 4/3/2003 -0600, you wrote:
> >Hi Surrendra,
> >
> >One thing I noticed about the BNF, is that we can only
> >use a property_instance with the 'cover' directive.
> >The way the BNF is written today (at least the way it
> >appears to me), we couldn't declare a property and
> >then use it as part of an assertion.
> >
> >Best regards,
> >
> >-Harry
> >---------------------------------------------------------
> >Harry Foster Tel 972-423-3186
> >Chief Architect Cell 408-234-7637
> >Verplex Systems, Inc. mailto:harry@verplex.com
> >840 Shenandoah Dr. www.verplex.com
> >Plano, TX 75023 www.verifiableRTL.com
> >
> >
> >-----Original Message-----
> >From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org]On
> >Behalf Of Surrendra Dudani
> >Sent: Thursday, April 03, 2003 12:21 AM
> >To: sv-ac@server.eda.org
> >Subject: [sv-ac] Latest LRM for today's meeting
> >
> >
> >Attached is the LRM and BNF for the assertions chapter. This has been
> >updated according to the ASWG decisions. Please review for today's meeting.
> >Surrendra
> >
> >
> >
> >**********************************************
> >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
> >**********************************************
>
>
>
> **********************************************
> 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 : Thu Apr 03 2003 - 08:11:11 PST