/bbs/pub/vfv: By Thread

test Vivek Sagdeo (Mon Oct 19 1998 - 09:51:27 PDT)
wanting to be in the reflector/involvement in the working group Jenjen Tiao (Tue Aug 24 1999 - 09:13:27 PDT)
Accellera FV March 6-th Meeting -- Access Information Harry Foster (Thu Feb 22 2001 - 13:34:23 PST)
Accellera Formal Verification Technical Committee Mail Reflector Harry Foster (Tue Dec 05 2000 - 15:27:23 PST)
Accellera FV -- October 2000 Meeting Minutes (Working Group Rules) Harry Foster (Wed Dec 06 2000 - 07:04:54 PST)
- Accellera FV -- December 2000 Meeting Minutes Harry Foster (Thu Dec 14 2000 - 14:25:36 PST)
Accellera Formal Verification -- November 2000 Meeting Minutes Harry Foster (Wed Dec 06 2000 - 07:05:32 PST)
- Re: Accellera Formal Verification -- November 2000 Meeting Minutes Matthew Morley (Tue Jan 09 2001 - 09:12:02 PST)
Accellera FV -- WebPage and Requirements Document Harry Foster (Mon Dec 11 2000 - 14:13:40 PST)
Accellera -- December meeting attendance correction Harry Foster (Thu Dec 14 2000 - 16:49:26 PST)
Fwd: Accellera FV -- December 2000 Meeting Minutes (Danny Geist) Harry Foster (Tue Dec 19 2000 - 05:28:30 PST)
Accellera FV January 9-th Meeting -- Access Information Harry Foster (Wed Jan 03 2001 - 11:02:45 PST)
new participant Michael Siegel ZT SE 4 (Tue Jan 09 2001 - 11:37:47 PST)
Accellera FV -- January 2001 Meeting Minutes (Committee Productivity Discussion) Harry Foster (Fri Jan 12 2001 - 08:43:12 PST)
Accellera FV -- Reminder: Ed's Property Example Database Harry Foster (Sat Jan 13 2001 - 06:37:59 PST)
Accellera FV February 7-th Meeting -- Access Information Harry Foster (Tue Jan 30 2001 - 09:32:12 PST)
FW: temporal properties Harry Foster (Wed Jan 31 2001 - 12:49:37 PST)
Accellera FV Meeting Harry Foster (Wed Feb 07 2001 - 08:10:45 PST)
Accellera FV -- A Specification Pattern System Harry Foster (Wed Feb 07 2001 - 19:12:23 PST)
- mu calculus Matthew Morley (Wed Feb 07 2001 - 20:59:03 PST)
Integration of Simulation & Formal Verification wolfstal@il.ibm.com (Tue Feb 13 2001 - 10:35:38 PST)
Accellera FV -- February 2001 Meeting Minutes Harry Foster (Mon Mar 05 2001 - 06:42:56 PST)
Schedule Change for next OVI meeting Harry Foster (Wed Mar 07 2001 - 06:57:27 PST)
Accellera FV March 6th Meeting Minutes Harry Foster (Wed Mar 07 2001 - 12:10:20 PST)
Accellera FV April 5-th Meeting -- Access Information Harry Foster (Thu Mar 08 2001 - 09:13:53 PST)
Accellera FV Committee -- Questions Concerning July 2-day meeting Harry Foster (Tue Mar 13 2001 - 13:02:46 PST)
Accellera -- April 5-th meeting reminder and access info Harry Foster (Thu Mar 29 2001 - 05:26:52 PST)
Accellera FV - Motion to permit Intel to donate their ForSpec language Harry Foster (Thu Mar 29 2001 - 06:15:30 PST)
Accellera FV face-to-face working meeting Harry Foster (Thu Mar 29 2001 - 06:20:00 PST)
Re: Accellera FV - Permitting New Language Contributions wolfstal@il.ibm.com (Fri Mar 30 2001 - 03:24:37 PST)
Re: Accellera FV - Motion to permit Intel to donate their ForSpec language wolfstal@il.ibm.com (Fri Mar 30 2001 - 03:22:36 PST)
- RE: Accellera FV - Motion to permit Intel to donate their ForSpec language Harry Foster (Fri Mar 30 2001 - 05:15:27 PST)
Accellera FV May 3-rd Meeting -- Access Information Harry Foster (Tue Apr 17 2001 - 06:39:46 PDT)
the importance of events in temporal 'e' Bernard Deadman (Tue Apr 24 2001 - 12:24:26 PDT)
- Re: the importance of events in temporal 'e' Yaron Kashai (Tue Apr 24 2001 - 15:14:13 PDT)
  - Synchronous properties in temporal 'e' Bernard Deadman (Wed May 02 2001 - 13:06:07 PDT)
    - Re: Synchronous properties in temporal 'e' Yaron Kashai (Thu May 03 2001 - 08:46:26 PDT)
    - Overlapping sequences in temporal 'e' Bernard Deadman (Thu May 03 2001 - 13:38:21 PDT)
    - Re: Overlapping sequences in temporal 'e' Yaron Kashai (Mon May 07 2001 - 08:59:58 PDT)
FW: property examples for the database Harry Foster (Wed May 02 2001 - 07:57:47 PDT)
Accellera FV April 5th Meeting Minutes Harry Foster (Wed May 02 2001 - 11:03:03 PDT)
Reminder: Accellera FV May 3-rd Meeting -- Access Information Harry Foster (Wed May 02 2001 - 12:35:18 PDT)
Accellera FV June 7-th Meeting -- Access Information Harry Foster (Thu May 03 2001 - 15:38:19 PDT)
Accellera Formal Language Requirements Sub-committee--Call for participation Harry Foster (Sun May 06 2001 - 06:50:43 PDT)
Property examples in Sugar Bernard Deadman (Mon May 07 2001 - 11:11:46 PDT)
Accellera FV CAV Meeting Space in Paris Harry Foster (Mon May 07 2001 - 12:46:12 PDT)
- Re: Accellera FV CAV Meeting Space in Paris Moshe Vardi (Mon May 07 2001 - 15:53:04 PDT)
  - Accellera FV DAC Meeting Survey Harry Foster (Mon May 07 2001 - 17:13:48 PDT)
    - Re: Accellera FV DAC Meeting Survey wolfstal@il.ibm.com (Tue May 08 2001 - 10:34:17 PDT)
- RE: Accellera FV CAV Meeting Space in Paris Landver, Avner (Wed May 09 2001 - 22:48:49 PDT)
Date correction! -- Accellera FV DAC Meeting Survey Harry Foster (Mon May 07 2001 - 18:34:20 PDT)
pending sugar issues eisner@il.ibm.com (Wed May 09 2001 - 05:32:44 PDT)
We have a room at Intel-Paris on 17 July for our Accellera FV meeting Harry Foster (Wed May 09 2001 - 06:07:37 PDT)
Re: CBV Language Reference Manual Bernard Deadman (Wed May 09 2001 - 09:20:50 PDT)
- Re: CBV Language Reference Manual Hillel Miller (Wed May 09 2001 - 23:53:20 PDT)
properties in sugar eisner@il.ibm.com (Wed May 23 2001 - 05:18:02 PDT)
Accellera FV DAC Meeting Update Harry Foster (Wed May 23 2001 - 13:10:45 PDT)
- RE: Accellera FV DAC Meeting Update Harry Foster (Wed May 23 2001 - 13:23:39 PDT)
Reminder: Accellera FV June 7-th Meeting -- Access Information Harry Foster (Tue Jun 05 2001 - 11:36:23 PDT)
Accellera FV June 28-th Meeting -- Access Information Harry Foster (Fri Jun 08 2001 - 07:44:06 PDT)
Accellera FV June 28-th Meeting -- Access Information Harry Foster (Mon Jun 25 2001 - 06:07:30 PDT)
FW: Safety vs Liveness Harry Foster (Tue Jun 26 2001 - 07:22:37 PDT)
- Re: FW: Safety vs Liveness Moshe Vardi (Wed Jun 27 2001 - 08:27:56 PDT)
Fw: Accellera FV Sub-committee Requirements Document Harry D Foster (Wed Jun 27 2001 - 17:33:46 PDT)
- Re: Fw: Accellera FV Sub-committee Requirements Document Yaron Kashai (Tue Aug 07 2001 - 14:56:22 PDT)
Accellera FV June 28 Meeting Summary Harry Foster (Tue Jul 03 2001 - 08:48:01 PDT)
Accellera FV list of documents Harry Foster (Thu Jul 05 2001 - 08:21:36 PDT)
- Re: Accellera FV list of documents Axel S Scherer (Thu Jul 12 2001 - 13:08:10 PDT)
RE: Branching Time Harry Foster (Fri Jul 06 2001 - 12:07:44 PDT)
- RE: Branching Time Harry Foster (Fri Jul 06 2001 - 12:19:07 PDT)
RE: Sugar - Complexity Question Armoni, Roy (Sat Jul 07 2001 - 11:40:59 PDT)
- Re: Sugar - Complexity Question Hillel Miller (Sun Jul 08 2001 - 08:45:38 PDT)
Re: Branching Time eisner@il.ibm.com (Sun Jul 08 2001 - 07:20:43 PDT)
Re: Sugar - Complexity Question eisner@il.ibm.com (Sun Jul 08 2001 - 07:22:49 PDT)
- Re: Sugar - Complexity Question Moshe Vardi (Mon Jul 09 2001 - 07:50:48 PDT)
Accellera FV updated list of documents Harry Foster (Mon Jul 09 2001 - 05:44:05 PDT)
Accellera -- Requirements List Review Harry Foster (Mon Jul 09 2001 - 06:11:16 PDT)
Re: Temporal e Matthew Morley (Mon Jul 09 2001 - 20:22:56 PDT)
- Re: Temporal e Moshe Vardi (Tue Jul 10 2001 - 00:02:16 PDT)
  - A Complexity Question (was RE: Temporal e) Sandeep K. Shukla (Sat Jul 14 2001 - 02:04:18 PDT)
    - Re: A Complexity Question (was RE: Temporal e) Moshe Vardi (Wed Jul 11 2001 - 00:03:28 PDT)
    - RE: A Complexity Question (was RE: Temporal e) Sandeep K. Shukla (Sun Jul 15 2001 - 00:11:55 PDT)
    - RE: A Complexity Question (was RE: Temporal e) Moshe Vardi (Wed Jul 11 2001 - 00:21:27 PDT)
  - Re: Temporal e David Van Campenhout (Tue Jul 10 2001 - 08:13:56 PDT)
    - Re: Temporal e Bernard Deadman (Tue Jul 10 2001 - 11:37:48 PDT)
    - Re: Temporal e David Van Campenhout (Tue Jul 10 2001 - 15:45:44 PDT)
  - Re: Temporal e Matthew Morley (Tue Jul 10 2001 - 16:47:04 PDT)
- Re: Temporal e David Van Campenhout (Tue Jul 10 2001 - 09:37:49 PDT)
- Re: Temporal e Moshe Vardi (Wed Jul 11 2001 - 00:10:30 PDT)
  - Re: Temporal e Matthew Morley (Wed Jul 11 2001 - 11:26:41 PDT)
- Re: Temporal e Moshe Vardi (Wed Jul 11 2001 - 03:03:38 PDT)
  - Re: Temporal e David Van Campenhout (Wed Jul 11 2001 - 07:59:13 PDT)
