Subject: Re: Thursday's Assertion Committee mtg
From: John Emmitt (johne@verplex.com)
Date: Wed Nov 14 2001 - 10:04:16 PST
All,
Due to the conflicts we have with EDA F2B this week, we will postpone the
mtg scheduled for Thursday (11/15), until next Tuesday 11/20 at 9am pst.
Conf call info is same as usual:
Domestic Dial-In #: 888-621-9536
Intl Dial-In #: 212-364-2900
Room #: *8377539*
Let's plan on a 90 minute call next week. We will schedule another
conference call for the week of Dec 3rd, to conclude our review of the
Assertion Requirements doc and/or start on the implementation phase. i.e.
once we have voted on the Assertion Requirements doc, we will move into the
implementation (syntax) phase of the assertion spec. We should plan on
having 2 mtgs in Dec to work on the implementation details, specifically.
Regards,
John Emmitt
----- Original Message -----
From: Simon Davidmann <simond@co-design.com>
To: Harry Foster <harry@mailhost.verplex.com>; <assertion@eda.org>
Sent: Wednesday, November 14, 2001 10:44 AM
Subject: RE: Thursday's Assertion Committee mtg
> yes my suggestion would be next Tuesday sometime.
> and yes I think we need to do 2 meeting in Dec and plan to have
> requirements fully reviewed and voted on by the end of the year - so we
can
> be ready to start reviewing syntax in the new year.
> Simon
>
> At 07:23 AM 11/14/2001, Harry Foster wrote:
> >That would work for me since I can't attend this weeks meeting. If we
have
> >any hope of making the HDL+ scdhedule of showing an implementation within
> >the January timeframe we need to get moving on this NOW! If the
committee
> >is committeed to this goal then we will need to have more than 1 meeting
a
> >month in December. I believe it is achievable since really the minimum we
> >need is a simple assert construct added to the Verilog language that is
safe
> >in simulation (i.e., no false firings). Anything else is nice but not
> >necessary.
> >
> >Best regards,
> >
> >-Harry
>
This archive was generated by hypermail 2b28 : Wed Nov 14 2001 - 10:09:35 PST