Subject: [sv-bc] New LRM Changes
From: David W. Smith (david.smith@synopsys.com)
Date: Thu Oct 02 2003 - 16:08:47 PDT
Greetings,
LRM-31 and LRM-32 from SV-BC have been posted to www.eda.org/sv. These
correspond to Issue No. 58 and Issue No. 37 in SV-BC.
LRM-33 has been posted to www.eda.org/sv. This contains the corrections for
the Formal semantics of SVA.
We are planning on creating a Draft 1 of SV-3.1a the week of October 13th.
All approved LRM issues will be included. The items which are proposed and
not approved are:
LRM-15 (SV-AC)
LRM-16 (SV-BC)
LRM-17 (SV-CC)
LRM-18 (SV-BC)
LRM-25 (SV-BC)
LRM-26 (SV-BC)
LRM-31 (SV-BC)
LRM-32 (SV-BC)
LRM-33 (SV-AC)
These were all voted on in committee before being sent to be posted.
Reviewing for approval should be just to confirm that the material placed on
the web site is consistent with what the committee voted on (implying that
the full committee does not necessarily have to vote on it). In a couple of
instances changes were made to be consistent with the 3.1 LRM and these do
have to be voted on within committee. The committee chairs will handle this
as required.
Regards
David
This archive was generated by hypermail 2b28 : Thu Oct 02 2003 - 16:16:33 PDT