- Re: Temporal e David Van Campenhout (Wed Jul 11 2001 - 07:46:22 PDT)
- Re: Temporal e Moshe Vardi (Thu Jul 12 2001 - 05:58:07 PDT)
- Re: Temporal e Moshe Vardi (Thu Jul 12 2001 - 07:24:24 PDT)
Re: Accellera: Branching vs. Linear Time Matthew Morley (Mon Jul 09 2001 - 21:09:43 PDT)
- Re: Accellera: Branching vs. Linear Time Moshe Vardi (Mon Jul 09 2001 - 23:48:11 PDT)
  - RE: Accellera: Branching vs. Linear Time Sandeep K. Shukla (Sat Jul 14 2001 - 00:54:52 PDT)
    - Re: Accellera: Branching vs. Linear Time Matthew Morley (Tue Jul 10 2001 - 15:48:19 PDT)
    - RE: Accellera: Branching vs. Linear Time Sandeep K. Shukla (Sat Jul 14 2001 - 16:27:59 PDT)
    - RE: Accellera: Branching vs. Linear Time Erich Marschner (Tue Jul 10 2001 - 17:22:47 PDT)
- Re: Accellera: Branching vs. Linear Time Moshe Vardi (Wed Jul 11 2001 - 00:33:56 PDT)
  - RE: Accellera: Branching vs. Linear Time Sandeep K. Shukla (Sun Jul 15 2001 - 00:59:00 PDT)
Assume-guarantee support Armoni, Roy (Mon Jul 09 2001 - 21:43:11 PDT)
- Re: Assume-guarantee support hillel miller (Mon Jul 16 2001 - 10:41:45 PDT)
- RE: Assume-guarantee support Armoni, Roy (Mon Jul 16 2001 - 12:38:21 PDT)
  - Re: Assume-guarantee support hillel miller (Mon Jul 16 2001 - 14:30:39 PDT)
Paris Meeting Language Discussion Harry Foster (Tue Jul 10 2001 - 12:00:16 PDT)
Reference Implementation ?? wolfstal@il.ibm.com (Wed Jul 11 2001 - 11:50:59 PDT)
- Re: Reference Implementation ?? Matthew Morley (Wed Jul 11 2001 - 18:20:47 PDT)
  - RE: Reference Implementation ?? Sandeep K. Shukla (Wed Jul 11 2001 - 18:34:31 PDT)
No PhDs wolfstal@il.ibm.com (Wed Jul 11 2001 - 11:41:32 PDT)
the problem with/phenomenon of assume/guarantee eisner@il.ibm.com (Wed Jul 11 2001 - 23:49:08 PDT)
- Re: the problem with/phenomenon of assume/guarantee Moshe Vardi (Wed Jul 11 2001 - 23:47:16 PDT)
- RE: the problem with/phenomenon of assume/guarantee Sandeep K. Shukla (Thu Jul 12 2001 - 00:32:27 PDT)
  - RE: the problem with/phenomenon of assume/guarantee Sandeep K. Shukla (Thu Jul 12 2001 - 00:53:18 PDT)
- Re: the problem with/phenomenon of assume/guarantee Moshe Vardi (Thu Jul 12 2001 - 02:09:54 PDT)
- RE: the problem with/phenomenon of assume/guarantee Cindy Eisner (Thu Jul 12 2001 - 02:19:33 PDT)
- RE: the problem with/phenomenon of assume/guarantee Vassilios.Gerousis@infineon.com (Thu Jul 12 2001 - 08:36:58 PDT)
- RE: the problem with/phenomenon of assume/guarantee Sandeep K. Shukla (Thu Jul 12 2001 - 19:26:25 PDT)
FTL fully supports that assume/guarantee paradigm Armoni, Roy (Thu Jul 12 2001 - 06:35:54 PDT)
- Re: FTL fully supports that assume/guarantee paradigm Cindy Eisner (Thu Jul 12 2001 - 07:42:11 PDT)
- Re: FTL fully supports that assume/guarantee paradigm Moshe Vardi (Thu Jul 12 2001 - 08:14:26 PDT)
- Re: FTL fully supports that assume/guarantee paradigm Cindy Eisner (Sun Jul 15 2001 - 02:02:30 PDT)
- RE: FTL fully supports that assume/guarantee paradigm Armoni, Roy (Mon Jul 16 2001 - 12:38:12 PDT)
  - Re: FTL fully supports that assume/guarantee paradigm John Emmitt (Mon Jul 16 2001 - 14:45:52 PDT)
    - RE: FTL fully supports that assume/guarantee paradigm Sandeep K. Shukla (Mon Jul 16 2001 - 18:44:13 PDT)
- RE: FTL fully supports that assume/guarantee paradigm Armoni, Roy (Mon Jul 16 2001 - 20:08:26 PDT)
  - RE: FTL fully supports that assume/guarantee paradigm Sandeep K. Shukla (Mon Jul 16 2001 - 22:23:17 PDT)
RE: Summary Of Donated And NOT donated Materials To Accellera Sandeep K. Shukla (Fri Jul 13 2001 - 01:28:41 PDT)
- RE: Summary Of Donated And NOT donated Materials To Accellera Vassilios.Gerousis@infineon.com (Fri Jul 13 2001 - 02:21:49 PDT)
  - RE: Summary Of Donated And NOT donated Materials To Accellera Sandeep K. Shukla (Fri Jul 13 2001 - 02:23:52 PDT)
How temporal-e supports the assume/guarantee paradigm Armoni, Roy (Mon Jul 16 2001 - 12:38:15 PDT)
How Sugar supports the assume/guarantee paradigm Armoni, Roy (Mon Jul 16 2001 - 12:38:14 PDT)
- Re: How Sugar supports the assume/guarantee paradigm Cindy Eisner (Mon Jul 30 2001 - 06:13:32 PDT)
- Re: How Sugar supports the assume/guarantee paradigm Moshe Vardi (Mon Jul 30 2001 - 06:33:27 PDT)
- Re: How Sugar supports the assume/guarantee paradigm Cindy_Eisner/Haifa/IBM%IBMIL (Mon Jul 30 2001 - 07:24:12 PDT)
- RE: How Sugar supports the assume/guarantee paradigm Armoni, Roy (Mon Jul 30 2001 - 09:49:38 PDT)
- RE: How Sugar supports the assume/guarantee paradigm Armoni, Roy (Mon Jul 30 2001 - 09:49:38 PDT)
RE: Sugar with clocks Armoni, Roy (Thu Jul 19 2001 - 09:42:08 PDT)
Accellera FV August 2-nd Meeting -- Access Information Harry Foster (Fri Jul 20 2001 - 11:58:39 PDT)
- RE: Accellera FV August 2-nd Meeting -- Access Information Sandeep K. Shukla (Fri Jul 20 2001 - 15:00:20 PDT)
  - Re: Accellera FV August 2-nd Meeting -- Access Information Harry D Foster (Fri Jul 20 2001 - 14:56:47 PDT)
ForSpec Features - from July 17 meeting Moshe Vardi (Mon Jul 30 2001 - 06:17:03 PDT)
FW: Sugar with clocks Armoni, Roy (Mon Jul 30 2001 - 11:56:56 PDT)
Accellera FV Paris Meeting Minutes Harry Foster (Mon Jul 30 2001 - 15:37:30 PDT)
- My votes Ed Clarke (Mon Aug 06 2001 - 05:06:29 PDT)
Vacations & Clocks Yaron Wolfsthal (Tue Jul 31 2001 - 00:59:51 PDT)
- Re: Vacations & Clocks Dana Fisman (Wed Aug 01 2001 - 10:17:43 PDT)
Status on EDL From IBM Vassilios.Gerousis@infineon.com (Tue Jul 31 2001 - 01:00:48 PDT)
- Re: Status on EDL From IBM Moshe Vardi (Tue Jul 31 2001 - 03:20:56 PDT)
  - RE: Status on EDL From IBM Harry Foster (Tue Jul 31 2001 - 07:03:36 PDT)
- RE: Status on EDL From IBM Fix, Limor (Thu Aug 02 2001 - 05:52:44 PDT)
Accellera FV August 2-nd Meeting Harry Foster (Tue Jul 31 2001 - 15:29:23 PDT)
- Re: Accellera FV August 2-nd Meeting Matthew J Morley (Wed Aug 01 2001 - 07:57:03 PDT)
  - RE: Accellera FV August 2-nd Meeting Harry Foster (Wed Aug 01 2001 - 09:25:43 PDT)
    - RE: Accellera FV August 2-nd Meeting Sandeep K. Shukla (Wed Aug 01 2001 - 11:35:01 PDT)
- Re: Accellera FV August 2-nd Meeting Moshe Vardi (Wed Aug 01 2001 - 08:29:50 PDT)
- Re: Accellera FV August 2-nd Meeting Yaron Wolfsthal (Wed Aug 01 2001 - 09:06:03 PDT)
- RE: Accellera FV August 2-nd Meeting Yaron Wolfsthal (Wed Aug 01 2001 - 11:59:48 PDT)
  - RE: Accellera FV August 2-nd Meeting Sandeep K. Shukla (Wed Aug 01 2001 - 12:50:33 PDT)
- Re: Accellera FV August 2-nd Meeting Moshe Vardi (Thu Aug 02 2001 - 00:44:13 PDT)
Similarity between ForSpec & E Bernard Deadman (Tue Jul 31 2001 - 17:00:36 PDT)
- Re: Similarity between ForSpec & E Moshe Vardi (Wed Aug 01 2001 - 01:44:20 PDT)
- Re: Similarity between ForSpec & E Moshe Vardi (Wed Aug 01 2001 - 02:05:21 PDT)
  - Re: Similarity between ForSpec & E Bernard Deadman (Wed Aug 01 2001 - 16:18:03 PDT)
- RE: Similarity between ForSpec & E Armoni, Roy (Wed Aug 01 2001 - 05:40:32 PDT)
  - RE: Similarity between ForSpec & E & Sugar Dana Fisman (Wed Aug 01 2001 - 12:44:50 PDT)
    - RE: Similarity between ForSpec & E & Sugar Sandeep K. Shukla (Wed Aug 01 2001 - 13:01:01 PDT)
    - RE: Similarity between ForSpec & E & Sugar Armoni, Roy (Thu Aug 02 2001 - 01:25:32 PDT)
    - RE: Similarity between ForSpec & E & Sugar Dana Fisman (Thu Aug 02 2001 - 13:56:55 PDT)
    - RE: Similarity between ForSpec & E & Sugar Moshe Vardi (Thu Aug 02 2001 - 08:09:28 PDT)
    - RE: Similarity between ForSpec & E & Sugar Dana Fisman (Thu Aug 02 2001 - 14:02:49 PDT)
    - RE: Similarity between ForSpec & E & Sugar Moshe Vardi (Thu Aug 02 2001 - 08:29:00 PDT)
    - RE: Similarity between ForSpec & E & Sugar E. Allen Emerson (Thu Aug 02 2001 - 09:51:34 PDT)
    - RE: Similarity between ForSpec & E & Sugar Moshe Vardi (Thu Aug 02 2001 - 10:46:16 PDT)
    - RE: Similarity between ForSpec & E & Sugar E. Allen Emerson (Thu Aug 02 2001 - 13:11:36 PDT)
    - RE: Similarity between ForSpec & E & Sugar Moshe Vardi (Fri Aug 03 2001 - 02:32:15 PDT)
    - RE: Similarity between ForSpec & E & Sugar Moshe Vardi (Fri Aug 03 2001 - 03:03:24 PDT)
- RE: Similarity between ForSpec & E Armoni, Roy (Thu Aug 02 2001 - 01:57:00 PDT)
- Re: Similarity between ForSpec & E Moshe Vardi (Thu Aug 02 2001 - 08:51:31 PDT)
  - Re: Similarity between ForSpec & E Bernard Deadman (Thu Aug 02 2001 - 11:01:37 PDT)
- Re: Similarity between ForSpec & E Moshe Vardi (Fri Aug 03 2001 - 01:50:30 PDT)
path quantifiers are important E. Allen Emerson (Tue Jul 31 2001 - 17:17:55 PDT)
- RE: path quantifiers are important Sandeep K. Shukla (Tue Jul 31 2001 - 17:46:05 PDT)
- RE: path quantifiers are important Danny Geist (Wed Aug 01 2001 - 04:28:04 PDT)
  - RE: path quantifiers are important Sandeep K. Shukla (Wed Aug 01 2001 - 12:57:24 PDT)
