Subject: Re: [sv-ac] Draft 5 review meeting
From: Surrendra Dudani (Surrendra.Dudani@synopsys.com)
Date: Thu Mar 04 2004 - 06:24:03 PST
I'll include that in the list of errata.
Surrendra
At 02:15 PM 3/3/2004 -0600, John Havlicek wrote:
>Hi Adam:
>
> > Annex H "SystemVerilog Concurrent Assertion Semantics"
> >
> > Recommend renaming to "Formal assertion semantics" ?
> > "The word SystemVerilog is not necessary.
> > It also discusses procedural and concurrent semantics.
> > Having the word formal keys the reader to a methematical base.
> > Would have to update the introduction section.
>
>My understanding of the terminology in Section 17 is that the
>assertions are partitioned into "immediate" and "concurrent",
>so I think "concurrent" is accurate. I agree that "SystemVerilog" is
>not necessary. How about
>
> Formal Semantics of Concurrent Assertions
>
>as the annex title?
>
>Best regards,
>
>John H.
>
> > Date: Tue, 02 Mar 2004 18:00:33 -0600
> > From: Adam Krolnik<krolnik@lsil.com>
> > X-Accept-Language: en-us, en
> > X-Scanned-By: MIMEDefang 2.39
> > Sender: owner-sv-ac@eda.org
> > Precedence: bulk
> > X-Scan-Signature: 050553e2e6ae9deb22fe2039576dbfb4
> >
> >
> >
> > Hi;
> >
> >
> > Here's my comments on section by section...
> >
> > 17.7.11 "Implication" should be inserted before 17.12 "Multiple clock
> support"
> > and the property operator text from 17.11 should be moved into it.
> >
> >
> > Annex H "SystemVerilog Concurrent Assertion Semantics"
> >
> > Recommend renaming to "Formal assertion semantics" ?
> > "The word SystemVerilog is not necessary.
> > It also discusses procedural and concurrent semantics.
> > Having the word formal keys the reader to a methematical base.
> > Would have to update the introduction section.
> >
> > Should we add 'assumptions' to the introduction section?
> >
> >
> >
> > Adam Krolnik
> > Verification Mgr.
> > LSI Logic Corp.
> > Plano TX. 75074
> > Co-author "Assertion Based Design"
> >
> >
**********************************************
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 Mar 04 2004 - 06:32:39 PST