Assertion
By Thread

Most recent messages
346 messages sorted by: [ author ] [ date ] [ subject ]

Starting: Mon Jul 16 2001 - 12:21:49 PDT
Ending: Wed Jul 31 2002 - 12:59:00 PDT

Test: [Fwd: Welcome to assertion] Steve Grout (Mon Jul 16 2001 - 12:17:32 PDT)
FW: Verilog++ Assertion Requirements Proposal Vassilios.Gerousis@Infineon.Com (Mon Aug 13 2001 - 08:36:39 PDT)
Verilog++ Assertion Extension Proposal Harry Foster (Tue Aug 14 2001 - 16:12:00 PDT)
- Re: Verilog++ Assertion Extension Proposal Harry D Foster (Tue Aug 14 2001 - 18:07:12 PDT)
  - RE: Verilog++ Assertion Extension Proposal Harry Foster (Wed Aug 15 2001 - 06:33:40 PDT)
OVL/Assertion Committee mtg on Friday John Emmitt (Wed Aug 15 2001 - 09:21:33 PDT)
- RE: OVL/Assertion Committee mtg on Friday Sean W. Smith (Fri Aug 17 2001 - 09:10:04 PDT)
Verilog++ Assertion Committee Slides Harry Foster (Thu Aug 16 2001 - 10:25:20 PDT)
Mtg minutes for August 17th John Emmitt (Mon Aug 27 2001 - 15:10:21 PDT)
- Re: Mtg minutes for August 17th John Emmitt (Mon Aug 27 2001 - 15:14:28 PDT)
September 10 Conference Call == Plans for Face to Face Meeting on September 24. Vassilios.Gerousis@Infineon.Com (Fri Sep 07 2001 - 10:43:52 PDT)
[Fwd: Assertions - Re: Minutes Verilog++ 7th committee meeting] Steve Grout (Wed Sep 12 2001 - 22:29:39 PDT)
New Dates and New Plans - IMPORTANT Vassilios.Gerousis@Infineon.Com (Tue Sep 18 2001 - 11:44:08 PDT)
- Harry Fosters Email.... Sean W. Smith (Fri Sep 21 2001 - 08:25:36 PDT)
OVL/Assertion committee mtg Wednesday John Emmitt (Mon Sep 24 2001 - 14:16:39 PDT)
Updated Assertions Requirements doc John Emmitt (Wed Sep 26 2001 - 08:47:23 PDT)
OVL/Assertion Committee Mtg minutes John Emmitt (Wed Oct 03 2001 - 11:35:05 PDT)
- RE: OVL/Assertion Committee Mtg minutes Sean W. Smith (Mon Oct 08 2001 - 13:10:29 PDT)
OVL/Assertion Committee mtg today John Emmitt (Thu Oct 18 2001 - 07:32:24 PDT)
- RE: OVL/Assertion Committee mtg today Harry Foster (Thu Oct 18 2001 - 08:20:45 PDT)
- RE: OVL/Assertion Committee mtg today Sean W. Smith (Thu Oct 18 2001 - 10:19:43 PDT)
October 18 Mtg Minutes John Emmitt (Mon Oct 29 2001 - 09:00:40 PST)
Face to Face Meeting On November 12 at Mentor Graphics -- San Jos e Vassilios.Gerousis@Infineon.Com (Thu Nov 01 2001 - 07:32:33 PST)
RE: Face to Face Meeting On November 12 at Mentor Graphics -- San Jose Vassilios.Gerousis@Infineon.Com (Wed Nov 07 2001 - 08:40:21 PST)
Next OVL/Assertion committee mtg John Emmitt (Fri Nov 09 2001 - 07:45:33 PST)
- Next OVL/Assertion committee mtg John Emmitt (Mon Nov 12 2001 - 12:19:54 PST)
  - RE: Next OVL/Assertion committee mtg Stephen R. Pollock (Mon Nov 12 2001 - 13:52:32 PST)
Verilog++ 12th Committee Meeting Minutes (Face to Face) Simon Davidmann (Mon Nov 12 2001 - 09:18:59 PST)
Thursday's Assertion Committee mtg John Emmitt (Tue Nov 13 2001 - 18:40:31 PST)
- Re: Thursday's Assertion Committee mtg Simon Davidmann (Tue Nov 13 2001 - 23:50:08 PST)
  - RE: Thursday's Assertion Committee mtg Harry Foster (Wed Nov 14 2001 - 07:23:47 PST)
  - RE: Thursday's Assertion Committee mtg Harry Foster (Wed Nov 14 2001 - 07:32:48 PST)