- RE: path quantifiers are important Danny_Geist/Haifa/IBM%IBMIL (Wed Aug 01 2001 - 13:58:12 PDT)
  - RE: path quantifiers are important Sandeep K. Shukla (Wed Aug 01 2001 - 14:27:38 PDT)
"Final Showdown" E. Allen Emerson (Tue Jul 31 2001 - 17:34:35 PDT)
- Re: "Final Showdown" Moshe Vardi (Wed Aug 01 2001 - 01:14:30 PDT)
- Re: "Final Showdown" E. Allen Emerson (Wed Aug 01 2001 - 14:05:13 PDT)
EDL Description Vassilios.Gerousis@infineon.com (Tue Jul 31 2001 - 21:10:09 PDT)
Assume/Guarantee completeness - Not Important as Advertised Danny Geist (Wed Aug 01 2001 - 12:41:58 PDT)
path quantifiers A, E should be explicit E. Allen Emerson (Wed Aug 01 2001 - 13:56:29 PDT)
- RE: path quantifiers A, E should be explicit Sandeep K. Shukla (Wed Aug 01 2001 - 14:20:28 PDT)
- RE: path quantifiers A, E should be explicit Danny_Geist/Haifa/IBM%IBMIL (Wed Aug 01 2001 - 14:57:39 PDT)
- RE: path quantifiers A, E should be explicit Moshe Vardi (Thu Aug 02 2001 - 08:31:50 PDT)
- RE: path quantifiers A, E should be explicit E. Allen Emerson (Thu Aug 02 2001 - 09:03:16 PDT)
- RE: path quantifiers A, E should be explicit Moshe Vardi (Thu Aug 02 2001 - 10:38:47 PDT)
- RE: path quantifiers A, E should be explicit E. Allen Emerson (Thu Aug 02 2001 - 11:08:04 PDT)
- RE: path quantifiers A, E should be explicit Moshe Vardi (Fri Aug 03 2001 - 01:42:26 PDT)
  - RE: path quantifiers A, E should be explicit Sandeep K. Shukla (Fri Aug 03 2001 - 01:52:13 PDT)
- RE: path quantifiers A, E should be explicit Moshe Vardi (Fri Aug 03 2001 - 01:59:58 PDT)
  - RE: path quantifiers A, E should be explicit Sandeep K. Shukla (Fri Aug 03 2001 - 02:14:24 PDT)
- RE: path quantifiers A, E should be explicit Moshe Vardi (Fri Aug 03 2001 - 02:30:56 PDT)
  - RE: path quantifiers A, E should be explicit Sandeep K. Shukla (Fri Aug 03 2001 - 02:34:38 PDT)
- RE: path quantifiers A, E should be explicit Moshe Vardi (Fri Aug 03 2001 - 02:51:44 PDT)
  - RE: path quantifiers A, E should be explicit Sandeep K. Shukla (Fri Aug 03 2001 - 03:03:40 PDT)
- RE: path quantifiers A, E should be explicit Moshe Vardi (Fri Aug 03 2001 - 03:16:20 PDT)
vfv@eda.org vs owner-vfv@eda.org Harry Foster (Wed Aug 01 2001 - 14:11:36 PDT)
combo and CTL* E. Allen Emerson (Wed Aug 01 2001 - 17:54:26 PDT)
- RE: combo and CTL* Sandeep K. Shukla (Thu Aug 02 2001 - 01:57:31 PDT)
- RE: combo and CTL* Moshe Vardi (Thu Aug 02 2001 - 08:13:42 PDT)
Assume/Guarantee completeness - More Important than Advertised Armoni, Roy (Thu Aug 02 2001 - 00:47:10 PDT)
- Re: Assume/Guarantee completeness - More Important than Advertised Danny_Geist/Haifa/IBM%IBMIL (Fri Aug 03 2001 - 04:02:15 PDT)
  - RE: Assume/Guarantee completeness - More Important than Advertised Sandeep K. Shukla (Fri Aug 03 2001 - 14:08:35 PDT)
Re: "Final Showdown" ?! Yaron Wolfsthal (Thu Aug 02 2001 - 08:26:45 PDT)
- Re: "Final Showdown" ?! Moshe Vardi (Thu Aug 02 2001 - 08:40:27 PDT)
Re: Accellera FV August 2-nd Meeting - Resending Moshe Vardi (Thu Aug 02 2001 - 08:24:27 PDT)
- Re: Accellera FV August 2-nd Meeting - Resending Moshe Vardi (Thu Aug 02 2001 - 11:00:49 PDT)
- Re: Accellera FV August 2-nd Meeting - Resending E. Allen Emerson (Thu Aug 02 2001 - 13:38:50 PDT)
- Re: Accellera FV August 2-nd Meeting - Resending Moshe Vardi (Fri Aug 03 2001 - 03:01:45 PDT)
Let's Protect the End-Users Yaron Wolfsthal (Thu Aug 02 2001 - 11:22:44 PDT)
Sugar Parser Yaron Wolfsthal (Thu Aug 02 2001 - 12:40:30 PDT)
Re: Assume/Guarantee completeness - Less Important than Advertised Yaron Wolfsthal (Thu Aug 02 2001 - 14:01:16 PDT)
Accellera FV: Motion 1 -- Confirm Language Selection Process agreed upon in Paris Harry Foster (Thu Aug 02 2001 - 14:14:00 PDT)
- RE: Accellera FV: Motion 1 -- Confirm Language Selection Process agreed upon in Paris Sandeep K. Shukla (Fri Aug 03 2001 - 00:37:30 PDT)
- Re: Accellera FV: Motion 1 -- Confirm Language Selection Process agreed upon in Paris Moshe Vardi (Fri Aug 03 2001 - 03:37:27 PDT)
- Re: Accellera FV: Motion 1 -- Confirm Language Selection Process agreed upon in Paris Peter Flake (Fri Aug 03 2001 - 07:21:25 PDT)
- Re: Accellera FV: Motion 1 -- Confirm Language Selection Process agreed upon in Paris--vote Bassam Tabbara (Fri Aug 03 2001 - 10:32:23 PDT)
- RE: Accellera FV: Motion 1 -- Confirm Language Selection Process agreed upon in Paris KC Chen (Fri Aug 03 2001 - 14:20:53 PDT)
- Re: Accellera FV: Motion 1 -- Confirm Language Selection Process agreed upon in Paris Erich Marschner (Sun Aug 05 2001 - 19:36:16 PDT)
- Re: Accellera FV: Motion 1 -- Confirm Language Selection Process agreed upon in Paris Bernard Deadman (Mon Aug 06 2001 - 15:20:40 PDT)
ccellera FV: Motion 2 -- Requirements adoption and prioritization Harry Foster (Thu Aug 02 2001 - 16:34:56 PDT)
- RE: ccellera FV: Motion 2 -- Requirements adoption and prioritization Sandeep K. Shukla (Fri Aug 03 2001 - 00:36:08 PDT)
- Re: ccellera FV: Motion 2 -- Requirements adoption and prioritization Moshe Vardi (Fri Aug 03 2001 - 01:06:23 PDT)
- Re: ccellera FV: Motion 2 -- Requirements adoption and prioritization Peter Flake (Fri Aug 03 2001 - 07:24:19 PDT)
- Accellera FV: Motion 2 -- Requirements adoption and prioritization--vote Bassam Tabbara (Fri Aug 03 2001 - 18:24:22 PDT)
- RE: ccellera FV: Motion 2 -- Requirements adoption and prioritization Harry Foster (Sat Aug 04 2001 - 07:42:44 PDT)
  - RE: ccellera FV: Motion 2 -- Requirements adoption and prioritization Erich Marschner (Sun Aug 05 2001 - 20:14:45 PDT)
- Re: [A]ccellera FV: Motion 2 -- Requirements adoption and prioritization Erich Marschner (Sun Aug 05 2001 - 20:56:55 PDT)
- RE: ccellera FV: Motion 2 -- Requirements adoption and prioritization KC Chen (Sun Aug 05 2001 - 23:37:52 PDT)
- RE: ccellera FV: Motion 2 -- Requirements adoption and prioritization Harry Foster (Mon Aug 06 2001 - 06:06:02 PDT)
- Re: ccellera FV: Motion 2 -- Requirements adoption and prioritization Cindy Eisner (Mon Aug 06 2001 - 04:22:00 PDT)
- Re: ccellera FV: Motion 2 -- Requirements adoption and prioritization Danny Geist (Mon Aug 06 2001 - 06:03:42 PDT)
- Re: ccellera FV: Motion 2 -- Requirements adoption and prioritization Bernard Deadman (Mon Aug 06 2001 - 15:32:16 PDT)
vote Michael Siegel ZT SE 4 (Fri Aug 03 2001 - 00:08:16 PDT)
Clocked Sugar Formulas Moshe Vardi (Fri Aug 03 2001 - 05:28:20 PDT)
- Re: Clocked Sugar Formulas Moshe Vardi (Fri Aug 03 2001 - 05:31:50 PDT)
  - Re: Clocked Sugar Formulas Dana Fisman (Sun Aug 05 2001 - 04:09:43 PDT)
- Re: Clocked Sugar Formulas Moshe Vardi (Sun Aug 05 2001 - 07:48:10 PDT)
  - Re: Clocked Sugar Formulas Moshe Vardi (Sun Aug 05 2001 - 08:06:52 PDT)
  - Re: Clocked Sugar Formulas Dana Fisman (Mon Aug 06 2001 - 05:04:11 PDT)
- Re: Clocked Sugar Formulas Moshe Vardi (Mon Aug 06 2001 - 04:03:19 PDT)
- Re: Clocked Sugar Formulas Moshe Vardi (Mon Aug 06 2001 - 05:41:58 PDT)
- Re: Clocked Sugar Formulas Moshe Vardi (Mon Aug 06 2001 - 09:03:04 PDT)
deadlock E. Allen Emerson (Fri Aug 03 2001 - 08:35:43 PDT)
- Re: deadlock Edmund Clarke (Fri Aug 03 2001 - 13:34:24 PDT)
  - RE: deadlock Sandeep K. Shukla (Fri Aug 03 2001 - 13:53:53 PDT)
- Re: deadlock E. Allen Emerson (Fri Aug 03 2001 - 13:52:31 PDT)
- Re: deadlock Moshe Vardi (Sun Aug 05 2001 - 07:13:36 PDT)
- Re: deadlock Moshe Vardi (Sun Aug 05 2001 - 07:29:18 PDT)
- Re: deadlock Moshe Vardi (Sun Aug 05 2001 - 07:33:46 PDT)
- RE: deadlock Danny Geist (Sat Aug 04 2001 - 11:21:23 PDT)
  - RE: deadlock Sandeep K. Shukla (Sun Aug 05 2001 - 12:39:43 PDT)
