SystemVerilog Special Sub-Committee on Checkers: By Thread

Test message Neil Korpusik (Wed Apr 09 2008 - 11:03:08 PDT)
Testing change to prefix to subject Neil Korpusik (Wed Apr 09 2008 - 17:51:03 PDT)
- [sv-sc] Testing change to prefix to subject Neil Korpusik (Wed Apr 09 2008 - 18:00:26 PDT)
[sv-sc] New SystemVerilog alias sv-sc Neil Korpusik (Wed Apr 09 2008 - 18:12:15 PDT)
- [sv-sc] Re: ConcurrentAssertNewProposal Adam Krolnik (Mon May 05 2008 - 11:23:55 PDT)
  - Re: [sv-sc] Re: ConcurrentAssertNewProposal Gordon Vreugdenhil (Mon May 05 2008 - 13:18:21 PDT)
    - RE: [sv-sc] Re: ConcurrentAssertNewProposal Seligman, Erik (Mon May 05 2008 - 13:29:25 PDT)
    - RE: [sv-sc] Re: ConcurrentAssertNewProposal Lisa Piper (Mon May 05 2008 - 13:39:48 PDT)
    - Re: [sv-sc] Re: ConcurrentAssertNewProposal Gordon Vreugdenhil (Mon May 05 2008 - 13:48:18 PDT)
    - RE: [sv-sc] Re: ConcurrentAssertNewProposal Lisa Piper (Mon May 05 2008 - 13:54:56 PDT)
    - Re: [sv-sc] Re: ConcurrentAssertNewProposal Gordon Vreugdenhil (Mon May 05 2008 - 14:08:36 PDT)
    - Re: [sv-sc] Re: ConcurrentAssertNewProposal Adam Krolnik (Mon May 05 2008 - 14:18:10 PDT)
    - RE: [sv-sc] Re: ConcurrentAssertNewProposal Seligman, Erik (Mon May 05 2008 - 14:39:19 PDT)
    - Re: [sv-sc] Re: ConcurrentAssertNewProposal Adam Krolnik (Mon May 05 2008 - 14:51:38 PDT)
    - Re: [sv-sc] Re: ConcurrentAssertNewProposal John Havlicek (Mon May 05 2008 - 17:50:45 PDT)
  - RE: [sv-sc] Re: ConcurrentAssertNewProposal Steven Sharp (Mon May 05 2008 - 13:59:16 PDT)
  - Re: [sv-sc] Re: ConcurrentAssertNewProposal Steven Sharp (Mon May 05 2008 - 15:00:27 PDT)
    - RE: [sv-sc] Re: ConcurrentAssertNewProposal Korchemny, Dmitry (Tue May 06 2008 - 05:39:21 PDT)
[sv-sc] Problems addressed by the checker proposal Neil Korpusik (Thu Apr 10 2008 - 16:55:50 PDT)
[sv-sc] Committee web page created: http://www.eda.org/twiki/bin/view.cgi/P1800/SystemVerilogSpecialCommittee Seligman, Erik (Fri Apr 11 2008 - 13:59:23 PDT)
- RE: [sv-sc] Committee web page created: http://www.eda.org/twiki/bin/view.cgi/P1800/SystemVerilogSpecialCommittee Bresticker, Shalom (Sat Apr 12 2008 - 12:22:49 PDT)
- [sv-sc] SV-SC face-to-face? Seligman, Erik (Mon Apr 14 2008 - 08:35:11 PDT)
- RE: [sv-sc] Committee web page created: http://www.eda.org/twiki/bin/view.cgi/P1800/SystemVerilogSpecialCommittee Seligman, Erik (Thu Apr 17 2008 - 08:17:29 PDT)
[sv-sc] RE: [sv-ac] RE: [sv-ec] 1900 mantis (checkers): checker variable semantics: interoperability and portability issues, multiple semantics in SV LRM Korchemny, Dmitry (Thu Apr 17 2008 - 00:49:09 PDT)
[sv-sc] RE: [sv-ac] 1728 mantis: "let" construct vs function Korchemny, Dmitry (Thu Apr 17 2008 - 01:16:12 PDT)
- [sv-sc] RE: [sv-ac] 1728 mantis: "let" construct vs function, generic sequence/property arguments Mirek Forczek (Thu Apr 17 2008 - 08:00:10 PDT)
  - RE: [sv-sc] RE: [sv-ac] 1728 mantis: "let" construct vs function, generic sequence/property arguments Lisa Piper (Sat Apr 19 2008 - 18:36:33 PDT)
    - RE: [sv-sc] RE: [sv-ac] 1728 mantis: "let" construct vs function, generic sequence/property arguments Mirek Forczek (Mon Apr 21 2008 - 03:30:35 PDT)
    - RE: [sv-sc] RE: [sv-ac] 1728 mantis: "let" construct vs function, generic sequence/property arguments Lisa Piper (Mon Apr 21 2008 - 05:58:57 PDT)
    - RE: [sv-sc] RE: [sv-ac] 1728 mantis: "let" construct vs function, generic sequence/property arguments Havlicek John (Mon Apr 21 2008 - 06:59:02 PDT)
    - RE: [sv-sc] RE: [sv-ac] 1728 mantis: "let" construct vs function, generic sequence/property arguments Lisa Piper (Mon Apr 21 2008 - 07:16:04 PDT)
[sv-sc] RE: [sv-ac] 1728 mantis: "let" construct vs function Korchemny, Dmitry (Thu Apr 17 2008 - 02:12:06 PDT)
- Re: [sv-sc] RE: [sv-ac] 1728 mantis: "let" construct vs function Gordon Vreugdenhil (Thu Apr 17 2008 - 07:35:22 PDT)
  - RE: [sv-sc] RE: [sv-ac] 1728 mantis: "let" construct vs function Korchemny, Dmitry (Thu Apr 17 2008 - 08:00:19 PDT)
- [sv-sc] RE: [sv-ac] 1728 mantis: "let" construct vs function Rich, Dave (Thu Apr 17 2008 - 07:45:56 PDT)
  - [sv-sc] RE: [sv-ac] 1728 mantis: "let" construct vs function Korchemny, Dmitry (Thu Apr 17 2008 - 08:04:25 PDT)
[sv-sc] RE: [sv-ec] 1900 mantis (checkers): checker in package ? Korchemny, Dmitry (Thu Apr 17 2008 - 06:38:54 PDT)
- [sv-sc] RE: [sv-ec] 1900 mantis (checkers): checker in package ? Mirek Forczek (Thu Apr 17 2008 - 06:45:46 PDT)
- Re: [sv-sc] RE: [sv-ec] 1900 mantis (checkers): checker in package ? Gordon Vreugdenhil (Thu Apr 17 2008 - 07:52:58 PDT)
  - RE: [sv-sc] RE: [sv-ec] 1900 mantis (checkers): checker in package ? Korchemny, Dmitry (Mon Apr 21 2008 - 03:30:33 PDT)
    - Re: [sv-sc] RE: [sv-ec] 1900 mantis (checkers): checker in package ? Gordon Vreugdenhil (Mon Apr 21 2008 - 06:41:19 PDT)
    - RE: [sv-sc] RE: [sv-ec] 1900 mantis (checkers): checker in package ? Korchemny, Dmitry (Tue May 06 2008 - 05:42:38 PDT)
    - Re: [sv-sc] RE: [sv-ec] 1900 mantis (checkers): checker in package ? Gordon Vreugdenhil (Tue May 06 2008 - 07:14:13 PDT)
[sv-sc] Re: 1900 mantis (checkers): checker in package ? Brad Pierce (Thu Apr 17 2008 - 06:58:40 PDT)
[sv-sc] checker instantiation inside procedural code (1900, 2110) Mirek Forczek (Thu Apr 17 2008 - 08:57:15 PDT)
- RE: [sv-sc] checker instantiation inside procedural code (1900, 2110) Korchemny, Dmitry (Mon Apr 21 2008 - 04:16:58 PDT)
  - RE: [sv-sc] checker instantiation inside procedural code (1900, 2110) Mirek Forczek (Mon Apr 21 2008 - 04:40:18 PDT)
[sv-sc] RE: generic sequence/property arguments Mirek Forczek (Thu Apr 17 2008 - 09:23:29 PDT)
- [sv-sc] RE: generic sequence/property arguments Korchemny, Dmitry (Mon Apr 21 2008 - 04:17:49 PDT)
[sv-sc] RE: [sv-ac] 1728 mantis: "let" construct vs function Mirek Forczek (Thu Apr 17 2008 - 09:32:18 PDT)
- [sv-sc] RE: [sv-ac] 1728 mantis: "let" construct vs function Korchemny, Dmitry (Thu Apr 17 2008 - 10:28:06 PDT)
[sv-sc] Ballot result on 1503 Korchemny, Dmitry (Fri Apr 18 2008 - 05:22:04 PDT)
[sv-sc] sv-sc Meeting agenda - April 21 Neil Korpusik (Sat Apr 19 2008 - 12:29:27 PDT)
- RE: [sv-sc] sv-sc Meeting agenda - April 21 Seligman, Erik (Mon Apr 21 2008 - 08:49:22 PDT)
  - [sv-sc] SV-SC: Web page reminder, and tentative F2F schedule Seligman, Erik (Tue Apr 22 2008 - 07:58:13 PDT)
    - RE: [sv-sc] SV-SC: Web page reminder, and tentative F2F schedule Seligman, Erik (Tue Apr 22 2008 - 08:35:33 PDT)
    - Re: [sv-sc] SV-SC: Web page reminder, and tentative F2F schedule Gordon Vreugdenhil (Tue Apr 22 2008 - 09:16:51 PDT)
    - RE: [sv-sc] SV-SC: Web page reminder, and tentative F2F schedule Korchemny, Dmitry (Tue Apr 22 2008 - 12:42:31 PDT)
- [sv-sc] RE: [P1800] sv-sc Meeting agenda - April 21 Francoise Martinolle (Mon Apr 21 2008 - 09:05:33 PDT)
  - [sv-sc] RE: [P1800] sv-sc Meeting agenda - April 21 Bresticker, Shalom (Mon Apr 21 2008 - 09:23:40 PDT)
[sv-sc] Historical comments on "let" and some checkers issues Gordon Vreugdenhil (Mon Apr 21 2008 - 08:56:01 PDT)
- [sv-sc] F2F: don't forget to reply with your availability Seligman, Erik (Wed Apr 23 2008 - 16:09:16 PDT)
  - RE: [sv-sc] F2F: don't forget to reply with your availability Mirek Forczek (Thu Apr 24 2008 - 00:47:38 PDT)
  - RE: [sv-sc] F2F: don't forget to reply with your availability Mark Hartoog (Thu Apr 24 2008 - 10:58:43 PDT)
  - Re: [sv-sc] F2F: don't forget to reply with your availability John Havlicek (Fri Apr 25 2008 - 09:52:28 PDT)
    - [sv-sc] 28-04-2008: SV-SC Agenda Seligman, Erik (Fri Apr 25 2008 - 15:16:37 PDT)
    - Re: [sv-sc] 28-04-2008: SV-SC Agenda Neil Korpusik (Fri Apr 25 2008 - 18:27:30 PDT)
    - [sv-sc] 28-04-2008: SV-SC Agenda: update Seligman, Erik (Mon Apr 28 2008 - 08:13:25 PDT)
- [sv-sc] F2F: Wed 5/14 - Thurs 5/15 in Santa Clara Seligman, Erik (Thu Apr 24 2008 - 13:08:29 PDT)
[sv-sc] Minutes of sv-sc Meetin April 21, 2008 Thomas Thatcher (Tue Apr 22 2008 - 15:42:30 PDT)
[sv-sc] Concerns about assertion constructs and SV composition Gordon Vreugdenhil (Thu Apr 24 2008 - 08:03:57 PDT)
- RE: [sv-sc] Concerns about assertion constructs and SV composition Lisa Piper (Thu Apr 24 2008 - 08:35:23 PDT)
  - Re: [sv-sc] Concerns about assertion constructs and SV composition Gordon Vreugdenhil (Thu Apr 24 2008 - 08:50:27 PDT)
    - RE: [sv-sc] Concerns about assertion constructs and SV composition Lisa Piper (Thu Apr 24 2008 - 10:28:58 PDT)
    - RE: [sv-sc] Concerns about assertion constructs and SV composition Kulshrestha, Manisha (Thu Apr 24 2008 - 23:55:08 PDT)
    - RE: [sv-sc] Concerns about assertion constructs and SV composition Lisa Piper (Fri Apr 25 2008 - 06:11:11 PDT)
    - Re: [sv-sc] Concerns about assertion constructs and SV composition Gordon Vreugdenhil (Fri Apr 25 2008 - 07:44:36 PDT)
- RE: [sv-sc] Concerns about assertion constructs and SV composition: sequence prototype & "sequence pointer" Mirek Forczek (Fri Apr 25 2008 - 01:48:03 PDT)
  - Re: [sv-sc] Concerns about assertion constructs and SV composition: sequence prototype & "sequence pointer" Gordon Vreugdenhil (Fri Apr 25 2008 - 07:59:59 PDT)
    - RE: [sv-sc] Concerns about assertion constructs and SV composition: sequence prototype & "sequence pointer" Mirek Forczek (Fri Apr 25 2008 - 08:46:37 PDT)
    - Re: [sv-sc] Concerns about assertion constructs and SV composition: sequence prototype & "sequence pointer" Gordon Vreugdenhil (Fri Apr 25 2008 - 09:05:46 PDT)
    - RE: [sv-sc] Concerns about assertion constructs and SV composition: sequence prototype & "sequence pointer" Mark Hartoog (Fri Apr 25 2008 - 15:54:44 PDT)
    - Re: [sv-sc] Concerns about assertion constructs and SV composition: sequence prototype & "sequence pointer" Gordon Vreugdenhil (Mon Apr 28 2008 - 07:18:16 PDT)
    - RE: [sv-sc] Concerns about assertion constructs and SV composition: sequence prototype & "sequence pointer" Mirek Forczek (Mon Apr 28 2008 - 08:55:23 PDT)
    - Re: [sv-sc] Concerns about assertion constructs and SV composition: sequence prototype & "sequence pointer" John Havlicek (Mon Apr 28 2008 - 08:10:00 PDT)
    - Re: [sv-sc] Concerns about assertion constructs and SV composition: sequence prototype & "sequence pointer" Adam Krolnik (Mon Apr 28 2008 - 08:50:32 PDT)
[sv-sc] Embedded concurrent assertions Korchemny, Dmitry (Thu Apr 24 2008 - 08:06:47 PDT)
- Re: [sv-sc] Embedded concurrent assertions Gordon Vreugdenhil (Thu Apr 24 2008 - 08:26:33 PDT)
  - RE: [sv-sc] Embedded concurrent assertions Korchemny, Dmitry (Tue May 06 2008 - 05:45:17 PDT)
    - Re: [sv-sc] Embedded concurrent assertions Gordon Vreugdenhil (Tue May 06 2008 - 07:10:29 PDT)
    - RE: [sv-sc] Embedded concurrent assertions Korchemny, Dmitry (Tue May 06 2008 - 07:16:08 PDT)
- RE: [sv-sc] Embedded concurrent assertions Mirek Forczek (Mon Apr 28 2008 - 07:50:37 PDT)
- RE: [sv-sc] Embedded concurrent assertions Mirek Forczek (Mon Apr 28 2008 - 08:24:37 PDT)
[sv-sc] Meeting time adjustment Neil Korpusik (Thu Apr 24 2008 - 11:40:53 PDT)
[sv-sc] 1549 and assertions inlining Gordon Vreugdenhil (Fri Apr 25 2008 - 07:39:39 PDT)
- Re: [sv-sc] 1549 and assertions inlining John Havlicek (Mon Apr 28 2008 - 07:54:36 PDT)
  - Re: [sv-sc] 1549 and assertions inlining Gordon Vreugdenhil (Mon Apr 28 2008 - 08:20:47 PDT)
    - Re: [sv-sc] 1549 and assertions inlining John Havlicek (Mon Apr 28 2008 - 09:22:57 PDT)
[sv-sc] concurrent assertions in procedural code Steven Sharp (Sat Apr 26 2008 - 12:03:27 PDT)
[sv-sc] Notes from SV-SC Meeting on 2008-04-28 Thomas Thatcher (Mon Apr 28 2008 - 16:23:27 PDT)
[sv-sc] Thoughts/framework for concurrent assertions after 4/28 meeting Gordon Vreugdenhil (Mon Apr 28 2008 - 19:06:19 PDT)
- RE: [sv-sc] Thoughts/framework for concurrent assertions after 4/28 meeting Korchemny, Dmitry (Tue May 06 2008 - 05:52:56 PDT)
  - Re: [sv-sc] Thoughts/framework for concurrent assertions after 4/28 meeting Gordon Vreugdenhil (Tue May 06 2008 - 07:04:52 PDT)
    - RE: [sv-sc] Thoughts/framework for concurrent assertions after 4/28 meeting Korchemny, Dmitry (Tue May 06 2008 - 07:13:15 PDT)
    - Re: [sv-sc] Thoughts/framework for concurrent assertions after 4/28 meeting Gordon Vreugdenhil (Tue May 06 2008 - 07:17:40 PDT)
    - RE: [sv-sc] Thoughts/framework for concurrent assertions after 4/28 meeting Korchemny, Dmitry (Tue May 06 2008 - 07:47:13 PDT)
    - RE: [sv-sc] Thoughts/framework for concurrent assertions after 4/28 meeting Seligman, Erik (Tue May 06 2008 - 07:19:53 PDT)
    - Re: [sv-sc] Thoughts/framework for concurrent assertions after 4/28 meeting Gordon Vreugdenhil (Tue May 06 2008 - 07:23:40 PDT)