- RE: Thursday's Assertion Committee mtg Vassilios.Gerousis@Infineon.Com (Wed Nov 14 2001 - 09:04:24 PST)
Jeda Language Vassilios.Gerousis@Infineon.Com (Tue Nov 20 2001 - 02:50:54 PST)
- Re: Jeda Language Simon Davidmann (Tue Nov 20 2001 - 05:22:50 PST)
- Re: Jeda Language Stefen Boyd (Tue Nov 20 2001 - 10:18:40 PST)
Minutes from Assertions/OVL meeting 11/20 Tom Fitzpatrick (Tue Nov 20 2001 - 12:54:52 PST)
- RE: Minutes from Assertions/OVL meeting 11/20 Sean W. Smith (Mon Nov 26 2001 - 11:56:55 PST)
- RE: Minutes from Assertions/OVL meeting 11/20 John Emmitt (Mon Nov 26 2001 - 13:08:59 PST)
- RE: Minutes from Assertions/OVL meeting 11/20 John Emmitt (Tue Nov 27 2001 - 09:36:38 PST)
  - RE: Minutes from Assertions/OVL meeting 11/20 Sean W. Smith (Tue Nov 27 2001 - 10:49:42 PST)
OVL mtg John Emmitt (Wed Nov 28 2001 - 15:03:55 PST)
- RE: OVL mtg John Emmitt (Fri Nov 30 2001 - 15:40:21 PST)
RE: when is the next assertions meeting John Emmitt (Wed Dec 05 2001 - 12:02:43 PST)
Next Assertion Committee meeting Tom Fitzpatrick (Fri Dec 07 2001 - 11:09:28 PST)
Follow-up from meeting Tom Anderson (Fri Dec 07 2001 - 17:57:41 PST)
- RE: Follow-up from meeting Vassilios.Gerousis@Infineon.Com (Fri Dec 07 2001 - 23:14:27 PST)
- RE: Follow-up from meeting Tom Anderson (Mon Dec 10 2001 - 12:11:09 PST)
- RE: Follow-up from meeting John Emmitt (Mon Dec 10 2001 - 13:19:20 PST)
- RE: Follow-up from meeting Tom Anderson (Mon Dec 10 2001 - 13:36:23 PST)
  - RE: Follow-up from meeting Shalom.Bresticker@motorola.com (Mon Dec 10 2001 - 22:40:34 PST)
- RE: Follow-up from meeting Sean Dart (Mon Dec 10 2001 - 12:44:48 PST)
OVL Committee mtg tomorrow John Emmitt (Mon Dec 10 2001 - 16:41:18 PST)
- Re: OVL Committee mtg tomorrow Harry Foster (Mon Dec 10 2001 - 05:11:22 PST)
OVL meeting minutes John Emmitt (Tue Dec 11 2001 - 17:23:04 PST)
Minutes of Assertion committee meeting 12/20/01 Tom Fitzpatrick (Wed Jan 09 2002 - 08:12:11 PST)
FW: Minutes of Assertion committee meeting 12/20/01 - Attendance correction Tom Fitzpatrick (Wed Jan 09 2002 - 12:13:40 PST)
Assertion Committee Meeting 1/24 Postponed Tom Fitzpatrick (Tue Jan 22 2002 - 17:46:03 PST)
VHDL OVL Library and Accellera OVL Meeting Feb 12 Harry Foster (Tue Feb 05 2002 - 12:50:38 PST)
Minutes for the Assertion Committee Meeting 2/12/2002 Harry Foster (Tue Feb 12 2002 - 16:48:26 PST)
Please Welcome David Lacey As The Assertion Committee Chairman Vassilios.Gerousis@Infineon.Com (Thu Feb 14 2002 - 07:39:48 PST)
Time to Start Up Again! Tom Fitzpatrick (Fri Mar 01 2002 - 08:25:20 PST)
- RE: Time to Start Up Again! Vassilios.Gerousis@Infineon.Com (Fri Mar 01 2002 - 08:44:52 PST)
  - RE: Time to Start Up Again! Harry Foster (Fri Mar 01 2002 - 09:16:01 PST)
- RE: Time to Start Up Again! Harry Foster (Fri Mar 01 2002 - 08:59:44 PST)
- RE: Time to Start Up Again! Dave Kelf (Fri Mar 01 2002 - 10:16:11 PST)
HDL+ Meeting -- March 14 meeting at Mentor Graphics Vassilios.Gerousis@Infineon.Com (Sat Mar 02 2002 - 03:23:39 PST)
- RE: HDL+ Meeting -- March 14 meeting at Mentor Graphics Vassilios.Gerousis@Infineon.Com (Sat Mar 02 2002 - 03:27:20 PST)
- Re: HDL+ Meeting -- March 14 meeting at Mentor Graphics Stuart Sutherland (Mon Mar 04 2002 - 08:25:29 PST)
DAS Donation From Co-Design Vassilios.Gerousis@Infineon.Com (Sat Mar 02 2002 - 07:43:21 PST)
- Re: DAS Donation From Co-Design Simon Davidmann (Sun Mar 03 2002 - 00:43:25 PST)
Friday's Assertion Meeting Tom Fitzpatrick (Wed Mar 06 2002 - 10:26:10 PST)
- Re: Friday's Assertion Meeting Adam Krolnik (Wed Mar 06 2002 - 13:44:41 PST)
  - Re: Friday's Assertion Meeting Peter Flake (Sun Mar 10 2002 - 11:51:08 PST)
