Subject: [sv-bc] Issues with Draft 4 LRM
From: David W. Smith (david.smith@synopsys.com)
Date: Thu Apr 03 2003 - 16:06:44 PST
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 : Thu Apr 03 2003 - 16:11:24 PST