/bbs/pub/vfv By messages with attachments

FW: temporal properties Harry Foster (Wed Jan 31 2001 - 12:49:37 PST)
1. specs.txt (3992 bytes)
pending sugar issues eisner@il.ibm.com (Wed May 09 2001 - 05:32:44 PDT)
1. sugar_clocks.ps (57446 bytes)
properties in sugar eisner@il.ibm.com (Wed May 23 2001 - 05:18:02 PDT)
1. specs_in_sugar (6480 bytes)
Re: Temporal e David Van Campenhout (Tue Jul 10 2001 - 09:37:49 PDT)
1. e_omega.pdf (63022 bytes)
the problem with/phenomenon of assume/guarantee eisner@il.ibm.com (Wed Jul 11 2001 - 23:49:08 PDT)
1. assumeguaranteeproblem.doc (34816 bytes)
FTL fully supports that assume/guarantee paradigm Armoni, Roy (Thu Jul 12 2001 - 06:35:54 PDT)
1. ag.ZIP (60901 bytes)
RE: FTL fully supports that assume/guarantee paradigm Sandeep K. Shukla (Mon Jul 16 2001 - 22:23:17 PDT)
1. winmail.dat (5528 bytes)
ForSpec Features - from July 17 meeting Moshe Vardi (Mon Jul 30 2001 - 06:17:03 PDT)
1. ForSpecFeature.ppt (102912 bytes)
Similarity between ForSpec & E Bernard Deadman (Tue Jul 31 2001 - 17:00:36 PDT)
1. MergingForSpecWithE.pdf (36743 bytes)
EDL Description Vassilios.Gerousis@infineon.com (Tue Jul 31 2001 - 21:10:09 PDT)
1. EDL.pdf (62427 bytes)
Re: Vacations & Clocks Dana Fisman (Wed Aug 01 2001 - 10:17:43 PDT)
1. sugar_clocks.ps (65491 bytes)
ccellera FV: Motion 2 -- Requirements adoption and prioritization Harry Foster (Thu Aug 02 2001 - 16:34:56 PDT)
1. language-requirements-vote.xls (25088 bytes)
RE: ccellera FV: Motion 2 -- Requirements adoption and prioritization Erich Marschner (Sun Aug 05 2001 - 20:14:45 PDT)
1. part (3610 bytes)
Paris - E Presentation Harry Foster (Mon Aug 06 2001 - 06:26:53 PDT)
1. TMPE.ppt (49664 bytes)
Paris - IBM Presentation Harry Foster (Mon Aug 06 2001 - 06:30:43 PDT)
1. sugar_advantages.ppt (78848 bytes)
Paris - Intel Presentation (retry) Harry Foster (Mon Aug 06 2001 - 06:57:45 PDT)
1. ForSpecFeature.ppt (105472 bytes)
Re: draft of reponse to vardi: Re: Clocked Sugar Formulas (fwd) Moshe Vardi (Tue Aug 07 2001 - 08:59:48 PDT)
1. sugar_clocks.ps (70100 bytes)
Accellera FV: Motion 1 Results Harry Foster (Wed Aug 08 2001 - 06:50:51 PDT)
1. Motion1-8Aug2001.pdf (16876 bytes)
Accellera TCC Rules (PDF) Harry Foster (Tue Aug 14 2001 - 07:04:30 PDT)
1. OVI-rules.pdf (52946 bytes)
RE: Accellera TCC Rules (PDF) Vassilios.Gerousis@infineon.com (Tue Aug 14 2001 - 23:16:06 PDT)
1. TC-Summary_2Q01.pdf (69495 bytes)
Motion 3 Requirements Rework HarryDFoster@aol.com (Fri Sep 07 2001 - 07:15:41 PDT)
1. language-requirements.xls (28160 bytes)
Clarification on Voting And Accellera Membership Vassilios.Gerousis@infineon.com (Fri Oct 05 2001 - 08:40:35 PDT)
1. AccelleraMemberLevels.pdf (37221 bytes)
MOTOROLA ballot John Havlicek (Tue Oct 30 2001 - 15:50:23 PST)
1. Reqs-Ballot-MOTOROLA.xls (44544 bytes)
Intel votes on the requirement list Armoni, Roy (Wed Oct 31 2001 - 00:04:18 PST)
1. Intel-Reqs-Ballot-Win2K.ZIP (14301 bytes)
Galileo's vote on the requirements karen Yorav (Wed Oct 31 2001 - 04:31:41 PST)
1. Reqs-Ballot-Galileo.xls (56832 bytes)
RE: Ballot for Proposed Language Requirements Bassam Tabbara (Wed Oct 31 2001 - 10:48:47 PST)
1. Reqs-Ballot-Win2K_bt.xls (57856 bytes)
Verisity's votes on the requirement list David Van Campenhout (Wed Oct 31 2001 - 15:45:49 PST)
1. Reqs-Ballot-VERISITY.xls (57344 bytes)
Verplex's votes on language requirements Bow Yaw Wang (Wed Oct 31 2001 - 18:19:31 PST)
1. Reqs-Ballot-Verplex.xls (57856 bytes)
ballot Ed Clarke (Thu Nov 01 2001 - 03:59:17 PST)
1. Reqs-Ballot-Win2K.xls (54784 bytes)
Cadence vote on Language Requirements Erich Marschner (Thu Nov 01 2001 - 08:49:09 PST)
1. Reqs-Ballot-Cadence.xls (57856 bytes)
Co-Design vote on requirements Peter Flake (Thu Nov 01 2001 - 10:35:25 PST)
1. Co-Design-Reqs-Ballot-Win95.xls (55296 bytes)
RE: Intel votes on the requirement list Armoni, Roy (Thu Nov 01 2001 - 12:15:29 PST)
1. Intel-Reqs-Ballot-Win2K.ZIP (14301 bytes)
Synopsys votes on language requirements dudani@us04.synopsys.com (Thu Nov 01 2001 - 13:26:01 PST)
1. Reqs-Ballot-synopsys.xls (54784 bytes)
VFV Committee Final Requirements Harry Foster (Sun Nov 04 2001 - 12:32:01 PST)
1. VFV_requirements.zip (12438 bytes)
Sugar Presentation for Tomorrow Harry Foster (Tue Nov 13 2001 - 15:03:38 PST)
1. sugar_ovi_requirements.ppt (81408 bytes)
Verisity's presentation David Van Campenhout (Tue Nov 13 2001 - 15:14:08 PST)
1. e_vs_requirements.txt (14121 bytes)
FW: How ForSpec meets Accellera requirements Harry Foster (Wed Nov 14 2001 - 07:18:41 PST)
1. ForSpec_vs_Accellera_Requirements.ppt (84480 bytes)
RE: IBM's Response to the Requirements Harry Foster (Wed Nov 14 2001 - 08:54:08 PST)
1. Sugar_Foundation_Language.zip (103052 bytes)
sugar: case-by-case analysis of accellera requirements Cindy Eisner (Sun Nov 18 2001 - 06:01:23 PST)
1. sugarcasebycase.ps (99317 bytes)
Round 1 vote Harry Foster (Mon Dec 10 2001 - 15:15:00 PST)
1. Vote1.zip (2515 bytes)
VFV second round vote. Harry Foster (Mon Dec 17 2001 - 16:14:32 PST)
1. SecondRoundVote.pdf (3238 bytes)
Motorola CBV Semantics Document Harry Foster (Sun Jan 13 2002 - 20:56:43 PST)
1. cbv_semantics.pdf (116740 bytes)
FW: Synopsys Desirable Features for the standard Property Language Harry Foster (Tue Jan 15 2002 - 15:10:54 PST)
1. SynopsysFeedback.pdf (9183 bytes)
Fw: Intel's desirable requirements from a standard PSL Harry Foster (Wed Jan 16 2002 - 04:56:43 PST)
1. IntelsFeedback.ZIP (3905 bytes)
RE: Desirable features for the standard FV property language Sandeep K. Shukla (Thu Jan 31 2002 - 18:04:07 PST)
1. winmail.dat (2316 bytes)
cbv roadmap John Havlicek (Tue Feb 19 2002 - 13:40:22 PST)
1. cbv_roadmap.ps.gz (62911 bytes)
cbv roadmap slides John Havlicek (Tue Feb 19 2002 - 18:05:45 PST)
1. cbv_roadmap_slides.pdf (67678 bytes)
Extended CBV semantics John Havlicek (Tue Mar 12 2002 - 20:43:30 PST)
1. ecbv_semantics_sketch.ps.gz (91201 bytes)
Sugar Presentation Harry Foster (Tue Mar 19 2002 - 07:14:13 PST)
1. sugar2.0_20.03.02.ppt (92672 bytes)
ECBV Matching Semantics document John Havlicek (Tue Mar 19 2002 - 12:45:30 PST)
1. ecbv_matching_semantics.ps.gz (80362 bytes)
CBV slides John Havlicek (Wed Mar 20 2002 - 02:49:21 PST)
1. cbv_proposal_slides.pdf (131938 bytes)
ECBV Function Semantics John Havlicek (Fri Mar 29 2002 - 20:03:43 PST)
1. ecbv_function_semantics.ps.gz (65444 bytes)
ECBV Function Semantics, revised John Havlicek (Sat Mar 30 2002 - 07:28:58 PST)
1. ecbv_function_semantics.ps.gz (65938 bytes)
cbv_proposal_slides.pdf John Havlicek (Wed Apr 03 2002 - 22:38:02 PST)
1. cbv_proposal_slides.pdf.gz (29044 bytes)
ecbv_module_semantics.ps John Havlicek (Wed Apr 03 2002 - 22:43:08 PST)
1. ecbv_module_semantics.ps.gz (51679 bytes)
ecbv_statement_semantics.ps John Havlicek (Wed Apr 03 2002 - 22:44:19 PST)
1. ecbv_statement_semantics.ps.gz (97062 bytes)
ecbv_matching_semantics.ps John Havlicek (Wed Apr 03 2002 - 22:45:44 PST)
1. ecbv_matching_semantics.ps.gz (86170 bytes)
ecbv_function_semantics.ps John Havlicek (Wed Apr 03 2002 - 22:47:02 PST)
1. ecbv_function_semantics.ps.gz (66327 bytes)
ecbv_syntax.ps John Havlicek (Wed Apr 03 2002 - 22:48:40 PST)
1. ecbv_syntax.ps.gz (51423 bytes)
Re: SERE operator precendence Cindy Eisner (Thu Apr 04 2002 - 06:32:41 PST)
1. sugar2.0.alpha.tar (61440 bytes)
Richard Ho's Proposal Slides Harry Foster (Wed Aug 21 2002 - 07:37:49 PDT)
1. CommentDirectives.ppt (99840 bytes)
Richard Ho's Proposal Slides Harry Foster (Wed Aug 21 2002 - 07:38:09 PDT)
1. CommentDirectives.ppt (99840 bytes)
Forwarded message from 0-In CTO Tom Anderson (Mon Sep 16 2002 - 13:40:29 PDT)
1. Accellera_Claims_Disclosure.doc (75264 bytes)
timing diagrams for on-the-fly examples Adriana Maggiore (Tue Oct 01 2002 - 03:59:03 PDT)
1. timing_diagrams.pdf (3582 bytes)
FW: Electronic Design Processes Workshop - 2003 Sandeep K. Shukla (Sat Mar 01 2003 - 15:51:59 PST)
1. ATT00007.txt (673 bytes)
sva semantics John Havlicek (Fri Apr 18 2003 - 15:25:09 PDT)
1. sva_semantics.pdf (137108 bytes)
revised SVA semantics John Havlicek (Wed Apr 23 2003 - 13:21:54 PDT)
1. sva_semantics.pdf (138396 bytes)
RE: PSL v1.0 issues list, for LRM subcommittee review Erich Marschner (Wed May 21 2003 - 08:47:56 PDT)
1. PSL-1.0-Issues-19May03.pdf (48848 bytes)
PSL: Bug in LRM 7.1.6 cover VhdlCohen@aol.com (Tue Aug 12 2003 - 13:51:37 PDT)
1. clip_image002.gif (3104 bytes)
PSL LRM" Page 33, example 1 and 2 VhdlCohen@aol.com (Fri Sep 05 2003 - 04:51:28 PDT)
1. ABCLK2.JPG (34026 bytes)
PSL: Change "which" to "that" in a number of places VhdlCohen@aol.com (Fri Sep 05 2003 - 19:37:56 PDT)
1. Change_to.pdf (24425 bytes)
Duplication of default clock in instantiated vunit? Johan Mårtensson (Thu Sep 18 2003 - 02:22:50 PDT)
1. part (190 bytes)
2nd ACM/IEEE MEMOCODE Call for Papers Sandeep K. Shukla (Wed Dec 03 2003 - 10:33:54 PST)
1. MEMOCODE04cfpDec21.doc (55808 bytes)
FVTC Extension Subcommittee Harry Foster (Thu Dec 11 2003 - 08:52:41 PST)
1. PSL-1.1-Extensions.xls (47104 bytes)
Call for Nominations for the 2004 Accellera Technical Excellence Award Harry D Foster (Thu May 06 2004 - 16:28:17 PDT)
1. Technical_Excellence_Award_Nominations.pdf (94722 bytes)
(no subject) Ornia (Sun Jul 25 2004 - 14:41:38 PDT)
1. oljswallik.gif (1030 bytes)
2. Cool_MP3.zip (28581 bytes)

Last message date: Wed Sep 29 2004 - 05:47:10 PDT
Archived on: Wed Sep 29 2004 - 05:47:35 PDT

1334 messages sort by: [ thread ] [ author ] [ date ] [ subject ]

This archive was generated by hypermail 2.1.8 : Wed Sep 29 2004 - 05:47:35 PDT