FW: Returned mail: User unknown David Harris / Cypress Semiconductor, Advanced Products Group (Thu Mar 07 2002 - 11:58:43 PST)
Assertion Committee Meeting Minutes Tom Fitzpatrick (Fri Mar 08 2002 - 10:56:23 PST)
- Re: Assertion Committee Meeting Minutes Harry Foster (Fri Mar 08 2002 - 13:37:57 PST)
- Re: Assertion Committee Meeting Minutes Rajeev Ranjan (Fri Mar 08 2002 - 18:07:05 PST)
  - Re: Assertion Committee Meeting Minutes Adam Krolnik (Mon Mar 11 2002 - 11:09:50 PST)
  - Few more assertion examples/questions Adam Krolnik (Tue Mar 12 2002 - 08:00:19 PST)
- Sequential Regular Expressions as Assertions Harry Foster (Mon Mar 18 2002 - 12:10:07 PST)
  - RE: Sequential Regular Expressions as Assertions Tom Fitzpatrick (Wed Mar 20 2002 - 12:52:05 PST)
    - RE: Sequential Regular Expressions as Assertions Harry Foster (Wed Mar 20 2002 - 14:04:44 PST)
    - RE: Sequential Regular Expressions as Assertions Tom Fitzpatrick (Wed Mar 20 2002 - 14:56:50 PST)
March 13-th HDL+ assertion meeting info Harry Foster (Tue Mar 12 2002 - 05:06:07 PST)
- RE: March 13-th HDL+ assertion meeting info Harry Foster (Tue Mar 12 2002 - 06:22:05 PST)
Agenda for Wednesday 3/13 Tom Fitzpatrick (Tue Mar 12 2002 - 18:07:56 PST)
Thursday's Meeting at Mentor Harry Foster (Wed Mar 13 2002 - 21:37:16 PST)
- RE: Thursday's Meeting at Mentor Vassilios.Gerousis@Infineon.Com (Thu Mar 14 2002 - 07:39:39 PST)
Thursday's meeting Tom Fitzpatrick (Wed Mar 13 2002 - 22:25:20 PST)
Re: Begin-End / { } / < > ? + Assert Kevin Cameron x3251 (Thu Mar 14 2002 - 14:11:08 PST)
- Re: Begin-End / { } / < > ? + Assert Adam Krolnik (Mon Mar 18 2002 - 09:39:17 PST)
- Re: Begin-End / { } / < > ? + Assert Kevin Cameron x3251 (Mon Mar 18 2002 - 11:05:35 PST)
Request to add to the mailing list N.R. Venugopal (Thu Mar 14 2002 - 14:12:41 PST)
Assertion Committee Goals Revisited. Vassilios.Gerousis@Infineon.Com (Sun Mar 17 2002 - 14:21:33 PST)
- Re: Assertion Committee Goals Revisited. Steve Grout (Tue Mar 19 2002 - 19:21:36 PST)
Minutes of Wednesday, 3/13 meeting Tom Fitzpatrick (Mon Mar 18 2002 - 14:02:39 PST)
- RE: Minutes of Wednesday, 3/13 meeting Harry Foster (Mon Mar 18 2002 - 15:48:59 PST)
Assertions known from VHDL Wolfgang.Ecker@Infineon.Com (Tue Mar 19 2002 - 02:09:57 PST)
- Re: Assertions known from VHDL Peter Flake (Tue Mar 19 2002 - 05:02:40 PST)
FW: EEDesign Poll Vassilios.Gerousis@Infineon.Com (Wed Mar 20 2002 - 08:18:36 PST)
Minutes of Assertion meeting 3/21/02 Tom Fitzpatrick (Thu Mar 21 2002 - 12:09:56 PST)
- Action from Assertion meeting 3/21/02 Peter Flake (Thu Mar 28 2002 - 06:53:56 PST)
- FW: Minutes of Assertion meeting 3/21/02 Erich Marschner (Thu Mar 28 2002 - 06:53:36 PST)
system task Harry Foster (Thu Mar 21 2002 - 14:40:21 PST)
- Re: system task Prakash Narain (Thu Mar 21 2002 - 16:33:46 PST)
- Re: system task Adam Krolnik (Fri Mar 22 2002 - 08:27:41 PST)
  - RE: system task Tom Fitzpatrick (Fri Mar 22 2002 - 09:04:18 PST)
end of simulation Harry Foster (Thu Mar 21 2002 - 15:03:40 PST)
- Re: end of simulation Adam Krolnik (Fri Mar 22 2002 - 10:44:03 PST)
Gentle Reminder On Position Statement Vassilios.Gerousis@Infineon.Com (Sat Mar 23 2002 - 10:02:12 PST)
Assertion Messages Tom Fitzpatrick (Mon Mar 25 2002 - 13:37:55 PST)
- Re: Assertion Messages David Lacey (Tue Mar 26 2002 - 08:17:09 PST)
  - RE: Assertion Messages Harry Foster (Tue Mar 26 2002 - 08:35:43 PST)
    - Re: Assertion Messages Adam Krolnik (Tue Mar 26 2002 - 09:53:39 PST)
    - RE: Assertion Messages Tom Fitzpatrick (Tue Mar 26 2002 - 12:00:27 PST)