- Re: deadlock E. Allen Emerson (Sun Aug 05 2001 - 12:59:43 PDT)
RE: ccellera FV: Motion 2 -- Requirements adoption and prioritiza tion Fix, Limor (Fri Aug 03 2001 - 08:42:24 PDT)
- RE: ccellera FV: Motion 2 -- Requirements adoption and prioritiza tion Armoni, Roy (Sat Aug 04 2001 - 23:18:11 PDT)
- RE: ccellera FV: Motion 2 -- Requirements adoption and prioritiza tion Landver, Avner (Sun Aug 05 2001 - 21:24:46 PDT)
RE: Accellera FV: Motion 1 -- Confirm Language Selection Process agreed upon in Paris Fix, Limor (Fri Aug 03 2001 - 08:42:23 PDT)
- RE: Accellera FV: Motion 1 -- Confirm Language Selection Process agreed upon in Paris Armoni, Roy (Sat Aug 04 2001 - 23:14:38 PDT)
- RE: Accellera FV: Motion 1 -- Confirm Language Selection Process agreed upon in Paris Tiemeyer, Andreas (Mon Aug 06 2001 - 01:12:07 PDT)
- RE: Accellera FV: Motion 1 -- Confirm Language Selection Process agreed upon in Paris Landver, Avner (Sun Aug 05 2001 - 21:24:45 PDT)
Re: Accellera FV: Motion 1 -- Confirm Language Selection Process agreed Danny Geist (Sun Aug 05 2001 - 10:08:58 PDT)
- Re: Accellera FV: Motion 1 -- Confirm Language Selection Process agreed Cindy Eisner (Mon Aug 06 2001 - 02:41:41 PDT)
- Re: Accellera FV: Motion 1 -- Confirm Language Selection Process agreed Yaron Wolfsthal (Mon Aug 06 2001 - 08:48:15 PDT)
Don't Forget To Vote! Harry Foster (Sun Aug 05 2001 - 14:30:28 PDT)
Re: Accellera FV: Motion 2 -- Requirements adoption and prioritiz ation Tiemeyer, Andreas (Mon Aug 06 2001 - 01:12:07 PDT)
RE: Accellera FV: Motion 1 -- Confirm Language Selection Process agreed Harry Foster (Mon Aug 06 2001 - 06:10:47 PDT)
Paris - E Presentation Harry Foster (Mon Aug 06 2001 - 06:26:53 PDT)
Paris - IBM Presentation Harry Foster (Mon Aug 06 2001 - 06:30:43 PDT)
Paris - Intel Presentation Harry Foster (Mon Aug 06 2001 - 06:32:31 PDT)
Motion 1 - Vote dudani@us04.synopsys.com (Mon Aug 06 2001 - 07:00:47 PDT)
Paris - Intel Presentation (retry) Harry Foster (Mon Aug 06 2001 - 06:57:45 PDT)
Motion 2 - Vote dudani@us04.synopsys.com (Mon Aug 06 2001 - 07:05:20 PDT)
RE: ccellera FV: Motion 2 -- Requirements Harry Foster (Mon Aug 06 2001 - 07:32:08 PDT)
Motion 1 vote Tom Anderson (Mon Aug 06 2001 - 18:32:43 PDT)
Re: draft of reponse to vardi: Re: Clocked Sugar Formulas (fwd) Moshe Vardi (Tue Aug 07 2001 - 08:59:48 PDT)
- Re: draft of reponse to vardi: Re: Clocked Sugar Formulas (fwd) Moshe Vardi (Wed Aug 08 2001 - 10:27:07 PDT)
Accellera FV: Motion 2 -- Requirements Yaron Wolfsthal (Tue Aug 07 2001 - 09:12:25 PDT)
vote on motions 1 and 2 Cindy Eisner (Wed Aug 08 2001 - 04:36:49 PDT)
votes on motion 1 and 2 for shoham Cindy Eisner (Wed Aug 08 2001 - 04:37:52 PDT)
vacuity Cindy Eisner (Wed Aug 08 2001 - 04:44:43 PDT)
- Re: vacuity Moshe Vardi (Thu Aug 09 2001 - 04:40:34 PDT)
- Re: vacuity Cindy Eisner (Thu Aug 09 2001 - 05:56:59 PDT)
- Re: vacuity Moshe Vardi (Thu Aug 09 2001 - 05:58:00 PDT)
- Re: vacuity Cindy Eisner (Thu Aug 09 2001 - 07:18:33 PDT)
- Re: vacuity Moshe Vardi (Thu Aug 09 2001 - 07:16:34 PDT)
- Re: vacuity Cindy Eisner (Thu Aug 09 2001 - 07:35:42 PDT)
- Re: vacuity Moshe Vardi (Thu Aug 09 2001 - 09:52:04 PDT)
  - Re: vacuity Michael McNamara (Thu Aug 09 2001 - 09:58:20 PDT)
    - Re: vacuity Bernard Deadman (Thu Aug 09 2001 - 17:32:53 PDT)
- Re: vacuity vardi@cs.rice.edu (Fri Aug 10 2001 - 06:50:42 PDT)
  - Re: vacuity Bernard Deadman (Fri Aug 10 2001 - 10:53:26 PDT)
    - Re: vacuity Ed Clarke (Sat Aug 11 2001 - 11:10:48 PDT)
- Re: vacuity Moshe Vardi (Sat Aug 11 2001 - 11:05:13 PDT)
- Re: vacuity Atanas Parashkevov (Mon Aug 13 2001 - 00:13:42 PDT)
dana's vote on motions 1 and 2 Cindy Eisner (Wed Aug 08 2001 - 04:43:14 PDT)
Accellera FV: Motion 1 Results Harry Foster (Wed Aug 08 2001 - 06:50:51 PDT)
Motion 2 vote Tom Anderson (Wed Aug 08 2001 - 10:30:10 PDT)
Accellera FV: Motion 2 Results Harry Foster (Wed Aug 08 2001 - 12:56:30 PDT)
- Re: Accellera FV: Motion 2 Results Cindy Eisner (Wed Aug 08 2001 - 23:37:51 PDT)
- Re: Accellera FV: Motion 2 Results Moshe Vardi (Thu Aug 09 2001 - 05:10:02 PDT)
  - Requirement 57 Bernard Deadman (Tue Sep 04 2001 - 15:13:51 PDT)
- Re: Accellera FV: Motion 2 Results Dana Fisman (Thu Aug 09 2001 - 05:41:21 PDT)
- Re: Accellera FV: Motion 2 Results Danny Geist (Thu Aug 09 2001 - 07:44:06 PDT)
- Re: Accellera FV: Motion 2 Results Moshe Vardi (Thu Aug 09 2001 - 07:13:52 PDT)
Next Accellera FV Meeting Harry Foster (Wed Aug 08 2001 - 13:37:32 PDT)
- RE: Next Accellera FV Meeting Fix, Limor (Wed Aug 08 2001 - 22:01:56 PDT)
- Re: Next Accellera FV Meeting Moshe Vardi (Thu Aug 09 2001 - 02:21:58 PDT)
- Re: Next Accellera FV Meeting Peter Flake (Thu Aug 09 2001 - 07:20:19 PDT)
(no subject) Yaron Wolfsthal (Thu Aug 09 2001 - 10:21:59 PDT)
Puzzled - please explain Bernard Deadman (Thu Aug 09 2001 - 12:07:07 PDT)
Children Harry Foster (Fri Aug 10 2001 - 08:22:33 PDT)
- Re: Children Bernard Deadman (Fri Aug 10 2001 - 10:02:31 PDT)
Consensus Bernard Deadman (Fri Aug 10 2001 - 15:50:00 PDT)
Independence and representation Bernard Deadman (Mon Aug 13 2001 - 16:19:02 PDT)
Do we have the right rules? Bernard Deadman (Mon Aug 13 2001 - 16:27:38 PDT)
- RE: Do we have the right rules? Sandeep K. Shukla (Mon Aug 13 2001 - 16:46:06 PDT)
  - RE: Do we have the right rules? Bernard Deadman (Mon Aug 13 2001 - 16:54:48 PDT)
    - Re: Do we have the right rules? Yaron Kashai (Mon Aug 13 2001 - 17:20:40 PDT)
    - Re: Do we have the right rules? Bernard Deadman (Mon Aug 13 2001 - 17:30:28 PDT)
    - Re: Do we have the right rules? Harry D Foster (Mon Aug 13 2001 - 17:34:40 PDT)
    - Expressiveness of temporal e (was: Do we have the right rules?) Yaron Kashai (Mon Aug 13 2001 - 18:33:12 PDT)
    - Re: Expressiveness of temporal e (was: Do we have the right rules?) Harry D Foster (Mon Aug 13 2001 - 20:24:39 PDT)
    - Re: Expressiveness of temporal e (was: Do we have the right rules?) Danny Geist (Mon Aug 13 2001 - 23:55:48 PDT)
    - RE: Expressiveness of temporal e (was: Do we have the right rules?) Sandeep K. Shukla (Tue Aug 14 2001 - 00:36:01 PDT)
    - Re: Expressiveness of temporal e (was: Do we have the right rules?) Atanas Parashkevov (Tue Aug 14 2001 - 00:45:00 PDT)
  - RE: Do we have the right rules? Carl Pixley (Tue Aug 14 2001 - 05:20:34 PDT)
    - RE: Do we have the right rules? Sandeep K. Shukla (Mon Aug 13 2001 - 17:45:25 PDT)
- RE: Do we have the right rules? Carl Pixley (Tue Aug 14 2001 - 04:59:18 PDT)
  - RE: Do we have the right rules? Sandeep K. Shukla (Mon Aug 13 2001 - 17:03:47 PDT)
  - RE: Do we have the right rules? Bernard Deadman (Mon Aug 13 2001 - 17:14:04 PDT)
    - RE: Do we have the right rules? Carl Pixley (Tue Aug 14 2001 - 05:25:16 PDT)
    - RE: Do we have the right rules? Sandeep K. Shukla (Mon Aug 13 2001 - 17:42:15 PDT)
    - RE: Do we have the right rules? Ed Clarke (Tue Aug 14 2001 - 06:29:49 PDT)
- Re: Do we have the right rules? Tom Anderson (Mon Aug 13 2001 - 17:10:42 PDT)
  - Re: Do we have the right rules? Bernard Deadman (Mon Aug 13 2001 - 17:19:50 PDT)
    - Re: Do we have the right rules? Harry D Foster (Mon Aug 13 2001 - 17:29:08 PDT)
    - Re: Do we have the right rules? Harry D Foster (Mon Aug 13 2001 - 17:33:32 PDT)
    - Re: Do we have the right rules? Atanas Parashkevov (Tue Aug 14 2001 - 00:53:53 PDT)
    - Re: Do we have the right rules? Harry D Foster (Mon Aug 13 2001 - 17:33:39 PDT)
- Fw: Do we have the right rules? Harry D Foster (Tue Aug 14 2001 - 03:43:39 PDT)
  - Re: Fw: Do we have the right rules? Tom Anderson (Tue Aug 14 2001 - 09:59:11 PDT)
Property coding metrics Bernard Deadman (Mon Aug 13 2001 - 16:18:29 PDT)
Accellera TCC Rules (PDF) Harry Foster (Tue Aug 14 2001 - 07:04:30 PDT)
- RE: Accellera TCC Rules (PDF) Vassilios.Gerousis@infineon.com (Tue Aug 14 2001 - 23:16:06 PDT)
Accelllera FV : September 5-th Meeting Access Information Harry Foster (Fri Aug 17 2001 - 08:37:33 PDT)
- Re: Accelllera FV : September 5-th Meeting Access Information Tom Anderson (Fri Aug 17 2001 - 17:22:31 PDT)
  - Re: Accelllera FV : September 5-th Meeting Access Information Harry D Foster (Fri Aug 17 2001 - 18:13:38 PDT)
  - Re: Accelllera FV : September 5-th Meeting Access Information Michael McNamara (Fri Aug 17 2001 - 23:03:11 PDT)
    - Re: Accelllera FV : September 5-th Meeting Access Information Harry D Foster (Sat Aug 18 2001 - 05:11:17 PDT)
    - Re: Accelllera FV : September 5-th Meeting Access Information Michael McNamara (Sat Aug 18 2001 - 07:33:46 PDT)
  - Re: Accelllera FV : September 5-th Meeting Access Information Michael McNamara (Thu Aug 23 2001 - 17:53:00 PDT)
- RE: Accelllera FV : September 5-th Meeting Access Information Vassilios.Gerousis@infineon.com (Fri Aug 17 2001 - 23:32:32 PDT)
Motion 3 Requirements Rework HarryDFoster@aol.com (Fri Sep 07 2001 - 07:15:41 PDT)
- Re: Motion 3 Requirements Rework HarryDFoster@aol.com (Fri Sep 07 2001 - 07:51:23 PDT)
  - Re: Motion 3 Requirements Rework Yaron Kashai (Fri Sep 07 2001 - 09:11:03 PDT)
  - Re: Motion 3 Requirements Rework hillel miller (Sat Sep 08 2001 - 23:19:17 PDT)
