Subject: RE: Minutes of SV-Assertions Meeting - 7/9/02
From: Erich Marschner (erichm@cadence.com)
Date: Fri Jul 12 2002 - 17:55:54 PDT
Simon,
| Erich - I was not aware of that meeting, and have not
| received any minutes of said meeting, please can you
| forward to me the minutes of the formal committee
| meeting where the committee voted to accept Sugar
| 2.0 as is.
Sorry for the delayed reply. The minutes for the May and June meetings of the FVTC were just posted to the FVTC reflector. (I took the minutes in both cases; any issues with the content should be directed to me. I had forwarded them to Harry some time ago for review and posting, but DAC, vacation, and travel had delayed the actual posting.)
The email reflector for the FVTC is archived at http://www.eda.org/vfv/hm. The minutes you seek are near the very end of the archive. The May meeting minutes reflect the fact that we planned to just document the existing language by August, and that the August release would be the "1.0" release. They do not explicitly state that we would submit the 1.0 release to the Board for approval, although that was the intent. (Note that Vassilios and Dennis had specifically requested the creation of an IEEE-form LRM by August for the purpose of this submission.) The June meeting minutes contain a more clear statement that we intend to submit Sugar 2.0 to the Board in September, in its IEEE LRM form, without significant change from the language definition selected in April.
If you have any questions about this, please contact me directly.
Regards,
Erich
-------------------------------------------
Erich Marschner, Cadence Design Systems
Senior Architect, Advanced Verification
Phone: +1 410 750 6995 Email: erichm@cadence.com
Vmail: +1 410 872 4369 Email: erichm@comcast.net
This archive was generated by hypermail 2b28 : Fri Jul 12 2002 - 18:02:42 PDT