System Task naming suggestions David Lacey (Thu Mar 28 2002 - 10:47:14 PST)
- Re: System Task naming suggestions Richard Stolzman (Thu Mar 28 2002 - 11:18:37 PST)
Assertion Minutes 3/28/02 Tom Fitzpatrick (Tue Apr 02 2002 - 08:04:17 PST)
- RE: Assertion Minutes 3/28/02 Harry Foster (Tue Apr 02 2002 - 08:36:37 PST)
  - Re: Assertion Minutes 3/28/02 Adam Krolnik (Tue Apr 02 2002 - 09:13:19 PST)
    - RE: Assertion Minutes 3/28/02 Harry Foster (Tue Apr 02 2002 - 09:33:18 PST)
- RE: Assertion Minutes 3/28/02 Erich Marschner (Tue Apr 02 2002 - 09:00:19 PST)
- RE: Assertion Minutes 3/28/02 Kevin Cameron x3251 (Tue Apr 02 2002 - 09:27:46 PST)
  - RE: Assertion Minutes 3/28/02 Harry Foster (Tue Apr 02 2002 - 09:41:27 PST)
- Re: Assertion Minutes 3/28/02 Richard Stolzman (Tue Apr 02 2002 - 10:28:19 PST)
- Re: Assertion Minutes 3/28/02 Adam Krolnik (Tue Apr 02 2002 - 11:11:40 PST)
- Re: Assertion Minutes 3/28/02--votes Bassam Tabbara (Tue Apr 02 2002 - 12:15:13 PST)
- Re: Assertion Minutes 3/28/02 Tom Anderson (Wed Apr 03 2002 - 01:12:05 PST)
- Re: Assertion Minutes 3/28/02 Peter Flake (Wed Apr 03 2002 - 12:42:28 PST)
Assertion message proposal Tom Fitzpatrick (Tue Apr 02 2002 - 08:08:35 PST)
- Final Assertion Spec -- problem noted. Adam Krolnik (Fri Apr 05 2002 - 07:50:25 PST)
accept/reject Erich Marschner (Tue Apr 02 2002 - 14:22:47 PST)
Non-Gentle Reminder ---- For Assertion Position Statement Vassilios.Gerousis@Infineon.Com (Wed Apr 03 2002 - 02:41:31 PST)
- RE: Non-Gentle Reminder ---- For Assertion Position Statement Tom Fitzpatrick (Wed Apr 03 2002 - 09:36:20 PST)
- RE: Non-Gentle Reminder ---- For Assertion Position Statement Stephen R. Pollock (Wed Apr 03 2002 - 18:08:34 PST)
voting on assertions Simon Davidmann (Thu Apr 04 2002 - 10:10:47 PST)
Question Harry Foster (Thu Apr 04 2002 - 10:22:54 PST)
- Re: Question Adam Krolnik (Thu Apr 04 2002 - 10:31:02 PST)
- Re: Question Peter Flake (Fri Apr 05 2002 - 02:16:56 PST)
Call for Final Vote on Assertion Spec (version 1.8) David Lacey (Thu Apr 04 2002 - 16:31:20 PST)
- RE: Call for Final Vote on Assertion Spec (version 1.8) Erich Marschner (Thu Apr 04 2002 - 17:26:51 PST)
- Re: Call for Final Vote on Assertion Spec (version 1.8) Peter Flake (Fri Apr 05 2002 - 04:03:06 PST)
- RE: Call for Final Vote on Assertion Spec (version 1.8) Erich Marschner (Fri Apr 05 2002 - 12:29:27 PST)
- RE: Call for Final Vote on Assertion Spec (version 1.8) Dagan, Gail M (Fri Apr 05 2002 - 13:02:12 PST)
  - Re: Call for Final Vote on Assertion Spec (version 1.8) Steve Grout (Sun Apr 07 2002 - 20:27:17 PDT)
- Re: Call for Final Vote on Assertion Spec (version 1.8) Adam Krolnik (Fri Apr 05 2002 - 14:38:12 PST)
  - RE: Call for Final Vote on Assertion Spec (version 1.8) Tom Fitzpatrick (Mon Apr 08 2002 - 10:14:46 PDT)
Documentation available on-line deb-n-dave1993 (Thu Apr 04 2002 - 21:23:51 PST)
Assertions Goals Revisited Vassilios.Gerousis@Infineon.Com (Mon Apr 08 2002 - 04:44:13 PDT)
Assertions vote Simon Davidmann (Mon Apr 08 2002 - 11:53:08 PDT)
- Re: Assertions vote Tom Anderson (Mon Apr 08 2002 - 17:16:28 PDT)
assertion discussions of fvtc languages John Havlicek (Thu Apr 11 2002 - 14:08:47 PDT)
- RE: assertion discussions of fvtc languages Erich Marschner (Fri Apr 12 2002 - 06:37:04 PDT)
  - RE: assertion discussions of fvtc languages John Havlicek (Fri Apr 12 2002 - 07:37:22 PDT)