[sv-sc] Notes from SV-SC Meeting on 2008-04-28 (amended) Thomas Thatcher (Thu May 01 2008 - 14:17:13 PDT)
[sv-sc] Notes from SV-SC Meeting on 2008-04-28 (amended) Thomas Thatcher (Fri May 02 2008 - 11:08:00 PDT)
- [sv-sc] Agenda for next meeting: Tues, May 6, 9am PDT Seligman, Erik (Mon May 05 2008 - 10:36:07 PDT)
[sv-sc] patent Neil Korpusik (Tue May 06 2008 - 09:08:06 PDT)
[sv-sc] Type requirements for "let" Gordon Vreugdenhil (Tue May 06 2008 - 11:39:18 PDT)
- RE: [sv-sc] Type requirements for "let" Mark Hartoog (Tue May 06 2008 - 12:48:37 PDT)
  - Re: [sv-sc] Type requirements for "let" Gordon Vreugdenhil (Tue May 06 2008 - 13:17:48 PDT)
    - RE: [sv-sc] Type requirements for "let" Mark Hartoog (Wed May 07 2008 - 09:38:31 PDT)
    - Re: [sv-sc] Type requirements for "let" Gordon Vreugdenhil (Wed May 07 2008 - 10:28:12 PDT)
- RE: [sv-sc] Type requirements for "let" Korchemny, Dmitry (Wed May 07 2008 - 10:15:28 PDT)
  - Re: [sv-sc] Type requirements for "let" Gordon Vreugdenhil (Wed May 07 2008 - 10:36:37 PDT)
    - RE: [sv-sc] Type requirements for "let" Lisa Piper (Wed May 07 2008 - 10:44:22 PDT)
    - Re: [sv-sc] Type requirements for "let" Gordon Vreugdenhil (Wed May 07 2008 - 10:55:59 PDT)
    - Re: [sv-sc] Type requirements for "let" John Havlicek (Wed May 07 2008 - 12:13:44 PDT)
[sv-sc] FW: Concurrent assertions embedding in procedural code - decomposed Neil Korpusik (Tue May 06 2008 - 17:01:37 PDT)
- Re: [sv-sc] FW: Concurrent assertions embedding in procedural code - decomposed Steven Sharp (Tue May 13 2008 - 20:06:44 PDT)
[sv-sc] Chair and co-chair elections ratified Neil Korpusik (Tue May 06 2008 - 18:18:55 PDT)
[sv-sc] Concurrent assertions in always procedures Korchemny, Dmitry (Wed May 07 2008 - 10:08:30 PDT)
- [sv-sc] RE: Concurrent assertions in always procedures Kulshrestha, Manisha (Wed May 07 2008 - 11:03:49 PDT)
  - [sv-sc] RE: Concurrent assertions in always procedures Korchemny, Dmitry (Wed May 07 2008 - 11:21:29 PDT)
[sv-sc] [Fwd: face to face next wk - sign me up!] Michael Burns (Wed May 07 2008 - 11:09:51 PDT)
[sv-sc] Minutes of the sv-sc sub-committee meeting, May 6, 2008 Thomas Thatcher (Wed May 07 2008 - 15:07:11 PDT)
[sv-sc] Details of next weeks's face-to-face Seligman, Erik (Thu May 08 2008 - 12:25:58 PDT)
- Re: [sv-sc] Details of next weeks's face-to-face Neil Korpusik (Fri May 09 2008 - 17:49:23 PDT)
- [sv-sc] Face-To-Face details, updated Seligman, Erik (Tue May 13 2008 - 12:40:12 PDT)
  - RE: [sv-sc] Face-To-Face details, updated Korchemny, Dmitry (Tue May 13 2008 - 22:27:16 PDT)
  - Re: [sv-sc] Face-To-Face details, updated Neil Korpusik (Wed May 14 2008 - 08:43:12 PDT)
[sv-sc] Examples of assertion usage Thomas Thatcher (Thu May 08 2008 - 14:27:55 PDT)
[sv-sc] Goals & Requirements for Assertions--Another View Thomas Thatcher (Mon May 12 2008 - 17:38:04 PDT)
- RE: [sv-sc] Goals & Requirements for Assertions--Another View Korchemny, Dmitry (Tue May 13 2008 - 20:48:56 PDT)
[sv-sc] more thoughts on concurrent assertions in procedural code Michael Burns (Tue May 13 2008 - 09:30:01 PDT)
- Re: [sv-sc] more thoughts on concurrent assertions in procedural code Steven Sharp (Tue May 13 2008 - 19:03:42 PDT)
  - Re: [sv-sc] more thoughts on concurrent assertions in procedural code Michael Burns (Wed May 14 2008 - 08:50:47 PDT)
    - Re: [sv-sc] more thoughts on concurrent assertions in procedural code Gordon Vreugdenhil (Wed May 14 2008 - 08:58:01 PDT)
- Re: [sv-sc] more thoughts on concurrent assertions in procedural code Steven Sharp (Wed May 14 2008 - 10:29:52 PDT)
[sv-sc] FW: Why to allow concurrent assertion embedding ? Mirek Forczek (Tue May 13 2008 - 13:31:49 PDT)
- RE: [sv-sc] FW: Why to allow concurrent assertion embedding ? Stuart Sutherland (Tue May 13 2008 - 13:58:06 PDT)
  - RE: [sv-sc] FW: Why to allow concurrent assertion embedding ? Seligman, Erik (Tue May 13 2008 - 18:22:08 PDT)
    - RE: [sv-sc] FW: Why to allow concurrent assertion embedding ? Mirek Forczek (Wed May 14 2008 - 01:50:28 PDT)
    - RE: [sv-sc] FW: Why to allow concurrent assertion embedding ? Eduard Cerny (Wed May 14 2008 - 04:49:45 PDT)
- Re: [sv-sc] FW: Why to allow concurrent assertion embedding ? Gordon Vreugdenhil (Tue May 13 2008 - 16:04:09 PDT)
  - Re: [sv-sc] FW: Why to allow concurrent assertion embedding ? Thomas Thatcher (Tue May 13 2008 - 17:01:41 PDT)
    - RE: [sv-sc] FW: Why to allow concurrent assertion embedding ? Mirek Forczek (Wed May 14 2008 - 01:07:25 PDT)
  - RE: [sv-sc] FW: Why to allow concurrent assertion embedding ? Mirek Forczek (Wed May 14 2008 - 01:17:11 PDT)
    - Re: [sv-sc] FW: Why to allow concurrent assertion embedding ? Gordon Vreugdenhil (Wed May 14 2008 - 08:46:52 PDT)
- RE: [sv-sc] FW: Why to allow concurrent assertion embedding ? Steven Sharp (Tue May 13 2008 - 18:46:39 PDT)
[sv-sc] Meet Now: Seligman, Erik Seligman, Erik (Wed May 14 2008 - 09:37:33 PDT)
[sv-sc] slides for todays meeting Gordon Vreugdenhil (Wed May 14 2008 - 09:45:00 PDT)
- [sv-sc] Agenda for SV-SC meeting tomorrow (Tues, May 20) Seligman, Erik (Mon May 19 2008 - 14:53:11 PDT)
[sv-sc] a const-like syntax may be better than unsampled John Havlicek (Wed May 14 2008 - 11:08:50 PDT)
[sv-sc] current example Seligman, Erik (Wed May 14 2008 - 11:52:48 PDT)
[sv-sc] Meet Now: Seligman, Erik Seligman, Erik (Wed May 14 2008 - 12:51:12 PDT)
[sv-sc] Change in Thurs F2F meeting start: 8am rather than 7:30 Seligman, Erik (Wed May 14 2008 - 13:18:07 PDT)
[sv-sc] Annex F approach John Havlicek (Wed May 14 2008 - 16:30:46 PDT)
- [sv-sc] Re: Annex F approach Gordon Vreugdenhil (Wed May 14 2008 - 18:27:04 PDT)
[sv-sc] Face-to-face Participants Thomas Thatcher (Wed May 14 2008 - 17:46:52 PDT)
[sv-sc] naive questions about types John Havlicek (Wed May 14 2008 - 18:52:00 PDT)
[sv-sc] Meet Now: Seligman, Erik Seligman, Erik (Thu May 15 2008 - 08:15:54 PDT)
[sv-sc] Presentation on let Korchemny, Dmitry (Thu May 15 2008 - 08:18:13 PDT)
[sv-sc] checker issue summary Seligman, Erik (Thu May 15 2008 - 09:12:24 PDT)
[sv-sc] Mantis 2171 & 2175 Eduard Cerny (Thu May 15 2008 - 10:12:42 PDT)
[sv-sc] Mantis 1648, 2091, and 2100, Also 19.9-19.12 Lisa Piper (Thu May 15 2008 - 10:44:48 PDT)
[sv-sc] Meet Now: Seligman, Erik (new LiveMeeting for afternoon) Seligman, Erik (Thu May 15 2008 - 12:16:35 PDT)
[sv-sc] Mantis 1769 and 1758 Yang, Jin (Fri May 16 2008 - 01:13:24 PDT)
- RE: [sv-sc] Mantis 1769 and 1758 Bresticker, Shalom (Fri May 16 2008 - 01:59:18 PDT)
[sv-sc] NBA in checkers Korchemny, Dmitry (Fri May 16 2008 - 11:39:23 PDT)
- Re: [sv-sc] NBA in checkers Steven Sharp (Fri May 16 2008 - 15:22:12 PDT)
  - RE: [sv-sc] NBA in checkers Rich, Dave (Fri May 16 2008 - 15:35:34 PDT)
    - RE: [sv-sc] NBA in checkers Korchemny, Dmitry (Fri May 16 2008 - 23:32:49 PDT)
    - RE: [sv-sc] NBA in checkers Rich, Dave (Sat May 17 2008 - 00:00:07 PDT)
    - RE: [sv-sc] NBA in checkers Korchemny, Dmitry (Sun May 18 2008 - 22:35:12 PDT)
- Re: [sv-sc] NBA in checkers Thomas Thatcher (Fri May 16 2008 - 17:58:36 PDT)
  - RE: [sv-sc] NBA in checkers Korchemny, Dmitry (Sun May 18 2008 - 22:35:38 PDT)
[sv-sc] Notes from SV-SC face-to-face: Day 1 Thomas Thatcher (Fri May 16 2008 - 15:06:45 PDT)
- RE: [sv-sc] Notes from SV-SC face-to-face: Day 1 Korchemny, Dmitry (Fri May 16 2008 - 16:24:39 PDT)
  - RE: [sv-sc] Notes from SV-SC face-to-face: Day 1 Seligman, Erik (Mon May 19 2008 - 07:26:39 PDT)
    - RE: [sv-sc] Notes from SV-SC face-to-face: Day 1 Lisa Piper (Mon May 19 2008 - 07:33:51 PDT)
- RE: [sv-sc] Notes from SV-SC face-to-face: Day 1 Steven Sharp (Mon May 19 2008 - 18:01:02 PDT)
[sv-sc] questions on let Don Mills (Fri May 16 2008 - 15:36:16 PDT)
- Re: [sv-sc] questions on let Michael Burns (Fri May 16 2008 - 15:57:42 PDT)
  - RE: [sv-sc] questions on let Rich, Dave (Fri May 16 2008 - 16:35:16 PDT)
- RE: [sv-sc] questions on let Korchemny, Dmitry (Fri May 16 2008 - 16:29:20 PDT)
- RE: [sv-sc] questions on let Rich, Dave (Fri May 16 2008 - 16:40:44 PDT)
[sv-sc] Notes from SV-SC face-to-face meeting: Day 2 Thomas Thatcher (Fri May 16 2008 - 17:34:38 PDT)
- [sv-sc] Reviewing Mantis items Seligman, Erik (Mon May 19 2008 - 07:23:07 PDT)
  - RE: [sv-sc] Reviewing Mantis items Mark Hartoog (Tue May 20 2008 - 08:40:44 PDT)
[sv-sc] Checker variables Korchemny, Dmitry (Sun May 18 2008 - 22:48:51 PDT)
- Re: [sv-sc] Checker variables Thomas Thatcher (Mon May 19 2008 - 09:24:39 PDT)
  - RE: [sv-sc] Checker variables Korchemny, Dmitry (Mon May 19 2008 - 10:14:03 PDT)
    - Re: [sv-sc] Checker variables Thomas Thatcher (Mon May 19 2008 - 11:26:18 PDT)
    - RE: [sv-sc] Checker variables Korchemny, Dmitry (Mon May 19 2008 - 23:27:12 PDT)
    - RE: [sv-sc] Checker variables Mirek Forczek (Tue May 20 2008 - 02:05:18 PDT)
    - Re: [sv-sc] Checker variables Gordon Vreugdenhil (Tue May 20 2008 - 07:24:13 PDT)
    - RE: [sv-sc] Checker variables Korchemny, Dmitry (Tue May 20 2008 - 09:01:08 PDT)
    - Re: [sv-sc] Checker variables Gordon Vreugdenhil (Tue May 20 2008 - 09:10:54 PDT)
    - RE: [sv-sc] Checker variables Korchemny, Dmitry (Tue May 20 2008 - 09:13:32 PDT)
    - Re: [sv-sc] Checker variables Gordon Vreugdenhil (Tue May 20 2008 - 09:16:08 PDT)
    - RE: [sv-sc] Checker variables Rich, Dave (Tue May 20 2008 - 08:17:18 PDT)
[sv-sc] Mantis items 1682 and 1683 Korchemny, Dmitry (Mon May 19 2008 - 23:40:32 PDT)
[sv-sc] Review of 1681, 1641, 1601 Michael Burns (Tue May 20 2008 - 07:39:18 PDT)
[sv-sc] partial review results John Havlicek (Tue May 20 2008 - 08:56:12 PDT)
[sv-sc] RE: Mantis 1648, 2091, and 2100, Also 19.9-19.12 Lisa Piper (Tue May 20 2008 - 09:03:07 PDT)
- [sv-sc] Reviews on 2336, 2250, 2246, 1599 Moorhouse, Abigail (Tue May 20 2008 - 14:16:34 PDT)
[sv-sc] test message Neil Korpusik (Tue May 20 2008 - 10:46:48 PDT)
[sv-sc] Static & automatic code in checkers: some examples for clarification, and $inferred_enable question Seligman, Erik (Tue May 20 2008 - 10:53:40 PDT)
[sv-sc] review of 2150 1731 1729 Kulshrestha, Manisha (Wed May 21 2008 - 00:52:32 PDT)
[sv-sc] Checker chaining Neil Korpusik (Wed May 21 2008 - 15:28:28 PDT)
- RE: [sv-sc] Checker chaining Korchemny, Dmitry (Sun May 25 2008 - 23:18:06 PDT)
  - Re: [sv-sc] Checker chaining Neil Korpusik (Tue May 27 2008 - 14:11:35 PDT)
    - RE: [sv-sc] Checker chaining Korchemny, Dmitry (Mon Jun 02 2008 - 04:23:21 PDT)
[sv-sc] Q: Hold meeting on Tuesday? Seligman, Erik (Thu May 22 2008 - 14:40:31 PDT)
- Re: [sv-sc] Q: Hold meeting on Tuesday? Thomas Thatcher (Thu May 22 2008 - 17:01:03 PDT)
- Re: [sv-sc] Q: Hold meeting on Tuesday? Gordon Vreugdenhil (Thu May 22 2008 - 17:02:25 PDT)
  - RE: [sv-sc] Q: Hold meeting on Tuesday?- No meeting Seligman, Erik (Fri May 23 2008 - 07:21:50 PDT)
- Re: [sv-sc] Q: Hold meeting on Tuesday? Steven Sharp (Thu May 22 2008 - 17:33:45 PDT)
[sv-sc] MInutes of SV-SC Meeting 5/20/2008 Thomas Thatcher (Thu May 22 2008 - 15:53:58 PDT)
[sv-sc] Review of 2090 and 2069 Thomas Thatcher (Fri May 23 2008 - 16:11:40 PDT)
[sv-sc] let proposal uploaded (1728) Korchemny, Dmitry (Mon May 26 2008 - 00:20:49 PDT)
- Re: [sv-sc] let proposal uploaded (1728) Gordon Vreugdenhil (Thu May 29 2008 - 13:12:42 PDT)
  - RE: [sv-sc] let proposal uploaded (1728) Korchemny, Dmitry (Mon Jun 02 2008 - 06:35:16 PDT)
    - RE: [sv-sc] let proposal uploaded (1728) Rich, Dave (Mon Jun 02 2008 - 07:49:39 PDT)
    - RE: [sv-sc] let proposal uploaded (1728) Korchemny, Dmitry (Tue Jun 03 2008 - 00:33:39 PDT)
    - Re: [sv-sc] let proposal uploaded (1728) Adam Krolnik (Mon Jun 02 2008 - 08:37:34 PDT)
    - RE: [sv-sc] let proposal uploaded (1728) Korchemny, Dmitry (Mon Jun 02 2008 - 22:54:37 PDT)
    - RE: [sv-sc] let proposal uploaded (1728) Lisa Piper (Mon Jun 09 2008 - 11:55:19 PDT)
    - [sv-sc] Doc posted for 2398 (new concurrent assertion semantics in procedural code) Seligman, Erik (Tue Jun 10 2008 - 18:38:44 PDT)
    - RE: [sv-sc] Doc posted for 2398 (new concurrent assertion semantics in procedural code) Korchemny, Dmitry (Wed Jun 11 2008 - 05:58:15 PDT)
    - RE: [sv-sc] Doc posted for 2398 (new concurrent assertion semantics in procedural code) Korchemny, Dmitry (Thu Jun 12 2008 - 00:20:49 PDT)
    - RE: [sv-sc] Doc posted for 2398 (new concurrent assertion semantics in procedural code) Kulshrestha, Manisha (Tue Jun 17 2008 - 10:02:59 PDT)
    - RE: [sv-sc] let proposal uploaded (1728) Korchemny, Dmitry (Wed Jun 11 2008 - 04:15:39 PDT)