Accellera FV September 5-th Meeting Minutes HarryDFoster@aol.com (Fri Sep 07 2001 - 07:59:40 PDT)
Accellera FV September 5-th -- Motion 4 Ballot HarryDFoster@aol.com (Fri Sep 07 2001 - 08:06:35 PDT)
- RE: Accellera FV September 5-th -- Motion 4 Ballot Fix, Limor (Sun Sep 09 2001 - 02:59:15 PDT)
- RE: Accellera FV September 5-th -- Motion 4 Ballot Armoni, Roy (Sun Sep 09 2001 - 08:39:30 PDT)
  - Re: Accellera FV September 5-th -- Motion 4 Ballot Michael Siegel ZT SE 4 (Mon Sep 10 2001 - 10:12:49 PDT)
- Re: Accellera FV September 5-th -- Motion 4 Ballot Cindy Eisner (Mon Sep 10 2001 - 05:38:29 PDT)
- Re: Accellera FV September 5-th -- Motion 4 Ballot Cindy Eisner (Mon Sep 10 2001 - 05:37:30 PDT)
- Re: Accellera FV September 5-th -- Motion 4 Ballot Yaron Wolfsthal (Mon Sep 10 2001 - 06:44:28 PDT)
- RE: Accellera FV September 5-th -- Motion 4 Ballot Tiemeyer, Andreas (Mon Sep 10 2001 - 07:47:58 PDT)
- Re: Accellera FV September 5-th -- Motion 4 Ballot Dana Fisman (Mon Sep 10 2001 - 09:05:10 PDT)
- Re: Accellera FV September 5-th -- Motion 4 Ballot Moshe Vardi (Mon Sep 10 2001 - 09:36:23 PDT)
- Re: Accellera FV September 5-th -- Motion 4 Ballot Bassam Tabbara (Mon Sep 10 2001 - 10:33:24 PDT)
  - RE: Accellera FV September 5-th -- Motion 4 Ballot Sandeep K. Shukla (Mon Sep 10 2001 - 11:24:55 PDT)
- RE: Accellera FV September 5-th -- Motion 4 Ballot David Van Campenhout (Tue Sep 11 2001 - 10:21:40 PDT)
- Re: Accellera FV September 5-th -- Motion 4 Ballot Yaron Kashai (Wed Sep 12 2001 - 09:44:52 PDT)
  - RE: Accellera FV September 5-th -- Motion 4 Ballot Carl Pixley (Wed Sep 12 2001 - 13:01:17 PDT)
- Re: Accellera FV September 5-th -- Motion 4 Ballot Matthew Morley (Wed Sep 12 2001 - 13:27:13 PDT)
- Re: Accellera FV September 5-th -- Motion 4 Ballot Bernard Deadman (Wed Sep 12 2001 - 15:19:02 PDT)
- RE: Accellera FV September 5-th -- Motion 4 Ballot Landver, Avner (Thu Sep 13 2001 - 00:42:46 PDT)
- RE: Accellera FV September 5-th -- Motion 4 Ballot dudani@us04.synopsys.com (Thu Sep 13 2001 - 07:14:10 PDT)
- Re: Accellera FV September 5-th -- Motion 4 Ballot Erich Marschner (Fri Sep 14 2001 - 08:28:29 PDT)
  - Re: Accellera FV September 5-th -- Motion 4 Ballot Michael McNamara (Fri Sep 14 2001 - 11:31:42 PDT)
Motion 4 Ballot John Havlicek (Mon Sep 10 2001 - 09:19:29 PDT)
Ballot 4 Danny Geist (Tue Sep 11 2001 - 14:38:49 PDT)
- Re: Ballot 4 Tom Anderson (Tue Sep 11 2001 - 15:05:25 PDT)
Clarification on 'rigid bit' Bernard Deadman (Wed Sep 12 2001 - 09:17:34 PDT)
- RE: Clarification on 'rigid bit' Bernard Deadman (Wed Sep 19 2001 - 14:44:27 PDT)
- RE: Clarification on 'rigid bit' Bernard Deadman (Sun Sep 23 2001 - 17:13:08 PDT)
- RE: Clarification on 'rigid bit' Bernard Deadman (Mon Oct 01 2001 - 09:38:14 PDT)
Property 20 - multiple concurrent split transactions Bernard Deadman (Wed Sep 12 2001 - 14:37:57 PDT)
- Re: Property 20 - multiple concurrent split transactions Yaron Kashai (Wed Sep 12 2001 - 18:07:20 PDT)
Property 20 - multiple concurrent split transactions Bernard Deadman (Wed Sep 12 2001 - 14:55:58 PDT)
Following Accellera Rules and Guidelines Vassilios.Gerousis@infineon.com (Sat Sep 15 2001 - 03:27:00 PDT)
- Re: Following Accellera Rules and Guidelines HarryDFoster@aol.com (Sat Sep 15 2001 - 05:57:26 PDT)
  - Re: Following Accellera Rules and Guidelines Bernard Deadman (Sun Sep 16 2001 - 09:45:09 PDT)
Accellera FV -- October 3rd access information HarryDFoster@aol.com (Tue Sep 18 2001 - 20:46:00 PDT)
- Re: Accellera FV -- October 3rd access information Moshe Vardi (Wed Sep 19 2001 - 07:40:59 PDT)
- Re: Accellera FV -- October 3rd access information Bernard Deadman (Wed Sep 19 2001 - 08:50:24 PDT)
- Re: Accellera FV -- October 3rd access information Moshe Vardi (Wed Sep 19 2001 - 09:00:09 PDT)
- Re: Accellera FV -- October 3rd access information E. Allen Emerson (Wed Sep 19 2001 - 16:14:56 PDT)
Clarification on 'rigid bit' Bernard Deadman (Wed Sep 19 2001 - 08:59:02 PDT)
- RE: Clarification on 'rigid bit' Armoni, Roy (Wed Sep 19 2001 - 11:34:14 PDT)
- RE: Clarification on 'rigid bit' Armoni, Roy (Wed Sep 19 2001 - 23:37:53 PDT)
- RE: Clarification on 'rigid bit' Armoni, Roy (Mon Oct 01 2001 - 00:20:38 PDT)
Property 20 - multiple concurrent split transactions Bernard Deadman (Wed Sep 19 2001 - 08:56:37 PDT)
Property 20 - multiple concurrent split transactions John Havlicek (Thu Sep 27 2001 - 13:55:15 PDT)
- Re: Property 20 - multiple concurrent split transactions Bernard Deadman (Thu Sep 27 2001 - 14:41:59 PDT)
October 3rd meeting postponed until October 17, & Voting Members HarryDFoster@aol.com (Fri Sep 28 2001 - 08:43:36 PDT)
Fwd: October 3rd meeting postponed until October 17, & Voting Members HarryDFoster@aol.com (Fri Sep 28 2001 - 11:13:29 PDT)
Clarification on Voting And Accellera Membership Vassilios.Gerousis@infineon.com (Fri Oct 05 2001 - 08:40:35 PDT)
- Re: Clarification on Voting And Accellera Membership Moshe Vardi (Fri Oct 05 2001 - 10:36:44 PDT)
- Re: Clarification on Voting And Accellera Membership Bernard Deadman (Mon Oct 15 2001 - 16:07:19 PDT)
- RE: Clarification on Voting And Accellera Membership Harry Foster (Tue Oct 16 2001 - 16:13:18 PDT)
MOTOROLA ballot John Havlicek (Tue Oct 30 2001 - 15:50:23 PST)
Intel votes on the requirement list Armoni, Roy (Wed Oct 31 2001 - 00:04:18 PST)
- Re: Intel votes on the requirement list John Havlicek (Thu Nov 01 2001 - 07:53:31 PST)
- RE: Intel votes on the requirement list Armoni, Roy (Thu Nov 01 2001 - 12:15:29 PST)
Galileo's vote on the requirements karen Yorav (Wed Oct 31 2001 - 04:31:41 PST)
RE: Ballot for Proposed Language Requirements Bassam Tabbara (Wed Oct 31 2001 - 10:48:47 PST)
Verisity's votes on the requirement list David Van Campenhout (Wed Oct 31 2001 - 15:45:49 PST)
Verplex's votes on language requirements Bow Yaw Wang (Wed Oct 31 2001 - 18:19:31 PST)
ballot Ed Clarke (Thu Nov 01 2001 - 03:59:17 PST)
Cadence vote on Language Requirements Erich Marschner (Thu Nov 01 2001 - 08:49:09 PST)
Co-Design vote on requirements Peter Flake (Thu Nov 01 2001 - 10:35:25 PST)
Synopsys votes on language requirements dudani@us04.synopsys.com (Thu Nov 01 2001 - 13:26:01 PST)
VFV Committee Final Requirements Harry Foster (Sun Nov 04 2001 - 12:32:01 PST)
- RE: VFV Committee Final Requirements Harry Foster (Sun Nov 04 2001 - 13:52:34 PST)
- Re: VFV Committee Final Requirements Moshe Vardi (Mon Nov 05 2001 - 04:33:18 PST)
  - RE: VFV Committee Final Requirements Harry Foster (Mon Nov 05 2001 - 06:13:05 PST)
- RE: VFV Committee Final Requirements Harry Foster (Mon Nov 05 2001 - 06:16:14 PST)
- RE: VFV Committee Final Requirements Cindy Eisner (Mon Nov 05 2001 - 06:27:39 PST)
  - RE: VFV Committee Final Requirements Harry Foster (Mon Nov 05 2001 - 06:37:17 PST)
- Re: VFV Committee Final Requirements Anthony Mcisaac (Tue Nov 20 2001 - 11:53:06 PST)
Accellera FV--November access information Harry Foster (Sun Nov 04 2001 - 21:54:30 PST)
Outrageous Hillel Miller (Mon Nov 05 2001 - 22:50:58 PST)
- RE: Outrageous Harry Foster (Tue Nov 06 2001 - 06:39:13 PST)
  - Press quotations Erich Marschner (Tue Nov 06 2001 - 07:55:46 PST)
    - Re: Press quotations Tom Anderson (Wed Nov 07 2001 - 05:05:30 PST)
    - Re: Press quotations Hillel Miller (Wed Nov 07 2001 - 08:59:27 PST)
    - Re: Press quotations Peter Flake (Wed Nov 07 2001 - 05:39:25 PST)
RE: Outrageous - second attempt Bernard Deadman (Tue Nov 06 2001 - 09:31:15 PST)
Puzzled - please explain Bernard Deadman (Thu Nov 08 2001 - 08:33:11 PST)
- RE: Puzzled - please explain Bernard Deadman (Fri Aug 10 2001 - 10:04:18 PDT)
- RE: Puzzled - please explain Armoni, Roy (Sun Aug 12 2001 - 00:04:09 PDT)
- RE: Puzzled - please explain Danny Geist (Sun Aug 12 2001 - 06:05:39 PDT)
- RE: Puzzled - please explain Vassilios.Gerousis@infineon.com (Thu Nov 08 2001 - 09:11:58 PST)
  - Re: Puzzled - please explain Yaron Kashai (Thu Nov 08 2001 - 18:24:25 PST)
- RE: Puzzled - please explain Tom Anderson (Thu Nov 08 2001 - 14:15:26 PST)
  - RE: Puzzled - please explain Bernard Deadman (Thu Nov 08 2001 - 14:58:34 PST)
