Assertion
By Subject

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

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

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

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

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

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

AssertionBy Subject

Assertion
By Subject