Subject: [sv-bc] RE: [sv-ec] Issues with Draft 4 LRM
From: David W. Smith (david.smith@synopsys.com)
Date: Wed Apr 09 2003 - 12:04:39 PDT
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 <http://www.synopsys.com/>
This archive was generated by hypermail 2b28 : Wed Apr 09 2003 - 12:03:34 PDT