Subject: RE: [sv-cc] RE: [sv-ec] Issues with Draft 4 LRM
From: Ghassan Khoory (Ghassan.Khoory@synopsys.com)
Date: Wed Apr 09 2003 - 12:26:21 PDT
MessageFor clarification only.
SV-CC members have discussed all issues flagged by David, and asked Joao to
document and send SV-CC response to David by Friday.
Thanks,
/gjk
-----Original Message-----
From: owner-sv-cc@eda.org [mailto:owner-sv-cc@eda.org]On Behalf Of David
W. Smith
Sent: Wednesday, April 09, 2003 3:05 PM
To: 'Francoise Martinolle'; sv-ec@eda.org; sv-ac@eda.org; sv-bc@eda.org;
sv-cc@eda.org
Subject: [sv-cc] RE: [sv-ec] Issues with Draft 4 LRM
Hello Francoise,
Thanks for the response. I have closed LRM-30 and LRM-33.
The SV-CC committee still has LRM numbers:
12 13 28-45 62-73
We have two days left to get responses to all of these issues to me for
the LRM.
Good luck.
Regards
David
-----Original Message-----
From: Francoise Martinolle [mailto:fm@cadence.com]
Sent: Monday, April 07, 2003 10:25 AM
To: David W. Smith; sv-ec@eda.org; sv-ac@eda.org; sv-bc@eda.org;
sv-cc@eda.org
Subject: Re: [sv-ec] Issues with Draft 4 LRM
Some answers to the comments of the DPI section.
Section 26. 4 . 6 .1 Open arrays LRM-30
The name of the arguments are not 132x but l32x. In the font used, the 1
is the same as the l (L letter).
DWS: Resolved
Section 27.2.3: LRM-33
the enumeration constants are allowed to be different for different kind
of object.
One set of enumeration constants is for properties, while the other set
is for callbacks reasons.
DWS: Resolved
Section 28.4.4: LRM-45
I believe that there were some changes in the assertion part of SV which
would have an impact on this section; thus the comment.
DWS: We need a replacement for the comment. What is it?
At 04:06 PM 4/3/2003 -0800, David W. Smith wrote:
Greetings,
I have had a chance to preview the Draft 4 LRM in order to verify the
changes. In the process Stu has raised some issues that I would like to have
addressed. Please be aware that the Section numbers are the Draft 4 numbers
so you will not be able to correlate them until Draft 4 is distributed
(tommorrow????) although I have tried to provide enough contextual
information that you can see where the issue is.
I have included notes from all four committees in this document. I
have not included any notes from Section 17 Assertions since that was not
integrated into the version of Draft 4 I had. There are some issues for AC
though in other sections.
The purpose for this is to try to get some activity started to resolve
these issues even though the draft is not available.
Regards
Davi
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
This archive was generated by hypermail 2b28 : Wed Apr 09 2003 - 12:27:51 PDT