- RE: Puzzled - please explain Tom Anderson (Thu Nov 08 2001 - 15:17:44 PST)
- RE: Puzzled - please explain Fix, Limor (Thu Nov 08 2001 - 18:35:44 PST)
Your message Erich Marschner (Thu Nov 08 2001 - 14:25:52 PST)
Accellera Board Discussions Vassilios.Gerousis@infineon.com (Thu Nov 08 2001 - 16:19:57 PST)
- Re: Accellera Board Discussions Tom Anderson (Thu Nov 08 2001 - 17:07:29 PST)
  - Re: Accellera Board Discussions Bernard Deadman (Tue Nov 13 2001 - 10:08:10 PST)
- Re: Accellera Board Discussions Tom Anderson (Tue Nov 13 2001 - 15:04:36 PST)
MOTOROLA DEFENSE OF CBV John Havlicek (Mon Nov 12 2001 - 12:04:24 PST)
language defenses? John Havlicek (Tue Nov 13 2001 - 08:03:52 PST)
Sugar Presentation for Tomorrow Harry Foster (Tue Nov 13 2001 - 15:03:38 PST)
- Re: Sugar Presentation for Tomorrow Moshe Vardi (Wed Nov 14 2001 - 08:07:12 PST)
  - RE: Sugar Presentation for Tomorrow Harry Foster (Wed Nov 14 2001 - 08:37:41 PST)
- Re: Sugar Presentation for Tomorrow Yaron Wolfsthal (Wed Nov 14 2001 - 08:35:27 PST)
  - Re: Sugar Presentation for Tomorrow Moshe Vardi (Wed Nov 14 2001 - 08:37:29 PST)
- RE: Sugar Presentation for Tomorrow Moshe Vardi (Wed Nov 14 2001 - 08:41:57 PST)
  - RE: Sugar Presentation for Tomorrow Harry Foster (Wed Nov 14 2001 - 08:43:50 PST)
    - RE: Sugar Presentation for Tomorrow Moshe Vardi (Wed Nov 14 2001 - 08:47:09 PST)
  - RE: Sugar Presentation for Tomorrow Bernard Deadman (Wed Nov 14 2001 - 08:45:07 PST)
- RE: Sugar Presentation for Tomorrow Yaron Wolfsthal (Wed Nov 14 2001 - 08:47:53 PST)
- RE: Sugar Presentation for Tomorrow Vassilios.Gerousis@infineon.com (Wed Nov 14 2001 - 09:27:38 PST)
Verisity's presentation David Van Campenhout (Tue Nov 13 2001 - 15:14:08 PST)
Meeting attendance Karen Yorav (Wed Nov 14 2001 - 02:26:37 PST)
FW: How ForSpec meets Accellera requirements Harry Foster (Wed Nov 14 2001 - 07:18:41 PST)
RE: IBM's Response to the Requirements Harry Foster (Wed Nov 14 2001 - 08:54:08 PST)
Verplex's Vote Harry Foster (Wed Nov 14 2001 - 10:58:15 PST)
Accellera VFV November 14 Meeting Minutes Harry Foster (Wed Nov 14 2001 - 13:46:39 PST)
- RE: Accellera VFV November 14 Meeting Minutes Armoni, Roy (Sun Nov 18 2001 - 22:47:01 PST)
efficiency claims John Havlicek (Fri Nov 16 2001 - 07:08:39 PST)
- Re: efficiency claims Moshe Vardi (Fri Nov 16 2001 - 10:30:20 PST)
  - Re: efficiency claims John Havlicek (Fri Nov 16 2001 - 12:54:44 PST)
- Re: efficiency claims Moshe Vardi (Fri Nov 16 2001 - 13:09:37 PST)
  - Re: efficiency claims SANDEEP SHUKLA (Mon Dec 17 2001 - 14:11:13 PST)
  - Re: efficiency claims John Havlicek (Fri Nov 16 2001 - 17:23:02 PST)
- Re: efficiency claims Moshe Vardi (Fri Nov 16 2001 - 13:24:30 PST)
- Re: efficiency claims E. Allen Emerson (Fri Nov 16 2001 - 13:43:26 PST)
- Re: efficiency claims E. Allen Emerson (Fri Nov 16 2001 - 13:45:51 PST)
- Re: efficiency claims Moshe Vardi (Fri Nov 16 2001 - 13:49:38 PST)
- Re: efficiency claims E. Allen Emerson (Fri Nov 16 2001 - 14:09:40 PST)
- Re: efficiency claims Moshe Vardi (Fri Nov 16 2001 - 15:27:59 PST)
- RE: efficiency claims Armoni, Roy (Sat Nov 17 2001 - 23:57:27 PST)
- Re: efficiency claims Cindy Eisner (Mon Nov 19 2001 - 08:18:11 PST)
- Re: efficiency claims Moshe Vardi (Mon Nov 19 2001 - 08:23:48 PST)
- Re: efficiency claims Cindy Eisner (Tue Nov 20 2001 - 05:02:28 PST)
- Re: efficiency claims Moshe Vardi (Tue Nov 20 2001 - 08:28:05 PST)
- Re: efficiency claims Cindy Eisner (Wed Nov 21 2001 - 06:58:30 PST)
sugar: case-by-case analysis of accellera requirements Cindy Eisner (Sun Nov 18 2001 - 06:01:23 PST)
- Re: sugar: case-by-case analysis of accellera requirements Moshe Vardi (Sun Nov 18 2001 - 09:21:23 PST)
  - Re: sugar: case-by-case analysis of accellera requirements Bernard Deadman (Sun Nov 18 2001 - 13:39:59 PST)
- Re: sugar: case-by-case analysis of accellera requirements Moshe Vardi (Sun Nov 18 2001 - 14:00:42 PST)
- Re: sugar: case-by-case analysis of accellera requirements Moshe Vardi (Sun Nov 18 2001 - 14:06:44 PST)
  - Re: sugar: case-by-case analysis of accellera requirements Bernard Deadman (Sun Nov 18 2001 - 14:40:37 PST)
Comparison of ForSpec's 2.0 && to Sugar's && Armoni, Roy (Sun Nov 18 2001 - 08:29:43 PST)
- Re: Comparison of ForSpec's 2.0 && to Sugar's && Moshe Vardi (Sun Nov 18 2001 - 08:36:25 PST)
- Re: Comparison of ForSpec's 2.0 && to Sugar's && Bernard Deadman (Sun Nov 18 2001 - 13:15:26 PST)
- RE: Comparison of ForSpec's 2.0 && to Sugar's && Armoni, Roy (Mon Nov 19 2001 - 03:49:28 PST)
- Re: Comparison of ForSpec's 2.0 && to Sugar's && Cindy Eisner (Mon Nov 19 2001 - 08:23:45 PST)
Analysis of ForSpec with respect to Accellera requirements Armoni, Roy (Sun Nov 18 2001 - 08:29:43 PST)
REVISED CBV DEFENSE John Havlicek (Mon Nov 19 2001 - 08:28:12 PST)
Re: sugar: case-by-case analysis of accellera requirements Cindy Eisner (Mon Nov 19 2001 - 08:32:14 PST)
- Re: sugar: case-by-case analysis of accellera requirements Moshe Vardi (Mon Nov 19 2001 - 08:44:22 PST)
- Re: sugar: case-by-case analysis of accellera requirements E. Allen Emerson (Mon Nov 19 2001 - 09:08:21 PST)
- Re: sugar: case-by-case analysis of accellera requirements Moshe Vardi (Mon Nov 19 2001 - 12:03:32 PST)
- Re: sugar: case-by-case analysis of accellera requirements Cindy Eisner (Tue Nov 20 2001 - 05:15:20 PST)
- Re: sugar: case-by-case analysis of accellera requirements Moshe Vardi (Tue Nov 20 2001 - 08:34:42 PST)
- Re: sugar: case-by-case analysis of accellera requirements Cindy Eisner (Wed Nov 21 2001 - 06:57:18 PST)
- Re: sugar: case-by-case analysis of accellera requirements Moshe Vardi (Wed Nov 21 2001 - 07:16:17 PST)
- Re: sugar: case-by-case analysis of accellera requirements Cindy Eisner (Thu Nov 22 2001 - 06:55:40 PST)
- Re: sugar: case-by-case analysis of accellera requirements Moshe Vardi (Sat Nov 24 2001 - 22:55:38 PST)
- Re: sugar: case-by-case analysis of accellera requirements Moshe Vardi (Sat Nov 24 2001 - 23:04:41 PST)
- Re: sugar: case-by-case analysis of accellera requirements Cindy Eisner (Mon Nov 26 2001 - 06:24:44 PST)
- Re: sugar: case-by-case analysis of accellera requirements Cindy Eisner (Mon Nov 26 2001 - 06:27:51 PST)
- Re: sugar: case-by-case analysis of accellera requirements Cindy Eisner (Mon Nov 26 2001 - 06:29:19 PST)
- Re: sugar: case-by-case analysis of accellera requirements Moshe Vardi (Wed Nov 28 2001 - 12:56:18 PST)
- Re: sugar: case-by-case analysis of accellera requirements Moshe Vardi (Wed Nov 28 2001 - 13:02:57 PST)
- Re: sugar: case-by-case analysis of accellera requirements Moshe Vardi (Wed Nov 28 2001 - 23:00:16 PST)
- Re: sugar: case-by-case analysis of accellera requirements E. Allen Emerson (Thu Nov 29 2001 - 09:49:25 PST)
- Re: sugar: case-by-case analysis of accellera requirements Moshe Vardi (Sat Dec 01 2001 - 14:55:01 PST)
RE: Accellera VFV November 14 Meeting Minutes Cindy Eisner (Mon Nov 19 2001 - 08:36:12 PST)
- RE: Accellera VFV November 14 Meeting Minutes Moshe Vardi (Mon Nov 19 2001 - 08:53:54 PST)
- RE: Accellera VFV November 14 Meeting Minutes Cindy Eisner (Tue Nov 20 2001 - 05:16:25 PST)
ForSpec's rigid variables Armoni, Roy (Mon Nov 19 2001 - 11:59:22 PST)
- Re: ForSpec's rigid variables Bernard Deadman (Mon Nov 19 2001 - 12:39:06 PST)
- Re: ForSpec's rigid variables Anthony Mcisaac (Tue Nov 20 2001 - 12:02:41 PST)
  - RE: ForSpec's rigid variables Sandeep K. Shukla (Tue Nov 20 2001 - 12:08:25 PST)
  - Re: ForSpec's rigid variables Bernard Deadman (Tue Nov 20 2001 - 13:13:18 PST)
Sugar subtle semantic changes Armoni, Roy (Tue Nov 20 2001 - 08:13:30 PST)
- Re: Sugar subtle semantic changes Moshe Vardi (Tue Nov 20 2001 - 08:22:58 PST)
- Re: Sugar subtle semantic changes Cindy Eisner (Wed Nov 21 2001 - 06:51:42 PST)
- Re: Sugar subtle semantic changes Cindy Eisner (Wed Nov 21 2001 - 06:53:16 PST)
- Re: Sugar subtle semantic changes Moshe Vardi (Wed Nov 21 2001 - 07:11:27 PST)
- Re: Sugar subtle semantic changes Moshe Vardi (Wed Nov 21 2001 - 07:13:27 PST)
- Re: Sugar subtle semantic changes Cindy Eisner (Thu Nov 22 2001 - 06:52:41 PST)
- Re: Sugar subtle semantic changes Moshe Vardi (Sat Nov 24 2001 - 22:52:46 PST)
- Re: Sugar subtle semantic changes Cindy Eisner (Mon Nov 26 2001 - 06:23:33 PST)
- RE: Sugar subtle semantic changes Armoni, Roy (Mon Nov 26 2001 - 08:18:20 PST)
- RE: Sugar subtle semantic changes E. Allen Emerson (Mon Nov 26 2001 - 12:49:08 PST)
- Re: Sugar subtle semantic changes Moshe Vardi (Thu Nov 29 2001 - 03:48:21 PST)
  - Practical assume/guarantee Bernard Deadman (Fri Nov 30 2001 - 10:15:53 PST)
    - Re: Practical assume/guarantee Moshe Vardi (Sat Dec 01 2001 - 10:04:11 PST)
    - RE: Practical assume/guarantee Armoni, Roy (Tue Dec 04 2001 - 07:17:16 PST)
    - RE: Practical assume/guarantee Danny Geist (Tue Dec 04 2001 - 09:27:53 PST)
    - RE: Practical assume/guarantee Bernard Deadman (Tue Dec 04 2001 - 10:13:21 PST)
