Subject: Re: [sv-ac] SV-AC meeting this week
From: Cindy Eisner (EISNER@il.ibm.com)
Date: Wed Mar 12 2003 - 01:32:44 PST
faisal,
>2)Close open issues 15, 16, 17, 19, 20
according to the open issues list steve sent out on march 7, issue 5 is
still open as well, and i don't see an issue 20.
>For item 2) would everyone like to meet thursday or is the prefernce to
>wait until net week 3/20?
somehow i thought the vote was going to be by email, as we did before. in
any case, my preference is to wait until 3/20.
regards,
cindy.
Cindy Eisner
Formal Methods Group Tel: +972-4-8296-266
IBM Haifa Research Laboratory Fax: +972-4-8296-114
Haifa 31905, Israel e-mail:
eisner@il.ibm.com
"Faisal Haque" <fhaque@cisco.com>@eda.org on 12/03/2003 03:40:21
Please respond to <fhaque@cisco.com>
Sent by: owner-sv-ac@eda.org
To: "Sv-Ac@Eda. Org" <sv-ac@eda.org>
cc:
Subject: [sv-ac] SV-AC meeting this week
I wanted to poll people to find out if there is need to meet this week. Or
if we can use the slot for DWG work.
Our schedule is as follows:
New issue freeze 3/7 Done
Rev 0.81 LRM 3/14
All issues closed 3/21
Rev 0.9 LRM 3/24
Vote on SVA LRM 4/30
The pending items for SV-AC are:
1)Accept or reject motions which are pending:
a) Boolean Implication - John H
b) Module extend to replace bind - Adam
2)Close open issues 15, 16, 17, 19, 20
I would like to see seconds/thirds for two motions 1)a and 1)b by today
12:00 pm PST. If there are no seconds or thirds for these two motions then
they will not go on theopen issue list.
For item 2) would everyone like to meet thursday or is the prefernce to
wait until net week 3/20?
This archive was generated by hypermail 2b28 : Wed Mar 12 2003 - 02:15:47 PST