Subject: [sv-bc] Re: [sv-ec] Issues with Draft 4 LRM
From: Francoise Martinolle (fm@cadence.com)
Date: Mon Apr 07 2003 - 10:25:07 PDT
Some answers to the comments of the DPI section.
Section 26.6.4.1 Open arrays
The name of the arguments are not 132x but l32x. In the font used, the 1 is
the same as the l (L letter).
Section 27.2.3:
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.
Section 28.4.4:
I believe that there were some changes in the assertion part of SV which
would have an impact on this section; thus the comment.
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: <mailto:david.smith@synopsys.com>david.smith@synopsys.com
>http://www.synopsys.com
>
This archive was generated by hypermail 2b28 : Mon Apr 07 2003 - 10:26:31 PDT