CBV DEFENSE, REVISED POINTS ONLY John Havlicek (Tue Nov 20 2001 - 08:37:29 PST)
Naming Yaron Wolfsthal (Tue Nov 20 2001 - 09:45:00 PST)
- Re: Naming Moshe Vardi (Tue Nov 20 2001 - 09:50:23 PST)
- Re: Naming Yaron Wolfsthal (Wed Nov 21 2001 - 04:54:11 PST)
- Re: Naming Moshe Vardi (Wed Nov 21 2001 - 06:53:03 PST)
- Re: Naming Yaron Wolfsthal (Thu Nov 22 2001 - 07:24:37 PST)
Variables/Forall in Model checkers Bernard Deadman (Tue Nov 20 2001 - 13:13:43 PST)
- Re: Variables/Forall in Model checkers Yaron Kashai (Tue Nov 20 2001 - 13:45:25 PST)
  - Re: Variables/Forall in Model checkers Bernard Deadman (Tue Nov 20 2001 - 14:00:48 PST)
    - Re: Variables/Forall in Model checkers Hillel Miller (Wed Nov 21 2001 - 01:53:38 PST)
    - Re: Variables/Forall in Model checkers Bernard Deadman (Sat Nov 24 2001 - 13:27:55 PST)
- Re: Variables/Forall in Model checkers John Havlicek (Tue Nov 20 2001 - 15:13:12 PST)
vacation Cindy Eisner (Wed Nov 21 2001 - 07:14:48 PST)
Out of the office.... Harry Foster (Wed Nov 21 2001 - 13:17:32 PST)
- Re: Out of the office.... Tom Anderson (Wed Nov 21 2001 - 14:42:13 PST)
  - Re: Out of the office.... Harry Foster (Wed Nov 21 2001 - 14:17:00 PST)
mail from john havlecik hillel miller (Mon Nov 26 2001 - 21:41:38 PST)
simulation interpretation John Havlicek 9/01/00 (Wed Nov 28 2001 - 08:18:02 PST)
simulation interpretation of ForSpec's rigid variables Anthony Mcisaac (Thu Nov 29 2001 - 07:19:22 PST)
- Re: simulation interpretation of ForSpec's rigid variables John Havlicek 9/01/00 (Thu Nov 29 2001 - 08:07:37 PST)
  - Re: simulation interpretation of ForSpec's rigid variables David Van Campenhout (Thu Nov 29 2001 - 08:55:25 PST)
    - Re: simulation interpretation of ForSpec's rigid variables John Havlicek 9/01/00 (Thu Nov 29 2001 - 09:21:12 PST)
    - Re: simulation interpretation of ForSpec's rigid variables David Van Campenhout (Thu Nov 29 2001 - 09:39:38 PST)
- Re: simulation interpretation of ForSpec's rigid variables Moshe Vardi (Sat Dec 01 2001 - 13:46:57 PST)
- Re: simulation interpretation of ForSpec's rigid variables Moshe Vardi (Sat Dec 01 2001 - 14:05:54 PST)
  - two remaining questions Erich Marschner (Mon Dec 03 2001 - 14:23:05 PST)
    - RE: two remaining questions David Van Campenhout (Mon Dec 03 2001 - 19:21:57 PST)
    - RE: two remaining questions Armoni, Roy (Tue Dec 04 2001 - 08:14:00 PST)
    - RE: two remaining questions Erich Marschner (Fri Dec 07 2001 - 18:31:32 PST)
    - Re: two remaining questions Moshe Vardi (Wed Dec 12 2001 - 19:58:01 PST)
    - Re: two remaining questions Erich Marschner (Wed Dec 12 2001 - 22:09:36 PST)
    - RE: two remaining questions Armoni, Roy (Thu Dec 13 2001 - 01:26:04 PST)
    - RE: two remaining questions Armoni, Roy (Thu Dec 13 2001 - 01:31:59 PST)
    - RE: two remaining questions Cindy Eisner (Thu Dec 13 2001 - 01:48:30 PST)
    - RE: two remaining questions Armoni, Roy (Thu Dec 13 2001 - 01:59:03 PST)
    - RE: two remaining questions Moshe Vardi (Thu Dec 13 2001 - 05:47:33 PST)
    - RE: two remaining questions Cindy Eisner (Thu Dec 13 2001 - 06:55:04 PST)
    - RE: two remaining questions Moshe Vardi (Thu Dec 13 2001 - 14:24:01 PST)
    - RE: two remaining questions Cindy Eisner (Sat Dec 15 2001 - 23:55:36 PST)
    - RE: two remaining questions Moshe Vardi (Sun Dec 16 2001 - 07:25:18 PST)
    - RE: two remaining questions Cindy Eisner (Mon Dec 17 2001 - 01:23:50 PST)
    - RE: two remaining questions Cindy Eisner (Mon Dec 17 2001 - 01:25:33 PST)
    - RE: two remaining questions Erich Marschner (Mon Dec 17 2001 - 06:33:08 PST)
    - RE: two remaining questions Moshe Vardi (Mon Dec 17 2001 - 08:38:44 PST)
- Property #20 in practice Bernard Deadman (Mon Dec 03 2001 - 08:39:24 PST)
- RE: simulation interpretation of ForSpec's rigid variables Armoni, Roy (Tue Dec 04 2001 - 04:30:36 PST)
- RE: simulation interpretation of ForSpec's rigid variables Bernard Deadman (Tue Dec 04 2001 - 09:24:47 PST)
Test Message Yaron Wolfsthal (Fri Nov 30 2001 - 09:55:51 PST)
Re: simulation interpretation of ForSpec's rigid variables - again Bernard Deadman (Fri Nov 30 2001 - 10:17:50 PST)
Forwarding for Cindy: about R71f, response to Roy Yaron Wolfsthal (Sat Dec 01 2001 - 01:05:38 PST)
- Re: Forwarding for Cindy: about R71f, response to Roy Moshe Vardi (Sat Dec 01 2001 - 09:50:13 PST)
Forwarding for Cindy: "mail from john havlicek" Yaron Wolfsthal (Sat Dec 01 2001 - 01:15:49 PST)
Forwarding for Cindy: simulation interpretation Yaron Wolfsthal (Sat Dec 01 2001 - 01:20:10 PST)
Forwarding for Cindy: FGp and GFq on finite traces Yaron Wolfsthal (Sat Dec 01 2001 - 01:24:19 PST)
Forwarding for Cindy: what exactly can be assumed? Yaron Wolfsthal (Sat Dec 01 2001 - 01:25:51 PST)
- Re: Forwarding for Cindy: what exactly can be assumed? Moshe Vardi (Sat Dec 01 2001 - 09:47:59 PST)
Forwarding for Cindy: complexity again Yaron Wolfsthal (Sat Dec 01 2001 - 01:28:20 PST)
- Re: Forwarding for Cindy: complexity again Moshe Vardi (Sat Dec 01 2001 - 09:40:58 PST)
Forwarding for Cindy: re: r71f Yaron Wolfsthal (Mon Dec 03 2001 - 04:40:13 PST)
Forwarding for Cindy: re: what exactly can be assumed Yaron Wolfsthal (Mon Dec 03 2001 - 04:40:21 PST)
From Cindy re: maidl Yaron Wolfsthal (Mon Dec 03 2001 - 04:40:26 PST)
From Cindy: re: complexity again Yaron Wolfsthal (Mon Dec 03 2001 - 04:40:31 PST)
Accellera VFV Schedule going forward Harry Foster (Tue Dec 04 2001 - 06:18:41 PST)
Don't forget to vote! Harry Foster (Fri Dec 07 2001 - 08:04:19 PST)
Round 1 vote Harry Foster (Mon Dec 10 2001 - 15:15:00 PST)
- Re: Round 1 vote Erich Marschner (Mon Dec 10 2001 - 18:41:59 PST)
  - RE: Round 1 vote Sandeep K. Shukla (Mon Dec 10 2001 - 18:45:19 PST)
    - RE: Round 1 vote Erich Marschner (Mon Dec 10 2001 - 18:51:35 PST)
    - RE: Round 1 vote Sandeep K. Shukla (Mon Dec 10 2001 - 18:53:51 PST)
- RE: Round 1 vote Moshe Vardi (Mon Dec 10 2001 - 19:27:33 PST)
Breaking the tie vote (ForSpec and E) Harry Foster (Mon Dec 10 2001 - 19:00:23 PST)
Re: Accellera Formal Committee Vote - needed today Bernard Deadman (Wed Dec 12 2001 - 12:14:10 PST)
- Re: Accellera Formal Committee Vote - needed today Moshe Vardi (Wed Dec 12 2001 - 12:58:16 PST)
- Re: Accellera Formal Committee Vote - needed today Moshe Vardi (Wed Dec 12 2001 - 13:45:52 PST)
Re: Breaking the tie Yaron Kashai (Thu Dec 13 2001 - 01:27:25 PST)
- Re: Breaking the tie Erich Marschner (Thu Dec 13 2001 - 11:59:18 PST)
  - Re: Breaking the tie Yaron Kashai (Mon Dec 17 2001 - 15:58:29 PST)
- Re: Breaking the tie Bernard Deadman (Thu Dec 13 2001 - 11:17:20 PST)
Voting Decision Vassilios.Gerousis@infineon.com (Thu Dec 13 2001 - 02:35:06 PST)
- Re: Voting Decision Matthew Morley (Thu Dec 13 2001 - 17:10:18 PST)
RE: Voting Decision - List of people who voted Vassilios.Gerousis@infineon.com (Thu Dec 13 2001 - 03:03:25 PST)
- RE: Voting Decision - List of people who voted Bernard Deadman (Thu Dec 13 2001 - 08:51:46 PST)
  - RE: Voting Decision - List of people who voted Harry Foster (Thu Dec 13 2001 - 12:45:23 PST)
    - Second Round Vote Harry Foster (Thu Dec 13 2001 - 12:57:56 PST)
    - Re: Second Round Vote Erich Marschner (Fri Dec 14 2001 - 09:01:55 PST)
    - RE: Second Round Vote Vassilios.Gerousis@infineon.com (Fri Dec 14 2001 - 09:33:37 PST)
    - RE: Second Round Vote Bernard Deadman (Fri Dec 14 2001 - 10:25:13 PST)
- RE: Voting Decision - List of people who voted Moshe Vardi (Thu Dec 13 2001 - 11:23:42 PST)
  - RE: Voting Decision - List of people who voted Bernard Deadman (Thu Dec 13 2001 - 11:59:55 PST)
- RE: Voting Decision - List of people who voted Landver, Avner (Thu Dec 13 2001 - 13:19:51 PST)
My vote and message for Roy Ed Clarke (Thu Dec 13 2001 - 04:59:44 PST)
- Re: My vote and message for Roy Bernard Deadman (Thu Dec 13 2001 - 09:30:01 PST)
Pls Wait.. Yaron Wolfsthal (Thu Dec 13 2001 - 13:52:43 PST)
- RE: Pls Wait.. Sandeep K. Shukla (Thu Dec 13 2001 - 14:00:11 PST)
- RE: Pls Wait.. Yaron Wolfsthal (Thu Dec 13 2001 - 14:08:03 PST)
  - RE: Pls Wait.. Sandeep K. Shukla (Thu Dec 13 2001 - 14:09:21 PST)
