Subject: Accellera FV May 3-rd Meeting -- Access Information
From: Harry Foster (foster@rsn.hp.com)
Date: Tue Apr 17 2001 - 06:39:46 PDT
May 3rd Accellera Formal Verification Committee
monthly meeting access information:
Date of Meeting: Thursday MAY 3, 2001
Time of Meeting: 9:00 AM (Pacific Time)
Meeting ID: 9999
Meeting Name: Accellera / FV
Meeting Telephone Number: 404-774-4117
Agenda:
Last month Yaron Kashai presented the
Temporal-e language. If the committee
has additional questions concerning
Temporal-e, I suggest that you send email
to the entire group mailto:vfv@eda.org
and let Yaron answer your questions.
During the May meeting Cindy Eisner (or
someone else from IBM) will present the
Sugar language. If anyone didn't receive a
copy of the "Guide to Sugar Formal
Specification Language" and the "The
Syntax and Semantics of Sugar" documents,
please contact me.
After the Sugar presentation I would like
the group to hold a discussion comparing
and contrasting Sugar and Temporal-e.
(We will hold the same discussion after
the Motorola presentation in June).
Finally, the group will discuss additional
details concerning the proposed working
meetings (CAV'01 and possibly DAC'01).
Best regards,
-Harry Foster (972) 497-4292 foster@rsn.hp.com
This archive was generated by hypermail 2b28 : Tue Apr 17 2001 - 06:41:51 PDT