[sv-sc] SV-SC status update (from http://www.eda.org/twiki/bin/view.cgi/P1800/SystemVerilogSpecialCommittee) Seligman, Erik (Tue May 27 2008 - 16:25:57 PDT)
[sv-sc] Summary of open mantis item reviews; action items remaining for a few... Seligman, Erik (Wed May 28 2008 - 15:49:46 PDT)
- Re: [sv-sc] Summary of open mantis item reviews; action items remaining for a few... Steven Sharp (Wed May 28 2008 - 15:55:23 PDT)
- Re: [sv-sc] Summary of open mantis item reviews; action items remaining for a few... Gordon Vreugdenhil (Thu May 29 2008 - 13:15:19 PDT)
- Re: [sv-sc] Summary of open mantis item reviews; action items remaining for a few... Neil Korpusik (Wed Jun 11 2008 - 15:33:16 PDT)
[sv-sc] review of 1549 John Havlicek (Mon Jun 02 2008 - 07:24:34 PDT)
[sv-sc] Review of Freescale exposure to back-compat issues w/ seq/prop args Michael Burns (Mon Jun 02 2008 - 08:57:52 PDT)
- RE: [sv-sc] Review of Freescale exposure to back-compat issues w/ seq/prop args Yang, Jin (Mon Jun 02 2008 - 22:20:22 PDT)
[sv-sc] System Verilog Special Committee (http://www.eda.org/twiki/bin/view.cgi/P1800/SystemVerilogSpecialCommittee) Meeting Agenda, 2008-06-03 Seligman, Erik (Mon Jun 02 2008 - 14:13:25 PDT)
[sv-sc] final reviews from JH John Havlicek (Mon Jun 02 2008 - 20:16:09 PDT)
[sv-sc] Notes for checkers - free checkvar random sim semantics Michael Burns (Tue Jun 03 2008 - 08:59:05 PDT)
[sv-sc] ended vs. triggered Korchemny, Dmitry (Wed Jun 04 2008 - 01:27:26 PDT)
- [sv-sc] RE: [sv-ac] ended vs. triggered Kulshrestha, Manisha (Wed Jun 04 2008 - 01:46:32 PDT)
  - RE: [sv-sc] RE: [sv-ac] ended vs. triggered Seligman, Erik (Wed Jun 04 2008 - 07:15:38 PDT)
    - RE: [sv-sc] RE: [sv-ac] ended vs. triggered Korchemny, Dmitry (Wed Jun 04 2008 - 07:17:56 PDT)
    - RE: [sv-sc] RE: [sv-ac] ended vs. triggered Lisa Piper (Wed Jun 04 2008 - 07:29:41 PDT)
    - RE: [sv-sc] RE: [sv-ac] ended vs. triggered Korchemny, Dmitry (Wed Jun 04 2008 - 07:34:43 PDT)
    - RE: [sv-sc] RE: [sv-ac] ended vs. triggered Kulshrestha, Manisha (Wed Jun 04 2008 - 09:30:19 PDT)
- Re: [sv-sc] ended vs. triggered Adam Krolnik (Wed Jun 04 2008 - 08:22:49 PDT)
  - Re: [sv-sc] ended vs. triggered Thomas Thatcher (Thu Jun 05 2008 - 14:06:09 PDT)
    - RE: [sv-sc] ended vs. triggered Korchemny, Dmitry (Thu Jun 05 2008 - 23:44:03 PDT)
    - Re: [sv-sc] ended vs. triggered Thomas Thatcher (Fri Jun 06 2008 - 14:06:10 PDT)
    - Re: [sv-sc] ended vs. triggered Adam Krolnik (Fri Jun 06 2008 - 14:23:53 PDT)
    - RE: [sv-sc] ended vs. triggered Korchemny, Dmitry (Wed Jun 11 2008 - 01:43:01 PDT)
    - Re: [sv-sc] ended vs. triggered Thomas Thatcher (Fri Jun 06 2008 - 14:27:38 PDT)
    - RE: [sv-sc] ended vs. triggered Korchemny, Dmitry (Wed Jun 11 2008 - 01:30:17 PDT)
    - Re: [sv-sc] ended vs. triggered Thomas Thatcher (Wed Jun 11 2008 - 13:56:29 PDT)
    - RE: [sv-sc] ended vs. triggered Korchemny, Dmitry (Thu Jun 12 2008 - 00:48:27 PDT)
  - RE: [sv-sc] ended vs. triggered Korchemny, Dmitry (Thu Jun 05 2008 - 23:37:04 PDT)
    - RE: [sv-sc] ended vs. triggered Rich, Dave (Fri Jun 06 2008 - 01:04:10 PDT)
    - RE: [sv-sc] ended vs. triggered Korchemny, Dmitry (Wed Jun 11 2008 - 00:07:35 PDT)
[sv-sc] Minutes of SV-SC Meeting 6/03/2008 Thomas Thatcher (Thu Jun 05 2008 - 13:05:12 PDT)
[sv-sc] RE: random simulation semantics for free checker vars - in progress Korchemny, Dmitry (Wed Jun 11 2008 - 00:04:21 PDT)
[sv-sc] Proposal uploaded for Mantis 1800, Part 1 Thomas Thatcher (Wed Jun 11 2008 - 17:30:53 PDT)
- RE: [sv-sc] Proposal uploaded for Mantis 1800, Part 1 Korchemny, Dmitry (Mon Jun 16 2008 - 23:16:52 PDT)
  - Re: [sv-sc] Proposal uploaded for Mantis 1800, Part 1 Thomas Thatcher (Thu Jun 19 2008 - 08:47:52 PDT)
    - RE: [sv-sc] Proposal uploaded for Mantis 1800, Part 1 Korchemny, Dmitry (Sun Jun 22 2008 - 00:59:18 PDT)
    - RE: [sv-sc] Proposal uploaded for Mantis 1800, Part 1 Bresticker, Shalom (Sun Jun 22 2008 - 01:07:28 PDT)
    - RE: [sv-sc] Proposal uploaded for Mantis 1800, Part 1 Korchemny, Dmitry (Sun Jun 22 2008 - 01:10:44 PDT)
    - RE: [sv-sc] Proposal uploaded for Mantis 1800, Part 1 Lisa Piper (Sun Jun 22 2008 - 17:13:11 PDT)
    - RE: [sv-sc] Proposal uploaded for Mantis 1800, Part 1 Korchemny, Dmitry (Sun Jun 22 2008 - 22:53:12 PDT)
    - RE: [sv-sc] Proposal uploaded for Mantis 1800, Part 1 Lisa Piper (Mon Jun 23 2008 - 06:43:44 PDT)
    - RE: [sv-sc] Proposal uploaded for Mantis 1800, Part 1 Korchemny, Dmitry (Mon Jun 23 2008 - 06:47:59 PDT)
[sv-sc] Correction: Proposal uploaded for Mantis 1900, Part 1] Thomas Thatcher (Thu Jun 12 2008 - 09:40:07 PDT)
[sv-sc] Mantis 2005 - deferred assertions Korchemny, Dmitry (Mon Jun 16 2008 - 04:23:21 PDT)
[sv-sc] Checker proposal updated Korchemny, Dmitry (Mon Jun 16 2008 - 07:19:54 PDT)
- RE: [sv-sc] Checker proposal updated: free variable assignments vs assumptions Mirek Forczek (Tue Jun 17 2008 - 05:34:57 PDT)
  - RE: [sv-sc] Checker proposal updated: free variable assignments vs assumptions Korchemny, Dmitry (Tue Jun 17 2008 - 05:40:45 PDT)
- RE: [sv-sc] Checker proposal updated: const free variable behaviour Mirek Forczek (Tue Jun 17 2008 - 05:36:10 PDT)
  - RE: [sv-sc] Checker proposal updated: const free variable behaviour Korchemny, Dmitry (Tue Jun 17 2008 - 05:49:18 PDT)
- RE: [sv-sc] Checker proposal updated: checker instantiations in procedural code Mirek Forczek (Tue Jun 17 2008 - 05:34:27 PDT)
  - RE: [sv-sc] Checker proposal updated: checker instantiations in procedural code Korchemny, Dmitry (Tue Jun 17 2008 - 05:40:26 PDT)
    - RE: [sv-sc] Checker proposal updated: checker instantiations in procedural code Seligman, Erik (Tue Jun 17 2008 - 07:23:33 PDT)
[sv-sc] Mantis 1549 proposal Gordon Vreugdenhil (Mon Jun 16 2008 - 07:31:48 PDT)
- Re: [sv-sc] Mantis 1549 proposal John Havlicek (Mon Jun 16 2008 - 10:54:55 PDT)
[sv-sc] SV-SC: Meeting agenda for tomorrow (Tues, June 17) Seligman, Erik (Mon Jun 16 2008 - 09:27:16 PDT)
- RE: [sv-sc] SV-SC: Meeting agenda for tomorrow (Tues, June 17) Korchemny, Dmitry (Mon Jun 16 2008 - 22:36:28 PDT)
- RE: [sv-sc] SV-SC: Meeting agenda for tomorrow (Tues, June 17) Korchemny, Dmitry (Mon Jun 16 2008 - 22:59:36 PDT)
  - RE: [sv-sc] SV-SC: Meeting agenda for tomorrow (Tues, June 17) Lisa Piper (Tue Jun 17 2008 - 05:59:24 PDT)
[sv-sc] Let proposal updated Korchemny, Dmitry (Tue Jun 17 2008 - 05:27:25 PDT)
- Re: [sv-sc] Let proposal updated Adam Krolnik (Tue Jun 17 2008 - 08:17:34 PDT)
  - RE: [sv-sc] Let proposal updated Korchemny, Dmitry (Thu Jun 19 2008 - 04:32:13 PDT)
[sv-sc] More thoughts on checker freevar randomization Michael Burns (Tue Jun 17 2008 - 08:57:48 PDT)
- Re: [sv-sc] More thoughts on checker freevar randomization John Havlicek (Wed Jun 18 2008 - 05:54:24 PDT)
[sv-sc] Minutes of SV-SC meeting 6/17/2008 Thomas Thatcher (Wed Jun 18 2008 - 17:22:28 PDT)
[sv-sc] Mantis 1900, Part 1: New draft uploaded Thomas Thatcher (Thu Jun 19 2008 - 10:56:40 PDT)
- RE: [sv-sc] Mantis 1900, Part 1: New draft uploaded Bresticker, Shalom (Thu Jun 19 2008 - 13:09:11 PDT)
  - Re: [sv-sc] Mantis 1900, Part 1: New draft uploaded Thomas Thatcher (Fri Jun 20 2008 - 09:53:19 PDT)
    - RE: [sv-sc] Mantis 1900, Part 1: New draft uploaded Korchemny, Dmitry (Sun Jun 22 2008 - 01:41:41 PDT)
[sv-sc] Proposal 2398 (procedural concurrent assertions) updated Seligman, Erik (Fri Jun 20 2008 - 09:52:54 PDT)
- RE: [sv-sc] Proposal 2398 (procedural concurrent assertions) updated Korchemny, Dmitry (Sun Jun 22 2008 - 02:25:41 PDT)
- RE: [sv-sc] Proposal 2398 (procedural concurrent assertions) updated Mirek Forczek (Tue Jun 24 2008 - 06:26:41 PDT)
  - RE: [sv-sc] Proposal 2398 (procedural concurrent assertions) updated Seligman, Erik (Tue Jun 24 2008 - 07:49:29 PDT)
[sv-sc] Proposed text for assume-based randomization of free checker variables Michael Burns (Fri Jun 20 2008 - 12:12:57 PDT)
- RE: [sv-sc] Proposed text for assume-based randomization of free checker variables Korchemny, Dmitry (Mon Jun 23 2008 - 00:12:38 PDT)
  - Re: [sv-sc] Proposed text for assume-based randomization of free checker variables Michael Burns (Mon Jun 23 2008 - 07:25:00 PDT)
  - Re: [sv-sc] Proposed text for assume-based randomization of free checker variables John Havlicek (Mon Jun 23 2008 - 07:59:46 PDT)
    - RE: [sv-sc] Proposed text for assume-based randomization of free checker variables Korchemny, Dmitry (Mon Jun 23 2008 - 08:54:41 PDT)
    - Re: [sv-sc] Proposed text for assume-based randomization of free checker variables John Havlicek (Wed Jun 25 2008 - 11:44:12 PDT)
    - RE: [sv-sc] Proposed text for assume-based randomization of free checker variables Korchemny, Dmitry (Wed Jun 25 2008 - 22:35:48 PDT)
    - Re: [sv-sc] Proposed text for assume-based randomization of free checker variables John Havlicek (Thu Jun 26 2008 - 07:34:21 PDT)
    - RE: [sv-sc] Proposed text for assume-based randomization of free checker variables Korchemny, Dmitry (Thu Jun 26 2008 - 07:36:59 PDT)
- RE: [sv-sc] Proposed text for assume-based randomization of free checker variables Mirek Forczek (Mon Jun 23 2008 - 07:02:40 PDT)
  - Re: [sv-sc] Proposed text for assume-based randomization of free checker variables Michael Burns (Mon Jun 23 2008 - 08:59:34 PDT)
    - RE: [sv-sc] Proposed text for assume-based randomization of free checker variables Mirek Forczek (Tue Jun 24 2008 - 03:17:49 PDT)
    - Re: [sv-sc] Proposed text for assume-based randomization of free checker variables Michael Burns (Tue Jun 24 2008 - 16:02:49 PDT)
- RE: [sv-sc] Proposed text for assume-based randomization of free checker variables Mirek Forczek (Tue Jun 24 2008 - 07:21:01 PDT)
  - Re: [sv-sc] Proposed text for assume-based randomization of free checker variables Michael Burns (Tue Jun 24 2008 - 16:07:13 PDT)
    - RE: [sv-sc] Proposed text for assume-based randomization of free checker variables Mirek Forczek (Wed Jun 25 2008 - 05:27:15 PDT)
    - Re: [sv-sc] Proposed text for assume-based randomization of free checker variables Michael Burns (Thu Jun 26 2008 - 08:54:52 PDT)
[sv-sc] 1549 modifications (typing and handling of formals/actuals) Gordon Vreugdenhil (Fri Jun 20 2008 - 15:14:14 PDT)
- RE: [sv-sc] 1549 modifications (typing and handling of formals/actuals) Seligman, Erik (Mon Jun 23 2008 - 09:09:25 PDT)
  - Re: [sv-sc] 1549 modifications (typing and handling of formals/actuals) Gordon Vreugdenhil (Mon Jun 30 2008 - 10:21:33 PDT)
[sv-sc] Example for assume-based free checker variable randomization Michael Burns (Fri Jun 20 2008 - 18:21:02 PDT)
- RE: [sv-sc] Example for assume-based free checker variable randomization Korchemny, Dmitry (Sun Jun 22 2008 - 02:00:11 PDT)
  - Re: [sv-sc] Example for assume-based free checker variable randomization Michael Burns (Sun Jun 22 2008 - 10:52:06 PDT)
    - Re: [sv-sc] Example for assume-based free checker variable randomization John Havlicek (Sun Jun 22 2008 - 11:48:11 PDT)
    - Re: [sv-sc] Example for assume-based free checker variable randomization Michael Burns (Sun Jun 22 2008 - 12:32:07 PDT)
    - RE: [sv-sc] Example for assume-based free checker variable randomization Bresticker, Shalom (Sun Jun 22 2008 - 19:57:04 PDT)
    - Re: [sv-sc] Example for assume-based free checker variable randomization Thomas Thatcher (Mon Jun 23 2008 - 14:07:37 PDT)
    - RE: [sv-sc] Example for assume-based free checker variable randomization Korchemny, Dmitry (Sun Jun 22 2008 - 22:44:23 PDT)
    - RE: [sv-sc] Example for assume-based free checker variable randomization Korchemny, Dmitry (Sun Jun 22 2008 - 22:40:54 PDT)
    - Re: [sv-sc] Example for assume-based free checker variable randomization Michael Burns (Mon Jun 23 2008 - 10:09:05 PDT)
    - RE: [sv-sc] Example for assume-based free checker variable randomization Korchemny, Dmitry (Mon Jun 23 2008 - 11:59:09 PDT)
    - Re: [sv-sc] Example for assume-based free checker variable randomization Michael Burns (Mon Jun 23 2008 - 13:21:09 PDT)
    - RE: [sv-sc] Example for assume-based free checker variable randomization Korchemny, Dmitry (Mon Jun 23 2008 - 22:47:05 PDT)
[sv-sc] Mantis 2250 review Korchemny, Dmitry (Mon Jun 23 2008 - 03:51:16 PDT)
[sv-sc] FW: [sv-ac] Reminder of SV-AC meeting 2008-06-23 Korchemny, Dmitry (Mon Jun 23 2008 - 09:10:53 PDT)
[sv-sc] [sv-ac] notes from SV-AC meeting 2008-06-23 Korchemny, Dmitry (Mon Jun 23 2008 - 11:43:28 PDT)
[sv-sc] [sv-ac] call to vote on 2173 Korchemny, Dmitry (Mon Jun 23 2008 - 11:49:35 PDT)
[sv-sc] RE: [sv-ac] notes from SV-AC meeting 2008-06-23 Korchemny, Dmitry (Mon Jun 23 2008 - 11:54:52 PDT)
[sv-sc] RE: [sv-ac] call to vote on 2173 Korchemny, Dmitry (Mon Jun 23 2008 - 11:55:24 PDT)
[sv-sc] Draft of revised 1900 section on checker instantiation (incl. procedural code) Seligman, Erik (Mon Jun 23 2008 - 16:07:49 PDT)
- [sv-sc] RE: Draft of revised 1900 section on checker instantiation (incl. procedural code) Korchemny, Dmitry (Tue Jun 24 2008 - 01:07:27 PDT)
  - [sv-sc] RE: Draft of revised 1900 section on checker instantiation (incl. procedural code) Seligman, Erik (Tue Jun 24 2008 - 07:41:41 PDT)
- RE: [sv-sc] Draft of revised 1900 section on checker instantiation (incl. procedural code) Mirek Forczek (Tue Jun 24 2008 - 07:06:19 PDT)
  - RE: [sv-sc] Draft of revised 1900 section on checker instantiation (incl. procedural code) Seligman, Erik (Tue Jun 24 2008 - 07:53:55 PDT)
    - RE: [sv-sc] Draft of revised 1900 section on checker instantiation (incl. procedural code) Mirek Forczek (Tue Jun 24 2008 - 08:17:33 PDT)
[sv-sc] Agenda for tomorrow's SV-SC mtg (Tues, 2008-06-24, 9am) Seligman, Erik (Mon Jun 23 2008 - 16:26:10 PDT)
[sv-sc] Mantis 2415 - ended method deprecation Korchemny, Dmitry (Tue Jun 24 2008 - 06:13:30 PDT)
- RE: [sv-sc] Mantis 2415 - ended method deprecation Lisa Piper (Wed Jun 25 2008 - 07:37:48 PDT)
  - RE: [sv-sc] Mantis 2415 - ended method deprecation Korchemny, Dmitry (Sun Jun 29 2008 - 07:57:57 PDT)
[sv-sc] SV-SC: current status Seligman, Erik (Tue Jun 24 2008 - 14:37:26 PDT)
- [sv-sc] Call for email vote on 1728 (Let) Seligman, Erik (Wed Jun 25 2008 - 06:42:27 PDT)
  - RE: [sv-sc] Call for email vote on 1728 (Let) Seligman, Erik (Sun Jun 29 2008 - 10:07:57 PDT)
    - Re: [sv-sc] Call for email vote on 1728 (Let) Gordon Vreugdenhil (Mon Jun 30 2008 - 08:19:59 PDT)
    - RE: [sv-sc] Call for email vote on 1728 (Let) Korchemny, Dmitry (Tue Jul 01 2008 - 01:24:18 PDT)
  - RE: [sv-sc] Call for email vote on 1728 (Let) Korchemny, Dmitry (Mon Jun 30 2008 - 08:23:37 PDT)
  - Re: [sv-sc] Call for email vote on 1728 (Let) Thomas Thatcher (Mon Jun 30 2008 - 13:24:32 PDT)
    - RE: [sv-sc] Call for email vote on 1728 (Let) Korchemny, Dmitry (Tue Jul 01 2008 - 01:25:39 PDT)
  - RE: [sv-sc] Call for email vote on 1728 (Let) Kulshrestha, Manisha (Tue Jul 01 2008 - 02:30:21 PDT)
  - RE: [sv-sc] Call for email vote on 1728 (Let) Mirek Forczek (Tue Jul 01 2008 - 08:55:45 PDT)
  - Re: [sv-sc] Call for email vote on 1728 (Let) Michael Burns (Tue Jul 01 2008 - 11:03:51 PDT)
  - RE: [sv-sc] Call for email vote on 1728 (Let) Mark Hartoog (Tue Jul 01 2008 - 11:23:42 PDT)
[sv-sc] Assume-based checker randomization - next version Michael Burns (Tue Jun 24 2008 - 15:51:55 PDT)
- RE: [sv-sc] Assume-based checker randomization - next version Korchemny, Dmitry (Wed Jun 25 2008 - 04:16:51 PDT)
  - Re: [sv-sc] Assume-based checker randomization - next version Michael Burns (Wed Jun 25 2008 - 18:07:32 PDT)
    - RE: [sv-sc] Assume-based checker randomization - next version Korchemny, Dmitry (Thu Jun 26 2008 - 03:52:15 PDT)
    - Re: [sv-sc] Assume-based checker randomization - next version Michael Burns (Thu Jun 26 2008 - 07:58:56 PDT)
    - RE: [sv-sc] Assume-based checker randomization - next version Korchemny, Dmitry (Mon Jun 30 2008 - 08:23:34 PDT)
- RE: [sv-sc] Assume-based checker randomization - next version Korchemny, Dmitry (Tue Jul 01 2008 - 06:11:45 PDT)
[sv-sc] Mantis 2413 - inferred functions in let Gordon Vreugdenhil (Tue Jun 24 2008 - 16:52:42 PDT)
- RE: [sv-sc] Mantis 2413 - inferred functions in let Korchemny, Dmitry (Tue Jun 24 2008 - 23:09:29 PDT)
  - RE: [sv-sc] Mantis 2413 - inferred functions in let Kulshrestha, Manisha (Wed Jun 25 2008 - 02:21:48 PDT)
    - RE: [sv-sc] Mantis 2413 - inferred functions in let Korchemny, Dmitry (Wed Jun 25 2008 - 03:23:35 PDT)
    - RE: [sv-sc] Mantis 2413 - inferred functions in let Kulshrestha, Manisha (Wed Jun 25 2008 - 04:02:25 PDT)
    - RE: [sv-sc] Mantis 2413 - inferred functions in let Korchemny, Dmitry (Wed Jun 25 2008 - 04:07:39 PDT)
  - Re: [sv-sc] Mantis 2413 - inferred functions in let Gordon Vreugdenhil (Wed Jun 25 2008 - 06:44:03 PDT)
    - RE: [sv-sc] Mantis 2413 - inferred functions in let Korchemny, Dmitry (Wed Jun 25 2008 - 06:46:31 PDT)
    - RE: [sv-sc] Mantis 2413 - inferred functions in let Seligman, Erik (Wed Jun 25 2008 - 06:47:58 PDT)
    - Re: [sv-sc] Mantis 2413 - inferred functions in let Gordon Vreugdenhil (Wed Jun 25 2008 - 07:12:00 PDT)
    - RE: [sv-sc] Mantis 2413 - inferred functions in let Korchemny, Dmitry (Sun Jun 29 2008 - 04:56:35 PDT)
    - RE: [sv-sc] Mantis 2413 - inferred functions in let Mirek Forczek (Mon Jun 30 2008 - 06:54:22 PDT)
[sv-sc] Minutes from 6/24 SV-SC Meeting Thomas Thatcher (Wed Jun 25 2008 - 08:43:54 PDT)
[sv-sc] Updated proposal 2398 (concurrent asserts in procedural code) Seligman, Erik (Sun Jun 29 2008 - 11:21:41 PDT)
[sv-sc] Checker instantiation: updated draft Seligman, Erik (Sun Jun 29 2008 - 12:12:54 PDT)
- Re: [sv-sc] Checker instantiation: updated draft Thomas Thatcher (Mon Jun 30 2008 - 15:07:21 PDT)
  - Re: [sv-sc] Checker instantiation: updated draft Thomas Thatcher (Mon Jun 30 2008 - 15:20:49 PDT)
[sv-sc] SV-SC meeting agenda for Tues 7/1 (http://www.eda.org/twiki/bin/view.cgi/P1800/SvScMeetingAgenda) Seligman, Erik (Mon Jun 30 2008 - 07:59:19 PDT)
[sv-sc] New "@edge clk" proposal Yang, Jin (Mon Jun 30 2008 - 09:22:56 PDT)
- Re: [sv-sc] New "@edge clk" proposal Gordon Vreugdenhil (Mon Jun 30 2008 - 10:04:43 PDT)
- Re: [sv-sc] New "@edge clk" proposal Thomas Thatcher (Mon Jun 30 2008 - 14:00:04 PDT)
  - RE: [sv-sc] New "@edge clk" proposal Yang, Jin (Mon Jun 30 2008 - 22:01:02 PDT)
    - RE: [sv-sc] New "@edge clk" proposal Mirek Forczek (Tue Jul 01 2008 - 01:47:48 PDT)
    - RE: [sv-sc] New "@edge clk" proposal Bresticker, Shalom (Tue Jul 01 2008 - 04:42:58 PDT)
    - RE: [sv-sc] New "@edge clk" proposal Seligman, Erik (Tue Jul 01 2008 - 07:16:26 PDT)
    - RE: [sv-sc] New "@edge clk" proposal Bresticker, Shalom (Tue Jul 01 2008 - 07:27:36 PDT)
    - Re: [sv-sc] New "@edge clk" proposal Thomas Thatcher (Tue Jul 01 2008 - 13:25:24 PDT)
    - RE: [sv-sc] New "@edge clk" proposal Bresticker, Shalom (Tue Jul 01 2008 - 21:57:57 PDT)
    - Re: [sv-sc] New "@edge clk" proposal Thomas Thatcher (Wed Jul 02 2008 - 09:45:43 PDT)
    - RE: [sv-sc] New "@edge clk" proposal Yang, Jin (Sat Jul 05 2008 - 12:50:19 PDT)
    - RE: [sv-sc] New "@edge clk" proposal Mirek Forczek (Wed Jul 02 2008 - 01:26:11 PDT)
    - Re: [sv-sc] New "@edge clk" proposal Thomas Thatcher (Wed Jul 02 2008 - 09:44:01 PDT)
[sv-sc] Proposal for 2088 (Covergroups in Checkers) Uploaded Thomas Thatcher (Mon Jun 30 2008 - 17:16:59 PDT)
[sv-sc] 1900 - New version uploaded Korchemny, Dmitry (Tue Jul 01 2008 - 06:20:15 PDT)
- Re: [sv-sc] 1900 - New version uploaded Thomas Thatcher (Wed Jul 02 2008 - 09:36:42 PDT)
  - RE: [sv-sc] 1900 - New version uploaded Korchemny, Dmitry (Wed Jul 02 2008 - 09:45:56 PDT)
    - Re: [sv-sc] 1900 - New version uploaded Thomas Thatcher (Wed Jul 02 2008 - 10:48:56 PDT)
    - RE: [sv-sc] 1900 - New version uploaded Korchemny, Dmitry (Wed Jul 02 2008 - 23:00:58 PDT)
- Re: [sv-sc] 1900 - New version uploaded Thomas Thatcher (Wed Jul 02 2008 - 18:03:21 PDT)
  - RE: [sv-sc] 1900 - New version uploaded Korchemny, Dmitry (Sun Jul 06 2008 - 06:35:32 PDT)
    - Re: [sv-sc] 1900 - New version uploaded Thomas Thatcher (Mon Jul 07 2008 - 08:44:51 PDT)
    - RE: [sv-sc] 1900 - New version uploaded Korchemny, Dmitry (Mon Jul 07 2008 - 22:29:53 PDT)
    - RE: [sv-sc] 1900 - New version uploaded Seligman, Erik (Tue Jul 08 2008 - 07:16:00 PDT)
    - RE: [sv-sc] 1900 - New version uploaded Mirek Forczek (Tue Jul 08 2008 - 08:33:55 PDT)
    - Re: [sv-sc] 1900 - New version uploaded Michael Burns (Tue Jul 08 2008 - 08:41:26 PDT)
    - Re: [sv-sc] 1900 - New version uploaded Thomas Thatcher (Tue Jul 08 2008 - 15:09:59 PDT)
[sv-sc] Minutes from the SV-SC Meeting, July 1, 2008 Thomas Thatcher (Tue Jul 01 2008 - 10:46:59 PDT)
[sv-sc] Results of vote on 1728 (let) Seligman, Erik (Wed Jul 02 2008 - 08:17:09 PDT)
[sv-sc] New Email Votes: 1728- Let (amended), 2415- Ended/Triggered Seligman, Erik (Wed Jul 02 2008 - 08:23:40 PDT)
- Re: [sv-sc] New Email Votes: 1728- Let (amended), 2415- Ended/Triggered Thomas Thatcher (Wed Jul 02 2008 - 10:28:51 PDT)
- RE: [sv-sc] New Email Votes: 1728- Let (amended), 2415- Ended/Triggered Korchemny, Dmitry (Sun Jul 06 2008 - 04:24:20 PDT)
  - [sv-sc] REMINDER: Email Votes: 1728- Let (amended), 2415- Ended/Triggered Seligman, Erik (Mon Jul 07 2008 - 07:08:59 PDT)
    - RE: [sv-sc] REMINDER: Email Votes: 1728- Let (amended), 2415- Ended/Triggered Yang, Jin (Mon Jul 07 2008 - 07:32:10 PDT)
    - Re: [sv-sc] REMINDER: Email Votes: 1728- Let (amended), 2415- Ended/Triggered Michael Burns (Tue Jul 08 2008 - 15:50:34 PDT)
    - Re: [sv-sc] REMINDER: Email Votes: 1728- Let (amended), 2415- Ended/Triggered Neil Korpusik (Tue Jul 08 2008 - 18:14:23 PDT)
    - Re: [sv-sc] REMINDER: Email Votes: 1728- Let (amended), 2415- Ended/Triggered Neil Korpusik (Tue Jul 08 2008 - 18:53:14 PDT)
    - RE: [sv-sc] REMINDER: Email Votes: 1728- Let (amended), 2415- Ended/Triggered Korchemny, Dmitry (Wed Jul 09 2008 - 02:24:56 PDT)
    - RE: [sv-sc] REMINDER: Email Votes: 1728- Let (amended), 2415- Ended/Triggered Mirek Forczek (Wed Jul 09 2008 - 02:48:36 PDT)
    - Re: [sv-sc] REMINDER: Email Votes: 1728- Let (amended), 2415- Ended/Triggered Neil Korpusik (Wed Jul 09 2008 - 16:03:13 PDT)
- Re: [sv-sc] New Email Votes: 1728- Let (amended), 2415- Ended/Triggered Gordon Vreugdenhil (Mon Jul 07 2008 - 07:29:27 PDT)
- Re: [sv-sc] New Email Votes: 1728- Let (amended), 2415- Ended/Triggered Thomas Thatcher (Tue Jul 08 2008 - 16:12:25 PDT)
[sv-sc] 1728 - Let proposal Korchemny, Dmitry (Sun Jul 06 2008 - 04:21:21 PDT)
[sv-sc] RE: Review of 2398 (concurrent assertions in procedural code) Seligman, Erik (Mon Jul 07 2008 - 07:17:23 PDT)
- [sv-sc] RE: Review of 2398 (concurrent assertions in procedural code) Lisa Piper (Tue Jul 08 2008 - 04:42:54 PDT)
[sv-sc] Mantis 2434 - seq/prop arguments Gordon Vreugdenhil (Mon Jul 07 2008 - 07:20:57 PDT)
[sv-sc] Initial review of 2088/1900 interactions - covergroups in checkers Gordon Vreugdenhil (Mon Jul 07 2008 - 08:59:26 PDT)
- RE: [sv-sc] Initial review of 2088/1900 interactions - covergroups in checkers Korchemny, Dmitry (Tue Jul 08 2008 - 03:56:26 PDT)
  - Re: [sv-sc] Initial review of 2088/1900 interactions - covergroups in checkers Gordon Vreugdenhil (Tue Jul 08 2008 - 06:49:18 PDT)
    - RE: [sv-sc] Initial review of 2088/1900 interactions - covergroups in checkers Korchemny, Dmitry (Tue Jul 08 2008 - 07:59:32 PDT)
    - Re: [sv-sc] Initial review of 2088/1900 interactions - covergroups in checkers Michael Burns (Tue Jul 08 2008 - 08:58:00 PDT)
    - Re: [sv-sc] Initial review of 2088/1900 interactions - covergroups in checkers Thomas Thatcher (Tue Jul 08 2008 - 14:27:07 PDT)
    - Re: [sv-sc] Initial review of 2088/1900 interactions - covergroups in checkers Michael Burns (Tue Jul 08 2008 - 15:16:30 PDT)
    - Re: [sv-sc] Initial review of 2088/1900 interactions - covergroups in checkers Neil Korpusik (Wed Jul 09 2008 - 16:47:05 PDT)
    - RE: [sv-sc] Initial review of 2088/1900 interactions - covergroups in checkers Korchemny, Dmitry (Wed Jul 09 2008 - 01:43:01 PDT)
- RE: [sv-sc] Initial review of 2088/1900 interactions - covergroups in checkers Korchemny, Dmitry (Wed Jul 09 2008 - 23:34:09 PDT)
[sv-sc] Checker vars -- valid uses of const actuals? Gordon Vreugdenhil (Mon Jul 07 2008 - 09:42:19 PDT)
- RE: [sv-sc] Checker vars -- valid uses of const actuals? Seligman, Erik (Mon Jul 07 2008 - 09:50:09 PDT)
[sv-sc] VPI for Checkers Seligman, Erik (Mon Jul 07 2008 - 09:31:46 PDT)
- [sv-sc] RE: VPI for Checkers Chuck Berking (Mon Jul 07 2008 - 10:07:30 PDT)
[sv-sc] System Verilog Special Committee (http://www.eda.org/twiki/bin/view.cgi/P1800/SystemVerilogSpecialCommittee) Meeting Agenda, 2008-07-08 Seligman, Erik (Mon Jul 07 2008 - 09:38:43 PDT)
- RE: [sv-sc] System Verilog Special Committee. Inferred functions in let (2413) Korchemny, Dmitry (Mon Jul 07 2008 - 23:16:46 PDT)
  - RE: [sv-sc] System Verilog Special Committee. Inferred functions in let (2413) Kulshrestha, Manisha (Mon Jul 07 2008 - 23:46:14 PDT)
    - RE: [sv-sc] System Verilog Special Committee. Inferred functions in let (2413) Mirek Forczek (Tue Jul 08 2008 - 08:08:38 PDT)
    - RE: [sv-sc] System Verilog Special Committee. Inferred functions in let (2413) Korchemny, Dmitry (Tue Jul 08 2008 - 08:15:10 PDT)
    - RE: [sv-sc] System Verilog Special Committee. Inferred functions in let (2413) Mirek Forczek (Tue Jul 08 2008 - 08:41:59 PDT)
[sv-sc] Comments on draft of 1900, part 1 Seligman, Erik (Mon Jul 07 2008 - 14:12:24 PDT)
- Re: [sv-sc] Comments on draft of 1900, part 1 Thomas Thatcher (Mon Jul 07 2008 - 15:33:58 PDT)
  - RE: [sv-sc] Comments on draft of 1900, part 1 Korchemny, Dmitry (Tue Jul 08 2008 - 08:17:23 PDT)
    - Re: [sv-sc] Comments on draft of 1900, part 1 Thomas Thatcher (Tue Jul 08 2008 - 10:59:47 PDT)
    - RE: [sv-sc] Comments on draft of 1900, part 1 Korchemny, Dmitry (Wed Jul 09 2008 - 01:08:15 PDT)
    - Re: [sv-sc] Comments on draft of 1900, part 1 Thomas Thatcher (Thu Jul 10 2008 - 09:23:21 PDT)
    - RE: [sv-sc] Comments on draft of 1900, part 1 Korchemny, Dmitry (Sat Jul 12 2008 - 22:47:21 PDT)
[sv-sc] Re: [sv-ec] Review of 2038/1900 Neil Korpusik (Mon Jul 07 2008 - 14:29:32 PDT)
- [sv-sc] Re: [sv-ec] Review of 2038/1900 Gordon Vreugdenhil (Tue Jul 08 2008 - 07:07:32 PDT)
[sv-sc] Review of 2038/1900 - from Gord Neil Korpusik (Mon Jul 07 2008 - 14:31:58 PDT)
[sv-sc] New version of 2398 uploaded Seligman, Erik (Mon Jul 07 2008 - 14:39:03 PDT)
- RE: [sv-sc] New version of 2398 uploaded Kulshrestha, Manisha (Tue Jul 08 2008 - 02:39:39 PDT)
[sv-sc] Updated version of 1900, part 2 Seligman, Erik (Mon Jul 07 2008 - 15:34:55 PDT)
- [sv-sc] RE: Updated version of 1900, part 2 Korchemny, Dmitry (Tue Jul 08 2008 - 01:55:10 PDT)
  - Re: [sv-sc] RE: Updated version of 1900, part 2 Thomas Thatcher (Tue Jul 08 2008 - 11:11:25 PDT)
    - RE: [sv-sc] RE: Updated version of 1900, part 2 Korchemny, Dmitry (Wed Jul 09 2008 - 01:26:21 PDT)
    - Re: [sv-sc] RE: Updated version of 1900, part 2 Thomas Thatcher (Fri Jul 11 2008 - 11:26:27 PDT)
    - RE: [sv-sc] RE: Updated version of 1900, part 2 Korchemny, Dmitry (Tue Jul 15 2008 - 05:13:39 PDT)
- [sv-sc] Mantis 2434 Francoise Martinolle (Tue Jul 08 2008 - 10:35:42 PDT)
[sv-sc] VPI and Let, 2414 (also 1728 and 1503) Moorhouse, Abigail (Tue Jul 08 2008 - 12:44:21 PDT)
- RE: [sv-sc] VPI and Let, 2414 (also 1728 and 1503) Seligman, Erik (Tue Jul 08 2008 - 14:13:59 PDT)
  - Re: [sv-cc] RE: [sv-sc] VPI and Let, 2414 (also 1728 and 1503) Neil Korpusik (Tue Jul 08 2008 - 15:49:27 PDT)
    - Re: [sv-cc] RE: [sv-sc] VPI and Let, 2414 (also 1728 and 1503) Neil Korpusik (Tue Jul 08 2008 - 15:52:35 PDT)
[sv-sc] Draft 6 Review Thomas Thatcher (Tue Jul 08 2008 - 15:02:10 PDT)
[sv-sc] Minutes from SV-SC Meeting 7/8/2008 Thomas Thatcher (Tue Jul 08 2008 - 18:04:10 PDT)
[sv-sc] RESULTS of votes on 1798 (Let) and 2415 (Ended/Triggered) Seligman, Erik (Wed Jul 09 2008 - 08:23:09 PDT)
- RE: [sv-sc] RESULTS of votes on 1798 (Let) and 2415 (Ended/Triggered) Seligman, Erik (Wed Jul 09 2008 - 08:39:14 PDT)
[sv-sc] Call for email votes on several proposals; ballots due Wed 7/16/08, 8am Seligman, Erik (Wed Jul 09 2008 - 08:44:18 PDT)
- Re: [sv-sc] Call for email votes on several proposals; ballots due Wed 7/16/08, 8am Thomas Thatcher (Thu Jul 10 2008 - 09:18:51 PDT)
- RE: [sv-sc] Call for email votes on several proposals; ballots due Wed 7/16/08, 8am Korchemny, Dmitry (Mon Jul 14 2008 - 04:48:07 PDT)
  - [sv-sc] 2398 with friendly amendments Seligman, Erik (Mon Jul 14 2008 - 09:17:48 PDT)
- Re: [sv-sc] Call for email votes on several proposals; ballots due Wed 7/16/08, 8am Thomas Thatcher (Mon Jul 14 2008 - 17:22:51 PDT)
- RE: [sv-sc] Call for email votes on several proposals; ballots due Wed 7/16/08, 8am Kulshrestha, Manisha (Mon Jul 14 2008 - 21:53:59 PDT)
- RE: [sv-sc] Call for email votes on several proposals; ballots due Wed 7/16/08, 8am Kulshrestha, Manisha (Mon Jul 14 2008 - 22:52:27 PDT)
- RE: [sv-sc] Call for email votes on several proposals; ballots due Wed 7/16/08, 8am Mark Hartoog (Tue Jul 15 2008 - 09:18:30 PDT)
- [sv-sc] Call for email votes on several proposals; ballots due Mon 7/21/08, 7am. Seligman, Erik (Wed Jul 16 2008 - 14:17:34 PDT)
  - Re: [sv-sc] Call for email votes on several proposals; ballots due Mon 7/21/08, 7am. Michael Burns (Thu Jul 17 2008 - 15:28:46 PDT)
    - RE: [sv-sc] Call for email votes on several proposals; ballots due Mon 7/21/08, 7am. Korchemny, Dmitry (Fri Jul 18 2008 - 07:38:03 PDT)
    - RE: [sv-sc] Call for email votes on several proposals; ballots due Mon 7/21/08, 7am. Seligman, Erik (Fri Jul 18 2008 - 07:49:42 PDT)
    - RE: [sv-sc] Call for email votes on several proposals; ballots due Mon 7/21/08, 7am. Korchemny, Dmitry (Fri Jul 18 2008 - 07:53:53 PDT)
    - RE: [sv-sc] Call for email votes on several proposals; ballots due Mon 7/21/08, 7am. Seligman, Erik (Fri Jul 18 2008 - 08:22:31 PDT)
    - Re: [sv-sc] Call for email votes on several proposals; ballots due Mon 7/21/08, 7am. Michael Burns (Fri Jul 18 2008 - 09:06:13 PDT)
    - RE: [sv-sc] Call for email votes on several proposals; ballots due Mon 7/21/08, 7am. Korchemny, Dmitry (Mon Jul 21 2008 - 08:04:27 PDT)
  - RE: [sv-sc] Call for email votes on several proposals; ballots due Mon 7/21/08, 7am. Kulshrestha, Manisha (Fri Jul 18 2008 - 02:43:03 PDT)
    - RE: [sv-sc] Call for email votes on several proposals; ballots due Mon 7/21/08, 7am. Korchemny, Dmitry (Fri Jul 18 2008 - 03:59:56 PDT)
    - RE: [sv-sc] Call for email votes on several proposals; ballots due Mon 7/21/08, 7am. Kulshrestha, Manisha (Fri Jul 18 2008 - 04:10:24 PDT)
    - RE: [sv-sc] Call for email votes on several proposals; ballots due Mon 7/21/08, 7am. Korchemny, Dmitry (Fri Jul 18 2008 - 05:36:26 PDT)
    - RE: [sv-sc] Call for email votes on several proposals; ballots due Mon 7/21/08, 7am. Korchemny, Dmitry (Fri Jul 18 2008 - 07:38:08 PDT)
    - RE: [sv-sc] Call for email votes on several proposals; ballots due Mon 7/21/08, 7am. Seligman, Erik (Fri Jul 18 2008 - 11:54:57 PDT)
    - RE: [sv-sc] Call for email votes on several proposals; ballots due Mon 7/21/08, 7am. Kulshrestha, Manisha (Mon Jul 21 2008 - 02:13:03 PDT)
    - RE: [sv-sc] Call for email votes on several proposals; ballots due Mon 7/21/08, 7am. Korchemny, Dmitry (Mon Jul 21 2008 - 08:04:11 PDT)
    - RE: [sv-sc] Call for email votes on several proposals; ballots due Mon 7/21/08, 7am. Kulshrestha, Manisha (Mon Jul 21 2008 - 21:06:19 PDT)
    - RE: [sv-sc] Call for email votes on several proposals; ballots due Mon 7/21/08, 7am. Korchemny, Dmitry (Mon Jul 21 2008 - 23:08:03 PDT)
  - RE: [sv-sc] Call for email votes on several proposals; ballots due Mon 7/21/08, 7am. Korchemny, Dmitry (Fri Jul 18 2008 - 07:37:57 PDT)
  - RE: [sv-sc] Call for email votes on several proposals; ballots due Mon 7/21/08, 7am. Korchemny, Dmitry (Fri Jul 18 2008 - 08:22:31 PDT)
  - RE: [sv-sc] Call for email votes on several proposals; ballots due Mon 7/21/08, 7am. Lisa Piper (Fri Jul 18 2008 - 15:31:23 PDT)
  - RE: [sv-sc] Call for email votes on several proposals; ballots due Mon 7/21/08, 7am. Kulshrestha, Manisha (Sun Jul 20 2008 - 23:13:41 PDT)
  - RE: [sv-sc] Call for email votes on several proposals; ballots due Mon 7/21/08, 7am. Mirek Forczek (Mon Jul 21 2008 - 05:26:28 PDT)
    - Re: [sv-sc] Call for email votes on several proposals; ballots due Mon 7/21/08, 7am. Gordon Vreugdenhil (Mon Jul 21 2008 - 08:17:58 PDT)
    - RE: [sv-sc] Call for email votes on several proposals; ballots due Mon 7/21/08, 7am. Mirek Forczek (Mon Jul 21 2008 - 08:45:07 PDT)
    - RE: [sv-sc] Call for email votes on several proposals; ballots due Mon 7/21/08, 7am. Brad Pierce (Mon Jul 21 2008 - 08:54:40 PDT)
    - Re: [sv-sc] Call for email votes on several proposals; ballots due Mon 7/21/08, 7am. Gordon Vreugdenhil (Mon Jul 21 2008 - 09:04:21 PDT)
    - RE: [sv-sc] Call for email votes on several proposals; ballots due Mon 7/21/08, 7am. Mirek Forczek (Mon Jul 21 2008 - 09:45:49 PDT)
    - Re: [sv-sc] Call for email votes on several proposals; ballots due Mon 7/21/08, 7am. Gordon Vreugdenhil (Mon Jul 21 2008 - 14:53:45 PDT)
    - RE: [sv-sc] Call for email votes on several proposals; ballots due Mon 7/21/08, 7am. Mirek Forczek (Mon Jul 21 2008 - 09:19:53 PDT)
    - Re: [sv-sc] Call for email votes on several proposals; ballots due Mon 7/21/08, 7am. Gordon Vreugdenhil (Mon Jul 21 2008 - 09:24:28 PDT)
  - RE: [sv-sc] Call for email votes on several proposals; ballots due Mon 7/21/08, 7am. Mirek Forczek (Mon Jul 21 2008 - 06:00:42 PDT)
    - Re: [sv-sc] Call for email votes on several proposals; ballots due Mon 7/21/08, 7am. Gordon Vreugdenhil (Mon Jul 21 2008 - 07:56:43 PDT)
    - RE: [sv-sc] Call for email votes on several proposals; ballots due Mon 7/21/08, 7am. Mirek Forczek (Mon Jul 21 2008 - 08:06:31 PDT)
  - RE: [sv-sc] Call for email votes on several proposals; ballots due Mon 7/21/08, 7am. Yang, Jin (Mon Jul 21 2008 - 06:55:50 PDT)
    - RE: [sv-sc] Call for email votes on several proposals; ballots due Mon 7/21/08, 7am. Kulshrestha, Manisha (Mon Jul 21 2008 - 20:58:06 PDT)
  - Re: [sv-sc] Call for email votes on several proposals; ballots due Mon 7/21/08, 7am. Gordon Vreugdenhil (Mon Jul 21 2008 - 08:23:50 PDT)
  - [sv-sc] Result of last week's votes; PLEASE ATTEND TOMORROW'S MTG AND BE PREPARED FOR VOICE VOTING Seligman, Erik (Mon Jul 21 2008 - 10:44:02 PDT)
    - RE: [sv-sc] Result of last week's votes; PLEASE ATTEND TOMORROW'S MTG AND BE PREPARED FOR VOICE VOTING Seligman, Erik (Mon Jul 21 2008 - 14:48:12 PDT)
[sv-sc] Summary of SV-SC proposal status Seligman, Erik (Wed Jul 09 2008 - 09:04:26 PDT)
- Re: [sv-sc] Summary of SV-SC proposal status Neil Korpusik (Wed Jul 09 2008 - 10:17:46 PDT)
  - RE: [sv-sc] Summary of SV-SC proposal status Seligman, Erik (Wed Jul 09 2008 - 10:31:30 PDT)
  - RE: [sv-sc] Summary of SV-SC proposal status Lisa Piper (Thu Jul 10 2008 - 07:54:57 PDT)
    - RE: [sv-sc] Summary of SV-SC proposal status Seligman, Erik (Thu Jul 10 2008 - 07:56:21 PDT)
    - RE: [sv-sc] Summary of SV-SC proposal status Bresticker, Shalom (Thu Jul 10 2008 - 13:43:40 PDT)
[sv-sc] Review of 2396: @edge clk proposal Thomas Thatcher (Wed Jul 09 2008 - 11:41:17 PDT)
- RE: [sv-sc] Review of 2396: @edge clk proposal Yang, Jin (Wed Jul 09 2008 - 23:51:09 PDT)
[sv-sc] const-cast free variables Michael Burns (Wed Jul 09 2008 - 11:47:38 PDT)
- RE: [sv-sc] const-cast free variables Seligman, Erik (Wed Jul 09 2008 - 12:11:57 PDT)
  - Re: [sv-sc] const-cast free variables Michael Burns (Wed Jul 09 2008 - 12:24:03 PDT)
    - RE: [sv-sc] const-cast free variables Korchemny, Dmitry (Mon Jul 14 2008 - 06:00:41 PDT)
    - Re: [sv-sc] const-cast free variables Michael Burns (Mon Jul 14 2008 - 10:19:51 PDT)
    - RE: [sv-sc] const-cast free variables Seligman, Erik (Mon Jul 14 2008 - 10:26:29 PDT)
    - Re: [sv-sc] const-cast free variables Michael Burns (Mon Jul 14 2008 - 11:04:42 PDT)
    - RE: [sv-sc] const-cast free variables Korchemny, Dmitry (Mon Jul 14 2008 - 11:14:28 PDT)
    - Re: [sv-sc] const-cast free variables Michael Burns (Mon Jul 14 2008 - 11:23:30 PDT)
    - RE: [sv-sc] const-cast free variables Korchemny, Dmitry (Mon Jul 14 2008 - 11:26:36 PDT)
    - RE: [sv-sc] const-cast free variables Seligman, Erik (Mon Jul 14 2008 - 11:38:35 PDT)
    - Re: [sv-sc] const-cast free variables Michael Burns (Mon Jul 14 2008 - 11:44:21 PDT)
    - RE: [sv-sc] const-cast free variables Seligman, Erik (Mon Jul 14 2008 - 11:48:55 PDT)
    - Re: [sv-sc] const-cast free variables Michael Burns (Mon Jul 14 2008 - 12:02:46 PDT)
    - RE: [sv-sc] const-cast free variables Seligman, Erik (Mon Jul 14 2008 - 12:10:18 PDT)
    - RE: [sv-sc] const-cast free variables Korchemny, Dmitry (Mon Jul 14 2008 - 11:12:28 PDT)
[sv-sc] Mike's edits to 1900 Michael Burns (Wed Jul 09 2008 - 13:04:18 PDT)
- [sv-sc] Re: Mike's edits to 1900 Michael Burns (Wed Jul 09 2008 - 13:05:04 PDT)
[sv-sc] Explanation and a few amendments on Mantis #2370 vs #1698 Yang, Jin (Thu Jul 10 2008 - 02:34:12 PDT)
- RE: [sv-sc] Explanation and a few amendments on Mantis #2370 vs #1698 Lisa Piper (Thu Jul 10 2008 - 05:44:36 PDT)
  - RE: [sv-sc] Explanation and a few amendments on Mantis #2370 vs #1698 Seligman, Erik (Thu Jul 10 2008 - 07:19:39 PDT)
    - RE: [sv-sc] Explanation and a few amendments on Mantis #2370 vs #1698 Yang, Jin (Thu Jul 10 2008 - 08:19:56 PDT)
    - RE: [sv-sc] Explanation and a few amendments on Mantis #2370 vs #1698 Seligman, Erik (Thu Jul 10 2008 - 08:28:21 PDT)
- Re: [sv-sc] Explanation and a few amendments on Mantis #2370 vs #1698 Neil Korpusik (Fri Jul 11 2008 - 16:50:23 PDT)
  - RE: [sv-sc] Explanation and a few amendments on Mantis #2370 vs #1698 Yang, Jin (Fri Jul 11 2008 - 17:03:26 PDT)
[sv-sc] REMINDER: vote on current ballots! Seligman, Erik (Mon Jul 14 2008 - 08:08:47 PDT)
- Re: [sv-sc] REMINDER: vote on current ballots! Gordon Vreugdenhil (Mon Jul 14 2008 - 09:07:48 PDT)
- RE: [sv-sc] REMINDER: vote on current ballots! Lisa Piper (Mon Jul 14 2008 - 15:14:34 PDT)
  - RE: [sv-sc] REMINDER: vote on current ballots! Seligman, Erik (Mon Jul 14 2008 - 15:43:29 PDT)
    - RE: [sv-sc] REMINDER: vote on current ballots! Lisa Piper (Mon Jul 14 2008 - 17:12:53 PDT)
- RE: [sv-sc] REMINDER: vote on current ballots! Yang, Jin (Mon Jul 14 2008 - 17:33:49 PDT)
- Re: [sv-sc] REMINDER: vote on current ballots! Neil Korpusik (Mon Jul 14 2008 - 18:37:00 PDT)
  - RE: [sv-sc] REMINDER: vote on current ballots! Seligman, Erik (Tue Jul 15 2008 - 07:30:25 PDT)
    - Re: [sv-sc] REMINDER: vote on current ballots! Neil Korpusik (Tue Jul 15 2008 - 11:07:06 PDT)
- Re: [sv-sc] REMINDER: vote on current ballots! Michael Burns (Tue Jul 15 2008 - 08:27:32 PDT)
- RE: [sv-sc] REMINDER: vote on current ballots! Korchemny, Dmitry (Tue Jul 15 2008 - 08:41:05 PDT)
[sv-sc] System Verilog Special Committee Meeting Agenda, Tues 2008-07-15, 9am-11am PDT Seligman, Erik (Mon Jul 14 2008 - 10:15:54 PDT)
[sv-sc] RE: checkers - some questions (checkers and 2398 in general) Seligman, Erik (Mon Jul 14 2008 - 12:42:05 PDT)
[sv-sc] RE: checkers - some questions (checkers and 2398 in general) Seligman, Erik (Mon Jul 14 2008 - 13:17:30 PDT)
[sv-sc] Updated 2434 for 1601 modification Gordon Vreugdenhil (Tue Jul 15 2008 - 09:54:28 PDT)
- RE: [sv-sc] Updated 2434 for 1601 modification Lisa Piper (Tue Jul 15 2008 - 11:49:35 PDT)
[sv-sc] Amended Minutes from 7/8/2008 meeting Thomas Thatcher (Tue Jul 15 2008 - 10:39:42 PDT)
[sv-sc] Minutes from 7/15/2008 sv-sc Meeting Thomas Thatcher (Tue Jul 15 2008 - 10:43:00 PDT)
- Re: [sv-sc] Minutes from 7/15/2008 sv-sc Meeting Thomas Thatcher (Tue Jul 15 2008 - 12:27:48 PDT)
[sv-sc] New proposal for 1900 Part 1 uploaded Thomas Thatcher (Tue Jul 15 2008 - 15:00:55 PDT)
[sv-sc] Updated proposal 2398 (procedural concurrent assertions) posted Seligman, Erik (Tue Jul 15 2008 - 16:18:03 PDT)
- RE: [sv-sc] Updated proposal 2398 (procedural concurrent assertions) posted Mirek Forczek (Thu Jul 17 2008 - 09:57:17 PDT)
  - RE: [sv-sc] Updated proposal 2398 (procedural concurrent assertions) posted Seligman, Erik (Thu Jul 17 2008 - 10:14:25 PDT)
[sv-sc] New proposal uploaded for 2088: Covergroups Thomas Thatcher (Tue Jul 15 2008 - 16:52:08 PDT)
- [sv-sc] Minutes from 22 July 2008 meeting Moorhouse, Abigail (Tue Jul 22 2008 - 11:42:30 PDT)
[sv-sc] Results of SV-SC ballots that closed today (Wed 7/16) Seligman, Erik (Wed Jul 16 2008 - 12:53:03 PDT)
- Re: [sv-sc] Results of SV-SC ballots that closed today (Wed 7/16) Neil Korpusik (Wed Jul 16 2008 - 13:25:31 PDT)
[sv-sc] FW: [sv-champions] Minutes from July 10th conference call Korchemny, Dmitry (Fri Jul 18 2008 - 01:28:22 PDT)
[sv-sc] New version of 1900 uploaded Korchemny, Dmitry (Fri Jul 18 2008 - 07:50:38 PDT)
- Re: [sv-sc] New version of 1900 uploaded Michael Burns (Fri Jul 18 2008 - 14:29:43 PDT)
  - RE: [sv-sc] New version of 1900 uploaded Korchemny, Dmitry (Mon Jul 21 2008 - 05:04:51 PDT)
- RE: [sv-sc] New version of 1900 uploaded Lisa Piper (Fri Jul 18 2008 - 15:26:11 PDT)
  - RE: [sv-sc] New version of 1900 uploaded Korchemny, Dmitry (Mon Jul 21 2008 - 08:04:22 PDT)
    - RE: [sv-sc] New version of 1900 uploaded Lisa Piper (Mon Jul 21 2008 - 08:17:46 PDT)
    - RE: [sv-sc] New version of 1900 uploaded Seligman, Erik (Mon Jul 21 2008 - 08:24:30 PDT)
    - Re: [sv-sc] New version of 1900 uploaded Michael Burns (Mon Jul 21 2008 - 09:14:47 PDT)
    - RE: [sv-sc] New version of 1900 uploaded Korchemny, Dmitry (Mon Jul 21 2008 - 09:47:36 PDT)
[sv-sc] Updated 2398 (procedural concurrent assertions) posted in Mantis Seligman, Erik (Fri Jul 18 2008 - 10:07:12 PDT)
- RE: [sv-sc] Updated 2398 (procedural concurrent assertions) posted in Mantis Mirek Forczek (Mon Jul 21 2008 - 05:17:10 PDT)
  - RE: [sv-sc] Updated 2398 (procedural concurrent assertions) posted in Mantis Seligman, Erik (Mon Jul 21 2008 - 07:22:43 PDT)
    - RE: [sv-sc] Updated 2398 (procedural concurrent assertions) posted in Mantis Mirek Forczek (Mon Jul 21 2008 - 07:49:22 PDT)
- [sv-sc] 1900 part2: const subexpressions in arguments for checker instance, definition: 'static assertion' ? Mirek Forczek (Tue Jul 22 2008 - 02:10:28 PDT)
[sv-sc] Time to finish up all activities for this PAR Neil Korpusik (Sat Jul 19 2008 - 09:42:09 PDT)
[sv-sc] Mantis 1900 updated Korchemny, Dmitry (Mon Jul 21 2008 - 08:03:30 PDT)
- [sv-sc] Mantis 1900 updated again Michael Burns (Mon Jul 21 2008 - 10:09:57 PDT)
[sv-sc] Proxy voting in committee Seligman, Erik (Mon Jul 21 2008 - 09:37:43 PDT)
- Re: [sv-sc] Proxy voting in committee Neil Korpusik (Mon Jul 21 2008 - 14:40:17 PDT)
- Re: [sv-sc] Proxy voting in committee Karen Pieper (Mon Jul 21 2008 - 16:37:05 PDT)
[sv-sc] System Verilog Special Committee (http://www.eda.org/twiki/bin/view.cgi/P1800/SystemVerilogSpecialCommittee) Meeting Agenda, 2008-07-22 Seligman, Erik (Mon Jul 21 2008 - 14:56:03 PDT)
[sv-sc] Feedback on Mantis 2398 Neil Korpusik (Mon Jul 21 2008 - 17:04:48 PDT)
[sv-sc] Feedback on Mantis 2396 Neil Korpusik (Mon Jul 21 2008 - 17:56:39 PDT)
[sv-sc] which of the various draft 2 documents should be reviewed? Neil Korpusik (Mon Jul 21 2008 - 18:19:20 PDT)
- Re: [sv-sc] which of the various draft 2 documents should be reviewed? Neil Korpusik (Mon Jul 21 2008 - 18:37:31 PDT)
  - RE: [sv-sc] which of the various draft 2 documents should be reviewed? Korchemny, Dmitry (Mon Jul 21 2008 - 23:10:34 PDT)
[sv-sc] RE: New versions of 1900 and 2398 posted to implement Mirek's and Neil's comments (change tracked docs attached) Mirek Forczek (Tue Jul 22 2008 - 08:25:52 PDT)
- [sv-sc] RE: New versions of 1900 and 2398 posted to implement Mirek's and Neil's comments (change tracked docs attached) Seligman, Erik (Tue Jul 22 2008 - 11:30:40 PDT)
[sv-sc] call in number is ??? Lisa Piper (Tue Jul 22 2008 - 09:10:15 PDT)
[sv-sc] test Neil Korpusik (Wed Jul 23 2008 - 12:52:51 PDT)
[sv-sc] FW: All Mantis item updates from SV-SC votes now complete Seligman, Erik (Wed Jul 23 2008 - 13:08:12 PDT)
[sv-sc] Mantis 1728 - let Bresticker, Shalom (Thu Jul 24 2008 - 03:57:29 PDT)
- [sv-sc] RE: [sv-champions] Mantis 1728 - let Brad Pierce (Thu Jul 24 2008 - 04:21:19 PDT)
  - RE: [sv-sc] RE: [sv-champions] Mantis 1728 - let Bresticker, Shalom (Thu Jul 24 2008 - 04:37:53 PDT)
    - RE: [sv-sc] RE: [sv-champions] Mantis 1728 - let Brad Pierce (Thu Jul 24 2008 - 04:44:04 PDT)
    - RE: [sv-sc] RE: [sv-champions] Mantis 1728 - let Bresticker, Shalom (Thu Jul 24 2008 - 04:47:11 PDT)
    - RE: [sv-sc] RE: [sv-champions] Mantis 1728 - let Bresticker, Shalom (Thu Jul 24 2008 - 07:31:29 PDT)
    - RE: [sv-sc] RE: [sv-champions] Mantis 1728 - let Brad Pierce (Thu Jul 24 2008 - 07:40:35 PDT)
    - RE: [sv-sc] RE: [sv-champions] Mantis 1728 - let Seligman, Erik (Thu Jul 24 2008 - 07:18:19 PDT)
    - RE: [sv-sc] RE: [sv-champions] Mantis 1728 - let Korchemny, Dmitry (Fri Jul 25 2008 - 04:53:54 PDT)
    - RE: [sv-sc] RE: [sv-champions] Mantis 1728 - let Korchemny, Dmitry (Fri Jul 25 2008 - 06:33:01 PDT)
    - RE: [sv-sc] RE: [sv-champions] Mantis 1728 - let Korchemny, Dmitry (Thu Jul 24 2008 - 21:24:19 PDT)
- [sv-sc] RE: [sv-champions] Mantis 1728 - let Korchemny, Dmitry (Thu Jul 24 2008 - 21:24:05 PDT)
[sv-sc] Let proposal (1728) Korchemny, Dmitry (Thu Jul 24 2008 - 21:23:51 PDT)
- RE: [sv-sc] Let proposal (1728) Bresticker, Shalom (Thu Jul 24 2008 - 21:40:02 PDT)
  - RE: [sv-sc] Let proposal (1728) Korchemny, Dmitry (Thu Jul 24 2008 - 22:00:44 PDT)
    - RE: [sv-sc] Let proposal (1728) Bresticker, Shalom (Thu Jul 24 2008 - 22:07:31 PDT)
    - RE: [sv-sc] Let proposal (1728) Korchemny, Dmitry (Thu Jul 24 2008 - 22:10:49 PDT)
    - RE: [sv-sc] Let proposal (1728) Bresticker, Shalom (Thu Jul 24 2008 - 22:12:15 PDT)
    - RE: [sv-sc] Let proposal (1728) Korchemny, Dmitry (Fri Jul 25 2008 - 04:48:45 PDT)
[sv-sc] Mantis 2415: ended/triggered Bresticker, Shalom (Thu Jul 24 2008 - 02:33:26 PDT)
[sv-sc] Minutes of the July 24th conference call Neil Korpusik (Fri Jul 25 2008 - 14:32:37 PDT)
[sv-sc] Agenda for the July 31st Champions conference call Neil Korpusik (Fri Jul 25 2008 - 15:56:36 PDT)
[sv-sc] System Verilog Special Committee Meeting Agenda, 2008-07-29: PLEASE REVIEW 1728,2415 & be prepared to voice-vote changes Seligman, Erik (Mon Jul 28 2008 - 09:26:10 PDT)
[sv-sc] Update of 2415 posted Seligman, Erik (Tue Jul 29 2008 - 08:18:07 PDT)
[sv-sc] Example in 2088 Proposal Thomas Thatcher (Tue Jul 29 2008 - 09:05:02 PDT)
[sv-sc] Minutes from 7/29/2008 Meeting of sv-sc Thomas Thatcher (Wed Jul 30 2008 - 08:30:19 PDT)
[sv-sc] some comments on mantis items John Havlicek (Thu Jul 31 2008 - 07:54:57 PDT)
- Re: [sv-sc] some comments on mantis items Thomas Thatcher (Thu Jul 31 2008 - 10:46:21 PDT)
  - Re: [sv-sc] some comments on mantis items John Havlicek (Thu Jul 31 2008 - 11:40:21 PDT)
    - Re: [sv-sc] some comments on mantis items Thomas Thatcher (Fri Aug 01 2008 - 16:20:27 PDT)
- RE: [sv-sc] some comments on mantis items Seligman, Erik (Fri Aug 01 2008 - 12:15:10 PDT)
[sv-sc] ACTION ITEMS: Preliminary Champion comments on 2396, 2414, 2088, 2398, 2434 Seligman, Erik (Thu Jul 31 2008 - 08:36:43 PDT)
[sv-sc] Manits 2434 John Havlicek (Thu Jul 31 2008 - 14:20:17 PDT)
[sv-sc] FW: 2396 Seligman, Erik (Fri Aug 01 2008 - 08:08:56 PDT)
- RE: [sv-sc] FW: 2396 Yang, Jin (Mon Aug 04 2008 - 11:15:25 PDT)
  - RE: [sv-sc] FW: 2396 Bresticker, Shalom (Mon Aug 04 2008 - 22:46:48 PDT)
[sv-sc] Minutes from the Champion's 7/31 conference call Neil Korpusik (Fri Aug 01 2008 - 13:23:52 PDT)
- RE: [sv-sc] Minutes from the Champion's 7/31 conference call: 2398 edited Seligman, Erik (Fri Aug 01 2008 - 15:35:28 PDT)
  - Re: [sv-sc] Minutes from the Champion's 7/31 conference call: 2398 edited John Havlicek (Sat Aug 02 2008 - 14:22:26 PDT)
  - RE: [sv-sc] Minutes from the Champion's 7/31 conference call: 2398 edited Seligman, Erik (Sun Aug 03 2008 - 13:21:48 PDT)
    - RE: [sv-sc] Minutes from the Champion's 7/31 conference call: 2398 edited Bresticker, Shalom (Sun Aug 03 2008 - 22:21:38 PDT)
    - RE: [sv-sc] Minutes from the Champion's 7/31 conference call: 2398 edited Seligman, Erik (Mon Aug 04 2008 - 10:21:11 PDT)
[sv-sc] Mantis 1728: let Bresticker, Shalom (Sun Aug 03 2008 - 07:41:20 PDT)
- RE: [sv-sc] Mantis 1728: let Korchemny, Dmitry (Mon Aug 04 2008 - 22:29:42 PDT)
FW: [sv-sc] Minutes from the Champion's 7/31 conference call: 2398 edited Bresticker, Shalom (Sun Aug 03 2008 - 07:48:33 PDT)
[sv-sc] SV-SC Agenda for Tues 2008-08-05: Please review proposals before meeting! Seligman, Erik (Sun Aug 03 2008 - 13:44:10 PDT)
[sv-sc] Mantis 1900 Part 1 - Editorial comments Bresticker, Shalom (Mon Aug 04 2008 - 07:01:20 PDT)
- [sv-sc] RE: [sv-champions] Mantis 1900 Part 1 - Editorial comments Bresticker, Shalom (Mon Aug 04 2008 - 07:15:25 PDT)
  - [sv-sc] RE: [sv-champions] Mantis 1900 Part 1 - Editorial comments Bresticker, Shalom (Mon Aug 04 2008 - 07:31:27 PDT)
    - Re: [sv-sc] RE: [sv-champions] Mantis 1900 Part 1 - Editorial comments Thomas Thatcher (Mon Aug 04 2008 - 13:10:11 PDT)
    - RE: [sv-sc] RE: [sv-champions] Mantis 1900 Part 1 - Editorial comments Korchemny, Dmitry (Mon Aug 04 2008 - 20:45:17 PDT)
[sv-sc] Upload any proposal updates Neil Korpusik (Mon Aug 04 2008 - 16:30:06 PDT)
[sv-sc] Minutes from SV-SC Meeting, 8/5/2008 Thomas Thatcher (Tue Aug 05 2008 - 09:58:41 PDT)
[sv-sc] Mantis 1900 Bresticker, Shalom (Wed Aug 06 2008 - 07:18:16 PDT)
- RE: [sv-sc] Mantis 1900 Korchemny, Dmitry (Wed Aug 06 2008 - 20:52:43 PDT)
[sv-sc] Updated 2434 Michael Burns (Wed Aug 06 2008 - 12:30:08 PDT)
[sv-sc] RE: Explanation for Mantis 1900 Seligman, Erik (Wed Aug 06 2008 - 12:31:42 PDT)
[sv-sc] some comments on 1900, part 2 John Havlicek (Thu Aug 07 2008 - 07:58:11 PDT)
- Re: [sv-sc] some comments on 1900, part 2 Michael Burns (Thu Aug 07 2008 - 16:30:54 PDT)
  - Re: [sv-sc] some comments on 1900, part 2 John Havlicek (Thu Aug 07 2008 - 19:50:34 PDT)
    - RE: [sv-sc] some comments on 1900, part 2 Bresticker, Shalom (Tue Aug 12 2008 - 09:16:29 PDT)
    - Re: [sv-sc] some comments on 1900, part 2 Michael Burns (Tue Aug 12 2008 - 11:16:08 PDT)
    - RE: [sv-sc] some comments on 1900, part 2 Bresticker, Shalom (Wed Aug 13 2008 - 03:17:27 PDT)
    - Re: [sv-sc] some comments on 1900, part 2 Michael Burns (Wed Aug 13 2008 - 07:41:58 PDT)
    - RE: [sv-sc] some comments on 1900, part 2 Bresticker, Shalom (Wed Aug 13 2008 - 07:47:15 PDT)
    - Re: [sv-sc] some comments on 1900, part 2 Michael Burns (Wed Aug 13 2008 - 07:59:26 PDT)
    - Re: [sv-sc] some comments on 1900, part 2 John Havlicek (Wed Aug 13 2008 - 11:02:01 PDT)
    - Re: [sv-sc] some comments on 1900, part 2 Michael Burns (Wed Aug 13 2008 - 11:19:16 PDT)
    - Re: [sv-sc] some comments on 1900, part 2 John Havlicek (Wed Aug 13 2008 - 13:54:07 PDT)
    - Re: [sv-sc] some comments on 1900, part 2 Michael Burns (Wed Aug 13 2008 - 14:36:38 PDT)
    - RE: [sv-sc] some comments on 1900, part 2 Bresticker, Shalom (Thu Aug 14 2008 - 04:56:59 PDT)
    - Re: [sv-sc] some comments on 1900, part 2 Michael Burns (Thu Aug 14 2008 - 06:23:40 PDT)
    - RE: [sv-sc] some comments on 1900, part 2 Bresticker, Shalom (Thu Aug 14 2008 - 07:21:17 PDT)
    - Re: [sv-sc] some comments on 1900, part 2 Michael Burns (Thu Aug 14 2008 - 07:37:46 PDT)
    - Re: [sv-sc] some comments on 1900, part 2 Michael Burns (Thu Aug 14 2008 - 07:49:21 PDT)
    - Re: [sv-sc] some comments on 1900, part 2 John Havlicek (Tue Aug 12 2008 - 11:28:59 PDT)
    - RE: [sv-sc] some comments on 1900, part 2 Bresticker, Shalom (Wed Aug 13 2008 - 01:35:32 PDT)
    - RE: [sv-sc] some comments on 1900, part 2 Seligman, Erik (Wed Aug 13 2008 - 07:23:34 PDT)
[sv-sc] Minutes from the Champion's Aug 7th conference call Neil Korpusik (Thu Aug 07 2008 - 18:25:16 PDT)
- [sv-sc] RE: [sv-champions] Minutes from the Champion's Aug 7th conference call Bresticker, Shalom (Thu Aug 07 2008 - 21:46:00 PDT)
- RE: [sv-sc] Minutes from the Champion's Aug 7th conference call Yang, Jin (Fri Aug 08 2008 - 09:52:52 PDT)
  - [sv-sc] 2398 (procedural concurrent asserts) revised based on champion comments Seligman, Erik (Mon Aug 11 2008 - 09:21:36 PDT)
- Re: [sv-sc] Minutes from the Champion's Aug 7th conference call Michael Burns (Mon Aug 11 2008 - 13:02:46 PDT)
[sv-sc] Email vote - ending August 13th Neil Korpusik (Thu Aug 07 2008 - 18:53:21 PDT)
- [sv-sc] RE: [sv-champions] Email vote - ending August 13th Bresticker, Shalom (Wed Aug 13 2008 - 05:19:43 PDT)
  - Re: [sv-sc] RE: [sv-champions] Email vote - ending August 13th Michael Burns (Wed Aug 13 2008 - 15:00:39 PDT)
- [sv-sc] Re: [sv-champions] Email vote - ending August 13th Brad Pierce (Wed Aug 13 2008 - 17:34:48 PDT)
- RE: [sv-sc] Email vote - ending August 13th Stuart Sutherland (Wed Aug 13 2008 - 18:12:11 PDT)
- [sv-sc] RE: [sv-champions] Email vote - ending August 13th Rich, Dave (Wed Aug 13 2008 - 18:38:12 PDT)
[sv-sc] RE: [sv-champions] "trivial" issues with Mantis 1900 Bresticker, Shalom (Thu Aug 07 2008 - 22:00:51 PDT)
[sv-sc] SV-SC Agenda for Tues 2008-08-12: please review latest 2434, 2396, 2398, 1900 drafts before mtg Seligman, Erik (Mon Aug 11 2008 - 09:51:45 PDT)
[sv-sc] Mantis 1900, Part 1: New draft uploaded Thomas Thatcher (Mon Aug 11 2008 - 15:16:39 PDT)
- Re: [sv-sc] Mantis 1900, Part 1: New draft uploaded Michael Burns (Tue Aug 12 2008 - 07:39:08 PDT)
[sv-sc] Updated version of 1900, pt 2 Seligman, Erik (Tue Aug 12 2008 - 08:02:39 PDT)
[sv-sc] FW: SV-SC Agenda for Tues 2008-08-12: please review latest 2434, 2396, 2398, 1900 drafts before mtg Seligman, Erik (Tue Aug 12 2008 - 08:53:26 PDT)
[sv-sc] 1900 doc with change I just made (see change bars @ 17.3.1) Seligman, Erik (Tue Aug 12 2008 - 09:56:50 PDT)
[sv-sc] Updated 1900 part 2. Seligman, Erik (Tue Aug 12 2008 - 10:21:09 PDT)
- RE: [sv-sc] Updated 1900 part 2. Bresticker, Shalom (Wed Aug 13 2008 - 11:06:54 PDT)
  - RE: [sv-sc] Updated 1900 part 2. Seligman, Erik (Wed Aug 13 2008 - 11:11:08 PDT)
    - RE: [sv-sc] Updated 1900 part 2. Bresticker, Shalom (Wed Aug 13 2008 - 11:11:48 PDT)
[sv-sc] Minutes from 8/12/2008 SC meeting Thomas Thatcher (Tue Aug 12 2008 - 10:32:57 PDT)
[sv-sc] RE: [sv-bc] Const cast of Mantis 2398 Seligman, Erik (Wed Aug 13 2008 - 07:29:25 PDT)
- [sv-sc] RE: [sv-bc] Const cast of Mantis 2398 Bresticker, Shalom (Wed Aug 13 2008 - 07:35:22 PDT)
  - RE: [sv-sc] RE: [sv-bc] Const cast of Mantis 2398 Bresticker, Shalom (Wed Aug 13 2008 - 07:45:03 PDT)
    - RE: [sv-sc] RE: [sv-bc] Const cast of Mantis 2398 Seligman, Erik (Wed Aug 13 2008 - 10:40:34 PDT)
    - RE: [sv-sc] RE: [sv-bc] Const cast of Mantis 2398 Bresticker, Shalom (Wed Aug 13 2008 - 10:54:51 PDT)
    - RE: [sv-sc] RE: [sv-bc] Const cast of Mantis 2398 Seligman, Erik (Wed Aug 13 2008 - 10:57:28 PDT)
    - RE: [sv-sc] RE: [sv-bc] Const cast of Mantis 2398 Bresticker, Shalom (Wed Aug 13 2008 - 10:58:07 PDT)
    - [sv-sc] Mantis 2398 updated to fix missing ends in example Seligman, Erik (Wed Aug 13 2008 - 15:25:51 PDT)
- [sv-sc] RE: [sv-bc] Const cast of Mantis 2398 Feldman, Yulik (Wed Aug 13 2008 - 07:38:33 PDT)
[sv-sc] RE: P1800 technical committee status needed - by Tuesday August 12th Seligman, Erik (Wed Aug 13 2008 - 09:43:03 PDT)
- RE: [sv-sc] RE: P1800 technical committee status needed - by Tuesday August 12th Bresticker, Shalom (Wed Aug 13 2008 - 11:00:15 PDT)
[sv-sc] Email vote - ending August 13th John Havlicek (Wed Aug 13 2008 - 10:38:04 PDT)
[sv-sc] we have until Tuesday to finish up 2398, 1900 Neil Korpusik (Fri Aug 15 2008 - 16:55:20 PDT)
- [sv-sc] Agenda for Tues 8/19 SV-SC meeting, PLEASE REVIEW LATEST 2398 & 1900 IN ADVANCE! Seligman, Erik (Sun Aug 17 2008 - 11:08:34 PDT)
[sv-sc] Results of Champions email vote ending Aug 13th Neil Korpusik (Fri Aug 15 2008 - 18:03:48 PDT)
- Re: [sv-sc] Results of Champions email vote ending Aug 13th Thomas Thatcher (Mon Aug 18 2008 - 13:22:26 PDT)
  - Re: [sv-sc] Results of Champions email vote ending Aug 13th Brad Pierce (Mon Aug 18 2008 - 16:34:40 PDT)
    - Re: [sv-sc] Results of Champions email vote ending Aug 13th Thomas Thatcher (Tue Aug 19 2008 - 08:39:02 PDT)
  - RE: [sv-sc] concurrent assertions in class methods ? Mirek Forczek (Tue Aug 19 2008 - 10:13:31 PDT)
    - RE: [sv-sc] concurrent assertions in class methods ? Seligman, Erik (Tue Aug 19 2008 - 10:32:02 PDT)
[sv-sc] Minutes from SC-SC Meeting 8/19/2008 Thomas Thatcher (Tue Aug 19 2008 - 09:51:00 PDT)
[sv-sc] Another 1900 version Michael Burns (Tue Aug 19 2008 - 10:24:47 PDT)
[sv-sc] [Fwd: [sv-champions] Minutes of the Aug 21st conference call] Neil Korpusik (Sat Aug 23 2008 - 09:49:49 PDT)
[sv-sc] Reviewing Draft 7: Assignments (Action Items for many of us!) Seligman, Erik (Mon Sep 15 2008 - 07:35:49 PDT)
- RE: [sv-sc] Reviewing Draft 7: Assignments (Action Items for many of us!) Francoise Martinolle (Mon Sep 15 2008 - 07:44:04 PDT)
- [sv-sc] RE: Reviewing Draft 7: Assignments (Action Items for many of us!) Seligman, Erik (Mon Sep 15 2008 - 09:26:16 PDT)
  - [sv-sc] review of 1728 (let construct) in draft 7 Kulshrestha, Manisha (Wed Sep 17 2008 - 23:36:40 PDT)
- RE: [sv-sc] Reviewing Draft 7: Assignments (Action Items for many of us!) Eduard Cerny (Sun Sep 21 2008 - 13:22:59 PDT)
  - RE: [sv-sc] Reviewing Draft 7: Assignments (Action Items for many of us!) Moorhouse, Abigail (Thu Sep 25 2008 - 16:15:00 PDT)
- Re: [sv-sc] Reviewing Draft 7: Assignments (Action Items for many of us!) Thomas Thatcher (Mon Sep 22 2008 - 08:48:33 PDT)
- Re: [sv-sc] Reviewing Draft 7: Assignments (Action Items for many of us!) Thomas Thatcher (Mon Sep 22 2008 - 10:25:37 PDT)
- RE: [sv-sc] Reviewing Draft 7: Assignments (Action Items for many of us!) Korchemny, Dmitry (Wed Sep 24 2008 - 06:59:18 PDT)
- Re: [sv-sc] Reviewing Draft 7: Assignments (Action Items for many of us!) Michael Burns (Thu Sep 25 2008 - 14:48:31 PDT)
- [sv-sc] RE: Reviewing Draft 7: Assignments (Action Items for Francoise, Jin, Mark, Mirek) Seligman, Erik (Mon Oct 06 2008 - 11:06:41 PDT)
  - RE: [sv-sc] RE: Reviewing Draft 7: Assignments (Action Items for Francoise, Jin, Mark, Mirek) Mirek Forczek (Tue Oct 07 2008 - 00:12:54 PDT)
    - RE: [sv-sc] RE: Reviewing Draft 7: Assignments (Action Items for Francoise, Jin, Mark, Mirek) Stuart Sutherland (Tue Oct 07 2008 - 17:58:11 PDT)
    - RE: [sv-sc] RE: Reviewing Draft 7: Assignments (Action Items for Francoise, Jin, Mark, Mirek) Mirek Forczek (Wed Oct 08 2008 - 05:44:37 PDT)
    - RE: [sv-sc] RE: Reviewing Draft 7: Assignments (Action Items for Francoise, Jin, Mark, Mirek) Bresticker, Shalom (Wed Oct 08 2008 - 06:49:25 PDT)
    - RE: [sv-sc] RE: Reviewing Draft 7: Assignments (Action Items for Francoise, Jin, Mark, Mirek) Stuart Sutherland (Wed Oct 08 2008 - 09:00:25 PDT)
    - RE: [sv-sc] RE: Reviewing Draft 7: Assignments (Action Items for Francoise, Jin, Mark, Mirek) Seligman, Erik (Wed Oct 08 2008 - 08:08:16 PDT)
  - [sv-sc] RE: Reviewing Draft 7: Assignments Seligman, Erik (Wed Oct 08 2008 - 08:26:28 PDT)
    - RE: [sv-sc] RE: Reviewing Draft 7: Assignments Seligman, Erik (Thu Oct 09 2008 - 12:19:11 PDT)
- [sv-sc] Reviewing Draft 7a: Assignments (Yet more action items...) Seligman, Erik (Mon Oct 13 2008 - 08:18:27 PDT)
  - [sv-sc] RE: Reviewing Draft 7a: Assignments (Yet more action items...) Yang, Jin (Mon Oct 13 2008 - 09:34:32 PDT)
  - RE: [sv-sc] Reviewing Draft 7a: Assignments (Yet more action items...) Lisa Piper (Mon Oct 13 2008 - 10:50:01 PDT)
  - Re: [sv-sc] Reviewing Draft 7a: Assignments (Yet more action items...) Michael Burns (Mon Oct 13 2008 - 09:54:02 PDT)
    - Re: [sv-sc] Reviewing Draft 7a: Assignments (Yet more action items...) Michael Burns (Mon Oct 13 2008 - 11:38:54 PDT)
    - Re: [sv-sc] Reviewing Draft 7a: Assignments (Yet more action items...)[SPAM] Michael Burns (Tue Oct 14 2008 - 09:45:03 PDT)
  - RE: [sv-sc] Reviewing Draft 7a: Assignments (Yet more action items...) Francoise Martinolle (Tue Oct 14 2008 - 08:18:37 PDT)
  - RE: [sv-sc] Reviewing Draft 7a: Assignments (Yet more action items...) Mirek Forczek (Wed Oct 15 2008 - 08:23:57 PDT)
  - RE: [sv-sc] Reviewing Draft 7a: Assignments (Yet more action items...) Korchemny, Dmitry (Wed Nov 05 2008 - 03:18:15 PST)
    - RE: [sv-sc] Reviewing Draft 7a: Assignments (Yet more action items...) Bresticker, Shalom (Wed Nov 05 2008 - 03:26:58 PST)
    - RE: [sv-sc] Reviewing Draft 7a: Assignments (Yet more action items...) Seligman, Erik (Wed Nov 05 2008 - 07:27:21 PST)
    - RE: [sv-sc] Reviewing Draft 7a: Assignments (Yet more action items...) Francoise Martinolle (Wed Nov 05 2008 - 15:25:33 PST)
[sv-sc] My review of 2398 in Draft 7 Seligman, Erik (Mon Sep 15 2008 - 09:24:06 PDT)
- Re: [sv-sc] My review of 2398 in Draft 7 Gordon Vreugdenhil (Tue Sep 16 2008 - 10:15:59 PDT)
[sv-sc] My review of 1900, part 2a, 17.1-17.4 Seligman, Erik (Mon Sep 15 2008 - 12:32:32 PDT)
[sv-sc] Mantis 1900 review, 17.5 - end - from Lisa Neil Korpusik (Wed Sep 17 2008 - 10:02:09 PDT)
- RE: [sv-sc] Mantis 1900 review, 17.5 - end - from Lisa Stuart Sutherland (Wed Sep 17 2008 - 15:50:53 PDT)
[sv-sc] FW: [sv-cc] Mantis 1900 review, 17.5 - end Bresticker, Shalom (Thu Sep 18 2008 - 07:37:20 PDT)
[sv-sc] FW: [sv-cc] Mantis 2396 (edge) review Bresticker, Shalom (Thu Sep 18 2008 - 07:58:54 PDT)
[sv-sc] Mantis 2398 Korchemny, Dmitry (Tue Sep 23 2008 - 05:18:58 PDT)
- [sv-sc] RE: Mantis 2398 Seligman, Erik (Tue Sep 23 2008 - 07:21:35 PDT)
[sv-sc] SV-SC: Call for email vote on 2483 Seligman, Erik (Tue Sep 23 2008 - 13:32:52 PDT)
- RE: [sv-sc] SV-SC: Call for email vote on 2483 Korchemny, Dmitry (Thu Sep 25 2008 - 00:17:40 PDT)
- Re: [sv-sc] SV-SC: Call for email vote on 2483 Michael Burns (Thu Sep 25 2008 - 14:57:23 PDT)
- Re: [sv-sc] SV-SC: Call for email vote on 2483 Thomas Thatcher (Thu Sep 25 2008 - 15:26:47 PDT)
[sv-sc] Syntax box caption for let Korchemny, Dmitry (Wed Sep 24 2008 - 01:35:35 PDT)
- RE: [sv-sc] Syntax box caption for let Kulshrestha, Manisha (Wed Sep 24 2008 - 02:47:07 PDT)
  - RE: [sv-sc] Syntax box caption for let Korchemny, Dmitry (Wed Sep 24 2008 - 02:50:26 PDT)
    - Re: [sv-sc] Syntax box caption for let Neil Korpusik (Wed Sep 24 2008 - 16:30:41 PDT)
    - RE: [sv-sc] Syntax box caption for let Korchemny, Dmitry (Wed Sep 24 2008 - 23:34:44 PDT)
    - RE: [sv-sc] Syntax box caption for let Bresticker, Shalom (Thu Sep 25 2008 - 00:25:49 PDT)
    - RE: [sv-sc] Syntax box caption for let Bresticker, Shalom (Thu Sep 25 2008 - 00:29:31 PDT)
[sv-sc] Let proposal: Note 7531 Korchemny, Dmitry (Wed Sep 24 2008 - 03:54:43 PDT)
[sv-sc] Mantis review Bresticker, Shalom (Fri Sep 26 2008 - 03:11:07 PDT)
[sv-sc] RE: [sv-ac] do action blocks use sampled values Korchemny, Dmitry (Mon Oct 06 2008 - 23:21:10 PDT)
- [sv-sc] RE: [sv-ac] do action blocks use sampled values Seligman, Erik (Tue Oct 07 2008 - 08:42:47 PDT)
[sv-sc] Packed dimension [0:0] - What should happen? Clifford E. Cummings (Wed Oct 15 2008 - 08:44:21 PDT)
- RE: [sv-sc] Packed dimension [0:0] - What should happen? Bresticker, Shalom (Wed Oct 15 2008 - 08:59:36 PDT)
- [sv-sc] RE: [sv-bc] Packed dimension [0:0] - What should happen? Maidment, Matthew R (Wed Oct 15 2008 - 09:17:23 PDT)
  - [sv-sc] RE: [sv-bc] Packed dimension [0:0] - What should happen? Bresticker, Shalom (Wed Oct 15 2008 - 22:40:24 PDT)
    - [sv-sc] RE: [sv-bc] Packed dimension [0:0] - What should happen? Maidment, Matthew R (Wed Oct 15 2008 - 23:07:57 PDT)
- Re: [sv-sc] Packed dimension [0:0] - What should happen? Steven Sharp (Wed Oct 15 2008 - 09:27:17 PDT)
[sv-sc] Checkers in packages Korchemny, Dmitry (Sun Oct 26 2008 - 08:47:29 PDT)
- RE: [sv-sc] Checkers in packages Brad Pierce (Sun Oct 26 2008 - 10:55:57 PDT)
  - RE: [sv-sc] Checkers in packages Seligman, Erik (Mon Oct 27 2008 - 07:43:08 PDT)
    - Re: [sv-sc] Checkers in packages Neil Korpusik (Mon Oct 27 2008 - 13:29:13 PDT)
  - RE: [sv-sc] Checkers in packages Korchemny, Dmitry (Wed Oct 29 2008 - 14:48:44 PDT)
- [sv-sc] typo in implication operators Mirek Forczek (Tue Oct 28 2008 - 06:19:49 PDT)
  - [sv-sc] RE: typo in implication operators Seligman, Erik (Tue Oct 28 2008 - 07:29:30 PDT)
    - Re: [sv-sc] RE: typo in implication operators Neil Korpusik (Wed Oct 29 2008 - 16:54:25 PDT)
[sv-sc] Mantis 2479 Korchemny, Dmitry (Mon Oct 27 2008 - 01:44:15 PDT)
- [sv-sc] Re: Mantis 2479 Neil Korpusik (Mon Oct 27 2008 - 13:35:23 PDT)
[sv-sc] Q: Late change Seligman, Erik (Mon Oct 27 2008 - 07:51:39 PDT)
- [sv-sc] Re: Q: Late change Neil Korpusik (Mon Oct 27 2008 - 13:25:58 PDT)
[sv-sc] CALL FOR EMAIL VOTES on proposal 2513 (BNF fixes for checkers in packages) Seligman, Erik (Mon Nov 03 2008 - 14:49:00 PST)
- RE: [sv-sc] CALL FOR EMAIL VOTES on proposal 2513 (BNF fixes for checkers in packages) Bresticker, Shalom (Tue Nov 04 2008 - 00:49:03 PST)
  - RE: [sv-sc] CALL FOR EMAIL VOTES on proposal 2513 (BNF fixes for checkers in packages) Korchemny, Dmitry (Tue Nov 04 2008 - 01:21:06 PST)
    - RE: [sv-sc] CALL FOR EMAIL VOTES on proposal 2513 (BNF fixes for checkers in packages) Bresticker, Shalom (Tue Nov 04 2008 - 02:24:53 PST)
- RE: [sv-sc] CALL FOR EMAIL VOTES on proposal 2513 (BNF fixes for checkers in packages) Korchemny, Dmitry (Tue Nov 04 2008 - 04:02:15 PST)
- Re: [sv-sc] CALL FOR EMAIL VOTES on proposal 2513 (BNF fixes for checkers in packages) Gordon Vreugdenhil (Tue Nov 04 2008 - 08:12:07 PST)
- RE: [sv-sc] CALL FOR EMAIL VOTES on proposal 2513 (BNF fixes for checkers in packages) Mirek Forczek (Fri Nov 07 2008 - 01:30:52 PST)
- RE: [sv-sc] CALL FOR EMAIL VOTES on proposal 2513 (BNF fixes for checkers in packages) Kulshrestha, Manisha (Mon Nov 10 2008 - 10:33:20 PST)
  - [sv-sc] 2513 results + CALL FOR VOTE on 2516 Seligman, Erik (Tue Nov 11 2008 - 07:47:34 PST)
    - RE: [sv-sc] 2513 results + CALL FOR VOTE on 2516 Rich, Dave (Tue Nov 11 2008 - 09:15:39 PST)
    - RE: [sv-sc] 2513 results + CALL FOR VOTE on 2516 Seligman, Erik (Tue Nov 11 2008 - 09:45:29 PST)
    - Re: [sv-sc] 2513 results + CALL FOR VOTE on 2516 Neil Korpusik (Tue Nov 11 2008 - 10:47:41 PST)
    - Re: [sv-sc] 2513 results + CALL FOR VOTE on 2516 Thomas Thatcher (Tue Nov 11 2008 - 14:47:10 PST)
    - RE: [sv-sc] 2513 results + CALL FOR VOTE on 2516 Francoise Martinolle (Tue Nov 11 2008 - 18:54:09 PST)
    - Re: [sv-sc] 2513 results + CALL FOR VOTE on 2516 John Havlicek (Wed Nov 12 2008 - 05:20:31 PST)
    - RE: [sv-sc] 2513 results + CALL FOR VOTE on 2516 Seligman, Erik (Wed Nov 12 2008 - 07:34:24 PST)
    - [sv-sc] CALL FOR VOTE on 2516: VOTING PERIOD EXTENDED Seligman, Erik (Fri Nov 14 2008 - 16:41:54 PST)
    - Re: [sv-sc] CALL FOR VOTE on 2516: VOTING PERIOD EXTENDED Neil Korpusik (Fri Nov 14 2008 - 18:45:28 PST)
    - RE: [sv-sc] CALL FOR VOTE on 2516: VOTING PERIOD EXTENDED Seligman, Erik (Mon Nov 17 2008 - 14:05:41 PST)
    - Re: [sv-sc] CALL FOR VOTE on 2516: VOTING PERIOD EXTENDED Karen Pieper (Mon Nov 17 2008 - 14:57:33 PST)
    - RE: [sv-sc] CALL FOR VOTE on 2516: VOTING PERIOD EXTENDED Kulshrestha, Manisha (Sun Nov 16 2008 - 20:58:10 PST)
    - Re: [sv-sc] CALL FOR VOTE on 2516: VOTING PERIOD EXTENDED Neil Korpusik (Mon Nov 17 2008 - 17:23:06 PST)
    - [sv-sc] 2516 results Seligman, Erik (Tue Dec 02 2008 - 09:28:14 PST)
[sv-sc] RE: Embedding concurrent assertions in procedural code Seligman, Erik (Wed Nov 05 2008 - 08:11:06 PST)
- [sv-sc] RE: Embedding concurrent assertions in procedural code Korchemny, Dmitry (Wed Nov 05 2008 - 08:20:40 PST)
  - [sv-sc] RE: Embedding concurrent assertions in procedural code Seligman, Erik (Wed Nov 05 2008 - 08:27:53 PST)
    - [sv-sc] RE: Embedding concurrent assertions in procedural code Seligman, Erik (Wed Nov 05 2008 - 08:42:17 PST)
    - Re: [sv-sc] RE: Embedding concurrent assertions in procedural code John Havlicek (Wed Nov 05 2008 - 09:15:24 PST)
[sv-sc] Draft 8 is almost ready Neil Korpusik (Thu Dec 04 2008 - 09:31:47 PST)
[sv-sc] Draft 8 reviews Seligman, Erik (Mon Dec 08 2008 - 07:56:21 PST)
- [sv-sc] RE: Draft 8 reviews Eduard Cerny (Mon Dec 08 2008 - 13:48:10 PST)
- Re: [sv-sc] Draft 8 reviews Michael Burns (Wed Dec 10 2008 - 07:21:51 PST)
- RE: [sv-sc] Draft 8 reviews Kulshrestha, Manisha (Fri Dec 12 2008 - 01:29:23 PST)
- RE: [sv-sc] Draft 8 reviews Mirek Forczek (Fri Dec 12 2008 - 04:15:17 PST)
  - RE: [sv-sc] Draft 8 reviews Stuart Sutherland (Fri Dec 12 2008 - 09:42:02 PST)
    - RE: [sv-sc] Draft 8 reviews Seligman, Erik (Fri Dec 12 2008 - 10:02:21 PST)
- [sv-sc] RE: Draft 8 reviews Korchemny, Dmitry (Wed Dec 17 2008 - 09:40:58 PST)
- RE: [sv-sc] Draft 8 reviews Moorhouse, Abigail (Wed Dec 17 2008 - 13:36:15 PST)
- FW: [sv-sc] Draft 8 reviews Seligman, Erik (Thu Dec 18 2008 - 09:51:10 PST)
  - RE: [sv-sc] Draft 8 reviews Bresticker, Shalom (Sat Dec 20 2008 - 22:20:29 PST)
    - Re: [sv-sc] Draft 8 reviews John Havlicek (Mon Dec 22 2008 - 13:03:15 PST)
    - RE: [sv-sc] Draft 8 reviews Bresticker, Shalom (Tue Dec 23 2008 - 05:57:41 PST)
    - Re: [sv-sc] Draft 8 reviews John Havlicek (Tue Dec 23 2008 - 10:40:49 PST)
    - RE: [sv-sc] Draft 8 reviews Bresticker, Shalom (Wed Dec 24 2008 - 05:48:22 PST)
    - Re: [sv-sc] Draft 8 reviews Gordon Vreugdenhil (Wed Dec 24 2008 - 08:25:02 PST)
    - Re: [sv-sc] Draft 8 reviews John Havlicek (Thu Dec 25 2008 - 12:51:47 PST)
[sv-sc] SV-SC Charter Korchemny, Dmitry (Mon Dec 08 2008 - 08:59:12 PST)
- [sv-sc] RE: SV-SC Charter Stuart Sutherland (Mon Dec 08 2008 - 09:50:21 PST)
  - [sv-sc] RE: SV-SC Charter Korchemny, Dmitry (Mon Dec 08 2008 - 09:51:22 PST)
[sv-sc] Editor comments on reviewing draft8-preliminary Stuart Sutherland (Mon Dec 08 2008 - 09:47:08 PST)
- [sv-sc] RE: [sv-ac] Editor comments on reviewing draft8-preliminary Bresticker, Shalom (Tue Dec 09 2008 - 07:26:45 PST)
[sv-sc] 16.15 review Lisa Piper (Wed Dec 10 2008 - 06:13:34 PST)
- [sv-sc] RE: [sv-ac] 16.15 review Lisa Piper (Wed Dec 10 2008 - 07:12:22 PST)
  - [sv-sc] assertion clock inferrence example with comment contradicts the given rules ? Mirek Forczek (Mon Dec 22 2008 - 10:26:29 PST)
    - [sv-sc] RE: [sv-ac] assertion clock inferrence example with comment contradicts the given rules ? Lisa Piper (Mon Dec 22 2008 - 20:32:19 PST)
    - RE: [sv-sc] RE: [sv-ac] assertion clock inferrence example with comment contradicts the given rules ? Bresticker, Shalom (Mon Dec 22 2008 - 23:58:20 PST)
    - RE: [sv-sc] RE: [sv-ac] assertion clock inferrence example with comment contradicts the given rules ? Mirek Forczek (Tue Dec 23 2008 - 02:02:05 PST)
    - Re: [sv-sc] RE: [sv-ac] assertion clock inferrence example with comment contradicts the given rules ? John Havlicek (Tue Dec 23 2008 - 10:38:50 PST)
    - RE: [sv-sc] RE: [sv-ac] assertion clock inferrence example with comment contradicts the given rules ? Bresticker, Shalom (Tue Dec 23 2008 - 00:01:53 PST)
    - RE: [sv-sc] RE: [sv-ac] assertion clock inferrence example with comment contradicts the given rules ? Seligman, Erik (Mon Dec 29 2008 - 12:55:23 PST)
    - RE: [sv-sc] RE: [sv-ac] assertion clock inferrence example with comment contradicts the given rules ? Bresticker, Shalom (Mon Dec 29 2008 - 19:29:47 PST)
    - Re: [sv-sc] RE: [sv-ac] assertion clock inferrence example with comment contradicts the given rules ? John Havlicek (Sun Jan 04 2009 - 14:41:44 PST)
    - RE: [sv-sc] RE: [sv-ac] assertion clock inference example with comment contradicts the given rules ? Korchemny, Dmitry (Tue Jan 06 2009 - 09:21:19 PST)
    - Re: [sv-sc] RE: [sv-ac] assertion clock inferrence example with comment contradicts the given rules ? John Havlicek (Tue Dec 23 2008 - 10:33:43 PST)
[sv-sc] RE: [sv-ac] Checker instantiation syntax Korchemny, Dmitry (Tue Jan 06 2009 - 03:37:02 PST)
- RE: [sv-sc] RE: [sv-ac] Checker instantiation syntax Korchemny, Dmitry (Wed Jan 07 2009 - 05:00:31 PST)
  - Re: [sv-sc] RE: [sv-ac] Checker instantiation syntax Surya Pratik Saha (Wed Jan 07 2009 - 05:10:34 PST)
[sv-sc] Checker variable BNF issue Korchemny, Dmitry (Thu Jan 08 2009 - 07:21:10 PST)
[sv-sc] Ballot issues concerning checkers Korchemny, Dmitry (Tue Apr 07 2009 - 01:09:22 PDT)
- Re: [sv-sc] Ballot issues concerning checkers Neil Korpusik (Tue Apr 07 2009 - 16:33:00 PDT)
  - RE: [sv-sc] Ballot issues concerning checkers Korchemny, Dmitry (Wed Apr 08 2009 - 05:53:13 PDT)

SystemVerilog Special Sub-Committee on Checkers By Thread