more on Assertion discussion of FVTC languages John Havlicek (Thu Apr 11 2002 - 22:46:04 PDT)
- more on Assertion discussion of FVTC languages John Havlicek (Thu Apr 11 2002 - 23:08:22 PDT)
- Re: more on Assertion discussion of FVTC languages Adam Krolnik (Fri Apr 12 2002 - 06:48:39 PDT)
questions about CBV John Havlicek (Fri Apr 12 2002 - 11:23:12 PDT)
- Re: questions about CBV Adam Krolnik (Fri Apr 12 2002 - 14:03:49 PDT)
- Re: questions about CBV John Havlicek (Mon Apr 15 2002 - 13:11:59 PDT)
  - Re: questions about CBV Adam Krolnik (Tue Apr 16 2002 - 08:24:44 PDT)
Poll of the Week - www.eedesign.com Dennis Brophy (Wed Apr 17 2002 - 21:22:37 PDT)
- Re: Poll of the Week - www.eedesign.com Adam Krolnik (Thu Apr 18 2002 - 07:34:11 PDT)
FW: SystemVerilog draft 6 Tom Fitzpatrick (Mon Apr 22 2002 - 10:18:48 PDT)
$assert* bnf Tom Fitzpatrick (Mon Apr 22 2002 - 10:28:02 PDT)
RE: SystemVerilog draft 6 Erich Marschner (Mon Apr 22 2002 - 19:05:43 PDT)
- RE: SystemVerilog draft 6 Tom Fitzpatrick (Tue Apr 23 2002 - 09:30:48 PDT)
Welcome to Jayan Nagda Vassilios.Gerousis@Infineon.Com (Tue Apr 23 2002 - 21:00:01 PDT)
Next OVL Meeting - Thursday May 4 David Lacey (Mon Apr 29 2002 - 12:13:33 PDT)
- Re: Next OVL Meeting - Thursday May 9 David Lacey (Mon Apr 29 2002 - 12:35:36 PDT)
- RE: Next OVL Meeting - Thursday May 4 Erich Marschner (Thu May 02 2002 - 09:19:04 PDT)
- RE: Next OVL Meeting - Thursday May 4 Dennis Brophy (Thu May 02 2002 - 11:21:14 PDT)
OVL suggestions David Lacey (Mon May 06 2002 - 11:15:11 PDT)
- Re: OVL suggestions (win* endings) Adam Krolnik (Mon May 06 2002 - 13:43:36 PDT)
- Re: OVL suggestions Adam Krolnik (Tue May 07 2002 - 10:30:40 PDT)
Face To Face Meeting on Wednesday June 5, 2002 Vassilios.Gerousis@Infineon.Com (Mon May 06 2002 - 23:19:26 PDT)
Today's Roadmap Meeting Harry Foster (Thu May 09 2002 - 08:10:44 PDT)
- Re: Proposal for OVL severity levels. Adam Krolnik (Thu May 09 2002 - 09:55:11 PDT)
Minutes from OVL Meeting 9 May 2002 David Lacey (Thu May 09 2002 - 11:03:08 PDT)
Minutes from OVL Meeting 9 May 2002 - Updated Attendance David Lacey (Thu May 09 2002 - 13:13:19 PDT)
AW: Today's Roadmap Meeting Wolfgang.Ecker@Infineon.Com (Tue May 14 2002 - 09:21:10 PDT)
MY INHERITANCE edume (Tue May 14 2002 - 23:29:41 PDT)
- Re: MY INHERITANCE Clifford E. Cummings (Tue May 14 2002 - 16:40:36 PDT)
- FW: MY INHERITANCE Dennis Brophy (Tue May 14 2002 - 16:56:57 PDT)
  - Re: FW: MY INHERITANCE Paul J. Menchini (Wed May 15 2002 - 06:32:53 PDT)
