RE: [sv-ec] Editor's Notes in 3.1a Draft 3 LRM

Subject: RE: [sv-ec] Editor's Notes in 3.1a Draft 3 LRM
From: David W. Smith (david.smith@synopsys.com)
Date: Wed Jan 21 2004 - 18:22:13 PST

• Next message: David W. Smith: "[sv-ec] FW: Draft 4 change verification"
• Previous message: David W. Smith: "[sv-ec] Minutes of 21 January 2004 meeting"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Thanks Arturo. As we discussed in the meeting today these will be
implemented.

Regards

David

-----Original Message-----
From: Arturo Salz [mailto:salz@Synopsys.COM]
Sent: Wednesday, January 21, 2004 5:59 PM
To: David.Smith@Synopsys.COM
Subject: Re: [sv-ec] Editor's Notes in 3.1a Draft 3 LRM

David,

Below is my feedback to the editors note's.

    Arturo

  _____

Section 19.8

    EDITOR'S NOTE: I made several minor editorial changes in the following
paragraphs, which are indicated

    by strike-through text with the replacement text immediately following
the strike-through text.

    All the editor's changes are OK.

Section 12.16

    EDITOR'S NOTE: Having the production name "randsequence" be the same as
the keyword randsequence

    is confusing. Should the production name be "randsequence_statement",
similar to "randcase_statement"?

    I agree with the editor.

    The BNF production name be changed to randsequence_statement

    This change affects sections A.6.4 and A.6.12, and the BNF syntax boxes
8-1 (in section 8.2) and

    12-12 (in section 12.16).

Section 12.16.4

    EDITOR'S NOTE: What is the correct cross reference for above?

    The correct cross reference is to section 12.16.6 (Aborting productions
- break and return).

  _____

----- Original Message -----

From: David <mailto:David.Smith@synopsys.COM> W. Smith

To: sv-ac@eda.org ; sv-bc@eda.org ; sv-cc@eda.org ; sv-ec@eda.org

Sent: Sunday, January 11, 2004 10:45 PM

Subject: [sv-ec] Editor's Notes in 3.1a Draft 3 LRM

Greetings,

There are a number of Editor's Notes that exist in the Draft 3 LRM. The
chair's have discussed that each committee needs to have the creator's of
the issues related to the editor's notes review the notes and respond. In
order to facilitate this I have posted a table of all of the editor's notes,
the LRM issue it is related to, the committee and the individual that is
responsible. The table can be found at:

http://www.eda.org/sv/EditorsNotes.html

If each of the responsible individuals will work with their committee chairs
and send me the appropriate responses for these Editor's notes I would
appreciate it.

I would like to see all of these notes resolved and removed from Draft-4.

The individuals listed are:

            Dave Rich

            David Smith

            Rishiyur Nikhil

            Brad Pierce

            Arturo Salz

            Cliff Cummings

            John Havlicek

            Surrendra Dudani

            Doug Warmke (already have some feedback from him)

            Joao Geada

Thank you for all of your efforts as we are coming to a close with the LRM
work on 3.1a.

Regards

David

David W. Smith

Synopsys Scientist

Synopsys, Inc.

Synopsys Technology Park

2025 NW Cornelius Pass Road

Hillsboro, OR 97124

Voice: 503.547.6467

Main: 503.547.6000

FAX: 503.547.6906

Email: david.smith@synopsys.com

http://www.synopsys.com <http://www.synopsys.com/>

• Next message: David W. Smith: "[sv-ec] FW: Draft 4 change verification"
• Previous message: David W. Smith: "[sv-ec] Minutes of 21 January 2004 meeting"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Wed Jan 21 2004 - 18:30:27 PST