- Re: Pls Wait.. Peter Flake (Fri Dec 14 2001 - 05:48:28 PST)
  - Re: Pls Wait.. Bernard Deadman (Fri Dec 14 2001 - 10:36:26 PST)
    - RE: Pls Wait.. Carl Pixley (Fri Dec 14 2001 - 11:10:06 PST)
- RE: Pls Wait.. Vassilios.Gerousis@infineon.com (Fri Dec 14 2001 - 23:24:32 PST)
Additional analysis Support the Current Decision Vassilios.Gerousis@infineon.com (Fri Dec 14 2001 - 04:31:16 PST)
Accellera VFV December Access Information Harry Foster (Mon Dec 17 2001 - 09:44:32 PST)
- Re: Accellera VFV December Access Information hillel miller (Wed Dec 19 2001 - 09:02:48 PST)
VFV second round vote. Harry Foster (Mon Dec 17 2001 - 16:14:32 PST)
Accellera VFV December Meeting Minutes Harry Foster (Wed Dec 19 2001 - 11:39:00 PST)
- Accellera VFV January Meeting Minutes Harry Foster (Wed Jan 16 2002 - 11:45:25 PST)
  - Accellera VFV February Meeting Minutes Harry Foster (Wed Feb 20 2002 - 16:00:16 PST)
Syntactic distinction between FL and OBE karen Yorav (Tue Jan 08 2002 - 03:38:07 PST)
Accellera VFV January Access Information Harry Foster (Tue Jan 08 2002 - 08:38:55 PST)
- Re: Accellera VFV January Access Information Bernard Deadman (Tue Jan 08 2002 - 09:16:03 PST)
  - RE: Accellera VFV January Access Information Harry Foster (Tue Jan 08 2002 - 09:54:19 PST)
Motorola CBV Semantics Document Harry Foster (Sun Jan 13 2002 - 20:56:43 PST)
expressiveness and reuse Anthony Mcisaac (Tue Jan 15 2002 - 07:44:36 PST)
desirable enhancements to sugar David Van Campenhout (Tue Jan 15 2002 - 14:58:10 PST)
FW: Synopsys Desirable Features for the standard Property Language Harry Foster (Tue Jan 15 2002 - 15:10:54 PST)
Desirable language enhancements Bernard Deadman (Tue Jan 15 2002 - 17:11:31 PST)
- RE: Desirable language enhancements Sandeep K. Shukla (Tue Jan 15 2002 - 19:32:05 PST)
FW: Desirable features for the standard FV property language Harry Foster (Tue Jan 15 2002 - 18:32:53 PST)
- Re: FW: Desirable features for the standard FV property language Cindy Eisner (Wed Jan 30 2002 - 05:45:39 PST)
suggestions for refinements to Sugar Erich Marschner (Tue Jan 15 2002 - 18:59:33 PST)
Fw: Intel's desirable requirements from a standard PSL Harry Foster (Wed Jan 16 2002 - 04:56:43 PST)
- Re: Fw: Intel's desirable requirements from a standard PSL Bernard Deadman (Wed Jan 16 2002 - 08:35:27 PST)
- RE: Fw: Intel's desirable requirements from a standard PSL Fix, Limor (Wed Jan 16 2002 - 09:58:33 PST)
Re: Desirable features for the standard FV property language Joseph Lu (Thu Jan 31 2002 - 17:55:10 PST)
- RE: Desirable features for the standard FV property language Sandeep K. Shukla (Thu Jan 31 2002 - 18:04:07 PST)
An objection to the assume_guarantee keyword Danny Geist (Thu Feb 07 2002 - 08:09:02 PST)
- RE: An objection to the assume_guarantee keyword Erich Marschner (Thu Feb 07 2002 - 08:40:47 PST)
- Re: An objection to the assume_guarantee keyword Joseph Lu (Thu Feb 07 2002 - 11:18:04 PST)
  - RE: An objection to the assume_guarantee keyword Sandeep K. Shukla (Thu Feb 07 2002 - 13:10:11 PST)
- RE: An objection to the assume_guarantee keyword Erich Marschner (Thu Feb 07 2002 - 11:48:27 PST)
- Re: An objection to the assume_guarantee keyword Harry Foster (Thu Feb 07 2002 - 12:41:01 PST)
- RE: An objection to the assume_guarantee keyword Erich Marschner (Thu Feb 07 2002 - 13:12:35 PST)
- RE: An objection to the assume_guarantee keyword Joseph Lu (Thu Feb 07 2002 - 15:06:23 PST)
- RE: An objection to the assume_guarantee keyword Erich Marschner (Thu Feb 07 2002 - 16:13:28 PST)
- RE: An objection to the assume_guarantee keyword Erich Marschner (Thu Feb 07 2002 - 16:22:16 PST)
- RE: An objection to the assume_guarantee keyword Bernard Deadman (Thu Feb 07 2002 - 17:11:15 PST)
- RE: An objection to the assume_guarantee keyword Joseph Lu (Thu Feb 07 2002 - 17:19:20 PST)
  - RE: An objection to the assume_guarantee keyword Sandeep K. Shukla (Thu Feb 07 2002 - 18:23:14 PST)
  - RE: An objection to the assume_guarantee keyword John Havlicek (Fri Feb 08 2002 - 07:03:52 PST)
- RE: An objection to the assume_guarantee keyword Joseph Lu (Thu Feb 07 2002 - 18:33:05 PST)
- RE: An objection to the assume_guarantee keyword Erich Marschner (Fri Feb 08 2002 - 06:36:50 PST)
- RE: An objection to the assume_guarantee keyword Erich Marschner (Fri Feb 08 2002 - 06:47:16 PST)
- RE: An objection to the assume_guarantee keyword Erich Marschner (Fri Feb 08 2002 - 07:00:35 PST)
- RE: An objection to the assume_guarantee keyword Erich Marschner (Fri Feb 08 2002 - 08:58:43 PST)
- RE: An objection to the assume_guarantee keyword Bernard Deadman (Fri Feb 08 2002 - 07:01:48 PST)
- RE: An objection to the assume_guarantee keyword Erich Marschner (Fri Feb 08 2002 - 09:13:31 PST)
- RE: An objection to the assume_guarantee keyword Bernard Deadman (Fri Feb 08 2002 - 09:18:24 PST)
- RE: An objection to the assume_guarantee keyword Danny Geist (Sun Feb 10 2002 - 10:50:22 PST)
  - Re: An objection to the assume_guarantee keyword Anthony McIsaac (Mon Feb 11 2002 - 02:46:41 PST)
names and grouping Anthony McIsaac (Mon Feb 11 2002 - 03:08:01 PST)
cbv roadmap John Havlicek (Tue Feb 19 2002 - 13:40:22 PST)
cbv roadmap slides John Havlicek (Tue Feb 19 2002 - 18:05:45 PST)
- Re: cbv roadmap slides Hillel Miller (Tue Feb 19 2002 - 22:28:52 PST)
expressiveness and reuse John Havlicek (Wed Feb 20 2002 - 17:34:01 PST)
- Re: expressiveness and reuse Cindy Eisner (Sun Feb 03 2002 - 01:09:57 PST)
  - RE: expressiveness and reuse Sandeep K. Shukla (Sun Feb 03 2002 - 10:09:22 PST)
  - Re: expressiveness and reuse Anthony McIsaac (Tue Feb 05 2002 - 06:49:03 PST)
CBV tasks, names John Havlicek (Thu Feb 21 2002 - 09:29:47 PST)
CBV regular expressions John Havlicek (Thu Feb 21 2002 - 10:30:45 PST)
language requests John Havlicek (Thu Feb 21 2002 - 17:00:16 PST)
Verisity requests John Havlicek (Tue Feb 26 2002 - 09:12:10 PST)
- RE: Verisity requests David Van Campenhout (Wed Feb 27 2002 - 15:28:28 PST)
Cadence requests John Havlicek (Tue Feb 26 2002 - 17:31:35 PST)
- Re: Cadence requests Moshe Vardi (Tue Feb 26 2002 - 17:56:15 PST)
  - Re: Cadence requests John Havlicek (Wed Feb 27 2002 - 07:59:16 PST)
- Re: Cadence requests Moshe Vardi (Wed Feb 27 2002 - 08:02:00 PST)
  - Re: Cadence requests John Havlicek (Wed Feb 27 2002 - 08:04:51 PST)
- Re: Cadence requests Moshe Vardi (Wed Feb 27 2002 - 08:10:08 PST)
  - "formal", "precise", etc. John Havlicek (Wed Feb 27 2002 - 08:59:11 PST)
    - Re: "formal", "precise", etc. vardi@cs.rice.edu (Wed Feb 27 2002 - 09:38:32 PST)
    - Re: "formal", "precise", etc. John Havlicek (Wed Feb 27 2002 - 10:42:43 PST)
Verisity requests John Havlicek (Thu Feb 28 2002 - 11:00:21 PST)
resend, Intel and Synopsys requests John Havlicek (Fri Mar 01 2002 - 14:55:19 PST)
CBV Roadmap erratum John Havlicek (Sun Mar 03 2002 - 15:06:34 PST)
Extended CBV semantics John Havlicek (Tue Mar 12 2002 - 20:43:30 PST)
Wed March 20-th Meeting and Final Vote Harry Foster (Wed Mar 13 2002 - 22:01:12 PST)
minor erratum John Havlicek (Thu Mar 14 2002 - 09:28:27 PST)
ECBV regexp examples (PD <= 18) John Havlicek (Mon Mar 18 2002 - 12:27:06 PST)
- Re: ECBV regexp examples (PD <= 18) Bernard Deadman (Tue Mar 19 2002 - 10:51:53 PST)
  - Re: ECBV regexp examples (PD <= 18) John Havlicek (Tue Mar 19 2002 - 11:21:58 PST)
Sugar Presentation Harry Foster (Tue Mar 19 2002 - 07:14:13 PST)
ECBV Matching Semantics document John Havlicek (Tue Mar 19 2002 - 12:45:30 PST)
another minor erratum John Havlicek (Tue Mar 19 2002 - 14:13:41 PST)
CBV slides John Havlicek (Wed Mar 20 2002 - 02:49:21 PST)
references re: regexp issue Erich Marschner (Wed Mar 20 2002 - 11:29:52 PST)
Accellera VFV March Meeting Minutes Harry Foster (Thu Mar 21 2002 - 13:51:55 PST)
Call for final vote Harry Foster (Thu Mar 21 2002 - 14:19:06 PST)
- RE: Call for final vote Harry Foster (Fri Apr 12 2002 - 16:16:05 PDT)
Accellera VFV March Meeting Minutes John Havlicek (Fri Mar 22 2002 - 05:48:10 PST)
- RE: Accellera VFV March Meeting Minutes Harry Foster (Sun Mar 24 2002 - 15:12:42 PST)
'on-the-fly' versus 'simulation' Bernard Deadman (Tue Mar 26 2002 - 08:59:47 PST)
- Re: 'on-the-fly' versus 'simulation' Cindy Eisner (Fri Mar 29 2002 - 10:03:18 PST)
  - Re: 'on-the-fly' versus 'simulation' Bernard Deadman (Fri Mar 29 2002 - 10:13:55 PST)
ECBV Function Semantics John Havlicek (Fri Mar 29 2002 - 20:03:43 PST)
ECBV Function Semantics, revised John Havlicek (Sat Mar 30 2002 - 07:28:58 PST)
- ECBV documents Bernard Deadman (Tue Apr 02 2002 - 09:36:04 PST)
  - Re: ECBV documents John Havlicek (Tue Apr 02 2002 - 10:36:49 PST)
SERE operator precendence Bernard Deadman (Mon Apr 01 2002 - 13:50:35 PST)
- Re: SERE operator precendence Cindy Eisner (Mon Apr 01 2002 - 23:26:03 PST)
- Re: SERE operator

/bbs/pub/vfv By Thread