- RE: MY INHERITANCE Dagan, Gail M (Tue May 14 2002 - 17:16:49 PDT)
- RE: MY INHERITANCE Tom Anderson (Tue May 14 2002 - 17:32:42 PDT)
Agenda for May 20 Meeting Vassilios.Gerousis@Infineon.Com (Sun May 19 2002 - 08:39:25 PDT)
FW: Time To Act And Stop The Politics Vassilios.Gerousis@Infineon.Com (Mon May 20 2002 - 05:04:17 PDT)
June 5th Meeting for HDL+ committee meeting -- PLEASE RSVP. Vassilios.Gerousis@Infineon.Com (Tue May 21 2002 - 23:40:09 PDT)
- Re: June 5th Meeting for HDL+ committee meeting -- PLEASE RSVP. Harry Foster (Wed May 22 2002 - 02:14:27 PDT)
- RE: June 5th Meeting for HDL+ committee meeting -- PLEASE RSVP. David Smith (Wed May 22 2002 - 13:56:37 PDT)
- RE: June 5th Meeting for HDL+ committee meeting -- PLEASE RSVP. Vassilios.Gerousis@Infineon.Com (Wed May 22 2002 - 21:32:41 PDT)
An Update Vassilios.Gerousis@Infineon.Com (Sat May 25 2002 - 08:44:52 PDT)
- RE: An Update Erich Marschner (Tue May 28 2002 - 05:22:22 PDT)
Voting Results as of 5/30 by the Accellera Board Vassilios.Gerousis@Infineon.Com (Thu May 30 2002 - 08:38:54 PDT)
June 5 HDL+ Committee Meeting At Synopsys Building B Mountain Vie w Vassilios.Gerousis@Infineon.Com (Thu May 30 2002 - 22:58:06 PDT)
FW: SystemVerilog vote Vassilios.Gerousis@Infineon.Com (Sat Jun 01 2002 - 15:43:16 PDT)
Official Issue List for SystemVerilog 3.1 and comments Vassilios.Gerousis@Infineon.Com (Sun Jun 02 2002 - 09:34:10 PDT)
Accellera's DAC Open Membership Meeting Invitation Dennis Brophy (Sun Jun 02 2002 - 17:29:05 PDT)
RE: SystemVerilog vote Erich Marschner (Mon Jun 03 2002 - 10:34:09 PDT)
- RE: SystemVerilog vote Vassilios.Gerousis@Infineon.Com (Mon Jun 03 2002 - 11:59:32 PDT)
- RE: SystemVerilog vote Dave Kelf (Mon Jun 03 2002 - 12:16:07 PDT)
Changed the front pages of SystemVerilog 3.0 LRM Vassilios.Gerousis@Infineon.Com (Mon Jun 03 2002 - 12:45:53 PDT)
SystemVerilog 3.0 is Officially An Accellera Standard Vassilios.Gerousis@Infineon.Com (Mon Jun 03 2002 - 17:05:02 PDT)
Invitation to Accellera's Annual DAC Breakfast & Panel Dennis Brophy (Mon Jun 03 2002 - 22:47:00 PDT)
RE: June 5 HDL+ Committee Meeting At Synopsys Building B Mountain View Vassilios.Gerousis@Infineon.Com (Tue Jun 04 2002 - 08:06:48 PDT)
updated HDL+ phone in numbers David Lacey (Wed Jun 05 2002 - 09:42:38 PDT)
Chairman for Enhancement Committee Vassilios.Gerousis@Infineon.Com (Thu Jun 06 2002 - 17:33:11 PDT)
- Re: Chairman for Enhancement Committee Simon Davidmann (Thu Jun 06 2002 - 17:48:12 PDT)
- FW: Chairman for Enhancement Committee Vassilios.Gerousis@Infineon.Com (Thu Jun 06 2002 - 18:36:38 PDT)
- Re: FW: Chairman for Enhancement Committee Simon Davidmann (Thu Jun 06 2002 - 19:04:06 PDT)
SystemVerilog 3.1 Assertions start-up Tom Fitzpatrick (Fri Jun 07 2002 - 10:09:20 PDT)
- RE: SystemVerilog 3.1 Assertions start-up Vassilios.Gerousis@Infineon.Com (Fri Jun 07 2002 - 13:09:03 PDT)
We are now ready to start working Vassilios.Gerousis@Infineon.Com (Fri Jun 07 2002 - 11:02:03 PDT)
HDL+ SystemVerilog 3.1 Planning Meeting Minutes and Presentations Vassilios.Gerousis@Infineon.Com (Mon Jun 17 2002 - 06:39:52 PDT)
FW: HDL+ SystemVerilog 3.1 Planning Meeting Minutes and Presentat ions Vassilios.Gerousis@Infineon.Com (Mon Jun 17 2002 - 06:56:56 PDT)
HDL+ June 2002 Minutes - Modified Vassilios.Gerousis@Infineon.Com (Mon Jun 17 2002 - 22:48:58 PDT)
- Re: HDL+ June 2002 Minutes - Modified Stuart Sutherland (Wed Jun 19 2002 - 10:16:54 PDT)
- RE: HDL+ June 2002 Minutes - Modified Vassilios.Gerousis@Infineon.Com (Wed Jun 19 2002 - 21:18:27 PDT)
- RE: HDL+ June 2002 Minutes - Modified Stuart Sutherland (Wed Jun 19 2002 - 23:02:18 PDT)
- RE: HDL+ June 2002 Minutes - Modified Vassilios.Gerousis@Infineon.Com (Wed Jun 19 2002 - 23:39:38 PDT)
- RE: HDL+ June 2002 Minutes - Modified Simon Davidmann (Thu Jun 20 2002 - 04:27:23 PDT)
- RE: HDL+ June 2002 Minutes - Modified Dave Kelf (Thu Jun 20 2002 - 07:33:20 PDT)
Moving Ahead with SystemVerilog 3.1 Despite Politics. Vassilios.Gerousis@Infineon.Com (Thu Jun 20 2002 - 04:45:28 PDT)
Fwd: Moving Ahead on SystemVerilog 3.1 Despite Politics Simon Davidmann (Thu Jun 20 2002 - 06:08:35 PDT)
RE: Moving Ahead on SystemVerilog 3.1 Despite Politics Vassilios.Gerousis@Infineon.Com (Thu Jun 20 2002 - 06:28:23 PDT)
- RE: Moving Ahead on SystemVerilog 3.1 Despite Politics Simon Davidmann (Thu Jun 20 2002 - 07:56:22 PDT)
- RE: Moving Ahead on SystemVerilog 3.1 Despite Politics Dave Kelf (Thu Jun 20 2002 - 08:05:23 PDT)
An Open Process Vassilios.Gerousis@Infineon.Com (Thu Jun 20 2002 - 07:41:11 PDT)
- Re: An Open Process Simon Davidmann (Thu Jun 20 2002 - 08:19:43 PDT)
  - Return to professionalism... Harry Foster (Thu Jun 20 2002 - 08:44:27 PDT)
