/bbs/pub/vfv: By Subject

"Final Showdown"
- E. Allen Emerson (Wed Aug 01 2001 - 14:05:13 PDT)
- Moshe Vardi (Wed Aug 01 2001 - 01:14:30 PDT)
- E. Allen Emerson (Tue Jul 31 2001 - 17:34:35 PDT)
"Final Showdown" ?!
- Moshe Vardi (Thu Aug 02 2001 - 08:40:27 PDT)
- Yaron Wolfsthal (Thu Aug 02 2001 - 08:26:45 PDT)
"formal", "precise", etc.
- John Havlicek (Wed Feb 27 2002 - 10:42:43 PST)
- vardi@cs.rice.edu (Wed Feb 27 2002 - 09:38:32 PST)
- John Havlicek (Wed Feb 27 2002 - 08:59:11 PST)
"random" and "free"
- John Havlicek (Sun Apr 07 2002 - 12:34:55 PDT)
'on-the-fly' versus 'simulation'
- Bernard Deadman (Fri Mar 29 2002 - 10:13:55 PST)
- Cindy Eisner (Fri Mar 29 2002 - 10:03:18 PST)
- Bernard Deadman (Tue Mar 26 2002 - 08:59:47 PST)
(no subject)
- Ornia (Sun Jul 25 2004 - 14:41:38 PDT)
- Yaron Wolfsthal (Thu Aug 09 2001 - 10:21:59 PDT)
2003 HLDVT call for papers
- Harry Foster (Fri Apr 18 2003 - 11:55:16 PDT)
2nd ACM/IEEE MEMOCODE Call for Papers
- Sandeep K. Shukla (Wed Dec 03 2003 - 10:33:54 PST)
4.2.2 Operators // error in Table 2
- VhdlCohen@aol.com (Fri Apr 04 2003 - 14:24:45 PST)
6.2.1.5.1 Suffix implication // ambiguity in "never"
- John Havlicek (Sat Sep 13 2003 - 02:22:01 PDT)
- Erich Marschner (Fri Sep 12 2003 - 18:36:03 PDT)
- VhdlCohen@aol.com (Fri Sep 12 2003 - 15:06:15 PDT)
- VhdlCohen@aol.com (Fri Sep 12 2003 - 13:17:23 PDT)
[A]ccellera FV: Motion 2 -- Requirements adoption and prioritization
- Erich Marschner (Sun Aug 05 2001 - 20:56:55 PDT)
[Fwd: vunits]
- David Van Campenhout (Thu Dec 18 2003 - 07:56:27 PST)
[ovl] FYI: Sugar to HDL translation IBM tool
- harry (Tue Nov 26 2002 - 04:11:37 PST)
[sv-ac] Constraint implication, sequence implication, and transitions
- John Havlicek (Sun Nov 16 2003 - 11:39:57 PST)
[sv-ac] Expressing a concern
- Vassilios.Gerousis@infineon.com (Mon Feb 10 2003 - 23:16:50 PST)
- John Havlicek (Mon Feb 10 2003 - 21:25:04 PST)
[sv-ac] revised SVA semantics
- John Havlicek (Wed Apr 23 2003 - 14:39:44 PDT)
[sv-ac] Synchronization Activities of the Assertion Kernel
- Erich Marschner (Mon Sep 30 2002 - 08:34:42 PDT)
A bit more about PSL LRM 1.1 draft
- Neeraj Chandak (Fri Mar 26 2004 - 05:11:32 PST)
A total lack of confidence
- Bernard Deadman (Mon Sep 30 2002 - 10:25:42 PDT)
abort
- John Havlicek (Wed Jan 29 2003 - 20:33:25 PST)
Accellera -- April 5-th meeting reminder and access info
- Harry Foster (Thu Mar 29 2001 - 05:26:52 PST)
Accellera -- December meeting attendance correction
- Harry Foster (Thu Dec 14 2000 - 16:49:26 PST)
Accellera -- Requirements List Review
- Harry Foster (Mon Jul 09 2001 - 06:11:16 PDT)
Accellera Board Discussions
- Tom Anderson (Tue Nov 13 2001 - 15:04:36 PST)
- Bernard Deadman (Tue Nov 13 2001 - 10:08:10 PST)
- Tom Anderson (Thu Nov 08 2001 - 17:07:29 PST)
- Vassilios.Gerousis@infineon.com (Thu Nov 08 2001 - 16:19:57 PST)
Accellera Formal Committee Vote - needed today
- Moshe Vardi (Wed Dec 12 2001 - 13:45:52 PST)
- Moshe Vardi (Wed Dec 12 2001 - 12:58:16 PST)
- Bernard Deadman (Wed Dec 12 2001 - 12:14:10 PST)
Accellera Formal Language Requirements Sub-committee--Call for participation
- Harry Foster (Sun May 06 2001 - 06:50:43 PDT)
Accellera Formal Property Language Committee (VFV) July 24 Meeting
- HarryDFoster@aol.com (Sun Jul 21 2002 - 15:56:56 PDT)
Accellera Formal Property Language June 26-th meeting minutes
- Harry Foster (Mon Jun 17 2002 - 07:48:17 PDT)
Accellera Formal Property Language LRM Contributors
- harry (Thu Aug 29 2002 - 07:06:33 PDT)
Accellera Formal Verification -- November 2000 Meeting Minutes
- Matthew Morley (Tue Jan 09 2001 - 09:12:02 PST)
- Harry Foster (Wed Dec 06 2000 - 07:05:32 PST)
Accellera Formal Verification Technical Committee Mail Reflector
- Harry Foster (Tue Dec 05 2000 - 15:27:23 PST)
Accellera FV - Motion to permit Intel to donate their ForSpec language
- Harry Foster (Fri Mar 30 2001 - 05:15:27 PST)
- wolfstal@il.ibm.com (Fri Mar 30 2001 - 03:22:36 PST)
- Harry Foster (Thu Mar 29 2001 - 06:15:30 PST)
Accellera FV - Permitting New Language Contributions
- wolfstal@il.ibm.com (Fri Mar 30 2001 - 03:24:37 PST)
Accellera FV -- A Specification Pattern System
- Harry Foster (Wed Feb 07 2001 - 19:12:23 PST)
Accellera FV -- December 2000 Meeting Minutes
- Harry Foster (Thu Dec 14 2000 - 14:25:36 PST)
Accellera FV -- February 2001 Meeting Minutes
- Harry Foster (Mon Mar 05 2001 - 06:42:56 PST)
Accellera FV -- January 2001 Meeting Minutes (Committee Productivity Discussion)
- Harry Foster (Fri Jan 12 2001 - 08:43:12 PST)
Accellera FV -- October 2000 Meeting Minutes (Working Group Rules)
- Harry Foster (Wed Dec 06 2000 - 07:04:54 PST)
Accellera FV -- October 3rd access information
- E. Allen Emerson (Wed Sep 19 2001 - 16:14:56 PDT)
- Moshe Vardi (Wed Sep 19 2001 - 09:00:09 PDT)
- Bernard Deadman (Wed Sep 19 2001 - 08:50:24 PDT)
- Moshe Vardi (Wed Sep 19 2001 - 07:40:59 PDT)
- HarryDFoster@aol.com (Tue Sep 18 2001 - 20:46:00 PDT)
Accellera FV -- Reminder: Ed's Property Example Database
- Harry Foster (Sat Jan 13 2001 - 06:37:59 PST)
Accellera FV -- WebPage and Requirements Document
- Harry Foster (Mon Dec 11 2000 - 14:13:40 PST)
Accellera FV April 5-th Meeting -- Access Information
- Harry Foster (Thu Mar 08 2001 - 09:13:53 PST)
Accellera FV April 5th Meeting Minutes
- Harry Foster (Wed May 02 2001 - 11:03:03 PDT)
Accellera FV August 2-nd Meeting
- Moshe Vardi (Thu Aug 02 2001 - 00:44:13 PDT)
- Sandeep K. Shukla (Wed Aug 01 2001 - 12:50:33 PDT)
- Yaron Wolfsthal (Wed Aug 01 2001 - 11:59:48 PDT)
- Sandeep K. Shukla (Wed Aug 01 2001 - 11:35:01 PDT)
- Harry Foster (Wed Aug 01 2001 - 09:25:43 PDT)
- Yaron Wolfsthal (Wed Aug 01 2001 - 09:06:03 PDT)
- Moshe Vardi (Wed Aug 01 2001 - 08:29:50 PDT)
- Matthew J Morley (Wed Aug 01 2001 - 07:57:03 PDT)
- Harry Foster (Tue Jul 31 2001 - 15:29:23 PDT)
Accellera FV August 2-nd Meeting - Resending
- Moshe Vardi (Fri Aug 03 2001 - 03:01:45 PDT)
- E. Allen Emerson (Thu Aug 02 2001 - 13:38:50 PDT)
- Moshe Vardi (Thu Aug 02 2001 - 11:00:49 PDT)
- Moshe Vardi (Thu Aug 02 2001 - 08:24:27 PDT)
Accellera FV August 2-nd Meeting -- Access Information
- Harry D Foster (Fri Jul 20 2001 - 14:56:47 PDT)
- Sandeep K. Shukla (Fri Jul 20 2001 - 15:00:20 PDT)
- Harry Foster (Fri Jul 20 2001 - 11:58:39 PDT)
Accellera FV CAV Meeting Space in Paris
- Landver, Avner (Wed May 09 2001 - 22:48:49 PDT)
- Moshe Vardi (Mon May 07 2001 - 15:53:04 PDT)
- Harry Foster (Mon May 07 2001 - 12:46:12 PDT)
Accellera FV Committee -- Questions Concerning July 2-day meeting
- Harry Foster (Tue Mar 13 2001 - 13:02:46 PST)
Accellera FV DAC Meeting Survey
- wolfstal@il.ibm.com (Tue May 08 2001 - 10:34:17 PDT)
- Harry Foster (Mon May 07 2001 - 17:13:48 PDT)
Accellera FV DAC Meeting Update
- Harry Foster (Wed May 23 2001 - 13:23:39 PDT)
- Harry Foster (Wed May 23 2001 - 13:10:45 PDT)
Accellera FV face-to-face working meeting
- Harry Foster (Thu Mar 29 2001 - 06:20:00 PST)
Accellera FV February 7-th Meeting -- Access Information
- Harry Foster (Tue Jan 30 2001 - 09:32:12 PST)
Accellera FV January 9-th Meeting -- Access Information
- Harry Foster (Wed Jan 03 2001 - 11:02:45 PST)
Accellera FV June 28 Meeting Summary
- Harry Foster (Tue Jul 03 2001 - 08:48:01 PDT)
Accellera FV June 28-th Meeting -- Access Information
- Harry Foster (Mon Jun 25 2001 - 06:07:30 PDT)
- Harry Foster (Fri Jun 08 2001 - 07:44:06 PDT)
Accellera FV June 7-th Meeting -- Access Information
- Harry Foster (Thu May 03 2001 - 15:38:19 PDT)
Accellera FV list of documents
- Axel S Scherer (Thu Jul 12 2001 - 13:08:10 PDT)
- Harry Foster (Thu Jul 05 2001 - 08:21:36 PDT)
Accellera FV March 6-th Meeting -- Access Information
- Harry Foster (Thu Feb 22 2001 - 13:34:23 PST)
Accellera FV March 6th Meeting Minutes
- Harry Foster (Wed Mar 07 2001 - 12:10:20 PST)
Accellera FV May 3-rd Meeting -- Access Information
- Harry Foster (Tue Apr 17 2001 - 06:39:46 PDT)
Accellera FV Meeting
- Harry Foster (Wed Feb 07 2001 - 08:10:45 PST)
Accellera FV Paris Meeting Minutes
- Harry Foster (Mon Jul 30 2001 - 15:37:30 PDT)
Accellera FV September 5-th -- Motion 4 Ballot
- Michael McNamara (Fri Sep 14 2001 - 11:31:42 PDT)
- Erich Marschner (Fri Sep 14 2001 - 08:28:29 PDT)
- dudani@us04.synopsys.com (Thu Sep 13 2001 - 07:14:10 PDT)
- Landver, Avner (Thu Sep 13 2001 - 00:42:46 PDT)
- Bernard Deadman (Wed Sep 12 2001 - 15:19:02 PDT)
- Matthew Morley (Wed Sep 12 2001 - 13:27:13 PDT)
- Carl Pixley (Wed Sep 12 2001 - 13:01:17 PDT)
- Yaron Kashai (Wed Sep 12 2001 - 09:44:52 PDT)
- David Van Campenhout (Tue Sep 11 2001 - 10:21:40 PDT)
- Sandeep K. Shukla (Mon Sep 10 2001 - 11:24:55 PDT)
- Bassam Tabbara (Mon Sep 10 2001 - 10:33:24 PDT)
- Michael Siegel ZT SE 4 (Mon Sep 10 2001 - 10:12:49 PDT)
- Moshe Vardi (Mon Sep 10 2001 - 09:36:23 PDT)
- Dana Fisman (Mon Sep 10 2001 - 09:05:10 PDT)
- Tiemeyer, Andreas (Mon Sep 10 2001 - 07:47:58 PDT)
- Yaron Wolfsthal (Mon Sep 10 2001 - 06:44:28 PDT)
- Cindy Eisner (Mon Sep 10 2001 - 05:37:30 PDT)
- Cindy Eisner (Mon Sep 10 2001 - 05:38:29 PDT)
- Armoni, Roy (Sun Sep 09 2001 - 08:39:30 PDT)
- Fix, Limor (Sun Sep 09 2001 - 02:59:15 PDT)
- HarryDFoster@aol.com (Fri Sep 07 2001 - 08:06:35 PDT)
Accellera FV September 5-th Meeting Minutes
- HarryDFoster@aol.com (Fri Sep 07 2001 - 07:59:40 PDT)
Accellera FV Sub-committee Requirements Document
- Yaron Kashai (Tue Aug 07 2001 - 14:56:22 PDT)
- Harry D Foster (Wed Jun 27 2001 - 17:33:46 PDT)
Accellera FV updated list of documents
- Harry Foster (Mon Jul 09 2001 - 05:44:05 PDT)
Accellera FV--November access information
- Harry Foster (Sun Nov 04 2001 - 21:54:30 PST)
Accellera FV: Motion 1 -- Confirm Language Selection Process agreed
- Yaron Wolfsthal (Mon Aug 06 2001 - 08:48:15 PDT)
- Cindy Eisner (Mon Aug 06 2001 - 02:41:41 PDT)
- Harry Foster (Mon Aug 06 2001 - 06:10:47 PDT)
- Danny Geist (Sun Aug 05 2001 - 10:08:58 PDT)
Accellera FV: Motion 1 -- Confirm Language Selection Process agreed upon in Paris
- Bernard Deadman (Mon Aug 06 2001 - 15:20:40 PDT)
- Landver, Avner (Sun Aug 05 2001 - 21:24:45 PDT)
- Tiemeyer, Andreas (Mon Aug 06 2001 - 01:12:07 PDT)
- Erich Marschner (Sun Aug 05 2001 - 19:36:16 PDT)
- Armoni, Roy (Sat Aug 04 2001 - 23:14:38 PDT)
- KC Chen (Fri Aug 03 2001 - 14:20:53 PDT)
- Peter Flake (Fri Aug 03 2001 - 07:21:25 PDT)
- Fix, Limor (Fri Aug 03 2001 - 08:42:23 PDT)
- Moshe Vardi (Fri Aug 03 2001 - 03:37:27 PDT)
- Sandeep K. Shukla (Fri Aug 03 2001 - 00:37:30 PDT)
- Harry Foster (Thu Aug 02 2001 - 14:14:00 PDT)
Accellera FV: Motion 1 -- Confirm Language Selection Process agreed upon in Paris--vote
- Bassam Tabbara (Fri Aug 03 2001 - 10:32:23 PDT)
Accellera FV: Motion 1 Results
- Harry Foster (Wed Aug 08 2001 - 06:50:51 PDT)
Accellera FV: Motion 2 -- Requirements
- Yaron Wolfsthal (Tue Aug 07 2001 - 09:12:25 PDT)
Accellera FV: Motion 2 -- Requirements adoption and prioritiz ation
- Tiemeyer, Andreas (Mon Aug 06 2001 - 01:12:07 PDT)
Accellera FV: Motion 2 -- Requirements adoption and prioritization--vote
- Bassam Tabbara (Fri Aug 03 2001 - 18:24:22 PDT)
Accellera FV: Motion 2 Results
- Moshe Vardi (Thu Aug 09 2001 - 07:13:52 PDT)
- Danny Geist (Thu Aug 09 2001 - 07:44:06 PDT)
- Dana Fisman (Thu Aug 09 2001 - 05:41:21 PDT)
- Moshe Vardi (Thu Aug 09 2001 - 05:10:02 PDT)
- Cindy Eisner (Wed Aug 08 2001 - 23:37:51 PDT)
- Harry Foster (Wed Aug 08 2001 - 12:56:30 PDT)
Accellera FVTC (VFV) August Meeting Access Info
- harry@verplex.com (Sat Aug 17 2002 - 21:29:52 PDT)
Accellera FVTC -- minutes for April 30 meeting
- harrydfoster@attbi.com (Mon May 19 2003 - 13:33:34 PDT)
Accellera FVTC April 13 Meeting Minutes
- Harry D Foster (Sun Apr 18 2004 - 14:29:00 PDT)
- Harry D Foster (Sun Apr 18 2004 - 14:30:02 PDT)
Accellera FVTC Ballot Process for PSL v1.1
- Harry D Foster (Fri Apr 23 2004 - 16:32:30 PDT)
Accellera FVTC Committee Meeting April 13
- Harry D Foster (Mon Apr 05 2004 - 10:48:28 PDT)
Accellera FVTC December 3rd Meeting
- Harry Foster (Thu Nov 20 2003 - 10:26:27 PST)
Accellera FVTC January 29 Meeting
- Harry Foster (Tue Jan 14 2003 - 06:47:56 PST)
Accellera FVTC January 29 Meeting (IMPORTANT CHANGE IN ACCESS INFO)
- Harry Foster (Mon Jan 27 2003 - 20:19:54 PST)
Accellera FVTC March 19 Meeting
- Harry Foster (Wed Mar 19 2003 - 08:55:55 PST)
- John Havlicek (Fri Mar 07 2003 - 07:03:00 PST)
- Anthony McIsaac (Fri Mar 07 2003 - 06:33:24 PST)
- Harry Foster (Sat Mar 01 2003 - 13:31:41 PST)
Accellera FVTC Meeting - 8 July 2004 - Minutes
- Erich Marschner (Thu Jul 08 2004 - 16:01:23 PDT)
Accellera FVTC Meeting and PSL v1.1 draft A review
- Harry D Foster (Mon Mar 22 2004 - 10:50:18 PST)
Accellera FVTC Meeting July 8
- harrydfoster@comcast.net (Tue Jun 29 2004 - 09:09:41 PDT)
Accellera FVTC Meeting Minutes
- Harry D Foster (Thu Apr 22 2004 - 13:54:33 PDT)
Accellera FVTC Meeting Minutes for August 21
- harry (Thu Aug 22 2002 - 12:53:55 PDT)
Accellera FVTC Meeting to plan PSL 1.1 LRM
- Harry Foster (Sat Apr 26 2003 - 13:20:41 PDT)
Accellera FVTC quick update
- Harry Foster (Mon Aug 11 2003 - 08:04:42 PDT)
Accellera FVTC September 23-rd Meeting Minutes
- harry (Mon Sep 23 2002 - 19:56:11 PDT)
Accellera FVTC: Link to completed LRM and next meeting access information
- harry (Mon Sep 23 2002 - 09:38:59 PDT)
- harry (Mon Sep 23 2002 - 09:38:41 PDT)
- harry (Thu Sep 12 2002 - 17:01:37 PDT)
Accellera FVTC: Reminder December 3rd Meeting
- Harry Foster (Tue Dec 02 2003 - 17:54:50 PST)
Accellera Property Specification Language v1.0
- Erich Marschner (Tue Feb 11 2003 - 06:42:31 PST)
Accellera TCC Rules (PDF)
- Vassilios.Gerousis@infineon.com (Tue Aug 14 2001 - 23:16:06 PDT)
- Harry Foster (Tue Aug 14 2001 - 07:04:30 PDT)
Accellera technical reports
- John Havlicek (Mon Jun 28 2004 - 11:35:21 PDT)
Accellera VFV April 24-th meeting minutes
- Harry Foster (Wed Apr 24 2002 - 10:58:24 PDT)
Accellera VFV Committee Meeting Minutes for July 24-th
- Harry Foster (Wed Jul 24 2002 - 12:10:42 PDT)
Accellera VFV Committee Meeting Minutes for June 26-th
- Harry Foster (Fri Jul 12 2002 - 14:01:51 PDT)
- Bernard Deadman (Fri Jul 12 2002 - 13:27:32 PDT)
- Harry Foster (Fri Jul 12 2002 - 09:17:05 PDT)
Accellera VFV December Access Information
- hillel miller (Wed Dec 19 2001 - 09:02:48 PST)
- Harry Foster (Mon Dec 17 2001 - 09:44:32 PST)
Accellera VFV December Meeting Minutes
- Harry Foster (Wed Dec 19 2001 - 11:39:00 PST)
Accellera VFV February Meeting Minutes
- Harry Foster (Wed Feb 20 2002 - 16:00:16 PST)
Accellera VFV January Access Information
- Harry Foster (Tue Jan 08 2002 - 09:54:19 PST)
- Bernard Deadman (Tue Jan 08 2002 - 09:16:03 PST)
- Harry Foster (Tue Jan 08 2002 - 08:38:55 PST)
Accellera VFV January Meeting Minutes
- Harry Foster (Wed Jan 16 2002 - 11:45:25 PST)
Accellera VFV March Meeting Minutes
- Harry Foster (Sun Mar 24 2002 - 15:12:42 PST)
- John Havlicek (Fri Mar 22 2002 - 05:48:10 PST)
- Harry Foster (Thu Mar 21 2002 - 13:51:55 PST)
Accellera VFV May 22nd Meeting Minutes
- Harry Foster (Thu Jul 11 2002 - 09:49:16 PDT)
Accellera VFV November 14 Meeting Minutes
- Cindy Eisner (Tue Nov 20 2001 - 05:16:25 PST)
- Moshe Vardi (Mon Nov 19 2001 - 08:53:54 PST)
- Cindy Eisner (Mon Nov 19 2001 - 08:36:12 PST)
- Armoni, Roy (Sun Nov 18 2001 - 22:47:01 PST)
- Harry Foster (Wed Nov 14 2001 - 13:46:39 PST)
Accellera VFV property language final vote results
- Harry Foster (Sun Apr 21 2002 - 23:33:22 PDT)
- Sandeep K. Shukla (Sun Apr 21 2002 - 23:28:00 PDT)
- Harry Foster (Sun Apr 21 2002 - 23:25:26 PDT)
- Sandeep K. Shukla (Sun Apr 21 2002 - 23:21:15 PDT)
- Harry Foster (Sun Apr 21 2002 - 22:18:16 PDT)
Accellera VFV Schedule going forward
- Harry Foster (Tue Dec 04 2001 - 06:18:41 PST)
Accellera: Branching vs. Linear Time
- Sandeep K. Shukla (Sun Jul 15 2001 - 00:59:00 PDT)
- Moshe Vardi (Wed Jul 11 2001 - 00:33:56 PDT)
- Erich Marschner (Tue Jul 10 2001 - 17:22:47 PDT)
- Sandeep K. Shukla (Sat Jul 14 2001 - 16:27:59 PDT)
- Matthew Morley (Tue Jul 10 2001 - 15:48:19 PDT)
- Sandeep K. Shukla (Sat Jul 14 2001 - 00:54:52 PDT)
- Moshe Vardi (Mon Jul 09 2001 - 23:48:11 PDT)
- Matthew Morley (Mon Jul 09 2001 - 21:09:43 PDT)
Accelllera FV : September 5-th Meeting Access Information
- Michael McNamara (Thu Aug 23 2001 - 17:53:00 PDT)
- Michael McNamara (Sat Aug 18 2001 - 07:33:46 PDT)
- Harry D Foster (Sat Aug 18 2001 - 05:11:17 PDT)
- Vassilios.Gerousis@infineon.com (Fri Aug 17 2001 - 23:32:32 PDT)
- Michael McNamara (Fri Aug 17 2001 - 23:03:11 PDT)
- Harry D Foster (Fri Aug 17 2001 - 18:13:38 PDT)
- Tom Anderson (Fri Aug 17 2001 - 17:22:31 PDT)
- Harry Foster (Fri Aug 17 2001 - 08:37:33 PDT)
ACM-IEEE MEMOCODE'2003 (June 24-26th., Mont Saint-Michel) 2nd. call for participation
- Sandeep K. Shukla (Sat May 31 2003 - 09:14:43 PDT)
Actual value of boolean parameter for Verilog/PSL
- Erich Marschner (Fri Jun 11 2004 - 10:43:43 PDT)
- Yum, Sunny (Thu Jun 10 2004 - 17:00:02 PDT)
Additional analysis Support the Current Decision
- Vassilios.Gerousis@infineon.com (Fri Dec 14 2001 - 04:31:16 PST)
additional comments on pages 40-66.
- Anthony McIsaac (Fri Oct 11 2002 - 11:49:24 PDT)
Additional phone lines have now been added to the conference call
- Harry D Foster (Tue Mar 30 2004 - 09:21:00 PST)
Alignment subcommittee - initial meeting
- Erich Marschner (Mon May 19 2003 - 15:24:43 PDT)
Allowing endpoint instantiation in the modeling layer
- Cindy Eisner (Mon Nov 17 2003 - 00:04:07 PST)
- Hiroaki Iwashita (Sun Nov 16 2003 - 19:06:11 PST)
An objection to the assume_guarantee keyword
- Anthony McIsaac (Mon Feb 11 2002 - 02:46:41 PST)
- Danny Geist (Sun Feb 10 2002 - 10:50:22 PST)
- Bernard Deadman (Fri Feb 08 2002 - 09:18:24 PST)
- Erich Marschner (Fri Feb 08 2002 - 09:13:31 PST)
- Bernard Deadman (Fri Feb 08 2002 - 07:01:48 PST)
- Erich Marschner (Fri Feb 08 2002 - 08:58:43 PST)
- John Havlicek (Fri Feb 08 2002 - 07:03:52 PST)
- Erich Marschner (Fri Feb 08 2002 - 07:00:35 PST)
- Erich Marschner (Fri Feb 08 2002 - 06:47:16 PST)
- Erich Marschner (Fri Feb 08 2002 - 06:36:50 PST)
- Joseph Lu (Thu Feb 07 2002 - 18:33:05 PST)
- Sandeep K. Shukla (Thu Feb 07 2002 - 18:23:14 PST)
- Joseph Lu (Thu Feb 07 2002 - 17:19:20 PST)
- Bernard Deadman (Thu Feb 07 2002 - 17:11:15 PST)
- Erich Marschner (Thu Feb 07 2002 - 16:22:16 PST)
- Erich Marschner (Thu Feb 07 2002 - 16:13:28 PST)
- Joseph Lu (Thu Feb 07 2002 - 15:06:23 PST)
- Erich Marschner (Thu Feb 07 2002 - 13:12:35 PST)
- Sandeep K. Shukla (Thu Feb 07 2002 - 13:10:11 PST)
- Harry Foster (Thu Feb 07 2002 - 12:41:01 PST)
- Erich Marschner (Thu Feb 07 2002 - 11:48:27 PST)
- Joseph Lu (Thu Feb 07 2002 - 11:18:04 PST)
- Erich Marschner (Thu Feb 07 2002 - 08:40:47 PST)
- Danny Geist (Thu Feb 07 2002 - 08:09:02 PST)
Analysis of ForSpec with respect to Accellera requirements
- Armoni, Roy (Sun Nov 18 2001 - 08:29:43 PST)
another minor erratum
- John Havlicek (Tue Mar 19 2002 - 14:13:41 PST)
Are we going to have a LRM meeting today 9/30/02?
- Erich Marschner (Mon Sep 30 2002 - 07:59:10 PDT)
- Joseph Lu (Mon Sep 30 2002 - 07:47:12 PDT)
Are We Working in Vain?
- E. Allen Emerson (Tue Oct 01 2002 - 11:50:21 PDT)
- Moshe Vardi (Tue Oct 01 2002 - 01:44:13 PDT)
- Sandeep K. Shukla (Mon Sep 30 2002 - 09:11:31 PDT)
- Yaron Wolfsthal (Mon Sep 30 2002 - 08:58:47 PDT)
assertion discussions of fvtc languages
- John Havlicek (Fri Apr 12 2002 - 07:37:22 PDT)
- Erich Marschner (Fri Apr 12 2002 - 06:37:04 PDT)
- John Havlicek (Thu Apr 11 2002 - 14:08:47 PDT)
Assume-guarantee support
- hillel miller (Mon Jul 16 2001 - 14:30:39 PDT)
- Armoni, Roy (Mon Jul 16 2001 - 12:38:21 PDT)
- hillel miller (Mon Jul 16 2001 - 10:41:45 PDT)
- Armoni, Roy (Mon Jul 09 2001 - 21:43:11 PDT)
Assume/Guarantee completeness - Less Important than Advertised
- Yaron Wolfsthal (Thu Aug 02 2001 - 14:01:16 PDT)
Assume/Guarantee completeness - More Important than Advertised
- Sandeep K. Shukla (Fri Aug 03 2001 - 14:08:35 PDT)
- Danny_Geist/Haifa/IBM%IBMIL (Fri Aug 03 2001 - 04:02:15 PDT)
- Armoni, Roy (Thu Aug 02 2001 - 00:47:10 PDT)
Assume/Guarantee completeness - Not Important as Advertised
- Danny Geist (Wed Aug 01 2001 - 12:41:58 PDT)
ballot
- Ed Clarke (Thu Nov 01 2001 - 03:59:17 PST)
Ballot 4
- Tom Anderson (Tue Sep 11 2001 - 15:05:25 PDT)
- Danny Geist (Tue Sep 11 2001 - 14:38:49 PDT)
Ballot for Proposed Language Requirements
- Bassam Tabbara (Wed Oct 31 2001 - 10:48:47 PST)
ballots
- Harry D Foster (Mon Apr 26 2004 - 08:20:02 PDT)
BOUNCE vfv@eda.org: Non-member submission from [ Håkan Hjort <hakan.hjort@safelogic.se>]
- Erich Marschner (Mon Mar 29 2004 - 06:11:29 PST)
BOUNCE vfv@eda.org: Non-member submission from ["Jadhav, Sarveta" <sarveta_jadhav@mentorg.com>]
- Erich Marschner (Wed Aug 11 2004 - 17:34:25 PDT)
- Erich Marschner (Wed Aug 11 2004 - 16:59:15 PDT)
BOUNCE vfv@eda.org: Non-member submission from ["John Aynsley" <jo...
- VhdlCohen@aol.com (Tue Apr 22 2003 - 11:27:29 PDT)
BOUNCE vfv@eda.org: Non-member submission from ["John Aynsley" <john.aynsley@doulos.com>]
- Erich Marschner (Tue Apr 22 2003 - 10:45:57 PDT)
BOUNCE vfv@eda.org: Non-member submission from ["Yum, Sunny" <Sunny_Yum@mentorg.com>]
- Erich Marschner (Mon Aug 18 2003 - 18:41:58 PDT)
- Erich Marschner (Mon Aug 18 2003 - 18:40:42 PDT)
BOUNCE vfv@eda.org: Non-member submission from [Gal Vardi <vardi@il.marvell.com>]
- Erich Marschner (Thu Feb 20 2003 - 07:35:13 PST)
BOUNCE vfv@eda.org: Non-member submission from [Harry D Fo ster < harrydfoster@comcast.net>]
- Vassilios.Gerousis@infineon.com (Tue Mar 16 2004 - 07:33:59 PST)
BOUNCE vfv@eda.org: Non-member submission from [Håkan Hjort <hakan.hjort@safelogic.se>]
- Andrea FEDELI (Wed Mar 24 2004 - 10:46:47 PST)
- Erich Marschner (Wed Mar 24 2004 - 05:55:47 PST)
BOUNCE vfv@eda.org: Non-member submission from [VhdlCohen@aol.com]
- Erich Marschner (Tue Feb 11 2003 - 14:37:34 PST)
Bounced Email From Harry Fostere
- Vassilios.Gerousis@infineon.com (Fri Feb 27 2004 - 00:17:29 PST)
Branching Time
- eisner@il.ibm.com (Sun Jul 08 2001 - 07:20:43 PDT)
- Harry Foster (Fri Jul 06 2001 - 12:19:07 PDT)
- Harry Foster (Fri Jul 06 2001 - 12:07:44 PDT)
Breaking the tie
- Yaron Kashai (Mon Dec 17 2001 - 15:58:29 PST)
- Bernard Deadman (Thu Dec 13 2001 - 11:17:20 PST)
- Erich Marschner (Thu Dec 13 2001 - 11:59:18 PST)
- Yaron Kashai (Thu Dec 13 2001 - 01:27:25 PST)
Breaking the tie vote (ForSpec and E)
- Harry Foster (Mon Dec 10 2001 - 19:00:23 PST)
Bug in LRM 7.1.6 cover
- VhdlCohen@aol.com (Tue Aug 12 2003 - 15:31:26 PDT)
build in function next()
- Cindy Eisner (Thu Jan 08 2004 - 06:41:39 PST)
- Neeraj Chandak (Tue Jan 06 2004 - 01:19:49 PST)
- Cindy Eisner (Tue Jan 06 2004 - 00:47:14 PST)
- Neeraj Chandak (Thu Jan 01 2004 - 01:16:56 PST)
- Cindy Eisner (Wed Dec 31 2003 - 06:45:41 PST)
bundled comments on LRM1.1
- Klaus.Winkelmann@infineon.com (Fri Mar 26 2004 - 09:20:08 PST)
Cadence requests
- Moshe Vardi (Wed Feb 27 2002 - 08:10:08 PST)
- John Havlicek (Wed Feb 27 2002 - 08:04:51 PST)
- Moshe Vardi (Wed Feb 27 2002 - 08:02:00 PST)
- John Havlicek (Wed Feb 27 2002 - 07:59:16 PST)
- Moshe Vardi (Tue Feb 26 2002 - 17:56:15 PST)
- John Havlicek (Tue Feb 26 2002 - 17:31:35 PST)
Cadence vote on Language Requirements
- Erich Marschner (Thu Nov 01 2001 - 08:49:09 PST)
Call for final PSL 1.0 LRM vote
- Harry Foster (Mon Feb 03 2003 - 23:37:22 PST)
- harry@verplex.com (Mon Feb 03 2003 - 23:32:07 PST)
- Harry Foster (Mon Feb 03 2003 - 22:14:19 PST)
- Harry Foster (Thu Jan 30 2003 - 21:43:41 PST)
Call for final vote
- Harry Foster (Fri Apr 12 2002 - 16:16:05 PDT)
- Harry Foster (Thu Mar 21 2002 - 14:19:06 PST)
Call for Nominations for the 2004 Accellera Technical Excellence Award
- Harry D Foster (Thu May 06 2004 - 16:28:17 PDT)
CALL FOR PAPERS - MEMOCODE 2004
- Sandeep K. Shukla (Wed Jan 14 2004 - 04:17:12 PST)
Call for Participatio: ACM/IEEE MEMOCODE
- Sandeep K. Shukla (Fri Apr 25 2003 - 15:59:04 PDT)
Call to participate: IEEE Property Specification Language (PSL) Kickoff Meeting
- Harry D. Foster (Fri Aug 20 2004 - 10:58:27 PDT)
- Harry D Foster (Tue Aug 03 2004 - 10:33:29 PDT)
- Harry D Foster (Tue Aug 03 2004 - 09:51:06 PDT)
CBV DEFENSE, REVISED POINTS ONLY
- John Havlicek (Tue Nov 20 2001 - 08:37:29 PST)
CBV Language Reference Manual
- Hillel Miller (Wed May 09 2001 - 23:53:20 PDT)
- Bernard Deadman (Wed May 09 2001 - 09:20:50 PDT)
CBV regular expressions
- John Havlicek (Thu Feb 21 2002 - 10:30:45 PST)
cbv roadmap
- John Havlicek (Tue Feb 19 2002 - 13:40:22 PST)
CBV Roadmap erratum
- John Havlicek (Sun Mar 03 2002 - 15:06:34 PST)
cbv roadmap slides
- Hillel Miller (Tue Feb 19 2002 - 22:28:52 PST)
- John Havlicek (Tue Feb 19 2002 - 18:05:45 PST)
CBV slides
- John Havlicek (Wed Mar 20 2002 - 02:49:21 PST)
CBV tasks, names
- John Havlicek (Thu Feb 21 2002 - 09:29:47 PST)
cbv_advantages
- John Havlicek (Wed Apr 03 2002 - 22:39:12 PST)
cbv_proposal_slides.pdf
- John Havlicek (Wed Apr 03 2002 - 22:38:02 PST)
ccellera FV: Motion 2 -- Requirements
- Harry Foster (Mon Aug 06 2001 - 07:32:08 PDT)
ccellera FV: Motion 2 -- Requirements adoption and prioritiza tion
- Landver, Avner (Sun Aug 05 2001 - 21:24:46 PDT)
- Armoni, Roy (Sat Aug 04 2001 - 23:18:11 PDT)
- Fix, Limor (Fri Aug 03 2001 - 08:42:24 PDT)
ccellera FV: Motion 2 -- Requirements adoption and prioritization
- Bernard Deadman (Mon Aug 06 2001 - 15:32:16 PDT)
- Danny Geist (Mon Aug 06 2001 - 06:03:42 PDT)
- Cindy Eisner (Mon Aug 06 2001 - 04:22:00 PDT)
- Harry Foster (Mon Aug 06 2001 - 06:06:02 PDT)
- KC Chen (Sun Aug 05 2001 - 23:37:52 PDT)
- Erich Marschner (Sun Aug 05 2001 - 20:14:45 PDT)
- Harry Foster (Sat Aug 04 2001 - 07:42:44 PDT)
- Peter Flake (Fri Aug 03 2001 - 07:24:19 PDT)
- Moshe Vardi (Fri Aug 03 2001 - 01:06:23 PDT)
- Sandeep K. Shukla (Fri Aug 03 2001 - 00:36:08 PDT)
- Harry Foster (Thu Aug 02 2001 - 16:34:56 PDT)
Children
- Bernard Deadman (Fri Aug 10 2001 - 10:02:31 PDT)
- Harry Foster (Fri Aug 10 2001 - 08:22:33 PDT)
Clarification of "before"
- Erich Marschner (Thu Aug 21 2003 - 14:49:46 PDT)
Clarification on 'rigid bit'
- Bernard Deadman (Mon Oct 01 2001 - 09:38:14 PDT)
- Armoni, Roy (Mon Oct 01 2001 - 00:20:38 PDT)
- Bernard Deadman (Sun Sep 23 2001 - 17:13:08 PDT)
- Armoni, Roy (Wed Sep 19 2001 - 23:37:53 PDT)
- Bernard Deadman (Wed Sep 19 2001 - 14:44:27 PDT)
- Armoni, Roy (Wed Sep 19 2001 - 11:34:14 PDT)
- Bernard Deadman (Wed Sep 19 2001 - 08:59:02 PDT)
- Bernard Deadman (Wed Sep 12 2001 - 09:17:34 PDT)
Clarification on Voting And Accellera Membership
- Harry Foster (Tue Oct 16 2001 - 16:13:18 PDT)
- Bernard Deadman (Mon Oct 15 2001 - 16:07:19 PDT)
- Moshe Vardi (Fri Oct 05 2001 - 10:36:44 PDT)
- Vassilios.Gerousis@infineon.com (Fri Oct 05 2001 - 08:40:35 PDT)
Clocked Sugar Formulas
- Moshe Vardi (Mon Aug 06 2001 - 09:03:04 PDT)
- Moshe Vardi (Mon Aug 06 2001 - 05:41:58 PDT)
- Dana Fisman (Mon Aug 06 2001 - 05:04:11 PDT)
- Moshe Vardi (Mon Aug 06 2001 - 04:03:19 PDT)
- Moshe Vardi (Sun Aug 05 2001 - 08:06:52 PDT)
- Moshe Vardi (Sun Aug 05 2001 - 07:48:10 PDT)
- Dana Fisman (Sun Aug 05 2001 - 04:09:43 PDT)
- Moshe Vardi (Fri Aug 03 2001 - 05:31:50 PDT)
- Moshe Vardi (Fri Aug 03 2001 - 05:28:20 PDT)
Clocked Sugar Formulas (fwd)
- Moshe Vardi (Wed Aug 08 2001 - 10:27:07 PDT)
- Moshe Vardi (Tue Aug 07 2001 - 08:59:48 PDT)
clocking examples
- John Havlicek (Fri Oct 11 2002 - 13:44:25 PDT)
Co-Design vote on requirements
- Peter Flake (Thu Nov 01 2001 - 10:35:25 PST)
combo and CTL*
- Moshe Vardi (Thu Aug 02 2001 - 08:13:42 PDT)
- Sandeep K. Shukla (Thu Aug 02 2001 - 01:57:31 PDT)
- E. Allen Emerson (Wed Aug 01 2001 - 17:54:26 PDT)
Comment on PSL RM v1.0
- John Havlicek (Thu Apr 24 2003 - 07:52:50 PDT)
- Renaud Miel (Wed Apr 23 2003 - 02:49:48 PDT)
- John Havlicek (Fri Apr 18 2003 - 12:04:21 PDT)
- Erich Marschner (Fri Apr 18 2003 - 09:39:04 PDT)
Comment on PSL RM v1.0]
- John Havlicek (Fri Apr 25 2003 - 07:48:54 PDT)
comments on Appendices
- Adriana Maggiore (Fri Oct 25 2002 - 10:25:52 PDT)
- Anthony McIsaac (Fri Oct 25 2002 - 08:08:28 PDT)
Comments on LRM pp 29-66
- Anthony McIsaac (Mon Oct 07 2002 - 08:28:37 PDT)
comments on LRM pp 40-66
- Adriana Maggiore (Tue Oct 08 2002 - 02:20:24 PDT)
Comments on pages 15-45
- Vassilios.Gerousis@infineon.com (Mon Sep 30 2002 - 06:44:45 PDT)
- Sandeep K. Shukla (Mon Sep 30 2002 - 06:31:08 PDT)
- Sandeep K. Shukla (Mon Sep 30 2002 - 06:12:50 PDT)
- Anthony McIsaac (Mon Sep 30 2002 - 05:52:54 PDT)
comments on pages 63-78: modelling layer
- Anthony McIsaac (Fri Oct 18 2002 - 08:33:45 PDT)
comments on pages 63-78: replicated properties
- Anthony McIsaac (Fri Oct 18 2002 - 08:33:28 PDT)
comments on pages 63-78: verification layer
- Anthony McIsaac (Fri Oct 18 2002 - 08:33:41 PDT)
comments on pages 66-78
- Adriana Maggiore (Fri Oct 18 2002 - 10:34:18 PDT)
Comparison of ForSpec's 2.0 && to Sugar's &&
- Cindy Eisner (Mon Nov 19 2001 - 08:23:45 PST)
- Armoni, Roy (Mon Nov 19 2001 - 03:49:28 PST)
- Bernard Deadman (Sun Nov 18 2001 - 13:15:26 PST)
- Moshe Vardi (Sun Nov 18 2001 - 08:36:25 PST)
- Armoni, Roy (Sun Nov 18 2001 - 08:29:43 PST)
complexity again
- Yaron Wolfsthal (Mon Dec 03 2001 - 04:40:31 PST)
compound sere operators
- Erich Marschner (Tue Jun 29 2004 - 18:55:12 PDT)
- Dinesh Prasad (Tue Jun 29 2004 - 18:47:00 PDT)
consensus
- John Havlicek (Tue Nov 05 2002 - 11:45:25 PST)
- Bernard Deadman (Fri Aug 10 2001 - 15:50:00 PDT)
Correction on first IEEE-1850 PSL Working Group Meeting
- Harry D.Foster (Mon Sep 20 2004 - 09:17:48 PDT)
Correction on Monday's Committee Phone Conference Access Information
- harry (Sun Sep 22 2002 - 21:57:17 PDT)
current list of supported PSL constructs from verilog/VHDL compilers
- Erich Marschner (Wed Jun 16 2004 - 06:48:39 PDT)
- Francois CLOUTE (Wed Jun 16 2004 - 05:10:05 PDT)
dana's vote on motions 1 and 2
- Cindy Eisner (Wed Aug 08 2001 - 04:43:14 PDT)
Date correction! -- Accellera FV DAC Meeting Survey
- Harry Foster (Mon May 07 2001 - 18:34:20 PDT)
deadlock
- E. Allen Emerson (Sun Aug 05 2001 - 12:59:43 PDT)
- Sandeep K. Shukla (Sun Aug 05 2001 - 12:39:43 PDT)
- Danny Geist (Sat Aug 04 2001 - 11:21:23 PDT)
- Moshe Vardi (Sun Aug 05 2001 - 07:33:46 PDT)
- Moshe Vardi (Sun Aug 05 2001 - 07:29:18 PDT)
- Moshe Vardi (Sun Aug 05 2001 - 07:13:36 PDT)
- Sandeep K. Shukla (Fri Aug 03 2001 - 13:53:53 PDT)
- E. Allen Emerson (Fri Aug 03 2001 - 13:52:31 PDT)
- Edmund Clarke (Fri Aug 03 2001 - 13:34:24 PDT)
- E. Allen Emerson (Fri Aug 03 2001 - 08:35:43 PDT)
def. of "formal verification"
- Sandeep K. Shukla (Thu Sep 26 2002 - 07:55:03 PDT)
- Dana Fisman (Thu Sep 26 2002 - 01:23:19 PDT)
- John Havlicek (Wed Sep 25 2002 - 16:40:06 PDT)
- Sandeep K. Shukla (Wed Sep 25 2002 - 14:35:58 PDT)
- John Havlicek (Wed Sep 25 2002 - 13:12:53 PDT)
- Sandeep K. Shukla (Wed Sep 25 2002 - 09:52:16 PDT)
- John Havlicek (Wed Sep 25 2002 - 09:42:40 PDT)
default verification directive "default verification_directive = assert "
- Joseph Lu (Thu May 29 2003 - 10:49:54 PDT)
- VhdlCohen@aol.com (Thu May 29 2003 - 10:05:48 PDT)
- Gal Vardi (Thu May 29 2003 - 02:05:33 PDT)
- Cindy Eisner (Wed May 28 2003 - 23:40:00 PDT)
- VhdlCohen@aol.com (Wed May 28 2003 - 11:51:10 PDT)
defense
- John Havlicek (Wed Apr 03 2002 - 22:39:57 PST)
definition of "formal verification"
- Carl Pixley (Fri Oct 04 2002 - 16:25:58 PDT)
- Michael McNamara (Fri Oct 04 2002 - 16:55:58 PDT)
- Sandeep K. Shukla (Fri Oct 04 2002 - 16:03:38 PDT)
- John Havlicek (Fri Oct 04 2002 - 15:19:47 PDT)
- John Havlicek (Fri Oct 04 2002 - 07:41:52 PDT)
- Vassilios.Gerousis@infineon.com (Fri Oct 04 2002 - 02:11:15 PDT)
- E. Allen Emerson (Thu Oct 03 2002 - 22:42:10 PDT)
- Sandeep K. Shukla (Thu Oct 03 2002 - 19:19:35 PDT)
- John Havlicek (Thu Oct 03 2002 - 09:53:41 PDT)
dennis, i think you missed the point
- Cindy Eisner (Tue Oct 01 2002 - 07:35:26 PDT)
desirable enhancements to sugar
- David Van Campenhout (Tue Jan 15 2002 - 14:58:10 PST)
Desirable features for the standard FV property language
- Sandeep K. Shukla (Thu Jan 31 2002 - 18:04:07 PST)
- Joseph Lu (Thu Jan 31 2002 - 17:55:10 PST)
- Cindy Eisner (Wed Jan 30 2002 - 05:45:39 PST)
- Harry Foster (Tue Jan 15 2002 - 18:32:53 PST)
Desirable language enhancements
- Sandeep K. Shukla (Tue Jan 15 2002 - 19:32:05 PST)
- Bernard Deadman (Tue Jan 15 2002 - 17:11:31 PST)
Do we have the right rules?
- Tom Anderson (Tue Aug 14 2001 - 09:59:11 PDT)
- Ed Clarke (Tue Aug 14 2001 - 06:29:49 PDT)
- Harry D Foster (Tue Aug 14 2001 - 03:43:39 PDT)
- Atanas Parashkevov (Tue Aug 14 2001 - 00:53:53 PDT)
- Sandeep K. Shukla (Mon Aug 13 2001 - 17:45:25 PDT)
- Sandeep K. Shukla (Mon Aug 13 2001 - 17:42:15 PDT)
- Harry D Foster (Mon Aug 13 2001 - 17:34:40 PDT)
- Harry D Foster (Mon Aug 13 2001 - 17:33:39 PDT)
- Harry D Foster (Mon Aug 13 2001 - 17:33:32 PDT)
- Harry D Foster (Mon Aug 13 2001 - 17:29:08 PDT)
- Bernard Deadman (Mon Aug 13 2001 - 17:30:28 PDT)
- Carl Pixley (Tue Aug 14 2001 - 05:25:16 PDT)
- Bernard Deadman (Mon Aug 13 2001 - 17:19:50 PDT)
- Yaron Kashai (Mon Aug 13 2001 - 17:20:40 PDT)
- Carl Pixley (Tue Aug 14 2001 - 05:20:34 PDT)
- Bernard Deadman (Mon Aug 13 2001 - 17:14:04 PDT)
- Tom Anderson (Mon Aug 13 2001 - 17:10:42 PDT)
- Sandeep K. Shukla (Mon Aug 13 2001 - 17:03:47 PDT)
- Carl Pixley (Tue Aug 14 2001 - 04:59:18 PDT)
- Bernard Deadman (Mon Aug 13 2001 - 16:54:48 PDT)
- Sandeep K. Shukla (Mon Aug 13 2001 - 16:46:06 PDT)
- Bernard Deadman (Mon Aug 13 2001 - 16:27:38 PDT)
Don't forget to vote!
- Harry Foster (Fri Dec 07 2001 - 08:04:19 PST)
- Harry Foster (Sun Aug 05 2001 - 14:30:28 PDT)
duality of Sugar clocked untils
- John Havlicek (Mon Oct 21 2002 - 14:30:10 PDT)
duality of until operators
- John Havlicek (Mon Oct 14 2002 - 16:32:45 PDT)
Due Process
- Yaron Wolfsthal (Tue Feb 11 2003 - 07:34:01 PST)
Duplication of default clock in instantiated vunit?
- Johan Mårtensson (Thu Sep 18 2003 - 02:22:50 PDT)
ECBV documents
- John Havlicek (Tue Apr 02 2002 - 10:36:49 PST)
- Bernard Deadman (Tue Apr 02 2002 - 09:36:04 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 Matching Semantics document
- John Havlicek (Tue Mar 19 2002 - 12:45:30 PST)
ECBV regexp examples (PD <= 18)
- John Havlicek (Tue Mar 19 2002 - 11:21:58 PST)
- Bernard Deadman (Tue Mar 19 2002 - 10:51:53 PST)
- John Havlicek (Mon Mar 18 2002 - 12:27:06 PST)
ecbv_function_semantics.ps
- John Havlicek (Wed Apr 03 2002 - 22:47:02 PST)
ecbv_matching_semantics.ps
- John Havlicek (Wed Apr 03 2002 - 22:45:44 PST)
ecbv_module_semantics.ps
- John Havlicek (Wed Apr 03 2002 - 22:43:08 PST)
ecbv_statement_semantics.ps
- John Havlicek (Wed Apr 03 2002 - 22:44:19 PST)
ecbv_syntax.ps
- John Havlicek (Wed Apr 03 2002 - 22:48:40 PST)
EDL Description
- Vassilios.Gerousis@infineon.com (Tue Jul 31 2001 - 21:10:09 PDT)
edl-flavored sugar
- Cindy Eisner (Thu May 23 2002 - 03:22:59 PDT)
efficiency claims
- Cindy Eisner (Wed Nov 21 2001 - 06:58:30 PST)
- Moshe Vardi (Tue Nov 20 2001 - 08:28:05 PST)
- Cindy Eisner (Tue Nov 20 2001 - 05:02:28 PST)
- Moshe Vardi (Mon Nov 19 2001 - 08:23:48 PST)
- Cindy Eisner (Mon Nov 19 2001 - 08:18:11 PST)
- Armoni, Roy (Sat Nov 17 2001 - 23:57:27 PST)
- John Havlicek (Fri Nov 16 2001 - 17:23:02 PST)
- Moshe Vardi (Fri Nov 16 2001 - 15:27:59 PST)
- E. Allen Emerson (Fri Nov 16 2001 - 14:09:40 PST)
- Moshe Vardi (Fri Nov 16 2001 - 13:49:38 PST)
- E. Allen Emerson (Fri Nov 16 2001 - 13:45:51 PST)
- E. Allen Emerson (Fri Nov 16 2001 - 13:43:26 PST)
- Moshe Vardi (Fri Nov 16 2001 - 13:24:30 PST)
- SANDEEP SHUKLA (Mon Dec 17 2001 - 14:11:13 PST)
- Moshe Vardi (Fri Nov 16 2001 - 13:09:37 PST)
- John Havlicek (Fri Nov 16 2001 - 12:54:44 PST)
- Moshe Vardi (Fri Nov 16 2001 - 10:30:20 PST)
- John Havlicek (Fri Nov 16 2001 - 07:08:39 PST)
Electronic Design Processes Workshop - 2003
- Sandeep K. Shukla (Sat Mar 01 2003 - 15:51:59 PST)
enhancement to prev()
- harry@verplex.com (Tue Jul 23 2002 - 11:03:48 PDT)
- Cindy Eisner (Tue Jul 23 2002 - 06:03:50 PDT)
expressiveness and reuse
- John Havlicek (Wed Feb 20 2002 - 17:34:01 PST)
- Anthony McIsaac (Tue Feb 05 2002 - 06:49:03 PST)
- Sandeep K. Shukla (Sun Feb 03 2002 - 10:09:22 PST)
- Cindy Eisner (Sun Feb 03 2002 - 01:09:57 PST)
- Anthony Mcisaac (Tue Jan 15 2002 - 07:44:36 PST)
Expressiveness of temporal e (was: Do we have the right rules?)
- Atanas Parashkevov (Tue Aug 14 2001 - 00:45:00 PDT)
- Sandeep K. Shukla (Tue Aug 14 2001 - 00:36:01 PDT)
- Danny Geist (Mon Aug 13 2001 - 23:55:48 PDT)
- Harry D Foster (Mon Aug 13 2001 - 20:24:39 PDT)
- Yaron Kashai (Mon Aug 13 2001 - 18:33:12 PDT)
Extended CBV semantics
- John Havlicek (Tue Mar 12 2002 - 20:43:30 PST)
Extensions Subcommittee Meeting - 14 Jan 2004 - Minutes
- Erich Marschner (Mon Jan 26 2004 - 13:45:36 PST)
Extensions Subcommittee Meeting - Thursday 22 Jan 2004 - Minutes
- Erich Marschner (Thu Jan 29 2004 - 07:25:44 PST)
- Avigail Orni (Thu Jan 29 2004 - 04:37:34 PST)
- Erich Marschner (Mon Jan 26 2004 - 13:46:36 PST)
Feedback on Sept 12 Sugar LRM
- Cindy Eisner (Tue Oct 01 2002 - 04:52:54 PDT)
Final CFP : IEEE/ACM MEMOCODE 2003
- Sandeep K. Shukla (Mon Jan 27 2003 - 16:02:34 PST)
final documents
- John Havlicek (Wed Apr 03 2002 - 22:34:33 PST)
final version of safety and liveness definitions
- Anthony McIsaac (Tue Oct 15 2002 - 08:43:12 PDT)
final vote
- Cindy Eisner (Tue Apr 23 2002 - 04:58:40 PDT)
- John Havlicek (Mon Apr 22 2002 - 07:05:44 PDT)
flaw in Sugar clocked until semantics
- John Havlicek (Thu Oct 24 2002 - 12:24:04 PDT)
- Cindy Eisner (Thu Oct 24 2002 - 11:44:30 PDT)
- John Havlicek (Tue Oct 22 2002 - 21:49:53 PDT)
Following Accellera Rules and Guidelines
- Bernard Deadman (Sun Sep 16 2001 - 09:45:09 PDT)
- HarryDFoster@aol.com (Sat Sep 15 2001 - 05:57:26 PDT)
- Vassilios.Gerousis@infineon.com (Sat Sep 15 2001 - 03:27:00 PDT)
forall
- Adriana Maggiore (Thu May 08 2003 - 08:24:28 PDT)
ForSpec Features - from July 17 meeting
- Moshe Vardi (Mon Jul 30 2001 - 06:17:03 PDT)
ForSpec's rigid variables
- Bernard Deadman (Tue Nov 20 2001 - 13:13:18 PST)
- Sandeep K. Shukla (Tue Nov 20 2001 - 12:08:25 PST)
- Anthony Mcisaac (Tue Nov 20 2001 - 12:02:41 PST)
- Bernard Deadman (Mon Nov 19 2001 - 12:39:06 PST)
- Armoni, Roy (Mon Nov 19 2001 - 11:59:22 PST)
Forwarded message from 0-In CTO
- Tom Anderson (Mon Sep 16 2002 - 16:03:33 PDT)
- Sandeep K. Shukla (Mon Sep 16 2002 - 14:17:19 PDT)
- Moshe Vardi (Mon Sep 16 2002 - 13:53:34 PDT)
- Moshe Vardi (Mon Sep 16 2002 - 13:44:52 PDT)
- Tom Anderson (Mon Sep 16 2002 - 13:40:29 PDT)
Forwarding for Cindy: "mail from john havlicek"
- Yaron Wolfsthal (Sat Dec 01 2001 - 01:15:49 PST)
Forwarding for Cindy: about R71f, response to Roy
- Moshe Vardi (Sat Dec 01 2001 - 09:50:13 PST)
- Yaron Wolfsthal (Sat Dec 01 2001 - 01:05:38 PST)
Forwarding for Cindy: complexity again
- Moshe Vardi (Sat Dec 01 2001 - 09:40:58 PST)
- Yaron Wolfsthal (Sat Dec 01 2001 - 01:28:20 PST)
Forwarding for Cindy: FGp and GFq on finite traces
- Yaron Wolfsthal (Sat Dec 01 2001 - 01:24:19 PST)
Forwarding for Cindy: simulation interpretation
- Yaron Wolfsthal (Sat Dec 01 2001 - 01:20:10 PST)
Forwarding for Cindy: what exactly can be assumed?
- Moshe Vardi (Sat Dec 01 2001 - 09:47:59 PST)
- Yaron Wolfsthal (Sat Dec 01 2001 - 01:25:51 PST)
FTL fully supports that assume/guarantee paradigm
- Sandeep K. Shukla (Mon Jul 16 2001 - 22:23:17 PDT)
- Armoni, Roy (Mon Jul 16 2001 - 20:08:26 PDT)
- Sandeep K. Shukla (Mon Jul 16 2001 - 18:44:13 PDT)
- John Emmitt (Mon Jul 16 2001 - 14:45:52 PDT)
- Armoni, Roy (Mon Jul 16 2001 - 12:38:12 PDT)
- Cindy Eisner (Sun Jul 15 2001 - 02:02:30 PDT)
- Moshe Vardi (Thu Jul 12 2001 - 08:14:26 PDT)
- Cindy Eisner (Thu Jul 12 2001 - 07:42:11 PDT)
- Armoni, Roy (Thu Jul 12 2001 - 06:35:54 PDT)
FVCT Extensions Subcommittee Meeting - 29 January 2004 - Minutes
- Erich Marschner (Mon Feb 02 2004 - 08:59:29 PST)
FVTC Alignment Subcommittee Report
- Harry D Foster (Wed Feb 25 2004 - 11:33:40 PST)
FVTC Extension Subcommittee
- Harry Foster (Fri Jan 09 2004 - 12:51:13 PST)
- Erich Marschner (Tue Jan 06 2004 - 07:29:22 PST)
- Harry Foster (Tue Dec 16 2003 - 09:25:20 PST)
- Harry Foster (Thu Dec 11 2003 - 10:28:22 PST)
- VhdlCohen@aol.com (Thu Dec 11 2003 - 09:28:28 PST)
- Harry Foster (Thu Dec 11 2003 - 08:52:41 PST)
FVTC Extension Subcommittee Final Meeting to discuss built-in functions and operators
- Harry D Foster (Thu Feb 26 2004 - 16:14:26 PST)
FVTC Extension Subcommittee Meeting
- Harry Foster (Wed Jan 28 2004 - 10:27:33 PST)
- Harry Foster (Tue Jan 20 2004 - 16:25:26 PST)
- Harry Foster (Thu Jan 15 2004 - 09:02:50 PST)
FVTC Extension Subcommittee Meeting Reminder
- Gal Vardi (Tue Jan 13 2004 - 23:14:14 PST)
- Harry Foster (Mon Jan 12 2004 - 14:26:17 PST)
FVTC Extension Subcommittee Meeting Wed Dec 10
- Harry Foster (Mon Dec 08 2003 - 14:21:58 PST)
FVTC LRM Subcommittee Meeting 8/27 || A summary of my issues
- VhdlCohen@aol.com (Mon Aug 18 2003 - 12:04:30 PDT)
FVTC LRM Subcommittee Meeting 9:00AM PT Wednesday August 27, 2003
- Harry Foster (Mon Aug 18 2003 - 09:14:49 PDT)
- Harry Foster (Mon Aug 18 2003 - 09:13:48 PDT)
FVTC Meeting - 30 March 2004 - Minutes
- Avigail Orni (Sun Apr 04 2004 - 08:37:48 PDT)
- VhdlCohen@aol.com (Wed Mar 31 2004 - 08:05:53 PST)
- Cindy Eisner (Wed Mar 31 2004 - 05:57:38 PST)
- Erich Marschner (Tue Mar 30 2004 - 15:17:14 PST)
FVTC Meeting Minutes - 29 January 2003
- Harry Foster (Thu Jan 30 2003 - 21:50:21 PST)
FVTC Meeting Minutes - March 19, 2003
- Erich Marschner (Thu Mar 20 2003 - 11:39:33 PST)
Fwd: 6.2.1.5.1 Suffix implication // ambiguity in "never"
- VhdlCohen@aol.com (Sat Sep 13 2003 - 11:09:33 PDT)
Fwd: Accellera FV -- December 2000 Meeting Minutes (Danny Geist)
- Harry Foster (Tue Dec 19 2000 - 05:28:30 PST)
Fwd: BOUNCE vfv@eda.org: Non-member submission from [Johan Alfredsson <johan.alfredsson@safelogic.se>]
- Harry D Foster (Mon Mar 29 2004 - 11:51:02 PST)
Fwd: LRM 1.1: some bundled comments
- Harry D Foster (Fri Mar 26 2004 - 09:09:20 PST)
Fwd: October 3rd meeting postponed until October 17, & Voting Members
- HarryDFoster@aol.com (Fri Sep 28 2001 - 11:13:29 PDT)
Galileo's vote on the requirements
- karen Yorav (Wed Oct 31 2001 - 04:31:41 PST)
Harry Foster Is Back To Stay
- Vassilios.Gerousis@infineon.com (Sat Mar 01 2003 - 13:58:01 PST)
How ForSpec meets Accellera requirements
- Harry Foster (Wed Nov 14 2001 - 07:18:41 PST)
How Sugar supports the assume/guarantee paradigm
- Armoni, Roy (Mon Jul 30 2001 - 09:49:38 PDT)
- Armoni, Roy (Mon Jul 30 2001 - 09:49:38 PDT)
- Cindy_Eisner/Haifa/IBM%IBMIL (Mon Jul 30 2001 - 07:24:12 PDT)
- Moshe Vardi (Mon Jul 30 2001 - 06:33:27 PDT)
- Cindy Eisner (Mon Jul 30 2001 - 06:13:32 PDT)
- Armoni, Roy (Mon Jul 16 2001 - 12:38:14 PDT)
How temporal-e supports the assume/guarantee paradigm
- Armoni, Roy (Mon Jul 16 2001 - 12:38:15 PDT)
How to name an instance of a property?
- VhdlCohen@aol.com (Thu Sep 18 2003 - 19:43:30 PDT)
- Venkataramanan, Srinivasan (Thu Sep 18 2003 - 16:22:40 PDT)
IBM's Response to the Requirements
- Harry Foster (Wed Nov 14 2001 - 08:54:08 PST)
IEEE MEMOCODE 2003
- Sandeep K. Shukla (Mon Sep 30 2002 - 06:43:53 PDT)
IEEE P1850 PSL WG - Next Meeting Announcement
- Erich Marschner (Tue Sep 28 2004 - 15:05:22 PDT)
IEEE P1850 PSL WG - Next Meeting Announcement - amended
- Erich Marschner (Wed Sep 29 2004 - 05:47:06 PDT)
IEEE P1850 PSL WG Meeting Reminder
- Harry D Foster (Mon Sep 27 2004 - 16:30:19 PDT)
IEEE-1850 PSL Working Group Meeting Postponed until September 23
- Harry D.Foster (Thu Aug 26 2004 - 17:31:51 PDT)
Inappropriate "speech" in emails sent to IEEE Working Groups
- Michael McNamara (Wed Mar 24 2004 - 16:15:28 PST)
Independence and representation
- Bernard Deadman (Mon Aug 13 2001 - 16:19:02 PDT)
Integration of Simulation & Formal Verification
- wolfstal@il.ibm.com (Tue Feb 13 2001 - 10:35:38 PST)
Intel votes on the requirement list
- Armoni, Roy (Thu Nov 01 2001 - 12:15:29 PST)
- John Havlicek (Thu Nov 01 2001 - 07:53:31 PST)
- Armoni, Roy (Wed Oct 31 2001 - 00:04:18 PST)
Intel's desirable requirements from a standard PSL
- Fix, Limor (Wed Jan 16 2002 - 09:58:33 PST)
- Bernard Deadman (Wed Jan 16 2002 - 08:35:27 PST)
- Harry Foster (Wed Jan 16 2002 - 04:56:43 PST)
Issue with operator precedence of SERE operators |, &, && in Veri log flavor of PSL
- Yum, Sunny (Thu Jun 03 2004 - 15:00:27 PDT)
Issue with operator precedence of SERE operators |, &, && in Verilog flavor of PSL
- Erich Marschner (Fri Jun 04 2004 - 08:06:48 PDT)
- Yum, Sunny (Thu Jun 03 2004 - 16:01:13 PDT)
- Erich Marschner (Thu Jun 03 2004 - 15:41:24 PDT)
Issue with operator precedence of SERE operators |, &, && in Verilog flavor of PSL]]
- Erich Marschner (Tue Jun 29 2004 - 11:21:27 PDT)
issues from original LRM review
- Anthony McIsaac (Tue Oct 21 2003 - 09:54:13 PDT)
language defenses?
- John Havlicek (Tue Nov 13 2001 - 08:03:52 PST)
language requests
- John Havlicek (Thu Feb 21 2002 - 17:00:16 PST)
Latest LRM is now available
- Cindy Eisner (Wed Jan 29 2003 - 05:57:09 PST)
- Erich Marschner (Mon Jan 27 2003 - 11:09:57 PST)
Let's Protect the End-Users
- Yaron Wolfsthal (Thu Aug 02 2001 - 11:22:44 PDT)
Linking vunits to hardware design
- Cindy Eisner (Sun Jul 14 2002 - 23:57:49 PDT)
- Harry Foster (Sun Jul 14 2002 - 23:31:24 PDT)
- Cindy Eisner (Mon Jul 01 2002 - 06:33:38 PDT)
- Adriana Maggiore (Thu Jun 27 2002 - 05:54:37 PDT)
LRM 0.8 comments for review
- Cindy Eisner (Mon Sep 30 2002 - 10:06:57 PDT)
- Gal Vardi (Wed Sep 25 2002 - 01:50:00 PDT)
LRM comments, pp. 14-40
- John Havlicek (Sun Sep 29 2002 - 14:00:06 PDT)
LRM examples for replicated properties
- Cindy Eisner (Tue Sep 02 2003 - 04:05:46 PDT)
- Yum, Sunny (Tue Aug 19 2003 - 13:15:37 PDT)
LRM fixes - ranges
- Gal Vardi (Sat Sep 06 2003 - 23:34:53 PDT)
LRM fixes - ranges and macros
- Erich Marschner (Thu Sep 04 2003 - 12:33:29 PDT)
- Gal Vardi (Thu Sep 04 2003 - 03:04:09 PDT)
LRM fixes - restrictions on verification units and inheritance
- Sitvanit Ruah (Sun Sep 14 2003 - 06:24:40 PDT)
LRM issues
- Gal Vardi (Wed Aug 27 2003 - 03:47:02 PDT)
LRM issues: macro and replicator
- Avigail Orni (Tue Dec 09 2003 - 05:15:09 PST)
- Cindy Eisner (Sun Dec 07 2003 - 04:42:12 PST)
LRM Review - Status Report - 12 Dec 2002 - final note
- Erich Marschner (Tue Dec 17 2002 - 07:45:04 PST)
LRM Review - Status Report - 12 Dec 2002 - part 1 (summary)
- Erich Marschner (Thu Dec 12 2002 - 15:23:53 PST)
LRM Review - Status Report - 12 Dec 2002 - third try
- Erich Marschner (Fri Dec 13 2002 - 13:44:25 PST)
LRM subcommittee - initial meeting
- Erich Marschner (Mon May 19 2003 - 15:25:52 PDT)
lrm v1.1 - clarification needed
- Cindy Eisner (Thu Jul 31 2003 - 01:33:27 PDT)
LRM: 5.4 Default clock declaration // Recommendation
- VhdlCohen@aol.com (Wed Apr 30 2003 - 16:40:40 PDT)
LRM: Clarify precedence of * in section 4.2.2 (defined elsewhere)
- VhdlCohen@aol.com (Sat Sep 13 2003 - 11:06:11 PDT)
LRM: Fix examples to use && instead of &; also add ';'
- VhdlCohen@aol.com (Sat Sep 13 2003 - 11:06:12 PDT)
maidl
- Yaron Wolfsthal (Mon Dec 03 2001 - 04:40:26 PST)
mail from john havlecik
- hillel miller (Mon Nov 26 2001 - 21:41:38 PST)
mapping SVA2PSL, first draft
- John Havlicek (Wed Apr 30 2003 - 17:33:12 PDT)
Meeting attendance
- Karen Yorav (Wed Nov 14 2001 - 02:26:37 PST)
minor erratum
- John Havlicek (Thu Mar 14 2002 - 09:28:27 PST)
Minor issues in PSL 1.1 LRM
- Erich Marschner (Tue Jun 29 2004 - 16:32:44 PDT)
- Yum, Sunny (Tue Jun 29 2004 - 15:45:14 PDT)
Minutes of the FVTC Alignment Subcommittee - Wednesday 21 May 2003
- John Havlicek (Wed May 21 2003 - 14:03:19 PDT)
- Erich Marschner (Wed May 21 2003 - 13:28:12 PDT)
More about simulation checking
- Anthony McIsaac (Thu Sep 26 2002 - 06:52:36 PDT)
more advanced sampling
- John Havlicek (Thu Feb 13 2003 - 21:39:48 PST)
- John Havlicek (Thu Feb 13 2003 - 19:51:38 PST)
more on Assertion discussion of FVTC languages
- John Havlicek (Thu Apr 11 2002 - 23:08:22 PDT)
- John Havlicek (Thu Apr 11 2002 - 22:46:04 PDT)
more on mapping SVA2PSL
- John Havlicek (Tue Apr 29 2003 - 22:22:50 PDT)
More problems with your Apology...
- Michael McNamara (Wed Mar 24 2004 - 09:31:44 PST)
- Clifford E. Cummings (Tue Mar 23 2004 - 18:38:56 PST)
- Michael McNamara (Tue Mar 23 2004 - 15:28:14 PST)
Motion 1 - Vote
- dudani@us04.synopsys.com (Mon Aug 06 2001 - 07:00:47 PDT)
Motion 1 vote
- Tom Anderson (Mon Aug 06 2001 - 18:32:43 PDT)
Motion 2 - Vote
- dudani@us04.synopsys.com (Mon Aug 06 2001 - 07:05:20 PDT)
Motion 2 vote
- Tom Anderson (Wed Aug 08 2001 - 10:30:10 PDT)
Motion 3 Requirements Rework
- hillel miller (Sat Sep 08 2001 - 23:19:17 PDT)
- Yaron Kashai (Fri Sep 07 2001 - 09:11:03 PDT)
- HarryDFoster@aol.com (Fri Sep 07 2001 - 07:51:23 PDT)
- HarryDFoster@aol.com (Fri Sep 07 2001 - 07:15:41 PDT)
Motion 4 Ballot
- John Havlicek (Mon Sep 10 2001 - 09:19:29 PDT)
MOTOROLA ballot
- John Havlicek (Tue Oct 30 2001 - 15:50:23 PST)
Motorola CBV Semantics Document
- Harry Foster (Sun Jan 13 2002 - 20:56:43 PST)
MOTOROLA DEFENSE OF CBV
- John Havlicek (Mon Nov 12 2001 - 12:04:24 PST)
mu calculus
- Matthew Morley (Wed Feb 07 2001 - 20:59:03 PST)
My vote and message for Roy
- Bernard Deadman (Thu Dec 13 2001 - 09:30:01 PST)
- Ed Clarke (Thu Dec 13 2001 - 04:59:44 PST)
My votes
- Ed Clarke (Mon Aug 06 2001 - 05:06:29 PDT)
named properties/sequences, binding and inheritance
- Radu Grigore (Thu Mar 04 2004 - 03:19:04 PST)
- Neeraj Chandak (Thu Mar 04 2004 - 03:09:20 PST)
- Gal Vardi (Thu Mar 04 2004 - 02:12:50 PST)
- Radu Grigore (Thu Mar 04 2004 - 01:08:33 PST)
names and grouping
- Anthony McIsaac (Mon Feb 11 2002 - 03:08:01 PST)
Naming
- Yaron Wolfsthal (Thu Nov 22 2001 - 07:24:37 PST)
- Moshe Vardi (Wed Nov 21 2001 - 06:53:03 PST)
- Yaron Wolfsthal (Wed Nov 21 2001 - 04:54:11 PST)
- Moshe Vardi (Tue Nov 20 2001 - 09:50:23 PST)
- Yaron Wolfsthal (Tue Nov 20 2001 - 09:45:00 PST)
new participant
- Michael Siegel ZT SE 4 (Tue Jan 09 2001 - 11:37:47 PST)
Next Accellera FV Meeting
- Peter Flake (Thu Aug 09 2001 - 07:20:19 PDT)
- Moshe Vardi (Thu Aug 09 2001 - 02:21:58 PDT)
- Fix, Limor (Wed Aug 08 2001 - 22:01:56 PDT)
- Harry Foster (Wed Aug 08 2001 - 13:37:32 PDT)
Next FVTC meeting October 22, 9am PT
- Harry Foster (Sat Oct 18 2003 - 07:23:00 PDT)
Next Sugar LRM Review - Monday 11 Nov 2002 - remaining issues
- Erich Marschner (Mon Nov 11 2002 - 07:13:21 PST)
Next Sugar LRM Review - Monday 14 Oct 2002 - pp. 40..66
- Erich Marschner (Mon Oct 14 2002 - 06:24:07 PDT)
Next Sugar LRM Review - Monday 18 Nov 2002 - remaining issues
- Erich Marschner (Sun Nov 17 2002 - 16:12:30 PST)
Next Sugar LRM Review - Monday 21 Oct 2002 - pp. 64..78
- Erich Marschner (Mon Oct 21 2002 - 06:26:11 PDT)
Next Sugar LRM Review - Monday 25 Nov 2002 - remaining issues
- Erich Marschner (Mon Nov 25 2002 - 05:13:09 PST)
Next Sugar LRM Review - Monday 28 Oct 2002 - pp. 78 .. end
- Erich Marschner (Mon Oct 28 2002 - 07:00:33 PST)
Next Sugar LRM Review - Monday 30 Sep 2002 - pp. 15...45?
- Erich Marschner (Mon Sep 23 2002 - 20:23:04 PDT)
Next Sugar LRM Review - Monday 4 Nov 2002 - remaining issues
- Erich Marschner (Mon Nov 04 2002 - 07:55:18 PST)
Next Sugar LRM Review - Monday 7 Oct 2002 - pp. 29...?
- Erich Marschner (Sun Oct 06 2002 - 17:47:41 PDT)
No PhDs
- wolfstal@il.ibm.com (Wed Jul 11 2001 - 11:41:32 PDT)
Non-member submission from ["Abdelwaheb Ayari;Freiburg" <abdelwaheb.ayari@Micronas.Com>]
- Dana Fisman (Wed Nov 05 2003 - 09:10:01 PST)
- Erich Marschner (Wed Nov 05 2003 - 08:26:17 PST)
- Erich Marschner (Wed Nov 05 2003 - 08:24:48 PST)
Not able to get into the meeting
- Joseph Lu (Wed Jan 29 2003 - 09:28:52 PST)
October 3rd meeting postponed until October 17, & Voting Members
- HarryDFoster@aol.com (Fri Sep 28 2001 - 08:43:36 PDT)
one more minor comment on draft a
- Cindy Eisner (Thu Apr 01 2004 - 01:32:30 PST)
Out of the office....
- Harry Foster (Wed Nov 21 2001 - 14:17:00 PST)
- Tom Anderson (Wed Nov 21 2001 - 14:42:13 PST)
- Harry Foster (Wed Nov 21 2001 - 13:17:32 PST)
Outrageous
- Harry Foster (Tue Nov 06 2001 - 06:39:13 PST)
- Hillel Miller (Mon Nov 05 2001 - 22:50:58 PST)
Outrageous - second attempt
- Bernard Deadman (Tue Nov 06 2001 - 09:31:15 PST)
Overlapping sequences in temporal 'e'
- Yaron Kashai (Mon May 07 2001 - 08:59:58 PDT)
- Bernard Deadman (Thu May 03 2001 - 13:38:21 PDT)
parameters
- John Havlicek (Wed Apr 10 2002 - 16:42:00 PDT)
- Erich Marschner (Mon Apr 08 2002 - 17:56:03 PDT)
- John Havlicek (Mon Apr 08 2002 - 15:26:24 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)
Paris - Intel Presentation (retry)
- Harry Foster (Mon Aug 06 2001 - 06:57:45 PDT)
Paris Meeting Language Discussion
- Harry Foster (Tue Jul 10 2001 - 12:00:16 PDT)
path quantifiers A, E should be explicit
- Moshe Vardi (Fri Aug 03 2001 - 03:16:20 PDT)
- Sandeep K. Shukla (Fri Aug 03 2001 - 03:03:40 PDT)
- Moshe Vardi (Fri Aug 03 2001 - 02:51:44 PDT)
- Sandeep K. Shukla (Fri Aug 03 2001 - 02:34:38 PDT)
- Moshe Vardi (Fri Aug 03 2001 - 02:30:56 PDT)
- Sandeep K. Shukla (Fri Aug 03 2001 - 02:14:24 PDT)
- Moshe Vardi (Fri Aug 03 2001 - 01:59:58 PDT)
- Sandeep K. Shukla (Fri Aug 03 2001 - 01:52:13 PDT)
- Moshe Vardi (Fri Aug 03 2001 - 01:42:26 PDT)
- E. Allen Emerson (Thu Aug 02 2001 - 11:08:04 PDT)
- Moshe Vardi (Thu Aug 02 2001 - 10:38:47 PDT)
- E. Allen Emerson (Thu Aug 02 2001 - 09:03:16 PDT)
- Moshe Vardi (Thu Aug 02 2001 - 08:31:50 PDT)
- Danny_Geist/Haifa/IBM%IBMIL (Wed Aug 01 2001 - 14:57:39 PDT)
- Sandeep K. Shukla (Wed Aug 01 2001 - 14:20:28 PDT)
- E. Allen Emerson (Wed Aug 01 2001 - 13:56:29 PDT)
path quantifiers are important
- Sandeep K. Shukla (Wed Aug 01 2001 - 14:27:38 PDT)
- Danny_Geist/Haifa/IBM%IBMIL (Wed Aug 01 2001 - 13:58:12 PDT)
- Sandeep K. Shukla (Wed Aug 01 2001 - 12:57:24 PDT)
- Danny Geist (Wed Aug 01 2001 - 04:28:04 PDT)
- Sandeep K. Shukla (Tue Jul 31 2001 - 17:46:05 PDT)
- E. Allen Emerson (Tue Jul 31 2001 - 17:17:55 PDT)
pending sugar issues
- eisner@il.ibm.com (Wed May 09 2001 - 05:32:44 PDT)
ping
- John Havlicek (Wed Apr 03 2002 - 22:28:54 PST)
Pls Wait..
- Vassilios.Gerousis@infineon.com (Fri Dec 14 2001 - 23:24:32 PST)
- Carl Pixley (Fri Dec 14 2001 - 11:10:06 PST)
- Bernard Deadman (Fri Dec 14 2001 - 10:36:26 PST)
- Peter Flake (Fri Dec 14 2001 - 05:48:28 PST)
- Sandeep K. Shukla (Thu Dec 13 2001 - 14:09:21 PST)
- Yaron Wolfsthal (Thu Dec 13 2001 - 14:08:03 PST)
- Sandeep K. Shukla (Thu Dec 13 2001 - 14:00:11 PST)
- Yaron Wolfsthal (Thu Dec 13 2001 - 13:52:43 PST)
Practical assume/guarantee
- Bernard Deadman (Tue Dec 04 2001 - 10:13:21 PST)
- Danny Geist (Tue Dec 04 2001 - 09:27:53 PST)
- Armoni, Roy (Tue Dec 04 2001 - 07:17:16 PST)
- Moshe Vardi (Sat Dec 01 2001 - 10:04:11 PST)
- Bernard Deadman (Fri Nov 30 2001 - 10:15:53 PST)
Preference of Assume, restrict verification directives..
- Cindy Eisner (Thu Jan 08 2004 - 06:23:33 PST)
- Neeraj Chandak (Mon Jan 05 2004 - 03:49:42 PST)
preliminary SVA semantics
- John Havlicek (Wed Mar 19 2003 - 05:28:45 PST)
- Cindy Eisner (Wed Mar 19 2003 - 01:29:03 PST)
- Moshe Vardi (Tue Mar 18 2003 - 21:03:07 PST)
- John Havlicek (Tue Mar 18 2003 - 15:04:24 PST)
preliminary sva2psl mapping work
- John Havlicek (Mon Apr 28 2003 - 16:14:32 PDT)
Press quotations
- Peter Flake (Wed Nov 07 2001 - 05:39:25 PST)
- Hillel Miller (Wed Nov 07 2001 - 08:59:27 PST)
- Tom Anderson (Wed Nov 07 2001 - 05:05:30 PST)
- Erich Marschner (Tue Nov 06 2001 - 07:55:46 PST)
properties
- John Havlicek (Wed Apr 03 2002 - 22:40:59 PST)
properties in sugar
- eisner@il.ibm.com (Wed May 23 2001 - 05:18:02 PDT)
Property #20 in practice
- Bernard Deadman (Mon Dec 03 2001 - 08:39:24 PST)
Property 20 - multiple concurrent split transactions
- Bernard Deadman (Thu Sep 27 2001 - 14:41:59 PDT)
- John Havlicek (Thu Sep 27 2001 - 13:55:15 PDT)
- Bernard Deadman (Wed Sep 19 2001 - 08:56:37 PDT)
- Yaron Kashai (Wed Sep 12 2001 - 18:07:20 PDT)
- Bernard Deadman (Wed Sep 12 2001 - 14:55:58 PDT)
- Bernard Deadman (Wed Sep 12 2001 - 14:37:57 PDT)
Property coding metrics
- Bernard Deadman (Mon Aug 13 2001 - 16:18:29 PDT)
property examples for the database
- Harry Foster (Wed May 02 2001 - 07:57:47 PDT)
Property examples in Sugar
- Bernard Deadman (Mon May 07 2001 - 11:11:46 PDT)
Proposal for adding Severity and Message Clauses to PSL Assertions
- Cindy Eisner (Fri Jan 16 2004 - 01:31:52 PST)
- Erich Marschner (Thu Jan 15 2004 - 18:09:54 PST)
- VhdlCohen@aol.com (Thu Jan 15 2004 - 16:01:10 PST)
- Erich Marschner (Thu Jan 15 2004 - 12:52:22 PST)
- Erich Marschner (Thu Jan 15 2004 - 12:45:46 PST)
- VhdlCohen@aol.com (Thu Jan 15 2004 - 12:25:47 PST)
- Erich Marschner (Thu Jan 15 2004 - 11:34:00 PST)
- VhdlCohen@aol.com (Thu Jan 15 2004 - 11:24:49 PST)
- Gal Vardi (Thu Jan 15 2004 - 10:59:27 PST)
- VhdlCohen@aol.com (Thu Jan 15 2004 - 10:26:54 PST)
- Erich Marschner (Tue Jan 13 2004 - 21:39:18 PST)
- Erich Marschner (Wed Jan 14 2004 - 10:49:51 PST)
Proposal for additional built-in functions in PSL
- Erich Marschner (Thu Jan 29 2004 - 08:57:38 PST)
Proposal for Naming of Directives in PSL v1.1
- Erich Marschner (Wed Jan 14 2004 - 11:31:08 PST)
- Clifford E. Cummings (Wed Jan 14 2004 - 10:47:19 PST)
- Erich Marschner (Tue Jan 13 2004 - 23:00:58 PST)
Proposed Changes to support more portable PSL
- Erich Marschner (Tue Jan 13 2004 - 20:40:24 PST)
PSL 1.0 LRM can now be accessed online
- Moshe Vardi (Mon Feb 03 2003 - 08:44:12 PST)
- Harry Foster (Mon Feb 03 2003 - 08:15:33 PST)
PSL 1.01 Is An Accellera Standard
- Moshe Vardi (Sat May 31 2003 - 12:02:15 PDT)
- harrydfoster@attbi.com (Fri May 30 2003 - 17:23:19 PDT)
- Vassilios.Gerousis@infineon.com (Thu May 29 2003 - 13:18:14 PDT)
PSL 1.01 LRM Update
- Harry Foster (Sat Apr 26 2003 - 08:40:12 PDT)
- Shrenik Mehta (Sat Apr 26 2003 - 08:06:48 PDT)
- Harry Foster (Fri Apr 25 2003 - 21:24:14 PDT)
PSL 1.01 LRM Update // comments on doc
- VhdlCohen@aol.com (Sun Apr 27 2003 - 09:54:23 PDT)
PSL 1.01 Out Of Module Reference (OOMR) for PSL & Verilog
- VhdlCohen@aol.com (Sun Jul 13 2003 - 09:19:49 PDT)
- VhdlCohen@aol.com (Fri Jul 11 2003 - 10:14:15 PDT)
- VhdlCohen@aol.com (Thu Jul 10 2003 - 19:40:35 PDT)
- VhdlCohen@aol.com (Thu Jul 10 2003 - 19:29:57 PDT)
PSL 1.1 clock expression ambiguity with Verilog/SystemVerilog fla vors
- Yum, Sunny (Tue Jun 01 2004 - 14:44:47 PDT)
PSL 1.1 clock expression ambiguity with Verilog/SystemVerilog flavors
- Erich Marschner (Tue Jun 08 2004 - 14:51:25 PDT)
- Yum, Sunny (Tue Jun 08 2004 - 11:31:10 PDT)
- Erich Marschner (Fri Jun 04 2004 - 14:13:04 PDT)
- Erich Marschner (Tue Jun 01 2004 - 15:47:17 PDT)
PSL 1.1 Draft B Available, and FVTC Meeting April 22
- Harry D Foster (Sun Apr 18 2004 - 15:07:12 PDT)
- Harry D Foster (Sun Apr 18 2004 - 14:55:15 PDT)
PSL 1.1 Draft B-April21 Available, and FVTC Meeting April 22
- Harry D Foster (Wed Apr 21 2004 - 21:06:56 PDT)
PSL 1.1 Is An Accellera Standard
- Vassilios.Gerousis@infineon.com (Mon Jun 14 2004 - 21:19:14 PDT)
PSL 1.1 LRM: Error in 1.3.2.1
- VhdlCohen@aol.com (Fri Mar 28 2003 - 14:03:33 PST)
PSL 1.1 LRM: Proposals: Request to add write access to HDL signal
- Harry Foster (Thu Apr 17 2003 - 07:26:15 PDT)
- VhdlCohen@aol.com (Wed Apr 16 2003 - 14:35:38 PDT)
- Moshe Vardi (Wed Apr 16 2003 - 13:47:44 PDT)
- VhdlCohen@aol.com (Wed Apr 16 2003 - 11:07:53 PDT)
PSL 1.1 LRM: Some recommendations
- VhdlCohen@aol.com (Mon Mar 24 2003 - 10:35:48 PST)
- VhdlCohen@aol.com (Mon Mar 24 2003 - 10:26:33 PST)
PSL 1.1: Action block proposal
- VhdlCohen@aol.com (Tue Jan 20 2004 - 12:47:57 PST)
- Erich Marschner (Mon Jan 19 2004 - 11:54:04 PST)
PSL 1.x LRM: Proposal: Default abort construct
- VhdlCohen@aol.com (Sat Jun 21 2003 - 19:20:19 PDT)
PSL 1.x LRM: Proposal: named block around the assertion statement
- Erich Marschner (Mon Jun 16 2003 - 12:08:24 PDT)
- VhdlCohen@aol.com (Tue Jun 10 2003 - 11:29:56 PDT)
- Avner Landver (Tue Jun 10 2003 - 10:50:38 PDT)
- Gal Vardi (Tue Jun 10 2003 - 01:03:03 PDT)
- VhdlCohen@aol.com (Mon Jun 09 2003 - 09:49:59 PDT)
- VhdlCohen@aol.com (Sun Jun 08 2003 - 14:37:47 PDT)
PSL LRM 1.01 comments
- Anthony McIsaac (Tue Jun 24 2003 - 07:50:05 PDT)
- Gal Vardi (Sun Jun 15 2003 - 07:16:03 PDT)
PSL LRM 1.1: VHDL interpretation of true/false for std_logic
- Cindy Eisner (Tue Dec 23 2003 - 00:42:04 PST)
- Jim Lewis (Sat Dec 20 2003 - 15:27:57 PST)
- Jim Lewis (Mon Dec 22 2003 - 17:48:52 PST)
- Jim Lewis (Sat Dec 20 2003 - 14:13:33 PST)
- Jayaram Bhasker (Mon Dec 22 2003 - 08:50:22 PST)
- Erich Marschner (Thu Dec 18 2003 - 06:28:10 PST)
- Jayaram Bhasker (Thu Dec 18 2003 - 06:02:51 PST)
- Jim Lewis (Wed Dec 17 2003 - 16:57:52 PST)
- VhdlCohen@aol.com (Wed Dec 17 2003 - 16:45:14 PST)
PSL LRM : replicating properties operator "forall"
- Harry Foster (Tue Jan 20 2004 - 17:05:27 PST)
- Gal Vardi (Thu Nov 20 2003 - 02:55:01 PST)
PSL LRM comments, pp. 41-74
- John Havlicek (Tue Oct 08 2002 - 11:01:03 PDT)
PSL LRM" Page 33, example 1 and 2
- VhdlCohen@aol.com (Fri Sep 05 2003 - 04:51:28 PDT)
PSL LRM: 4.4.5 Simple subset // error in |->!
- VhdlCohen@aol.com (Thu Oct 30 2003 - 09:17:26 PST)
- Cindy Eisner (Mon Oct 20 2003 - 02:39:37 PDT)
- VhdlCohen@aol.com (Sat Oct 18 2003 - 20:22:29 PDT)
PSL LRM: 6.2.3 Replicated properties // Need clarification
- Gal Vardi (Mon Aug 18 2003 - 08:17:08 PDT)
- VhdlCohen@aol.com (Sun Aug 17 2003 - 12:58:45 PDT)
- VhdlCohen@aol.com (Sun Aug 17 2003 - 12:50:52 PDT)
PSL LRM: More comments and issues
- Anthony McIsaac (Tue Jun 24 2003 - 07:50:30 PDT)
- Erich Marschner (Wed Feb 12 2003 - 09:31:45 PST)
PSL next() // supported in Verilog?
- VhdlCohen@aol.com (Tue Sep 30 2003 - 15:36:07 PDT)
PSL operator precedence: repetition > composition?
- Cindy Eisner (Wed Sep 03 2003 - 00:57:04 PDT)
- Yum, Sunny (Tue Aug 19 2003 - 13:39:57 PDT)
PSL rose() clarification
- Gal Vardi (Wed Jan 28 2004 - 22:47:59 PST)
- VhdlCohen@aol.com (Wed Jan 28 2004 - 19:58:09 PST)
PSL scoping rules
- Erich Marschner (Mon Jan 19 2004 - 13:37:48 PST)
PSL v1.0 issues list, for LRM subcommittee review
- Erich Marschner (Wed May 21 2003 - 08:47:56 PDT)
PSL v1.1 approved LRM available
- Harry D Foster (Mon Jun 28 2004 - 21:23:20 PDT)
PSL v1.1 Changes since draft A
- Erich Marschner (Mon Apr 12 2004 - 18:02:26 PDT)
PSL v1.1 draft A review // precedence
- Andrea FEDELI (Thu Mar 25 2004 - 06:37:46 PST)
- Andrea FEDELI (Thu Mar 25 2004 - 06:09:37 PST)
- VhdlCohen@aol.com (Wed Mar 24 2004 - 15:15:07 PST)
- Andrea FEDELI (Wed Mar 24 2004 - 10:33:46 PST)
- Håkan Hjort (Wed Mar 24 2004 - 03:47:31 PST)
- VhdlCohen@aol.com (Tue Mar 23 2004 - 18:18:58 PST)
- Erich Marschner (Tue Mar 23 2004 - 18:11:14 PST)
- VhdlCohen@aol.com (Tue Mar 23 2004 - 17:51:34 PST)
- Erich Marschner (Tue Mar 23 2004 - 17:33:57 PST)
- VhdlCohen@aol.com (Tue Mar 23 2004 - 15:17:14 PST)
PSL v1.1 draft d
- Harry D Foster (Tue Apr 27 2004 - 11:10:06 PDT)
PSL v1.1 LRM comments - for discussion on Tuesday
- VhdlCohen@aol.com (Tue Mar 30 2004 - 14:45:17 PST)
- Erich Marschner (Mon Mar 29 2004 - 21:51:43 PST)
PSL v1.1 LRM has been approved by the FVTC
- Erich Marschner (Thu Apr 29 2004 - 08:36:51 PDT)
PSL vs Sugar
- Harry D Foster (Fri Feb 27 2004 - 10:57:05 PST)
- shrenik mehta (Fri Feb 27 2004 - 10:52:07 PST)
- Moshe Vardi (Fri Feb 27 2004 - 10:26:33 PST)
PSL-SystemVerilog unification (review of SVA proposal)
- Bernard Deadman (Mon Feb 10 2003 - 13:54:43 PST)
- Harry Foster (Fri Feb 07 2003 - 07:37:13 PST)
PSL: 4.2.2 Operators// Table 2 missing "->" operator
- VhdlCohen@aol.com (Tue Feb 25 2003 - 09:16:12 PST)
PSL: Adding a "default abort"
- Erich Marschner (Fri Jan 02 2004 - 20:59:19 PST)
- Erich Marschner (Wed Dec 31 2003 - 08:41:59 PST)
- Cindy Eisner (Wed Dec 31 2003 - 07:05:01 PST)
- Cindy Eisner (Tue Dec 30 2003 - 00:28:08 PST)
- Gal Vardi (Mon Dec 29 2003 - 23:57:33 PST)
- VhdlCohen@aol.com (Mon Dec 29 2003 - 10:59:17 PST)
PSL: Attributes for Verilog and SystemVerilog
- Clifford E. Cummings (Sun Mar 21 2004 - 22:51:10 PST)
- Vassilios.Gerousis@infineon.com (Sun Mar 21 2004 - 22:05:04 PST)
- Michael McNamara (Tue Mar 23 2004 - 06:49:21 PST)
- Clifford E. Cummings (Thu Mar 18 2004 - 18:01:22 PST)
- Michael McNamara (Wed Mar 17 2004 - 19:21:54 PST)
- Erich Marschner (Wed Mar 17 2004 - 18:42:19 PST)
- VhdlCohen@aol.com (Wed Mar 17 2004 - 15:06:44 PST)
- Michael McNamara (Wed Mar 17 2004 - 14:56:54 PST)
- Shalom.Bresticker@motorola.com (Wed Mar 17 2004 - 12:03:28 PST)
- Michael McNamara (Wed Mar 17 2004 - 09:28:14 PST)
- Jayaram Bhasker (Wed Mar 17 2004 - 05:23:35 PST)
- Shalom.Bresticker@motorola.com (Tue Mar 16 2004 - 23:45:22 PST)
- Clifford E. Cummings (Tue Mar 16 2004 - 23:05:49 PST)
- Harry D Foster (Tue Mar 16 2004 - 09:51:57 PST)
- Michael McNamara (Tue Mar 16 2004 - 09:09:42 PST)
- Shalom.Bresticker@motorola.com (Tue Mar 16 2004 - 07:01:04 PST)
- Shalom.Bresticker@motorola.com (Tue Mar 16 2004 - 06:57:57 PST)
- VhdlCohen@aol.com (Tue Mar 16 2004 - 06:56:06 PST)
- VhdlCohen@aol.com (Tue Mar 16 2004 - 06:47:29 PST)
- Shalom.Bresticker@motorola.com (Tue Mar 16 2004 - 01:50:57 PST)
- VhdlCohen@aol.com (Mon Mar 15 2004 - 14:09:49 PST)
PSL: Bug in LRM 7.1.6 cover
- VhdlCohen@aol.com (Tue Aug 12 2003 - 13:51:37 PDT)
PSL: Change "which" to "that" in a number of places
- VhdlCohen@aol.com (Fri Sep 05 2003 - 19:37:56 PDT)
PSL: Clarification of "before"
- VhdlCohen@aol.com (Thu Aug 21 2003 - 11:34:45 PDT)
PSL: endpoint vs named sequence + next() issue
- VhdlCohen@aol.com (Thu Aug 28 2003 - 11:30:24 PDT)
- John Havlicek (Thu Aug 28 2003 - 11:17:38 PDT)
- VhdlCohen@aol.com (Thu Aug 28 2003 - 09:39:10 PDT)
- Dana Fisman (Thu Aug 28 2003 - 09:02:13 PDT)
- VhdlCohen@aol.com (Thu Aug 28 2003 - 08:45:52 PDT)
- Gal Vardi (Thu Aug 28 2003 - 09:02:29 PDT)
- Dana Fisman (Thu Aug 28 2003 - 08:04:56 PDT)
- John Havlicek (Thu Aug 28 2003 - 07:28:33 PDT)
- VhdlCohen@aol.com (Thu Aug 28 2003 - 07:12:13 PDT)
- Dana Fisman (Thu Aug 28 2003 - 00:11:32 PDT)
- VhdlCohen@aol.com (Wed Aug 27 2003 - 08:46:32 PDT)
PSL: Issues to bring up in upcoming LRM meeting
- VhdlCohen@aol.com (Tue Aug 12 2003 - 15:07:26 PDT)
PSL: LRM 8.1.4.1 rose() // a question
- VhdlCohen@aol.com (Mon Nov 10 2003 - 21:27:07 PST)
PSL: Proposed restrictions on "never"
- VhdlCohen@aol.com (Thu Oct 02 2003 - 09:37:27 PDT)
- Dana Fisman (Thu Oct 02 2003 - 09:26:40 PDT)
- VhdlCohen@aol.com (Thu Oct 02 2003 - 09:16:44 PDT)
- VhdlCohen@aol.com (Thu Oct 02 2003 - 09:15:18 PDT)
- VhdlCohen@aol.com (Thu Oct 02 2003 - 08:33:28 PDT)
PSL: Reading of OUT ports in VHDL Flavor
- VhdlCohen@aol.com (Mon Feb 17 2003 - 14:22:40 PST)
PSL: rose(), fell(), next(), prev() only for Verilog?
- VhdlCohen@aol.com (Mon Aug 25 2003 - 13:39:50 PDT)
Puzzled - please explain
- Fix, Limor (Thu Nov 08 2001 - 18:35:44 PST)
- Yaron Kashai (Thu Nov 08 2001 - 18:24:25 PST)
- Tom Anderson (Thu Nov 08 2001 - 15:17:44 PST)
- Bernard Deadman (Thu Nov 08 2001 - 14:58:34 PST)
- Tom Anderson (Thu Nov 08 2001 - 14:15:26 PST)
- Vassilios.Gerousis@infineon.com (Thu Nov 08 2001 - 09:11:58 PST)
- Bernard Deadman (Thu Nov 08 2001 - 08:33:11 PST)
- Danny Geist (Sun Aug 12 2001 - 06:05:39 PDT)
- Armoni, Roy (Sun Aug 12 2001 - 00:04:09 PDT)
- Bernard Deadman (Fri Aug 10 2001 - 10:04:18 PDT)
- Bernard Deadman (Thu Aug 09 2001 - 12:07:07 PDT)
question
- Avigail Orni (Mon Jul 05 2004 - 04:20:57 PDT)
- Erich Marschner (Thu Jul 01 2004 - 15:45:54 PDT)
- dp (Thu Jul 01 2004 - 13:59:50 PDT)
- Erich Marschner (Thu Jul 01 2004 - 06:43:59 PDT)
- Avigail Orni (Wed Jun 30 2004 - 22:06:43 PDT)
- dp (Wed Jun 30 2004 - 10:58:20 PDT)
Question regarding Sampling point
- Cindy Eisner (Mon Dec 15 2003 - 01:05:54 PST)
- Andy Tsay (Fri Dec 12 2003 - 18:57:42 PST)
questions about CBV
- John Havlicek (Mon Apr 15 2002 - 13:11:59 PDT)
- John Havlicek (Fri Apr 12 2002 - 11:23:12 PDT)
Questions regarding bound/unbound vunits
- Avigail Orni (Tue Jan 20 2004 - 06:54:30 PST)
r71f
- Yaron Wolfsthal (Mon Dec 03 2001 - 04:40:13 PST)
reaching consensus
- John Havlicek (Tue Nov 05 2002 - 22:09:49 PST)
README
- John Havlicek (Wed Apr 03 2002 - 22:36:38 PST)
Reference Implementation ??
- Sandeep K. Shukla (Wed Jul 11 2001 - 18:34:31 PDT)
- Matthew Morley (Wed Jul 11 2001 - 18:20:47 PDT)
- wolfstal@il.ibm.com (Wed Jul 11 2001 - 11:50:59 PDT)
regexp issue
- Erich Marschner (Wed Mar 20 2002 - 11:29:52 PST)
Remaining issues for discussion in FVTC meeting of 13 April 2004
- Erich Marschner (Mon Apr 12 2004 - 18:05:15 PDT)
Reminder: Accellera FV June 7-th Meeting -- Access Information
- Harry Foster (Tue Jun 05 2001 - 11:36:23 PDT)
Reminder: Accellera FV May 3-rd Meeting -- Access Information
- Harry Foster (Wed May 02 2001 - 12:35:18 PDT)
Removing a restriction on nested forall
- Avigail Orni (Wed Apr 14 2004 - 04:47:53 PDT)
Requirement 57
- Bernard Deadman (Tue Sep 04 2001 - 15:13:51 PDT)
resend, Intel and Synopsys requests
- John Havlicek (Fri Mar 01 2002 - 14:55:19 PST)
REVISED CBV DEFENSE
- John Havlicek (Mon Nov 19 2001 - 08:28:12 PST)
revised comment on LRM p. 63
- John Havlicek (Mon Oct 14 2002 - 15:01:48 PDT)
revised proposal for lrm text for issue 21 of the extension sub-committee
- Cindy Eisner (Wed Jan 14 2004 - 23:56:40 PST)
revised SVA semantics
- John Havlicek (Wed Apr 23 2003 - 13:21:54 PDT)
Richard Ho's Proposal Slides
- Harry Foster (Wed Aug 21 2002 - 07:38:09 PDT)
- Harry Foster (Wed Aug 21 2002 - 07:37:49 PDT)
right associativity for implications
- John Havlicek (Mon Sep 30 2002 - 11:47:28 PDT)
Round 1 vote
- Moshe Vardi (Mon Dec 10 2001 - 19:27:33 PST)
- Sandeep K. Shukla (Mon Dec 10 2001 - 18:53:51 PST)
- Erich Marschner (Mon Dec 10 2001 - 18:51:35 PST)
- Sandeep K. Shukla (Mon Dec 10 2001 - 18:45:19 PST)
- Erich Marschner (Mon Dec 10 2001 - 18:41:59 PST)
- Harry Foster (Mon Dec 10 2001 - 15:15:00 PST)
Rubbish!
- Bernard Deadman (Tue Feb 11 2003 - 07:38:26 PST)
safety and liveness definitions
- Anthony McIsaac (Fri Sep 27 2002 - 01:01:40 PDT)
- Sandeep K. Shukla (Thu Sep 26 2002 - 10:59:23 PDT)
- Anthony McIsaac (Thu Sep 26 2002 - 08:11:17 PDT)
Safety vs Liveness
- Moshe Vardi (Wed Jun 27 2001 - 08:27:56 PDT)
- Harry Foster (Tue Jun 26 2001 - 07:22:37 PDT)
sampling at clock edges
- Anthony McIsaac (Fri Mar 07 2003 - 06:33:39 PST)
sampling semantics - forward from Anthony McIsaac
- Erich Marschner (Tue Apr 13 2004 - 08:06:09 PDT)
Schedule Change for next OVI meeting
- Harry Foster (Wed Mar 07 2001 - 06:57:27 PST)
Second Round Vote
- Bernard Deadman (Fri Dec 14 2001 - 10:25:13 PST)
- Vassilios.Gerousis@infineon.com (Fri Dec 14 2001 - 09:33:37 PST)
- Erich Marschner (Fri Dec 14 2001 - 09:01:55 PST)
- Harry Foster (Thu Dec 13 2001 - 12:57:56 PST)
SERE operator precendence
- Cindy Eisner (Thu Apr 04 2002 - 06:32:41 PST)
- Bernard Deadman (Tue Apr 02 2002 - 09:17:19 PST)
- Cindy Eisner (Mon Apr 01 2002 - 23:26:03 PST)
- Bernard Deadman (Mon Apr 01 2002 - 13:50:35 PST)
signal names which are identical to PSL keywords
- Gal Vardi (Thu Jun 19 2003 - 01:24:38 PDT)
Similarity between ForSpec & E
- Moshe Vardi (Fri Aug 03 2001 - 01:50:30 PDT)
- Bernard Deadman (Thu Aug 02 2001 - 11:01:37 PDT)
- Moshe Vardi (Thu Aug 02 2001 - 08:51:31 PDT)
- Armoni, Roy (Thu Aug 02 2001 - 01:57:00 PDT)
- Bernard Deadman (Wed Aug 01 2001 - 16:18:03 PDT)
- Armoni, Roy (Wed Aug 01 2001 - 05:40:32 PDT)
- Moshe Vardi (Wed Aug 01 2001 - 02:05:21 PDT)
- Moshe Vardi (Wed Aug 01 2001 - 01:44:20 PDT)
- Bernard Deadman (Tue Jul 31 2001 - 17:00:36 PDT)
Similarity between ForSpec & E & Sugar
- Moshe Vardi (Fri Aug 03 2001 - 03:03:24 PDT)
- Moshe Vardi (Fri Aug 03 2001 - 02:32:15 PDT)
- Dana Fisman (Thu Aug 02 2001 - 14:02:49 PDT)
- Dana Fisman (Thu Aug 02 2001 - 13:56:55 PDT)
- E. Allen Emerson (Thu Aug 02 2001 - 13:11:36 PDT)
- Moshe Vardi (Thu Aug 02 2001 - 10:46:16 PDT)
- E. Allen Emerson (Thu Aug 02 2001 - 09:51:34 PDT)
- Moshe Vardi (Thu Aug 02 2001 - 08:29:00 PDT)
- Moshe Vardi (Thu Aug 02 2001 - 08:09:28 PDT)
- Armoni, Roy (Thu Aug 02 2001 - 01:25:32 PDT)
- Sandeep K. Shukla (Wed Aug 01 2001 - 13:01:01 PDT)
- Dana Fisman (Wed Aug 01 2001 - 12:44:50 PDT)
simulation interpretation
- John Havlicek 9/01/00 (Wed Nov 28 2001 - 08:18:02 PST)
simulation interpretation of ForSpec's rigid variables
- Bernard Deadman (Tue Dec 04 2001 - 09:24:47 PST)
- Armoni, Roy (Tue Dec 04 2001 - 04:30:36 PST)
- Moshe Vardi (Sat Dec 01 2001 - 14:05:54 PST)
- Moshe Vardi (Sat Dec 01 2001 - 13:46:57 PST)
- David Van Campenhout (Thu Nov 29 2001 - 09:39:38 PST)
- John Havlicek 9/01/00 (Thu Nov 29 2001 - 09:21:12 PST)
- David Van Campenhout (Thu Nov 29 2001 - 08:55:25 PST)
- John Havlicek 9/01/00 (Thu Nov 29 2001 - 08:07:37 PST)
- Anthony Mcisaac (Thu Nov 29 2001 - 07:19:22 PST)
simulation interpretation of ForSpec's rigid variables - again
- Bernard Deadman (Fri Nov 30 2001 - 10:17:50 PST)
Small correction regarding label names
- Avigail Orni (Thu Jan 29 2004 - 08:21:03 PST)
Status on EDL From IBM
- Fix, Limor (Thu Aug 02 2001 - 05:52:44 PDT)
- Harry Foster (Tue Jul 31 2001 - 07:03:36 PDT)
- Moshe Vardi (Tue Jul 31 2001 - 03:20:56 PDT)
- Vassilios.Gerousis@infineon.com (Tue Jul 31 2001 - 01:00:48 PDT)
Submission of the Accellera PSL v1.0 LRM, and plan for PSL v1.1, for approval
- Michael McNamara (Thu Feb 13 2003 - 10:51:36 PST)
- Erich Marschner (Tue Feb 11 2003 - 16:53:55 PST)
Sugar - Complexity Question
- Moshe Vardi (Mon Jul 09 2001 - 07:50:48 PDT)
- Hillel Miller (Sun Jul 08 2001 - 08:45:38 PDT)
- eisner@il.ibm.com (Sun Jul 08 2001 - 07:22:49 PDT)
- Armoni, Roy (Sat Jul 07 2001 - 11:40:59 PDT)
Sugar 2.0 grammar
- Cindy Eisner (Sun Apr 07 2002 - 07:04:33 PDT)
- Bernard Deadman (Fri Apr 05 2002 - 09:35:15 PST)
- Erich Marschner (Fri Apr 05 2002 - 09:28:19 PST)
- Bernard Deadman (Fri Apr 05 2002 - 09:06:04 PST)
- Erich Marschner (Thu Apr 04 2002 - 19:30:22 PST)
- Bernard Deadman (Thu Apr 04 2002 - 08:29:53 PST)
- Erich Marschner (Wed Apr 03 2002 - 19:04:00 PST)
Sugar CD for DAC
- Yaron Wolfsthal (Sat Jun 01 2002 - 14:22:20 PDT)
Sugar LRM -- more flaws in clocked semantics
- Cindy Eisner (Thu Nov 28 2002 - 00:34:25 PST)
- Moshe Vardi (Tue Nov 26 2002 - 15:33:46 PST)
- Cindy Eisner (Mon Nov 04 2002 - 07:44:42 PST)
- Moshe Vardi (Fri Nov 01 2002 - 12:30:19 PST)
- Carl Pixley (Mon Oct 28 2002 - 08:01:22 PST)
- Moshe Vardi (Sun Oct 27 2002 - 06:20:30 PST)
- Moshe Vardi (Sun Oct 27 2002 - 05:18:47 PST)
- John Havlicek (Thu Oct 24 2002 - 11:20:54 PDT)
- Moshe Vardi (Thu Oct 24 2002 - 09:37:51 PDT)
- David Van Campenhout (Thu Oct 24 2002 - 09:26:08 PDT)
Sugar LRM 0.8 comments
- Erich Marschner (Sun Oct 06 2002 - 11:44:06 PDT)
- Rajesh Bawa (Thu Oct 03 2002 - 06:23:21 PDT)
Sugar LRM comments, pp. 40-73
- David Van Campenhout (Wed Oct 09 2002 - 14:13:28 PDT)
Sugar LRM comments: pp. 79-102
- David Van Campenhout (Fri Oct 25 2002 - 11:27:27 PDT)
Sugar LRM Review
- John Havlicek (Sat Oct 05 2002 - 07:51:14 PDT)
- David Van Campenhout (Fri Oct 04 2002 - 09:44:06 PDT)
Sugar LRM Review - Monday 14 Oct 2002 - pp. 40-63
- Erich Marschner (Mon Oct 21 2002 - 08:36:10 PDT)
Sugar LRM Review - Monday 21 Oct 2002 - pp. 63-78
- Erich Marschner (Mon Oct 28 2002 - 07:50:12 PST)
Sugar LRM Review - Monday 23 Sep 2002 - pp. Cover-14
- Erich Marschner (Mon Sep 23 2002 - 20:20:27 PDT)
Sugar LRM Review - Monday 30 Sep 2002 - pp. Cover-28
- Erich Marschner (Sun Oct 06 2002 - 20:36:39 PDT)
Sugar LRM Review - Monday 7 Oct 2002 - pp. 28-40
- Erich Marschner (Tue Oct 15 2002 - 05:57:18 PDT)
- Sandeep K. Shukla (Mon Oct 14 2002 - 08:40:52 PDT)
- Erich Marschner (Mon Oct 14 2002 - 08:23:14 PDT)
Sugar LRM Review: section 4.4.6
- David Van Campenhout (Mon Oct 07 2002 - 14:23:10 PDT)
Sugar LRM version 0.8
- Rajesh Bawa (Thu Oct 03 2002 - 06:21:17 PDT)
Sugar Parser
- Yaron Wolfsthal (Thu Aug 02 2001 - 12:40:30 PDT)
Sugar Presentation
- Harry Foster (Tue Mar 19 2002 - 07:14:13 PST)
Sugar Presentation for Tomorrow
- Vassilios.Gerousis@infineon.com (Wed Nov 14 2001 - 09:27:38 PST)
- Yaron Wolfsthal (Wed Nov 14 2001 - 08:47:53 PST)
- Bernard Deadman (Wed Nov 14 2001 - 08:45:07 PST)
- Moshe Vardi (Wed Nov 14 2001 - 08:47:09 PST)
- Harry Foster (Wed Nov 14 2001 - 08:43:50 PST)
- Moshe Vardi (Wed Nov 14 2001 - 08:41:57 PST)
- Harry Foster (Wed Nov 14 2001 - 08:37:41 PST)
- Moshe Vardi (Wed Nov 14 2001 - 08:37:29 PST)
- Yaron Wolfsthal (Wed Nov 14 2001 - 08:35:27 PST)
- Moshe Vardi (Wed Nov 14 2001 - 08:07:12 PST)
- Harry Foster (Tue Nov 13 2001 - 15:03:38 PST)
Sugar semantics + farewell
- Harry Foster (Wed Jun 26 2002 - 06:36:20 PDT)
Sugar semantics for VHDL/Verilog designs
- Cindy Eisner (Sun Jun 23 2002 - 06:42:48 PDT)
- Anthony McIsaac (Wed Jun 19 2002 - 01:36:02 PDT)
Sugar subtle semantic changes
- Moshe Vardi (Thu Nov 29 2001 - 03:48:21 PST)
- E. Allen Emerson (Mon Nov 26 2001 - 12:49:08 PST)
- Armoni, Roy (Mon Nov 26 2001 - 08:18:20 PST)
- Cindy Eisner (Mon Nov 26 2001 - 06:23:33 PST)
- Moshe Vardi (Sat Nov 24 2001 - 22:52:46 PST)
- Cindy Eisner (Thu Nov 22 2001 - 06:52:41 PST)
- Moshe Vardi (Wed Nov 21 2001 - 07:13:27 PST)
- Moshe Vardi (Wed Nov 21 2001 - 07:11:27 PST)
- Cindy Eisner (Wed Nov 21 2001 - 06:53:16 PST)
- Cindy Eisner (Wed Nov 21 2001 - 06:51:42 PST)
- Moshe Vardi (Tue Nov 20 2001 - 08:22:58 PST)
- Armoni, Roy (Tue Nov 20 2001 - 08:13:30 PST)
Sugar with clocks
- Armoni, Roy (Mon Jul 30 2001 - 11:56:56 PDT)
- Armoni, Roy (Thu Jul 19 2001 - 09:42:08 PDT)
sugar: case-by-case analysis of accellera requirements
- Moshe Vardi (Sat Dec 01 2001 - 14:55:01 PST)
- E. Allen Emerson (Thu Nov 29 2001 - 09:49:25 PST)
- Moshe Vardi (Wed Nov 28 2001 - 23:00:16 PST)
- Moshe Vardi (Wed Nov 28 2001 - 13:02:57 PST)
- Moshe Vardi (Wed Nov 28 2001 - 12:56:18 PST)
- Cindy Eisner (Mon Nov 26 2001 - 06:29:19 PST)
- Cindy Eisner (Mon Nov 26 2001 - 06:27:51 PST)
- Cindy Eisner (Mon Nov 26 2001 - 06:24:44 PST)
- Moshe Vardi (Sat Nov 24 2001 - 23:04:41 PST)
- Moshe Vardi (Sat Nov 24 2001 - 22:55:38 PST)
- Cindy Eisner (Thu Nov 22 2001 - 06:55:40 PST)
- Moshe Vardi (Wed Nov 21 2001 - 07:16:17 PST)
- Cindy Eisner (Wed Nov 21 2001 - 06:57:18 PST)
- Moshe Vardi (Tue Nov 20 2001 - 08:34:42 PST)
- Cindy Eisner (Tue Nov 20 2001 - 05:15:20 PST)
- Moshe Vardi (Mon Nov 19 2001 - 12:03:32 PST)
- E. Allen Emerson (Mon Nov 19 2001 - 09:08:21 PST)
- Moshe Vardi (Mon Nov 19 2001 - 08:44:22 PST)
- Cindy Eisner (Mon Nov 19 2001 - 08:32:14 PST)
- Bernard Deadman (Sun Nov 18 2001 - 14:40:37 PST)
- Moshe Vardi (Sun Nov 18 2001 - 14:06:44 PST)
- Moshe Vardi (Sun Nov 18 2001 - 14:00:42 PST)
- Bernard Deadman (Sun Nov 18 2001 - 13:39:59 PST)
- Moshe Vardi (Sun Nov 18 2001 - 09:21:23 PST)
- Cindy Eisner (Sun Nov 18 2001 - 06:01:23 PST)
suggested revision of LRM 1.3.2.1
- Anthony McIsaac (Thu Sep 26 2002 - 06:20:42 PDT)
suggestions for refinements to Sugar
- Erich Marschner (Tue Jan 15 2002 - 18:59:33 PST)
Suggestions for Sugar
- Cindy Eisner (Wed Jul 17 2002 - 23:42:03 PDT)
- Cindy Eisner (Wed Jul 17 2002 - 23:10:07 PDT)
- Bernard Deadman (Wed Jul 17 2002 - 10:44:17 PDT)
- Cindy Eisner (Tue Jul 16 2002 - 23:52:55 PDT)
- Bernard Deadman (Tue Jul 16 2002 - 09:41:38 PDT)
- Cindy Eisner (Tue Jul 16 2002 - 00:29:26 PDT)
- Bernard Deadman (Mon Jul 15 2002 - 08:23:44 PDT)
Summary Of Donated And NOT donated Materials To Accellera
- Vassilios.Gerousis@infineon.com (Fri Jul 13 2001 - 02:21:49 PDT)
- Sandeep K. Shukla (Fri Jul 13 2001 - 02:23:52 PDT)
- Sandeep K. Shukla (Fri Jul 13 2001 - 01:28:41 PDT)
SVA clock flow proposal
- John Havlicek (Thu Dec 11 2003 - 11:36:54 PST)
sva semantics
- John Havlicek (Fri Apr 18 2003 - 15:25:09 PDT)
Synchronization Activities of the Assertion Kernel
- Vassilios.Gerousis@infineon.com (Thu Sep 26 2002 - 10:53:53 PDT)
Synchronous properties in temporal 'e'
- Yaron Kashai (Thu May 03 2001 - 08:46:26 PDT)
- Bernard Deadman (Wed May 02 2001 - 13:06:07 PDT)
Synopsys Desirable Features for the standard Property Language
- Harry Foster (Tue Jan 15 2002 - 15:10:54 PST)
Synopsys votes on language requirements
- dudani@us04.synopsys.com (Thu Nov 01 2001 - 13:26:01 PST)
Syntactic distinction between FL and OBE
- karen Yorav (Tue Jan 08 2002 - 03:38:07 PST)
SystemVerilog 3.0 LRM Reference
- Harry Foster (Wed Jul 24 2002 - 09:00:22 PDT)
SystemVerilog Strategy, Plans and Proposal to address issues
- Bernard Deadman (Tue Dec 17 2002 - 09:13:41 PST)
- Sandeep K. Shukla (Tue Dec 17 2002 - 09:17:54 PST)
- Bernard Deadman (Tue Dec 17 2002 - 08:51:46 PST)
tardy comments
- Sandeep K. Shukla (Wed Sep 25 2002 - 07:15:52 PDT)
- Erich Marschner (Tue Sep 24 2002 - 20:46:45 PDT)
- Sandeep K. Shukla (Tue Sep 24 2002 - 09:36:38 PDT)
- John Havlicek (Mon Sep 23 2002 - 21:38:59 PDT)
Temporal e
- Moshe Vardi (Thu Jul 12 2001 - 07:24:24 PDT)
- Moshe Vardi (Thu Jul 12 2001 - 05:58:07 PDT)
- Matthew Morley (Wed Jul 11 2001 - 11:26:41 PDT)
- David Van Campenhout (Wed Jul 11 2001 - 07:59:13 PDT)
- David Van Campenhout (Wed Jul 11 2001 - 07:46:22 PDT)
- Moshe Vardi (Wed Jul 11 2001 - 03:03:38 PDT)
- Moshe Vardi (Wed Jul 11 2001 - 00:10:30 PDT)
- Matthew Morley (Tue Jul 10 2001 - 16:47:04 PDT)
- David Van Campenhout (Tue Jul 10 2001 - 15:45:44 PDT)
- Bernard Deadman (Tue Jul 10 2001 - 11:37:48 PDT)
- David Van Campenhout (Tue Jul 10 2001 - 09:37:49 PDT)
- David Van Campenhout (Tue Jul 10 2001 - 08:13:56 PDT)
- Moshe Vardi (Tue Jul 10 2001 - 00:02:16 PDT)
- Matthew Morley (Mon Jul 09 2001 - 20:22:56 PDT)
Temporal e)
- Moshe Vardi (Wed Jul 11 2001 - 00:21:27 PDT)
- Sandeep K. Shukla (Sun Jul 15 2001 - 00:11:55 PDT)
- Moshe Vardi (Wed Jul 11 2001 - 00:03:28 PDT)
- Sandeep K. Shukla (Sat Jul 14 2001 - 02:04:18 PDT)
temporal properties
- Harry Foster (Wed Jan 31 2001 - 12:49:37 PST)
test
- Erich Marschner (Tue Feb 11 2003 - 11:02:14 PST)
- Vivek Sagdeo (Mon Oct 19 1998 - 09:51:27 PDT)
test - please ignore
- Steve Grout (Mon Mar 29 2004 - 10:39:10 PST)
Test Message
- Yaron Wolfsthal (Fri Nov 30 2001 - 09:55:51 PST)
the importance of events in temporal 'e'
- Yaron Kashai (Tue Apr 24 2001 - 15:14:13 PDT)
- Bernard Deadman (Tue Apr 24 2001 - 12:24:26 PDT)
the problem with/phenomenon of assume/guarantee
- Sandeep K. Shukla (Thu Jul 12 2001 - 19:26:25 PDT)
- Vassilios.Gerousis@infineon.com (Thu Jul 12 2001 - 08:36:58 PDT)
- Cindy Eisner (Thu Jul 12 2001 - 02:19:33 PDT)
- Moshe Vardi (Thu Jul 12 2001 - 02:09:54 PDT)
- Sandeep K. Shukla (Thu Jul 12 2001 - 00:53:18 PDT)
- Sandeep K. Shukla (Thu Jul 12 2001 - 00:32:27 PDT)
- Moshe Vardi (Wed Jul 11 2001 - 23:47:16 PDT)
- eisner@il.ibm.com (Wed Jul 11 2001 - 23:49:08 PDT)
timing diagrams for on-the-fly examples
- Adriana Maggiore (Tue Oct 01 2002 - 03:59:03 PDT)
Tokenization changes in PSL 1.1
- Erich Marschner (Wed Apr 28 2004 - 08:28:41 PDT)
- Johan Alfredsson (Wed Apr 28 2004 - 00:54:41 PDT)
two remaining questions
- Moshe Vardi (Mon Dec 17 2001 - 08:38:44 PST)
- Erich Marschner (Mon Dec 17 2001 - 06:33:08 PST)
- Cindy Eisner (Mon Dec 17 2001 - 01:25:33 PST)
- Cindy Eisner (Mon Dec 17 2001 - 01:23:50 PST)
- Moshe Vardi (Sun Dec 16 2001 - 07:25:18 PST)
- Cindy Eisner (Sat Dec 15 2001 - 23:55:36 PST)
- Moshe Vardi (Thu Dec 13 2001 - 14:24:01 PST)
- Cindy Eisner (Thu Dec 13 2001 - 06:55:04 PST)
- Moshe Vardi (Thu Dec 13 2001 - 05:47:33 PST)
- Armoni, Roy (Thu Dec 13 2001 - 01:59:03 PST)
- Cindy Eisner (Thu Dec 13 2001 - 01:48:30 PST)
- Armoni, Roy (Thu Dec 13 2001 - 01:31:59 PST)
- Armoni, Roy (Thu Dec 13 2001 - 01:26:04 PST)
- Erich Marschner (Wed Dec 12 2001 - 22:09:36 PST)
- Moshe Vardi (Wed Dec 12 2001 - 19:58:01 PST)
- Erich Marschner (Fri Dec 07 2001 - 18:31:32 PST)
- Armoni, Roy (Tue Dec 04 2001 - 08:14:00 PST)
- David Van Campenhout (Mon Dec 03 2001 - 19:21:57 PST)
- Erich Marschner (Mon Dec 03 2001 - 14:23:05 PST)
Unified Kernel Of Assertion
- Erich Marschner (Thu Feb 13 2003 - 09:13:23 PST)
vacation
- Cindy Eisner (Wed Nov 21 2001 - 07:14:48 PST)
Vacations & Clocks
- Dana Fisman (Wed Aug 01 2001 - 10:17:43 PDT)
- Yaron Wolfsthal (Tue Jul 31 2001 - 00:59:51 PDT)
vacuity
- Atanas Parashkevov (Mon Aug 13 2001 - 00:13:42 PDT)
- Ed Clarke (Sat Aug 11 2001 - 11:10:48 PDT)
- Moshe Vardi (Sat Aug 11 2001 - 11:05:13 PDT)
- Bernard Deadman (Fri Aug 10 2001 - 10:53:26 PDT)
- vardi@cs.rice.edu (Fri Aug 10 2001 - 06:50:42 PDT)
- Bernard Deadman (Thu Aug 09 2001 - 17:32:53 PDT)
- Michael McNamara (Thu Aug 09 2001 - 09:58:20 PDT)
- Moshe Vardi (Thu Aug 09 2001 - 09:52:04 PDT)
- Cindy Eisner (Thu Aug 09 2001 - 07:35:42 PDT)
- Moshe Vardi (Thu Aug 09 2001 - 07:16:34 PDT)
- Cindy Eisner (Thu Aug 09 2001 - 07:18:33 PDT)
- Moshe Vardi (Thu Aug 09 2001 - 05:58:00 PDT)
- Cindy Eisner (Thu Aug 09 2001 - 05:56:59 PDT)
- Moshe Vardi (Thu Aug 09 2001 - 04:40:34 PDT)
- Cindy Eisner (Wed Aug 08 2001 - 04:44:43 PDT)
Variables/Forall in Model checkers
- Bernard Deadman (Sat Nov 24 2001 - 13:27:55 PST)
- Hillel Miller (Wed Nov 21 2001 - 01:53:38 PST)
- John Havlicek (Tue Nov 20 2001 - 15:13:12 PST)
- Bernard Deadman (Tue Nov 20 2001 - 14:00:48 PST)
- Yaron Kashai (Tue Nov 20 2001 - 13:45:25 PST)
- Bernard Deadman (Tue Nov 20 2001 - 13:13:43 PST)
Verification Unit Binding and Verilog
- Daryl Stewart (Thu Apr 24 2003 - 07:30:48 PDT)
verilog subset proposed changes
- Cindy Eisner (Wed Aug 21 2002 - 22:56:48 PDT)
- Richard Ho (Wed Aug 21 2002 - 12:12:24 PDT)
- Richard Ho (Wed Aug 21 2002 - 11:42:47 PDT)
- Bernard Deadman (Wed Aug 21 2002 - 08:12:25 PDT)
- Tom Fitzpatrick (Wed Aug 21 2002 - 05:56:42 PDT)
- Richard Ho (Tue Aug 20 2002 - 18:02:42 PDT)
- Bernard Deadman (Tue Aug 20 2002 - 17:21:14 PDT)
- Richard Ho (Wed Aug 14 2002 - 10:27:05 PDT)
- Cindy Eisner (Thu Jul 18 2002 - 03:44:29 PDT)
verilog subset proposed changes]
- Cindy Eisner (Thu Aug 22 2002 - 00:56:50 PDT)
- Cindy Eisner (Wed Aug 21 2002 - 23:49:24 PDT)
Verisity requests
- John Havlicek (Thu Feb 28 2002 - 11:00:21 PST)
- David Van Campenhout (Wed Feb 27 2002 - 15:28:28 PST)
- John Havlicek (Tue Feb 26 2002 - 09:12:10 PST)
Verisity's presentation
- David Van Campenhout (Tue Nov 13 2001 - 15:14:08 PST)
Verisity's votes on the requirement list
- David Van Campenhout (Wed Oct 31 2001 - 15:45:49 PST)
Verplex's Vote
- Harry Foster (Wed Nov 14 2001 - 10:58:15 PST)
Verplex's votes on language requirements
- Bow Yaw Wang (Wed Oct 31 2001 - 18:19:31 PST)
VFV Committee Final Requirements
- Anthony Mcisaac (Tue Nov 20 2001 - 11:53:06 PST)
- Harry Foster (Mon Nov 05 2001 - 06:37:17 PST)
- Cindy Eisner (Mon Nov 05 2001 - 06:27:39 PST)
- Harry Foster (Mon Nov 05 2001 - 06:16:14 PST)
- Harry Foster (Mon Nov 05 2001 - 06:13:05 PST)
- Moshe Vardi (Mon Nov 05 2001 - 04:33:18 PST)
- Harry Foster (Sun Nov 04 2001 - 13:52:34 PST)
- Harry Foster (Sun Nov 04 2001 - 12:32:01 PST)
VFV second round vote.
- Harry Foster (Mon Dec 17 2001 - 16:14:32 PST)
vfv@eda.org vs owner-vfv@eda.org
- Harry Foster (Wed Aug 01 2001 - 14:11:36 PDT)
vote
- Michael Siegel ZT SE 4 (Fri Aug 03 2001 - 00:08:16 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)
Voting Decision
- Matthew Morley (Thu Dec 13 2001 - 17:10:18 PST)
- Vassilios.Gerousis@infineon.com (Thu Dec 13 2001 - 02:35:06 PST)
Voting Decision - List of people who voted
- Landver, Avner (Thu Dec 13 2001 - 13:19:51 PST)
- Harry Foster (Thu Dec 13 2001 - 12:45:23 PST)
- Bernard Deadman (Thu Dec 13 2001 - 11:59:55 PST)
- Moshe Vardi (Thu Dec 13 2001 - 11:23:42 PST)
- Bernard Deadman (Thu Dec 13 2001 - 08:51:46 PST)
- Vassilios.Gerousis@infineon.com (Thu Dec 13 2001 - 03:03:25 PST)
vunits
- Neeraj Chandak (Thu Dec 18 2003 - 00:33:49 PST)
vunits...
- David Van Campenhout (Tue Jun 24 2003 - 09:19:12 PDT)
- Anthony McIsaac (Tue Jun 24 2003 - 02:14:38 PDT)
- David Van Campenhout (Thu Jun 12 2003 - 10:32:26 PDT)
wanting to be in the reflector/involvement in the working group
- Jenjen Tiao (Tue Aug 24 1999 - 09:13:27 PDT)
We don't need an OVA donation - a couple of feaures could hav e been proposed as extensions to Sugar
- Vassilios.Gerousis@infineon.com (Mon Jun 17 2002 - 23:30:41 PDT)
We don't need an OVA donation - a couple of feaures could have been proposed as extensions to Sugar
- Bernard Deadman (Mon Jun 17 2002 - 08:52:24 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)
Wed March 20-th Meeting and Final Vote
- Harry Foster (Wed Mar 13 2002 - 22:01:12 PST)
what exactly can be assumed
- Yaron Wolfsthal (Mon Dec 03 2001 - 04:40:21 PST)
WORKSHOP on SEMANTICS and VERIFICATION of HARDWARE and SOFTWARE SYSTEMS
- Cindy Eisner (Thu Feb 13 2003 - 02:39:57 PST)
Your message
- Erich Marschner (Thu Nov 08 2001 - 14:25:52 PST)

/bbs/pub/vfv By Subject