Subject: RE: Call for Final Vote on Assertion Spec (version 1.8)
From: Erich Marschner (erichm@cadence.com)
Date: Fri Apr 05 2002 - 12:29:27 PST
David et al.,
Earlier today I noted that some errors exist in the 'final' document. I just spoke with Tom Fitzpatrick, who is traveling today and is away from his email. Tom explained that there is still time to clean up the document after today, including typos, editing glitches, and extraneous syntax left in the syntax summary in the beginning of the document. Tom asked me to encourage members of this group to go ahead with the ballot as planned, and in the process of voting to note any caveats you may have. Given that, my vote is as follows:
I vote Yes, to approve the document, with the following caveat:
In the syntax summary on page 4, the following changes are needed to reflect the changes that have been made elsewhere in the document:
a. Remove the second alternative (the 'triggers' case) in the production for <formula_expr>.
b. Remove the entire production for <reset>.
c. Remove the references to <reset> in the <clocked_immediate_assert> and <clockec_strobed_assert> productions.
There are additional editorial corrections that could be made, but only the above are significant.
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
| -----Original Message-----
| From: David Lacey [mailto:dlacey@rsn.hp.com]
| Sent: Thursday, April 04, 2002 7:31 PM
| To: Accellera Assertion
| Subject: Call for Final Vote on Assertion Spec (version 1.8)
|
|
|
| The final version of the assertion spec was emailed out
| along with the
| minutes from today's meeting (4/4/02). It is version 1.8.
| We need to
| have a final vote on the document by the end of Friday.
|
| Please respond to the reflector with your vote for or
| against the spec
| as it is in version 1.8. The final tally will be made Friday at 6 PM
| CST.
|
| Thanks.
|
| David
| --
| David J. Lacey
| Email: dlacey@rsn.hp.com
| Phone: 972-497-4114
|
This archive was generated by hypermail 2b28 : Fri Apr 05 2002 - 12:30:34 PST