- Re: An Open Process Simon Davidmann (Thu Jun 20 2002 - 11:48:47 PDT)
- Re: An Open Process Simon Davidmann (Thu Jun 20 2002 - 13:34:19 PDT)
Accellera Board's Review of Technical Committee Rules Dennis Brophy (Thu Jun 20 2002 - 13:58:34 PDT)
Accellera TCC Donation Process Vassilios.Gerousis@Infineon.Com (Fri Jun 21 2002 - 06:18:20 PDT)
Synopsys sv3.1_donation_VeraLite Vassilios.Gerousis@Infineon.Com (Fri Jun 21 2002 - 07:25:11 PDT)
Synopsys sv3.1_donation_Assertion Vassilios.Gerousis@Infineon.Com (Fri Jun 21 2002 - 07:49:15 PDT)
Support the HDL+ Chairs and Let us Start Working Vassilios.Gerousis@Infineon.Com (Fri Jun 21 2002 - 08:30:35 PDT)
Starting Up the SV-CC Committee Vassilios.Gerousis@Infineon.Com (Mon Jun 24 2002 - 08:27:11 PDT)
An updated Assertion Documentation Vassilios.Gerousis@Infineon.Com (Tue Jun 25 2002 - 08:41:03 PDT)
- RE: An updated Assertion Documentation Erich Marschner (Tue Jun 25 2002 - 09:29:07 PDT)
- RE: An updated Assertion Documentation Vassilios.Gerousis@Infineon.Com (Tue Jun 25 2002 - 23:19:12 PDT)
SV-Assertions Meeting - July 9 @ 9 AM PST David Lacey (Wed Jun 26 2002 - 06:34:28 PDT)
SV-CC Committee David Lacey (Wed Jun 26 2002 - 14:23:28 PDT)
SV-CC Commmittee Email Reflector David Lacey (Sat Jul 06 2002 - 12:56:12 PDT)
Assertion Requirements and Donation Stephen Meier (Tue Jul 09 2002 - 07:43:08 PDT)
Assertion Requirements and Sugar 2.0 Erich Marschner (Tue Jul 09 2002 - 09:06:17 PDT)
Minutes of SV-Assertions Meeting - 7/9/02 Tom Fitzpatrick (Tue Jul 09 2002 - 10:35:56 PDT)
- Re: Minutes of SV-Assertions Meeting - 7/9/02 Paul J. Menchini (Tue Jul 09 2002 - 11:45:22 PDT)
  - RE: Minutes of SV-Assertions Meeting - 7/9/02 Tom Fitzpatrick (Tue Jul 09 2002 - 12:08:12 PDT)
- RE: Minutes of SV-Assertions Meeting - 7/9/02 Erich Marschner (Tue Jul 09 2002 - 14:58:56 PDT)
- RE: Minutes of SV-Assertions Meeting - 7/9/02 Simon Davidmann (Wed Jul 10 2002 - 09:17:38 PDT)
- RE: Minutes of SV-Assertions Meeting - 7/9/02 Erich Marschner (Wed Jul 10 2002 - 10:57:15 PDT)
  - RE: Minutes of SV-Assertions Meeting - 7/9/02 Simon Davidmann (Thu Jul 11 2002 - 08:00:01 PDT)
- Re: Assertion requirements Adam Krolnik (Thu Jul 11 2002 - 14:42:30 PDT)
- RE: Minutes of SV-Assertions Meeting - 7/9/02 Erich Marschner (Fri Jul 12 2002 - 17:55:54 PDT)
- Re: Assertion requirements Adam Krolnik (Wed Jul 24 2002 - 11:26:24 PDT)
New Chairman Is Appointed for SV-AC Committee Vassilios.Gerousis@Infineon.Com (Wed Jul 10 2002 - 22:50:17 PDT)
- Fw: New Chairman Is Appointed for SV-AC Committee Faisal Haqaue (Sat Jul 13 2002 - 12:06:06 PDT)
Links to documents David Lacey (Thu Jul 11 2002 - 07:14:54 PDT)
- Re: Links to documents David Lacey (Thu Jul 11 2002 - 07:43:33 PDT)
Updated assertion Requirements document David Lacey (Thu Jul 11 2002 - 09:43:59 PDT)
Updated attendance list Tom Fitzpatrick (Mon Jul 15 2002 - 08:11:11 PDT)
assertion requirements Cindy Eisner (Wed Jul 17 2002 - 09:06:36 PDT)
problems with current definition/document Cindy Eisner (Wed Jul 17 2002 - 09:09:15 PDT)
- Re: problems with current definition/document Adam Krolnik (Mon Jul 22 2002 - 09:08:36 PDT)
  - Re: problems with current definition/document Bassam Tabbara (Mon Jul 22 2002 - 11:54:27 PDT)
- Re: problems with current definition/document Cindy Eisner (Tue Jul 23 2002 - 01:52:10 PDT)
- Re: problems with current definition/document Cindy Eisner (Tue Jul 23 2002 - 03:41:11 PDT)
  - RE: problems with current definition/document Tom Fitzpatrick (Tue Jul 23 2002 - 06:23:19 PDT)
    - Re: problems with current definition/document Bassam Tabbara (Tue Jul 23 2002 - 10:41:41 PDT)
  - Re: problems with current definition/document Bassam Tabbara (Tue Jul 23 2002 - 10:28:35 PDT)
- RE: problems with current definition/document Cindy Eisner (Tue Jul 23 2002 - 06:53:26 PDT)
  - RE: problems with current definition/document Tom Fitzpatrick (Tue Jul 23 2002 - 07:44:17 PDT)
- Re: problems with current definition/document Cindy Eisner (Wed Jul 24 2002 - 04:30:31 PDT)
Re: Fitz's Action Items for 7/22 Meeting Adam Krolnik (Fri Jul 19 2002 - 14:03:19 PDT)
- RE: Fitz's Action Items for 7/22 Meeting Tom Fitzpatrick (Fri Jul 19 2002 - 14:17:37 PDT)
  - RE: Fitz's Action Items for 7/22 Meeting Cindy Eisner (Sat Jul 20 2002 - 23:16:25 PDT)
    - RE: Fitz's Action Items for 7/22 Meeting Tom Fitzpatrick (Mon Jul 22 2002 - 05:27:16 PDT)
  - RE: Fitz's Action Items for 7/22 Meeting Cindy Eisner (Mon Jul 22 2002 - 05:55:33 PDT)
    - RE: Fitz's Action Items for 7/22 Meeting Tom Fitzpatrick (Mon Jul 22 2002 - 06:23:51 PDT)
Fw: Next meeting of the System Verilog Assertion Sub-committee Faisal Haqaue (Mon Jul 22 2002 - 08:45:00 PDT)
phone bridge information Faisal Haque (Mon Jul 22 2002 - 17:13:49 PDT)
Re: Fw: Next meeting of the System Verilog Assertion Sub-committee Cindy Eisner (Mon Jul 22 2002 - 23:29:43 PDT)
Yatin Trevidi Accepted the Chair position for SV CC Vassilios.Gerousis@Infineon.Com (Wed Jul 24 2002 - 00:35:21 PDT)
OVL Committee Reflector is now on-line David Lacey (Wed Jul 24 2002 - 12:25:28 PDT)
- SV-AC Committee Reflector is now on-line Faisal Haque (Wed Jul 24 2002 - 14:33:44 PDT)
  - RE: SV-AC Committee Reflector is now on-line Erich Marschner (Sun Jul 28 2002 - 09:30:12 PDT)
Assertions requirements from Real Intent Rajeev Ranjan (Wed Jul 24 2002 - 21:34:30 PDT)
- Re: Assertions requirements from Real Intent Cindy Eisner (Mon Jul 29 2002 - 05:31:56 PDT)
  - Re: Assertions requirements from Real Intent Rajeev Ranjan (Tue Jul 30 2002 - 03:44:59 PDT)
- RE: Assertions requirements from Real Intent Erich Marschner (Wed Jul 31 2002 - 11:57:34 PDT)
Synopsys requirements for SV assertions dudani@us04.synopsys.com (Thu Jul 25 2002 - 07:56:26 PDT)
- Re: Synopsys requirements for SV assertions Cindy Eisner (Mon Jul 29 2002 - 07:25:25 PDT)
Co-Design Assertion Requirements Tom Fitzpatrick (Tue Jul 30 2002 - 14:04:39 PDT)
Call-in info for 8/1 meeting Tom Fitzpatrick (Tue Jul 30 2002 - 14:17:54 PDT)
Minutes of 7/25/02 Meeting Tom Fitzpatrick (Tue Jul 30 2002 - 14:24:51 PDT)
AW: Assertions requirements from Real Intent Wolfgang.Ecker@Infineon.Com (Wed Jul 31 2002 - 00:06:05 PDT)
Real Intent's Assertion Requirements with Justifications Rajeev Ranjan (Wed Jul 31 2002 - 00:17:38 PDT)
Patent Disclosure Relating to Assertions Work Richard Ho (Wed Jul 31 2002 - 11:48:57 PDT)
System Verilog Assertion Requirements from 0-In Richard Ho (Wed Jul 31 2002 - 11:51:35 PDT)
Assertion reflector is being deactivated today David Lacey (Wed Jul 31 2002 - 13:00:01 PDT)

Last message date: Wed Jul 31 2002 - 12:59:00 PDT
Archived on: Wed Jul 31 2002 - 12:59:43 PDT

346 messages sorted by: [ author ] [ date ] [ subject ]

This archive was generated by hypermail 2b28 : Wed Jul 31 2002 - 12:59:43 PDT

AssertionBy Thread

Assertion
By Thread