Accellera SuperVerilog Assertion Activity By Subject
- "parameter" vs. "argument", minor editing
- #805
- Bresticker, Shalom (Sat Jun 17 2006 - 23:22:12 PDT)
- Bresticker, Shalom (Sat Jun 17 2006 - 23:21:53 PDT)
- Bresticker, Shalom (Sat Jun 17 2006 - 23:21:37 PDT)
- Bresticker, Shalom (Sat Jun 17 2006 - 23:21:04 PDT)
- Bresticker, Shalom (Sat Jun 17 2006 - 23:20:35 PDT)
- Bresticker, Shalom (Sat Jun 17 2006 - 23:20:12 PDT)
- Bassam Tabbara (Fri Jun 16 2006 - 12:01:34 PDT)
- John Havlicek (Fri Jun 16 2006 - 11:56:28 PDT)
- Bassam Tabbara (Fri Jun 16 2006 - 11:34:15 PDT)
- Kulshrestha, Manisha (Fri Jun 16 2006 - 11:30:01 PDT)
- Bassam Tabbara (Fri Jun 16 2006 - 11:00:41 PDT)
- Bassam Tabbara (Fri Jun 16 2006 - 10:54:42 PDT)
- Kulshrestha, Manisha (Fri Jun 16 2006 - 09:51:08 PDT)
- Lisa Piper (Fri Jun 16 2006 - 08:29:19 PDT)
- Bassam Tabbara (Fri Jun 16 2006 - 07:32:12 PDT)
- John Havlicek (Fri Jun 16 2006 - 05:56:19 PDT)
- John Havlicek (Fri Jun 16 2006 - 05:50:12 PDT)
- Bassam Tabbara (Wed Jun 14 2006 - 11:45:09 PDT)
- Eduard Cerny (Wed Jun 14 2006 - 11:25:49 PDT)
- Bassam Tabbara (Wed Jun 14 2006 - 11:22:29 PDT)
- Eduard Cerny (Wed Jun 14 2006 - 06:19:00 PDT)
- Kulshrestha, Manisha (Mon Jun 12 2006 - 11:17:59 PDT)
- Lisa Piper (Mon Jun 12 2006 - 06:25:45 PDT)
- Bassam Tabbara (Fri Jun 09 2006 - 16:24:01 PDT)
- Kulshrestha, Manisha (Fri Jun 09 2006 - 15:56:53 PDT)
- Bassam Tabbara (Fri Jun 09 2006 - 15:42:48 PDT)
- Kulshrestha, Manisha (Fri Jun 09 2006 - 15:26:04 PDT)
- Lisa Piper (Fri Jun 09 2006 - 15:16:00 PDT)
- Bassam Tabbara (Fri Jun 09 2006 - 11:57:09 PDT)
- Kulshrestha, Manisha (Fri Jun 09 2006 - 11:35:27 PDT)
- Eduard Cerny (Thu Jun 08 2006 - 07:39:22 PDT)
- Lisa Piper (Tue Jun 06 2006 - 10:09:54 PDT)
- Korchemny, Dmitry (Tue Jun 06 2006 - 09:02:58 PDT)
- Kulshrestha, Manisha (Tue Jun 06 2006 - 08:50:13 PDT)
- $isunbounded and $ - erratum #966
- $sv-ec Agenda And Attendance List -Second SystemVerilog Face to Face meeting - December 4 - Mentor Graphics - San Jose
- $sv-ec Proposal for Random Constraints for SV-extension
- $sv-ec SV 3.1 draft 1 LRM available
- (no subject)
- 0001381: vacuous success is not well defined in the LRM
- 1503 Assertion VPI update
- 1503 ready to vote again
- 1518 - vote
- 1599
- 1599 review
- 1599 updated and posted on mantis
- 16.12.2 clause -> construct
- 16.13.6 sequence context
- 16.14.3 and simulation centric semantics.
- 16.3
- 16.9 local var declaration
- 16.9.10 typo
- 1683
- 1698
- 1698 for review
- 1698 sampled value functions
- 1698 sampled value functions - review
- 1729 proposal suggestions
- 1730 question
- 1731
- 1757 resets - proposal from 071024.
- 1800 draft 9 review: Clause 16 - 16.8 incl.
- 1800-2009 Approval Notification
- 1900 - updated version
- 1932
- 1932 comments
- 1932 LTL.1932.20071005.pdf partial review.
- 1932 LTL.1932.20071030.pdf some errata.
- 1932 LTL.1932.20071114.pdf some errata.
- 1932: Review of LTL_Formal.071120.pdf
- 1987
- 1995
- 1995 (concurrent assertions in loops) ready for vote?
- 1995 ready for vote?
- 2005 (deferred assertions): can we split into two proposals?
- 2069
- 2091
- 2091 changes
- 2091 where can assertions be
- 2100 sync resets
- 2205 was addressed via 1987
- 2237 implementation reviewed
- 2804 proposal uploaded
- Kulshrestha, Manisha (Tue Jun 08 2010 - 10:02:29 PDT)
- Kulshrestha, Manisha (Mon Jun 07 2010 - 22:23:56 PDT)
- Seligman, Erik (Mon Jun 07 2010 - 07:59:20 PDT)
- Eduard Cerny (Mon Jun 07 2010 - 07:57:10 PDT)
- Seligman, Erik (Mon Jun 07 2010 - 07:56:33 PDT)
- Seligman, Erik (Mon Jun 07 2010 - 07:52:17 PDT)
- Kulshrestha, Manisha (Mon Jun 07 2010 - 05:29:06 PDT)
- ben cohen (Sat Jun 05 2010 - 10:58:56 PDT)
- Seligman, Erik (Fri Jun 04 2010 - 14:36:23 PDT)
- Seligman, Erik (Thu Jun 03 2010 - 07:54:13 PDT)
- Eduard Cerny (Thu Jun 03 2010 - 06:48:31 PDT)
- Korchemny, Dmitry (Thu Jun 03 2010 - 05:24:32 PDT)
- Eduard Cerny (Thu Jun 03 2010 - 05:10:30 PDT)
- Korchemny, Dmitry (Thu Jun 03 2010 - 00:49:50 PDT)
- Seligman, Erik (Wed Jun 02 2010 - 08:10:30 PDT)
- 3035_checker_sampling_100802_dk.docx
- 3213 - comments
- 3398 and 3625
- 7/8 Agenda and updated requirements
- [Bulk] [sv-ec] Assertions & Covers in classes?
- [Fwd: [sv-ac] Synchronization Activities of the Assertion Kernel]
- [Fwd: The 40th DAC, June 2-6 in Anaheim, CA is Coming Soon]
- [gordonv@model.com: [sv-ac] Name resolution for bind -- AC feedback requested]
- [ovl-vsva] Property library enhancements
- [P1800] Action required on the merged LRM - draft3
- [P1800] IEEE P1800 SystemVerilog Working Group 04-Octobert-2007 UNAPPROVED Meeting Minutes
- [P1800] IEEE P1800-2008 Draft 3a Available for Download
- [P1800] March 2009 P1800 Ballot Comments
- [P1800] Notes from 26 February 2010 SystemVerilog Requirements Gathering Meeting
- [P1800] P1800-UVM - JEITA SV WG meeting
- [P1800] Results of the Champions meeting on 1/4/05
- [P1800] sv-sc Meeting agenda - April 21
- [P1800] SystemVerilog (P1800) and Verilog (P1364) Draft Documents Available
- [P1800] Updated Database
- [POSSIBLE VIRUS:###] [sv-ac] [Fwd: Mantis 1995 - concurrent assertions in loops]
- [sv-ac]
- [sv-ac] "@ (posedge clk2 && scl_enb && SCL)" Legal clock event?
- [sv-ac] "editorial" errors
- [sv-ac] "if else" definition needs corrections - mantis 1786
- [sv-ac] "matched" operator: a new issue
- [sv-ac] "parameter" vs. "argument", minor editing
- [sv-ac] "solve before" of free variables in checker?
- [sv-ac] #1325
- [sv-ac] #1326
- [sv-ac] #1346
- [sv-ac] #1347
- [sv-ac] #1361
- [sv-ac] #1361 proposal
- [sv-ac] #1361.
- [sv-ac] #1381
- [sv-ac] #1502 (Property evaluation attempts and decision points)
- [sv-ac] #1502 (Property evaluation attempts and decision points) (correction)
- [sv-ac] #1510
- [sv-ac] #1532
- [sv-ac] #1550 aligned with Draft 3a
- [sv-ac] #1648 - aligned with Draft 3a
- [sv-ac] #1674 is already aligned with Draft 4a
- [sv-ac] #1674: $inferred...
- [sv-ac] #1729 - immediate assume and cover
- [sv-ac] #1729 - resent, correction
- [sv-ac] #508
- [sv-ac] #508 vote
- [sv-ac] #805
- [sv-ac] #805 and new mantis #1599
- [sv-ac] #805 friendly amendment
- [sv-ac] #928
- [sv-ac] #966
- [sv-ac] $ as constant_primary
- [sv-ac] $display in assertions
- [sv-ac] $global_clock resolution
- [sv-ac] $past - number_of_ticks proposal
- [sv-ac] $past question
- [sv-ac] $past RTL operational model?
- [sv-ac] $past syntax error
- [sv-ac] 'expect' statements in functions (Was: Request to review Mantis 1627 resolution)
- [sv-ac] *** Urgent **** One last SV-AC vote
- [sv-ac] 0001898: Describe the explicit mappings from assertion system tasks to callbacks
- [sv-ac] 0002578: Vacuity definition
- [sv-ac] 0003033: Allow procedural control statements is checkers
- [sv-ac] 0003595: triggered sequence method needs clarification
- [sv-ac] 10 December 2009 UNAPPROVED Working Group Meeting Minutes
- [sv-ac] 11.8 Manipulating Data in a Sequence
- [sv-ac] 11/12 meeting
- [sv-ac] 1346
- [sv-ac] 1361 assertion action control tasks
- [sv-ac] 1361 needs an owner
- [sv-ac] 1381 vacuous evaluation
- [sv-ac] 1381: vacuous on "AND" operator
- [sv-ac] 1383
- [sv-ac] 1392
- [sv-ac] 1392 vote
- [sv-ac] 1420
- [sv-ac] 1460 proposal passed by email ballot
- [sv-ac] 1466
- [sv-ac] 1466 review
- [sv-ac] 1466 updates
- [sv-ac] 1466- shortcuts proposal
- [sv-ac] 1495
- [sv-ac] 1503 / 2237
- [sv-ac] 1503 Assertion VPI update
- [sv-ac] 1503 bugnote
- [sv-ac] 1503 changes to support 1667
- [sv-ac] 1503 Fixes to Assertion VPI object diagrams
- [sv-ac] 1503 minor update
- [sv-ac] 1503 ready to vote again
- [sv-ac] 1503: VPI diagram fixes
- [sv-ac] 1518
- [sv-ac] 1518 - vote
- [sv-ac] 1543
- [sv-ac] 1547 review
- [sv-ac] 1549
- [sv-ac] 1549 and inside operator
- [sv-ac] 1549 argument passing
- [sv-ac] 1549 et. al.
- [sv-ac] 1549 formal semantics document
- [sv-ac] 1549 New Formal Types Updated and 1601 created for new keyword for untyped formals
- [sv-ac] 1549 new types uploaded
- [sv-ac] 1549 questions
- [sv-ac] 1549 review
- [sv-ac] 1549: action item on local var declarations
- [sv-ac] 1550
- [sv-ac] 1550 passed by email ballot
- [sv-ac] 1550, 1698, and Annex E.4
- [sv-ac] 1591 feedback and resolution
- [sv-ac] 1591 passed by email ballot
- [sv-ac] 1591 revision
- [sv-ac] 1591 revisions complete
- [sv-ac] 1591is ready for review
- [sv-ac] 1599
- [sv-ac] 1599 review
- [sv-ac] 1599 updated with kill
- [sv-ac] 16.12 "in disabled"
- [sv-ac] 16.12.10 Nexttime property // clarification question
- [sv-ac] 16.14.3 and simulation centric semantics.
- [sv-ac] 16.14.5 Embedding concurrent assertions in procedural code - questions
- [sv-ac] 16.14.6 Sequence methods // .triggered need further clarification
- [sv-ac] 16.14.8 Nonvacuous evaluations // the not(property)
- [sv-ac] 16.14.8 Nonvacuous evaluations q), editing change, delete the superfluous "that"
- [sv-ac] 16.15 review
- [sv-ac] 16.16 Disable iff resolution // Question
- [sv-ac] 16.17.1 Semantic leading clocks for multiclocked sequences and properties
- [sv-ac] 16.4 questions
- [sv-ac] 16.4-16.7 review
- [sv-ac] 1601 and 1549
- [sv-ac] 1601 context keyword for untyped args
- [sv-ac] 1601 passed by email ballot
- [sv-ac] 1601 updated for d4 and 1549
- [sv-ac] 1601: "context" keyword instead of "implicit"
- [sv-ac] 1641 updated
- [sv-ac] 1648 - default disable iff
- [sv-ac] 1648 default disable iff
- [sv-ac] 1648 Default reset for assertions
- [sv-ac] 1648 passed by e-mail ballot
- [sv-ac] 1648 review
- [sv-ac] 1648: name resolutsion vs. default disable iff
- [sv-ac] 1668 Clause 16 proposal updated
- [sv-ac] 1668 passed
- [sv-ac] 1668 update
- [sv-ac] 1668-2007-08-19.pdf
- [sv-ac] 1668-formal-semantics.pdf
- [sv-ac] 1674 updated
- [sv-ac] 1675: we should vote to close at next mtg
- [sv-ac] 1677 Add $changes sampled value function
- [sv-ac] 1677 review (Draft6)
- [sv-ac] 1678
- [sv-ac] 1678 name resolution and the rewriting algorithm of 1549
- [sv-ac] 1681 Global clocking
- [sv-ac] 1681 Introduce global clocking
- [sv-ac] 1681 Review
- [sv-ac] 1682
- [sv-ac] 1682 updated
- [sv-ac] 1683
- [sv-ac] 1683 uploaded
- [sv-ac] 1686
- [sv-ac] 1691 Introduce global clocking
- [sv-ac] 1698
- [sv-ac] 1698 for review
- [sv-ac] 1698 ownership
- [sv-ac] 1698 review
- [sv-ac] 1698 sampled value functions
- [sv-ac] 17.3.1 Behavior of instantiated checkers // Need clarifications.
- [sv-ac] 17.9: System functions: $onehot/$onehot0
- [sv-ac] 1704 empty match
- [sv-ac] 1704 proposal
- [sv-ac] 1704 revised
- [sv-ac] 1704, empty match, and local variable assignments
- [sv-ac] 1720
- [sv-ac] 1722
- [sv-ac] 1722 and 1855 combined proposal
- [sv-ac] 1722 Bind Clarifications
- [sv-ac] 1722 bind clarifications with friendly amendment
- [sv-ac] 1728
- [sv-ac] 1728 - Let statement
- [sv-ac] 1728 mantis: "let" construct vs function
- [sv-ac] 1728 passed
- [sv-ac] 1730
- [sv-ac] 1730 question
- [sv-ac] 1731
- [sv-ac] 1731 description updated - "Sampled value functions with arbitrary clocks"
- [sv-ac] 1735 updated for draft 3a
- [sv-ac] 1737 Enabling Condition proposal updated
- [sv-ac] 1737 update on Mantis
- [sv-ac] 1737 updated for draft 4
- [sv-ac] 1757
- [sv-ac] 1757 accept_on/reject_on proposal
- Fais Yaniv-RM96496 (Tue Sep 25 2007 - 08:43:27 PDT)
- Bustan, Doron (Tue Sep 25 2007 - 06:24:46 PDT)
- Bustan, Doron (Tue Sep 25 2007 - 05:14:06 PDT)
- Korchemny, Dmitry (Tue Sep 25 2007 - 05:08:25 PDT)
- Fais Yaniv-RM96496 (Tue Sep 25 2007 - 05:05:38 PDT)
- Bustan, Doron (Tue Sep 25 2007 - 04:48:15 PDT)
- Korchemny, Dmitry (Tue Sep 25 2007 - 04:08:48 PDT)
- Fais Yaniv-RM96496 (Tue Sep 25 2007 - 04:06:01 PDT)
- Korchemny, Dmitry (Tue Sep 25 2007 - 02:27:57 PDT)
- Bustan, Doron (Tue Sep 25 2007 - 02:13:00 PDT)
- Bustan, Doron (Tue Sep 25 2007 - 01:48:35 PDT)
- Fais Yaniv-RM96496 (Tue Sep 25 2007 - 01:41:13 PDT)
- Bustan, Doron (Tue Sep 25 2007 - 00:07:29 PDT)
- Fais Yaniv-RM96496 (Mon Sep 24 2007 - 09:05:11 PDT)
- Bustan, Doron (Mon Sep 24 2007 - 01:20:23 PDT)
- Lisa Piper (Sun Sep 23 2007 - 18:08:12 PDT)
- Bustan, Doron (Sun Sep 23 2007 - 02:04:55 PDT)
- Lisa Piper (Fri Sep 21 2007 - 19:25:12 PDT)
- [sv-ac] 1757 is ready to vote
- [sv-ac] 1757 ready for vote
- [sv-ac] 1757 resets - proposal from 071024.
- [sv-ac] 1758 passed
- [sv-ac] 1758 passed - updated proposal
- [sv-ac] 1768 cover sequence
- [sv-ac] 1768 notes
- [sv-ac] 1768 review
- [sv-ac] 1786
- [sv-ac] 1796 - removed box... and uploaded
- [sv-ac] 1800
- [sv-ac] 1800 draft 3 review
- [sv-ac] 1800 draft 9 review: Clause 16 - 16.8 incl.
- [sv-ac] 1800 implementation
- [sv-ac] 1806 doc file
- [sv-ac] 1830 proposal
- [sv-ac] 1849
- [sv-ac] 1849: VPI diagrams for immediate assume, cover
- [sv-ac] 1855 proposal uploaded
- [sv-ac] 1900
- [sv-ac] 1900 (checkers) and variables types keywords
- [sv-ac] 1900 - Checkers
- [sv-ac] 1900 - New version uploaded
- [sv-ac] 1900 - Updated version uploaded
- [sv-ac] 1900 Checkers
- [sv-ac] 1900 is ready for review
- [sv-ac] 1900 is ready to vote
- [sv-ac] 1900 is reday for review
- Korchemny, Dmitry (Tue Dec 04 2007 - 01:25:43 PST)
- Bresticker, Shalom (Mon Dec 03 2007 - 04:01:45 PST)
- Korchemny, Dmitry (Mon Dec 03 2007 - 03:00:01 PST)
- Korchemny, Dmitry (Mon Dec 03 2007 - 02:56:18 PST)
- Bresticker, Shalom (Mon Dec 03 2007 - 02:06:35 PST)
- Korchemny, Dmitry (Mon Dec 03 2007 - 01:58:44 PST)
- Korchemny, Dmitry (Mon Dec 03 2007 - 01:41:38 PST)
- Bresticker, Shalom (Thu Nov 29 2007 - 09:53:33 PST)
- Thomas Thatcher (Thu Nov 29 2007 - 09:52:20 PST)
- Bresticker, Shalom (Wed Nov 28 2007 - 23:18:10 PST)
- Thomas Thatcher (Wed Nov 28 2007 - 17:12:52 PST)
- Thomas Thatcher (Tue Nov 27 2007 - 10:16:56 PST)
- Korchemny, Dmitry (Thu Nov 22 2007 - 04:22:24 PST)
- Korchemny, Dmitry (Wed Nov 21 2007 - 04:08:00 PST)
- [sv-ac] 1901 - Concat Constant primary
- [sv-ac] 1932
- Bustan, Doron (Sun May 25 2008 - 00:18:14 PDT)
- Bustan, Doron (Tue Mar 18 2008 - 07:14:13 PDT)
- Korchemny, Dmitry (Wed Jan 30 2008 - 06:58:35 PST)
- Bustan, Doron (Wed Jan 30 2008 - 06:55:45 PST)
- Bustan, Doron (Mon Jan 28 2008 - 11:56:20 PST)
- Bustan, Doron (Tue Jan 22 2008 - 22:57:04 PST)
- Korchemny, Dmitry (Tue Jan 22 2008 - 01:44:41 PST)
- Bustan, Doron (Tue Jan 22 2008 - 01:24:58 PST)
- Bustan, Doron (Wed Jan 16 2008 - 01:23:28 PST)
- Johan Mårtensson (Wed Jan 16 2008 - 00:45:48 PST)
- Bustan, Doron (Tue Jan 15 2008 - 02:51:24 PST)
- Bustan, Doron (Tue Dec 18 2007 - 22:52:17 PST)
- Bustan, Doron (Wed Dec 12 2007 - 11:40:04 PST)
- Bustan, Doron (Tue Nov 20 2007 - 05:43:26 PST)
- Bustan, Doron (Wed Nov 14 2007 - 07:12:26 PST)
- Bustan, Doron (Tue Oct 09 2007 - 06:09:27 PDT)
- Bustan, Doron (Mon Oct 01 2007 - 06:16:35 PDT)
- Bustan, Doron (Mon Sep 10 2007 - 22:21:28 PDT)
- Bustan, Doron (Thu Aug 02 2007 - 06:58:50 PDT)
- [sv-ac] 1932 - clock flow rules
- [sv-ac] 1932 again
- [sv-ac] 1932 comments
- [sv-ac] 1932 LTL.1932.20071005.pdf partial review.
- [sv-ac] 1932 LTL_Formal.0701009.pdf partial review.
- [sv-ac] 1932 Questions on non vacuity.
- [sv-ac] 1932 updated
- [sv-ac] 1932: LTL.1932.071212.pdf. Operator precedences.
- [sv-ac] 1932: Review of LTL_Formal.071120.pdf
- [sv-ac] 1932: Review of LTL_Formal.071205.pdf
- [sv-ac] 1932: Review of LTL_Formal.071205.pdf (Please, ignore)
- [sv-ac] 1932and one more small font correction
- [sv-ac] 1987
- [sv-ac] 1987 and 1503
- [sv-ac] 1987 assertion statement
- [sv-ac] 1987 review
- [sv-ac] 1987 updated
- [sv-ac] 1987 verification statement (also 2205)
- [sv-ac] 1987 verification statement -> assertion statement
- [sv-ac] 1995 (assertions in loops): clarification, request to review your vote
- [sv-ac] 1995 assertions in loops questions
- [sv-ac] 1995 fixes for Shalom's comments
- [sv-ac] 1995 ready for vote?
- [sv-ac] 1995 review
- [sv-ac] 2005
- Korchemny, Dmitry (Mon Sep 24 2007 - 09:26:25 PDT)
- Seligman, Erik (Tue Sep 18 2007 - 06:55:00 PDT)
- Seligman, Erik (Tue Sep 18 2007 - 06:54:12 PDT)
- Seligman, Erik (Mon Sep 17 2007 - 11:29:04 PDT)
- Bustan, Doron (Mon Sep 17 2007 - 22:59:46 PDT)
- Kulshrestha, Manisha (Mon Sep 17 2007 - 22:55:03 PDT)
- Korchemny, Dmitry (Mon Sep 17 2007 - 08:10:26 PDT)
- Bustan, Doron (Mon Sep 17 2007 - 06:22:45 PDT)
- Seligman, Erik (Mon Sep 17 2007 - 06:19:59 PDT)
- Bresticker, Shalom (Sun Sep 16 2007 - 10:29:36 PDT)
- Bustan, Doron (Sun Sep 16 2007 - 08:00:16 PDT)
- Bustan, Doron (Sun Sep 16 2007 - 07:58:03 PDT)
- Bustan, Doron (Sun Sep 16 2007 - 07:56:27 PDT)
- Korchemny, Dmitry (Sun Sep 16 2007 - 07:41:49 PDT)
- Korchemny, Dmitry (Sun Sep 16 2007 - 07:34:09 PDT)
- Bresticker, Shalom (Sun Sep 16 2007 - 06:06:30 PDT)
- Bustan, Doron (Sun Sep 16 2007 - 05:43:26 PDT)
- [sv-ac] 2005 (deferred assertions) modified, approved by SV-CC
- [sv-ac] 2005 (deferred assertions): can we split into two proposals?
- [sv-ac] 2005 (deferred assertions): minor champion amendment implemented
- [sv-ac] 2005 issue found in draft 6 review
- [sv-ac] 2005 review
- [sv-ac] 2005 review by other committees
- [sv-ac] 2005 revised & ready for voting
- [sv-ac] 2005 wording
- [sv-ac] 2005 wording: made change, should be ready for voice vote tomorrow
- [sv-ac] 2005: Deferred assertions (new proposal at http://www.verilog.org/mantis/view.php?id=2005)
- [sv-ac] 2033 Explicitly mention generate blocks as sequence and property declaration scope
- [sv-ac] 2033 review (Draft6)
- [sv-ac] 2069
- [sv-ac] 2069 - Formal coverage semantics
- [sv-ac] 2069 review (Draft6)
- [sv-ac] 2088 Friendly Amendments done, Ready for vote
- [sv-ac] 2090 review (Draft6)
- [sv-ac] 2091 feedback
- [sv-ac] 2091 review
- [sv-ac] 2091 updates
- [sv-ac] 2100 sync resets
- [sv-ac] 2150 in feedback state
- [sv-ac] 2173 - property case
- [sv-ac] 2182 (Checker VPI) modified based on SV-CC requests
- [sv-ac] 2188 review (Draft6)
- [sv-ac] 22.10 bind review
- [sv-ac] 2205 was addressed via 1987
- [sv-ac] 2237 implementation reviewed
- [sv-ac] 2246 update
- [sv-ac] 2246, 1722, 1686, 1735, 1704, 928 reviews
- [sv-ac] 2250 - updated proposal
- [sv-ac] 2250, 2069, 2168, 2182
- [sv-ac] 2291:Uploaded proposal ($assertoff assertions and attempts)
- [sv-ac] 2336 implementatio
- [sv-ac] 2412 proposal updated
- [sv-ac] 2476 and 3145 updated
- [sv-ac] 2476 updated to use variable-length arg list instead of queue
- [sv-ac] 2578 // which reads better
- [sv-ac] 26 February 2010 Face-to-Face Meeting Attendance Status
- [sv-ac] 2660, 2659
- [sv-ac] 2804 proposal uploaded
- [sv-ac] 3.1a LRM Changes documentation
- [sv-ac] 3.1a proposals
- [sv-ac] 3135 proposal updated
- [sv-ac] 3135 Verbal explanation of nexttime and always is misleading for multiple clocks
- [sv-ac] 3191: Allow sequence methods with sequence expressions
- [sv-ac] 3195 and 3476 need to be addressed in our discussions
- [sv-ac] 3195 and 3478 need to be addressed in our discussions
- [sv-ac] 3195: Local Variables Flow Out Issue in and/or/intersect/implies // Updates
- [sv-ac] 3195:Local Variables Flow Out...// Moved to drop the proposal
- [sv-ac] 3213 - comments
- [sv-ac] 3478 : Why is this not addressed? // sv'09 fails to solve this issue
- [sv-ac] 3610: Sequence methods with sequences admitting empty match
- [sv-ac] 3766: 17.6 : Error in use of variable in example
- [sv-ac] 4020: Syntax description of properties in inconsistent
- [sv-ac] 7a review
- [sv-ac] 805
- [sv-ac] 805 in draft3 review
- [sv-ac] 88, 126, 128, 142, 178, 180, 181, 182, 183, 184, 185, 186, 187, 190, 192, 206, 208, 229, 269 reviewed
- [sv-ac] 928
- [sv-ac] 928 in draft3
- [sv-ac] 928 Proposal Updated
- [sv-ac] 966
- [sv-ac] 966 discussion
- [sv-ac] [Fwd: "Null repition" semantics]
- [sv-ac] [Fwd: [sv-cc] Added Mantis item 2054 - deprecate Data Read API]
- [sv-ac] [Fwd: [sv-ec] Type casting issue]
- [sv-ac] [Fwd: [sv-sc] Draft 6 Review]
- [sv-ac] [Fwd: Are $signed/$unsigned constant expressions?]
- [sv-ac] [Fwd: Clock flow in SV assertion]
- [sv-ac] [Fwd: Mantis 1995 - concurrent assertions in loops]
- [sv-ac] [Fwd: New proposal for 2088]
- [sv-ac] [Fwd: Notes from meeting w/ Dmitry and SV-BC and SV-EC members]
- [sv-ac] [gordonv@model.com: Meeting on name resolution]
- [sv-ac] [john.havlicek@freescale.com: my mistake]
- [sv-ac] [Karen Pieper <Karen.Pieper@synopsys.com>]
- [sv-ac] [LOCATION UPDATE] SystemVerilog Errata Technical Planning Meeting on June 3 -- Mentor Graphics
- [sv-ac] [Neil.Korpusik@Sun.COM: [sv-champions] Minutes from the Jan 17, 2008 conference call]
- [sv-ac] [Neil.Korpusik@Sun.COM: [sv-champions] Minutes of the March 20, 2008 conference call]
- [sv-ac] [SV-AC] F.5.3.3 Vacuity // Clarification on "implies" and suggestion
- [sv-ac] [SV-AC] IMPLIES / OR / AND / VACUITY TABLE
- [sv-ac] [SV-AC] Interfaces in checkers, Mantis 2751 // WIG
- [sv-ac] [SV-AC] Local Variables Flow Out Issue in and/or/intersect/implies
- [sv-ac] [sv-ac] Review of IEEE P1800(tm)/D1, Mantis 2551
- [sv-ac] [sv-ac] Review of IEEE P1800™#x2122;/D1, Mantis 2551
- [sv-ac] [sv-ac] Review of IEEE P1800™#x2122;/D1, Mantis 2722
- [sv-ac] [SV-AC] vote on 1532
- [sv-ac] [sv-bc] Erratta or simple proposal for task, function, property,sequence arguments.
- [sv-ac] [sv-bc] SV-BC BNF issues review - 290
- [sv-ac] [sv-ec] Mantis item 890
- [sv-ac] [sv-ec] SystemVerilog 3.1a Draft 4 by "David W. Smith" <dwsmith@S ynopsys.COM>]
- [sv-ac] [sv=ac] 16.10 Why is s8 legal? x 9s common to both threads
- [sv-ac] a few more comments on 2173
- [sv-ac] A problem with local variables
- [sv-ac] a small boo-boo in the 1668 flow-theory-notes.txt
- [sv-ac] AC 196 - optional type spec?
- [sv-ac] AC 196:
- [sv-ac] AC 269
- [sv-ac] AC 296
- [sv-ac] Accelera Day: SV-AC Update
- [sv-ac] Accellera presentation on Assumptions/constraints
- [sv-ac] Accellera Property Specification Language v1.0
- [sv-ac] Accellera SystemVerilog 3.1A Focus And Plans
- [sv-ac] Accepted: Updated: Assertion weekly team meeting
- [sv-ac] Access of covergroup items across covergroups
- [sv-ac] Acrobat version of proposals
- [sv-ac] Action item for SV-CC before next week
- [sv-ac] Action items (reminder)
- [sv-ac] action items from Tuesday meeting
- [sv-ac] Action required on the merged LRM - draft3
- [sv-ac] Add assertion to Section 1 SV 3.1 improvement list?
- [sv-ac] Added new proposal for Mantis #2271
- [sv-ac] Addendum to item 6 proposal
- [sv-ac] Adding properties to modules using separate means.
- [sv-ac] Additional Comments on Scheduling
- [sv-ac] Additional feedback on 3213
- [sv-ac] Additional though on Assertion templates
- [sv-ac] afterthought
- [sv-ac] Agenda And Attendance List -Second SystemVerilog Face to Face mee ting - December 4 - Mentor Graphics - San Jose
- [sv-ac] Agenda And Attendance List -Second SystemVerilog Face to Face meeting - December 4 - Mentor Graphics - San Jose
- [sv-ac] Agenda And Plans For Full SV Meeting IN Mountain Views
- [sv-ac] Agenda for 11/11/2004 meeting
- [sv-ac] Agenda for Full SV meeting on February 28
- [sv-ac] Agenda for next weeks meeting
- [sv-ac] Agenda for SV-AC meeting 3/10/2008
- [sv-ac] Agenda for the SystemVerilog Requirements Gathering Meeting
- [sv-ac] Agenda for today's meeting
- [sv-ac] Agenda: SV-XC committee meeting (Dec 20, 2006)
- [sv-ac] Aligned proposal for 1737 uploaded to mantis
- [sv-ac] Alignment of Mantis items 2327 and 2326 to draft 6
- [sv-ac] alignment to Draft 3
- [sv-ac] alignment to Draft 3a
- [sv-ac] alignment to Draft4
- [sv-ac] alignment with Draft 3a
- [sv-ac] All mantis items should show the Ballot ID
- [sv-ac] All Slides from the 28 February 2003 SV face-to-face.
- [sv-ac] Alternative proposal for NBA assignment
- [sv-ac] alternative proposal to "syn1": remove binary delay
- [sv-ac] Ambiguity in cycle_delay_range (BNF)
- [sv-ac] Ambiguous return value for $past
- [sv-ac] Amended version of 3213 uploaded
- [sv-ac] an example for discussion of 1668
- [sv-ac] An opinion on convenience requirements
- [sv-ac] and, or, intersect
- [sv-ac] Annex F document for 1549
- [sv-ac] Annex F proposal for 1668 updated
- [sv-ac] Annex H change for 269
- [sv-ac] Annex H Errata
- [sv-ac] Annex H of Draft 4
- [sv-ac] another small flaw in 1549 Annex F
- [sv-ac] Answers to Question on Some Members of IEEEE
- [sv-ac] Appointment of Chairs For SystemVerilog Basic Committee
- [sv-ac] Appointment of Johny Srouji from Intel As Chairman of SV basic co mmittee
- [sv-ac] Approved SV-AC items
- [sv-ac] are we ready to vote on 1737?
- [sv-ac] Are We Working in Vain?
- [sv-ac] arguments for system functions
- [sv-ac] arguments passing
- [sv-ac] Arrangement For SV Committee Meeting On September 17.
- [sv-ac] assert inside fork....join
- [sv-ac] Assertion action control system tasks - for assume and cover
- [sv-ac] assertion action control tasks
- [sv-ac] assertion allowed variables
- [sv-ac] Assertion API from SV-CC
- [sv-ac] assertion clock inference example with comment contradicts the given rules ?
- [sv-ac] assertion clock inferrence example with comment contradicts the given rules ?
- [sv-ac] Assertion clocks in checkers
- [sv-ac] Assertion control question
- [sv-ac] assertion control system tasks
- [sv-ac] assertion control system tasks for checker/endchecker
- [sv-ac] assertion queue question
- [sv-ac] Assertion technical issues.
- [sv-ac] Assertions & Covers in classes?
- [sv-ac] Assertions BNF draft - 3/26/03
- [sv-ac] Assertions BNF errata and PROPOSAL
- [sv-ac] assertions embedded in procedural code
- [sv-ac] Assertions System Function request for next SV Standard
- [sv-ac] Assume proposals.
- [sv-ac] Asynchronous techniques Versus Global Clock (Cycle based Semantic s)
- [sv-ac] attaching subroutines to sequences
- [sv-ac] Attendance counting clarification
- [sv-ac] Attendance spreadsheet
- [sv-ac] ATTN: Change to SV-AC Call in #
- [sv-ac] Authorization request
- [sv-ac] automatic variiables in clock expr // virtual interface
- [sv-ac] AV-AC erratum 1325 - reminde - vote by email
- [sv-ac] AW: [sv-ec] Comments to SystemVerilog_3.1a_draft6_clean Section 17 Assertions.doc
- [sv-ac] AW: response to review
- [sv-ac] ballot comment proposals
- [sv-ac] Ballot for remaining errata
- [sv-ac] Ballot for Remaining Extensions: 8, 10, 19
- [sv-ac] Ballot for SVAC Errata
- [sv-ac] Ballot issue 25 is not clear
- [sv-ac] Ballot issue list
- [sv-ac] Ballot issue resolution
- [sv-ac] Ballot issues concerning checkers
- [sv-ac] Ballot item 241 proposal
- [sv-ac] ballot on 1460
- [sv-ac] ballot on 1466
- [sv-ac] ballot on 1599
- [sv-ac] ballot on 1648
- [sv-ac] ballot on 1668
- [sv-ac] ballot on 1681
- [sv-ac] ballot on 1722
- [sv-ac] ballot on 1728
- [sv-ac] ballot on 1731
- [sv-ac] ballot on 1758
- [sv-ac] ballot on 1855
- [sv-ac] Ballot on 1900
- [sv-ac] ballot on mantis 1466
- [sv-ac] ballot on Mantis 1722
- [sv-ac] ballot on Mantis 1735
- [sv-ac] ballot on mantis 1737
- [sv-ac] ballot on motion regarding mantis 1728
- [sv-ac] ballot reminder
- [sv-ac] Ballot resolution meeting
- [sv-ac] Ballot response package posted
- [sv-ac] ballot result for 1549
- [sv-ac] ballot result for 1567
- [sv-ac] ballot result for 1641
- [sv-ac] ballot result for 1648
- [sv-ac] ballot result for 1682
- [sv-ac] ballot result for 1683
- [sv-ac] ballot result for 1698
- [sv-ac] ballot result for 1729
- [sv-ac] ballot result for 1731
- [sv-ac] ballot result for 1756
- [sv-ac] ballot result for 1757
- [sv-ac] ballot result for 1769
- [sv-ac] ballot result for 1900
- [sv-ac] ballot result for 1901
- [sv-ac] ballot result for 1932
- [sv-ac] ballot result for 1987
- [sv-ac] ballot result for 1995
- [sv-ac] ballot result for 2005
- [sv-ac] ballot result for 2088
- [sv-ac] ballot result for 2089
- [sv-ac] ballot result for 2090
- [sv-ac] ballot result for 2110
- [sv-ac] ballot result for 2150
- [sv-ac] ballot result for 2173
- [sv-ac] ballot result for 2182
- [sv-ac] ballot result on 1494
- [sv-ac] ballot result on 1601
- [sv-ac] ballot result on 1667
- [sv-ac] ballot result on 1682
- [sv-ac] ballot result on 1686
- [sv-ac] ballot result on 1698
- [sv-ac] ballot result on 1737
- [sv-ac] ballot result on 1769
- [sv-ac] ballot result on 1830
- [sv-ac] ballot result on 1900
- [sv-ac] ballot result on 1900 -- revised
- [sv-ac] ballot result on 1901
- [sv-ac] ballot result on 1932.
- [sv-ac] ballot result on 1987
- [sv-ac] ballot result on 2005
- [sv-ac] Ballot result on 2069
- [sv-ac] ballot result on 2088
- [sv-ac] ballot result on 2089
- [sv-ac] ballot result on 2091
- [sv-ac] ballot result on 2110
- [sv-ac] ballot result on 2150
- [sv-ac] ballot result on 2168
- [sv-ac] ballot result on 2173
- [sv-ac] Ballot result on 2237
- [sv-ac] ballot result on 2250
- [sv-ac] ballot results
- [sv-ac] Ballot results (1503)
- [sv-ac] ballot results (correction)
- [sv-ac] ballot results (resent)
- [sv-ac] ballot results 2069
- [sv-ac] ballot results for 1543 and 1567
- [sv-ac] ballot results for 1682
- [sv-ac] ballot results on 1199 and 1800
- [sv-ac] ballot results on 2173
- [sv-ac] Ballot results on 2327
- [sv-ac] ballots on 1900, 2088 fouled
- [sv-ac] Behaviour of $past under "disable iff"
- [sv-ac] bind clarificatiions
- [sv-ac] bind statement
- [sv-ac] bind_directive BNF
- [sv-ac] Blocking actions in an attached task call
- [sv-ac] blocking assignments
- Korchemny, Dmitry (Mon Nov 13 2006 - 03:12:44 PST)
- Bresticker, Shalom (Mon Nov 13 2006 - 03:06:44 PST)
- Korchemny, Dmitry (Sun Nov 12 2006 - 23:08:07 PST)
- dbustan (Sun Nov 12 2006 - 13:58:15 PST)
- Korchemny, Dmitry (Sun Nov 12 2006 - 05:53:12 PST)
- Korchemny, Dmitry (Sun Nov 12 2006 - 05:40:54 PST)
- Doron Bustan (Wed Nov 08 2006 - 14:27:34 PST)
- Arturo Salz (Wed Nov 08 2006 - 13:54:12 PST)
- Maidment, Matthew R (Wed Nov 08 2006 - 13:47:28 PST)
- Doron Bustan (Wed Nov 08 2006 - 13:37:23 PST)
- Maidment, Matthew R (Wed Nov 08 2006 - 13:03:29 PST)
- Doron Bustan (Wed Nov 08 2006 - 11:19:55 PST)
- Rich, Dave (Wed Nov 08 2006 - 06:06:58 PST)
- Korchemny, Dmitry (Wed Nov 08 2006 - 06:03:11 PST)
- Rich, Dave (Wed Nov 08 2006 - 05:56:43 PST)
- Korchemny, Dmitry (Wed Nov 08 2006 - 02:57:38 PST)
- Doron Bustan (Tue Nov 07 2006 - 14:26:23 PST)
- [sv-ac] blocking assignments]
- [sv-ac] BNF and Draft 4 LRM changes
- [sv-ac] BNF Change tracking
- [sv-ac] BNF definition of ## concatenation
- [sv-ac] BNF for calls to $rose and other sample value system functions
- [sv-ac] BNF issue with concurrent_assert_item.
- [sv-ac] BNF questions.
- [sv-ac] BNF work and status
- [sv-ac] boolean implication
- [sv-ac] Bridge # reminder
- [sv-ac] Bridge connection problem
- [sv-ac] Bridge info
- [sv-ac] Bridge info for today's meeting??
- [sv-ac] brief review of 2173
- [sv-ac] Bug in 16.13.6 example
- [sv-ac] bug in draft3
- [sv-ac] Cadence Negative Ballot Comment on SystemVerilog 3.1
- [sv-ac] Cadence Technical Analysis of System Verilog
- [sv-ac] calendar items
- [sv-ac] call for email ballot on 1460
- [sv-ac] call for email ballot on 1550
- [sv-ac] call for email vote on 1591
- [sv-ac] call for email vote on 1601
- [sv-ac] call for email vote on 1722
- [sv-ac] call for email vote on mantis 1735
- [sv-ac] call for email vote on motion regarding Mantis 1728
- [sv-ac] Call for Nominations for the 2008 Accellera Technical Excellence Award
- [sv-ac] call for participation in SV-DC
- [sv-ac] call for vote on 1601
- [sv-ac] call for vote on mantis 1460
- [sv-ac] call for vote on mantis 1543
- [sv-ac] call for vote on mantis 1567
- [sv-ac] call to revote on 1681
- [sv-ac] call to vote on 1466
- [sv-ac] call to vote on 1494
- [sv-ac] call to vote on 1503
- [sv-ac] call to vote on 1533
- [sv-ac] call to vote on 1549
- Korchemny, Dmitry (Tue Nov 27 2007 - 03:18:01 PST)
- Thomas Thatcher (Mon Nov 26 2007 - 10:43:16 PST)
- Kulshrestha, Manisha (Mon Nov 26 2007 - 01:44:33 PST)
- Eduard Cerny (Wed Nov 21 2007 - 07:34:45 PST)
- Bustan, Doron (Tue Nov 20 2007 - 22:40:47 PST)
- John Havlicek (Tue Nov 20 2007 - 12:47:42 PST)
- Korchemny, Dmitry (Tue Oct 23 2007 - 11:55:35 PDT)
- Kulshrestha, Manisha (Tue Oct 23 2007 - 11:37:42 PDT)
- Johan Mårtensson (Tue Oct 23 2007 - 01:15:35 PDT)
- Bustan, Doron (Sun Oct 21 2007 - 07:12:38 PDT)
- Lisa Piper (Wed Oct 17 2007 - 12:23:17 PDT)
- Korchemny, Dmitry (Wed Oct 17 2007 - 12:16:11 PDT)
- John Havlicek (Wed Oct 17 2007 - 12:14:02 PDT)
- Korchemny, Dmitry (Wed Oct 17 2007 - 11:54:48 PDT)
- Kulshrestha, Manisha (Wed Oct 17 2007 - 11:40:34 PDT)
- John Havlicek (Tue Oct 16 2007 - 16:46:19 PDT)
- Bresticker, Shalom (Mon Aug 20 2007 - 05:40:47 PDT)
- John Havlicek (Mon Aug 20 2007 - 05:32:08 PDT)
- Bresticker, Shalom (Mon Aug 20 2007 - 00:37:31 PDT)
- Brad Pierce (Mon Aug 20 2007 - 00:08:06 PDT)
- Bresticker, Shalom (Sun Aug 19 2007 - 23:41:33 PDT)
- Brad Pierce (Sun Aug 19 2007 - 23:37:53 PDT)
- Bresticker, Shalom (Sun Aug 19 2007 - 22:56:12 PDT)
- Bresticker, Shalom (Sun Aug 19 2007 - 19:29:43 PDT)
- John Havlicek (Sun Aug 19 2007 - 15:10:14 PDT)
- Bresticker, Shalom (Sun Aug 19 2007 - 04:29:05 PDT)
- Bresticker, Shalom (Sun Aug 19 2007 - 01:57:00 PDT)
- Bustan, Doron (Sat Aug 18 2007 - 22:01:57 PDT)
- Lisa Piper (Fri Aug 17 2007 - 19:38:48 PDT)
- Lisa Piper (Fri Aug 17 2007 - 13:59:52 PDT)
- Korchemny, Dmitry (Fri Aug 17 2007 - 11:39:38 PDT)
- Lisa Piper (Fri Aug 17 2007 - 10:24:24 PDT)
- Korchemny, Dmitry (Fri Aug 17 2007 - 09:51:14 PDT)
- John Havlicek (Fri Aug 17 2007 - 04:32:25 PDT)
- John Havlicek (Fri Aug 17 2007 - 04:17:13 PDT)
- Lisa Piper (Thu Aug 16 2007 - 20:32:18 PDT)
- Lisa Piper (Thu Aug 16 2007 - 20:32:18 PDT)
- Lisa Piper (Thu Aug 16 2007 - 20:32:21 PDT)
- Bresticker, Shalom (Wed Aug 15 2007 - 23:15:58 PDT)
- Bassam Tabbara (Wed Aug 15 2007 - 07:43:34 PDT)
- Bustan, Doron (Wed Aug 15 2007 - 04:24:35 PDT)
- John Havlicek (Wed Aug 15 2007 - 04:04:52 PDT)
- Bustan, Doron (Wed Aug 15 2007 - 00:34:26 PDT)
- Bustan, Doron (Tue Aug 14 2007 - 23:02:11 PDT)
- Bassam Tabbara (Tue Aug 14 2007 - 15:02:25 PDT)
- Korchemny, Dmitry (Tue Aug 14 2007 - 12:15:18 PDT)
- Bresticker, Shalom (Tue Aug 14 2007 - 10:15:52 PDT)
- Fais Yaniv (Tue Aug 14 2007 - 08:25:35 PDT)
- Lisa Piper (Tue Aug 14 2007 - 07:38:20 PDT)
- Eduard Cerny (Mon Aug 13 2007 - 06:29:10 PDT)
- Bustan, Doron (Mon Aug 13 2007 - 06:28:44 PDT)
- John Havlicek (Mon Aug 13 2007 - 06:21:34 PDT)
- [sv-ac] call to vote on 1550
- [sv-ac] call to vote on 1567
- [sv-ac] call to vote on 1601
- [sv-ac] call to vote on 1641
- [sv-ac] call to vote on 1648
- [sv-ac] call to vote on 1667
- [sv-ac] call to vote on 1668
- [sv-ac] call to vote on 1681
- [sv-ac] call to vote on 1682
- Korchemny, Dmitry (Sat Dec 22 2007 - 15:24:08 PST)
- Kulshrestha, Manisha (Fri Dec 21 2007 - 02:32:18 PST)
- Thomas Thatcher (Wed Dec 19 2007 - 10:50:50 PST)
- Korchemny, Dmitry (Wed Dec 19 2007 - 08:47:03 PST)
- Seligman, Erik (Wed Dec 19 2007 - 08:17:10 PST)
- Korchemny, Dmitry (Tue Dec 18 2007 - 23:37:10 PST)
- John Havlicek (Tue Dec 18 2007 - 17:51:03 PST)
- Thomas Thatcher (Mon Dec 17 2007 - 14:43:50 PST)
- Korchemny, Dmitry (Mon Dec 17 2007 - 08:20:28 PST)
- John Havlicek (Mon Dec 17 2007 - 06:48:20 PST)
- Korchemny, Dmitry (Mon Dec 17 2007 - 03:31:46 PST)
- Kulshrestha, Manisha (Mon Dec 17 2007 - 03:21:01 PST)
- Korchemny, Dmitry (Mon Dec 17 2007 - 03:01:41 PST)
- Kulshrestha, Manisha (Mon Dec 17 2007 - 02:16:55 PST)
- Kulshrestha, Manisha (Sun Dec 16 2007 - 23:02:40 PST)
- Korchemny, Dmitry (Sun Dec 16 2007 - 04:41:21 PST)
- Bustan, Doron (Sun Dec 16 2007 - 04:33:39 PST)
- Korchemny, Dmitry (Sun Dec 16 2007 - 04:07:57 PST)
- Fais Yaniv (Sun Dec 16 2007 - 03:57:32 PST)
- Korchemny, Dmitry (Sat Dec 15 2007 - 22:59:49 PST)
- Lisa Piper (Sat Dec 15 2007 - 10:48:08 PST)
- John Havlicek (Thu Dec 13 2007 - 07:05:08 PST)
- Korchemny, Dmitry (Mon Nov 05 2007 - 06:11:02 PST)
- Kulshrestha, Manisha (Thu Nov 01 2007 - 09:44:39 PDT)
- Korchemny, Dmitry (Thu Nov 01 2007 - 09:10:55 PDT)
- Korchemny, Dmitry (Tue Oct 30 2007 - 07:14:30 PDT)
- Bustan, Doron (Mon Oct 29 2007 - 23:52:55 PDT)
- Kulshrestha, Manisha (Mon Oct 29 2007 - 23:54:25 PDT)
- Thomas Thatcher (Mon Oct 29 2007 - 22:52:45 PDT)
- Korchemny, Dmitry (Mon Oct 29 2007 - 10:10:21 PDT)
- Bustan, Doron (Mon Oct 29 2007 - 04:12:28 PDT)
- Korchemny, Dmitry (Wed Oct 24 2007 - 12:15:30 PDT)
- Feldman, Yulik (Tue Oct 23 2007 - 23:57:06 PDT)
- John Havlicek (Tue Oct 23 2007 - 17:50:59 PDT)
- Korchemny, Dmitry (Thu Oct 11 2007 - 10:06:33 PDT)
- Lisa Piper (Wed Oct 10 2007 - 12:48:23 PDT)
- Korchemny, Dmitry (Tue Oct 09 2007 - 06:10:32 PDT)
- Thomas Thatcher (Mon Oct 01 2007 - 13:28:26 PDT)
- John Havlicek (Sun Sep 30 2007 - 07:56:49 PDT)
- Fais Yaniv-RM96496 (Sun Sep 30 2007 - 07:08:10 PDT)
- Bustan, Doron (Sun Sep 30 2007 - 06:11:28 PDT)
- Eduard Cerny (Sun Sep 30 2007 - 05:12:22 PDT)
- Bustan, Doron (Sun Sep 30 2007 - 01:56:40 PDT)
- Korchemny, Dmitry (Thu Sep 27 2007 - 10:40:29 PDT)
- Eduard Cerny (Wed Sep 26 2007 - 07:08:35 PDT)
- John Havlicek (Tue Sep 25 2007 - 12:34:09 PDT)
- [sv-ac] call to vote on 1683
- [sv-ac] call to vote on 1686
- [sv-ac] call to vote on 1698
- Korchemny, Dmitry (Mon Feb 25 2008 - 20:25:28 PST)
- Fais Yaniv (Thu Feb 21 2008 - 05:49:36 PST)
- Korchemny, Dmitry (Thu Feb 21 2008 - 04:27:46 PST)
- Bustan, Doron (Wed Feb 20 2008 - 22:38:30 PST)
- John Havlicek (Mon Feb 18 2008 - 07:17:16 PST)
- Korchemny, Dmitry (Sun Feb 17 2008 - 08:48:39 PST)
- Korchemny, Dmitry (Sun Feb 17 2008 - 08:12:19 PST)
- Jonathan Bromley (Sun Feb 17 2008 - 07:08:08 PST)
- Eduard Cerny (Sun Feb 17 2008 - 06:54:13 PST)
- Jonathan Bromley (Sun Feb 17 2008 - 01:44:56 PST)
- Bresticker, Shalom (Sat Feb 16 2008 - 23:10:32 PST)
- Jonathan Bromley (Sat Feb 16 2008 - 09:01:02 PST)
- Thomas Thatcher (Fri Feb 15 2008 - 18:11:46 PST)
- Bustan, Doron (Wed Feb 13 2008 - 07:16:06 PST)
- John Havlicek (Wed Feb 13 2008 - 03:46:51 PST)
- Eduard Cerny (Tue Jan 29 2008 - 06:53:23 PST)
- Kulshrestha, Manisha (Mon Jan 28 2008 - 22:19:47 PST)
- Fais Yaniv (Mon Jan 28 2008 - 05:28:27 PST)
- Korchemny, Dmitry (Sun Jan 27 2008 - 08:02:27 PST)
- Thomas Thatcher (Fri Jan 25 2008 - 14:08:05 PST)
- Eduard Cerny (Thu Jan 24 2008 - 10:58:42 PST)
- Seligman, Erik (Thu Jan 24 2008 - 10:51:49 PST)
- John Havlicek (Wed Jan 23 2008 - 19:09:44 PST)
- [sv-ac] Call to vote on 1722
- [sv-ac] call to vote on 1728
- Fais Yaniv (Sun Dec 02 2007 - 05:30:50 PST)
- Thomas Thatcher (Thu Nov 29 2007 - 11:14:01 PST)
- Lisa Piper (Wed Nov 28 2007 - 11:03:07 PST)
- Korchemny, Dmitry (Wed Nov 28 2007 - 10:50:39 PST)
- Lisa Piper (Wed Nov 28 2007 - 06:03:38 PST)
- Johan Mårtensson (Wed Nov 28 2007 - 05:36:11 PST)
- Bustan, Doron (Tue Nov 27 2007 - 23:44:51 PST)
- Korchemny, Dmitry (Tue Nov 27 2007 - 14:11:01 PST)
- Korchemny, Dmitry (Tue Nov 27 2007 - 14:08:37 PST)
- Thomas Thatcher (Mon Nov 19 2007 - 17:51:58 PST)
- Korchemny, Dmitry (Thu Nov 15 2007 - 06:07:06 PST)
- Bustan, Doron (Thu Nov 15 2007 - 05:33:12 PST)
- Bassam Tabbara (Tue Nov 13 2007 - 19:25:01 PST)
- Eduard Cerny (Tue Nov 13 2007 - 19:12:08 PST)
- John Havlicek (Tue Nov 13 2007 - 18:17:57 PST)
- Bustan, Doron (Sun Sep 30 2007 - 23:06:05 PDT)
- Kulshrestha, Manisha (Thu Sep 27 2007 - 22:48:31 PDT)
- Lisa Piper (Thu Sep 27 2007 - 14:48:38 PDT)
- Korchemny, Dmitry (Thu Sep 27 2007 - 12:40:33 PDT)
- Lisa Piper (Thu Sep 27 2007 - 12:21:06 PDT)
- Korchemny, Dmitry (Thu Sep 27 2007 - 10:40:07 PDT)
- Korchemny, Dmitry (Thu Sep 27 2007 - 10:38:40 PDT)
- Thomas Thatcher (Wed Sep 26 2007 - 17:52:43 PDT)
- Eduard Cerny (Wed Sep 26 2007 - 07:08:23 PDT)
- John Havlicek (Tue Sep 25 2007 - 12:31:07 PDT)
- Korchemny, Dmitry (Fri Sep 21 2007 - 04:07:36 PDT)
- Kulshrestha, Manisha (Thu Sep 20 2007 - 23:09:44 PDT)
- Korchemny, Dmitry (Thu Sep 20 2007 - 07:50:32 PDT)
- Kulshrestha, Manisha (Wed Sep 19 2007 - 10:48:10 PDT)
- Korchemny, Dmitry (Tue Sep 18 2007 - 02:20:33 PDT)
- Korchemny, Dmitry (Tue Sep 18 2007 - 01:46:29 PDT)
- Kulshrestha, Manisha (Mon Sep 17 2007 - 10:50:49 PDT)
- Kulshrestha, Manisha (Mon Sep 17 2007 - 09:53:16 PDT)
- Korchemny, Dmitry (Mon Sep 17 2007 - 06:50:08 PDT)
- Kulshrestha, Manisha (Mon Sep 17 2007 - 04:38:35 PDT)
- Kulshrestha, Manisha (Mon Sep 17 2007 - 03:50:33 PDT)
- Bresticker, Shalom (Mon Sep 17 2007 - 03:49:40 PDT)
- Korchemny, Dmitry (Mon Sep 17 2007 - 03:45:34 PDT)
- Kulshrestha, Manisha (Mon Sep 17 2007 - 03:36:32 PDT)
- Korchemny, Dmitry (Sun Sep 16 2007 - 09:55:26 PDT)
- Korchemny, Dmitry (Sun Sep 16 2007 - 09:31:32 PDT)
- Bustan, Doron (Sun Sep 16 2007 - 03:52:09 PDT)
- Bresticker, Shalom (Sat Sep 15 2007 - 23:09:30 PDT)
- Lisa Piper (Thu Sep 13 2007 - 11:05:03 PDT)
- John Havlicek (Wed Sep 12 2007 - 10:34:56 PDT)
- [sv-ac] call to vote on 1728: vote YES with friendly amendment to preamble
- [sv-ac] call to vote on 1729
- [sv-ac] call to vote on 1731
- [sv-ac] call to vote on 1737
- [sv-ac] call to vote on 1756
- [sv-ac] call to vote on 1757
- Bustan, Doron (Sat Dec 01 2007 - 22:27:35 PST)
- Lisa Piper (Thu Nov 29 2007 - 10:57:59 PST)
- Thomas Thatcher (Wed Nov 28 2007 - 16:51:23 PST)
- Bustan, Doron (Tue Nov 27 2007 - 23:35:56 PST)
- Korchemny, Dmitry (Tue Nov 27 2007 - 14:20:12 PST)
- Korchemny, Dmitry (Tue Nov 27 2007 - 14:19:06 PST)
- Bustan, Doron (Tue Nov 27 2007 - 02:52:52 PST)
- Korchemny, Dmitry (Mon Nov 26 2007 - 23:31:45 PST)
- Bustan, Doron (Mon Nov 26 2007 - 23:01:06 PST)
- Korchemny, Dmitry (Mon Nov 26 2007 - 22:44:25 PST)
- Thomas Thatcher (Mon Nov 26 2007 - 11:01:08 PST)
- Bustan, Doron (Mon Nov 26 2007 - 06:47:38 PST)
- Kulshrestha, Manisha (Mon Nov 26 2007 - 02:29:57 PST)
- Korchemny, Dmitry (Sun Nov 25 2007 - 01:23:17 PST)
- John Havlicek (Thu Nov 22 2007 - 08:46:40 PST)
- Bustan, Doron (Thu Nov 22 2007 - 06:53:43 PST)
- Bustan, Doron (Thu Nov 22 2007 - 06:43:42 PST)
- Johan Mårtensson (Thu Nov 22 2007 - 06:37:06 PST)
- Eduard Cerny (Thu Nov 22 2007 - 06:26:46 PST)
- Bustan, Doron (Thu Nov 22 2007 - 06:08:48 PST)
- Korchemny, Dmitry (Thu Nov 22 2007 - 05:23:45 PST)
- Johan Mårtensson (Thu Nov 22 2007 - 05:21:21 PST)
- Bustan, Doron (Thu Nov 22 2007 - 04:45:02 PST)
- Johan Mårtensson (Thu Nov 22 2007 - 02:29:53 PST)
- Bustan, Doron (Wed Nov 21 2007 - 22:24:52 PST)
- Eduard Cerny (Wed Nov 21 2007 - 07:30:15 PST)
- Bustan, Doron (Tue Nov 20 2007 - 22:40:16 PST)
- John Havlicek (Tue Nov 20 2007 - 12:52:00 PST)
- Thomas Thatcher (Mon Nov 05 2007 - 16:54:20 PST)
- Lisa Piper (Mon Nov 05 2007 - 10:44:15 PST)
- Johan Mårtensson (Mon Nov 05 2007 - 06:06:52 PST)
- Korchemny, Dmitry (Sun Nov 04 2007 - 01:55:57 PDT)
- Bustan, Doron (Sun Nov 04 2007 - 01:12:26 PDT)
- Korchemny, Dmitry (Sun Nov 04 2007 - 00:19:36 PDT)
- Bustan, Doron (Mon Oct 29 2007 - 23:45:27 PDT)
- John Havlicek (Mon Oct 29 2007 - 10:23:48 PDT)
- Bustan, Doron (Sun Oct 21 2007 - 04:22:48 PDT)
- John Havlicek (Wed Oct 17 2007 - 04:36:14 PDT)
- Bustan, Doron (Wed Oct 17 2007 - 02:59:25 PDT)
- Johan Martensson (Wed Oct 17 2007 - 02:48:19 PDT)
- Bustan, Doron (Wed Oct 17 2007 - 02:17:50 PDT)
- Johan Mårtensson (Wed Oct 17 2007 - 01:04:01 PDT)
- Bassam Tabbara (Tue Oct 16 2007 - 18:21:45 PDT)
- Kulshrestha, Manisha (Tue Oct 16 2007 - 15:03:08 PDT)
- Bustan, Doron (Sun Oct 14 2007 - 05:10:10 PDT)
- Lisa Piper (Thu Oct 11 2007 - 10:35:26 PDT)
- Bustan, Doron (Thu Oct 11 2007 - 01:12:30 PDT)
- Bassam Tabbara (Thu Oct 11 2007 - 00:48:34 PDT)
- Bustan, Doron (Wed Oct 10 2007 - 23:05:49 PDT)
- John Havlicek (Wed Oct 10 2007 - 18:53:30 PDT)
- [sv-ac] call to vote on 1758
- Johan Mårtensson (Wed Oct 17 2007 - 08:41:48 PDT)
- Fais Yaniv-RM96496 (Wed Oct 17 2007 - 00:46:42 PDT)
- Kulshrestha, Manisha (Tue Oct 16 2007 - 15:55:31 PDT)
- Lisa Piper (Tue Oct 16 2007 - 11:41:39 PDT)
- Korchemny, Dmitry (Fri Oct 12 2007 - 07:49:45 PDT)
- Bustan, Doron (Thu Oct 11 2007 - 09:02:08 PDT)
- John Havlicek (Thu Oct 11 2007 - 04:51:46 PDT)
- Korchemny, Dmitry (Thu Oct 11 2007 - 04:18:47 PDT)
- Korchemny, Dmitry (Thu Oct 11 2007 - 04:15:35 PDT)
- Bustan, Doron (Thu Oct 11 2007 - 00:24:29 PDT)
- John Havlicek (Wed Oct 10 2007 - 19:11:13 PDT)
- Johan Mårtensson (Wed Oct 03 2007 - 02:55:39 PDT)
- Fais Yaniv-RM96496 (Tue Oct 02 2007 - 00:46:51 PDT)
- Bresticker, Shalom (Fri Sep 28 2007 - 04:39:35 PDT)
- Kulshrestha, Manisha (Thu Sep 27 2007 - 22:41:19 PDT)
- Lisa Piper (Thu Sep 27 2007 - 14:46:16 PDT)
- Korchemny, Dmitry (Thu Sep 27 2007 - 10:39:36 PDT)
- Thomas Thatcher (Wed Sep 26 2007 - 17:07:45 PDT)
- Bustan, Doron (Tue Sep 25 2007 - 23:13:00 PDT)
- John Havlicek (Tue Sep 25 2007 - 12:13:28 PDT)
- [sv-ac] call to vote on 1758 - from Doron
- [sv-ac] call to vote on 1758 - updated porposal with the amendment.
- [sv-ac] call to vote on 1769
- Eduard Cerny (Thu Mar 06 2008 - 13:23:33 PST)
- John Havlicek (Thu Mar 06 2008 - 10:41:18 PST)
- Fais Yaniv (Thu Mar 06 2008 - 07:37:22 PST)
- Lisa Piper (Thu Mar 06 2008 - 04:54:52 PST)
- Bustan, Doron (Wed Mar 05 2008 - 22:19:32 PST)
- Kulshrestha, Manisha (Wed Mar 05 2008 - 21:02:12 PST)
- Thomas Thatcher (Wed Mar 05 2008 - 18:10:34 PST)
- Eduard Cerny (Wed Mar 05 2008 - 06:28:36 PST)
- Korchemny, Dmitry (Tue Mar 04 2008 - 17:17:31 PST)
- Brad Pierce (Sun Feb 24 2008 - 10:51:42 PST)
- Bresticker, Shalom (Sun Feb 24 2008 - 01:09:30 PST)
- Brad Pierce (Sat Feb 23 2008 - 11:56:04 PST)
- Thomas Thatcher (Fri Feb 22 2008 - 10:44:24 PST)
- Brad Pierce (Fri Feb 22 2008 - 10:12:32 PST)
- Thomas Thatcher (Fri Feb 22 2008 - 09:37:47 PST)
- Kulshrestha, Manisha (Fri Feb 22 2008 - 09:45:29 PST)
- Thomas Thatcher (Fri Feb 22 2008 - 08:52:48 PST)
- John Havlicek (Thu Feb 21 2008 - 09:19:24 PST)
- Kulshrestha, Manisha (Mon Jan 28 2008 - 22:28:07 PST)
- Eduard Cerny (Mon Jan 28 2008 - 09:05:56 PST)
- Korchemny, Dmitry (Mon Jan 28 2008 - 00:06:10 PST)
- Fais Yaniv (Sat Jan 26 2008 - 23:47:39 PST)
- Thomas Thatcher (Fri Jan 25 2008 - 14:18:20 PST)
- John Havlicek (Wed Jan 23 2008 - 19:12:56 PST)
- Thomas Thatcher (Mon Jan 21 2008 - 22:14:18 PST)
- Lisa Piper (Mon Jan 21 2008 - 15:35:29 PST)
- Eduard Cerny (Mon Jan 21 2008 - 14:47:56 PST)
- Lisa Piper (Mon Jan 21 2008 - 14:38:16 PST)
- Eduard Cerny (Mon Jan 21 2008 - 14:06:01 PST)
- Lisa Piper (Mon Jan 21 2008 - 13:15:43 PST)
- Eduard Cerny (Mon Jan 21 2008 - 11:09:56 PST)
- Kulshrestha, Manisha (Mon Jan 21 2008 - 08:59:31 PST)
- Eduard Cerny (Mon Jan 21 2008 - 07:26:14 PST)
- Fais Yaniv (Mon Jan 21 2008 - 01:24:44 PST)
- Korchemny, Dmitry (Mon Jan 21 2008 - 00:44:29 PST)
- Bustan, Doron (Thu Jan 17 2008 - 07:41:20 PST)
- John Havlicek (Tue Jan 15 2008 - 18:10:33 PST)
- [sv-ac] call to vote on 1800
- [sv-ac] call to vote on 1806
- [sv-ac] call to vote on 1806 - restrict property
- [sv-ac] call to vote on 1830
- [sv-ac] call to vote on 1855
- [sv-ac] call to vote on 1898
- [sv-ac] call to vote on 1900
- Korchemny, Dmitry (Mon Feb 25 2008 - 19:55:44 PST)
- Korchemny, Dmitry (Mon Feb 25 2008 - 17:01:48 PST)
- Neil Korpusik (Sat Feb 23 2008 - 17:09:15 PST)
- Thomas Thatcher (Thu Feb 21 2008 - 18:12:19 PST)
- John Havlicek (Thu Feb 21 2008 - 09:22:36 PST)
- Bassam Tabbara (Mon Feb 18 2008 - 11:44:59 PST)
- Bassam Tabbara (Mon Feb 18 2008 - 08:00:03 PST)
- Bustan, Doron (Mon Feb 18 2008 - 01:12:46 PST)
- Fais Yaniv (Sun Feb 17 2008 - 02:03:46 PST)
- Bassam Tabbara (Sat Feb 16 2008 - 08:30:20 PST)
- John Havlicek (Wed Feb 13 2008 - 03:06:01 PST)
- Thomas Thatcher (Mon Jan 21 2008 - 22:35:39 PST)
- Korchemny, Dmitry (Mon Jan 21 2008 - 06:46:13 PST)
- Bustan, Doron (Wed Jan 16 2008 - 22:24:14 PST)
- Korchemny, Dmitry (Wed Jan 16 2008 - 05:31:34 PST)
- John Havlicek (Wed Jan 16 2008 - 05:00:39 PST)
- Lisa Piper (Tue Jan 15 2008 - 14:52:53 PST)
- Korchemny, Dmitry (Tue Jan 15 2008 - 03:59:34 PST)
- Kulshrestha, Manisha (Mon Jan 14 2008 - 23:48:07 PST)
- Thomas Thatcher (Mon Jan 14 2008 - 18:30:49 PST)
- Korchemny, Dmitry (Wed Jan 09 2008 - 08:25:37 PST)
- John Havlicek (Wed Jan 09 2008 - 04:18:19 PST)
- Korchemny, Dmitry (Tue Jan 08 2008 - 03:30:29 PST)
- Korchemny, Dmitry (Tue Jan 08 2008 - 03:37:08 PST)
- Bresticker, Shalom (Tue Jan 08 2008 - 03:34:22 PST)
- Bresticker, Shalom (Tue Jan 08 2008 - 02:40:09 PST)
- Thomas Thatcher (Mon Jan 07 2008 - 17:25:26 PST)
- John Havlicek (Mon Dec 31 2007 - 08:58:29 PST)
- Korchemny, Dmitry (Wed Dec 19 2007 - 04:16:16 PST)
- Korchemny, Dmitry (Wed Dec 19 2007 - 03:43:52 PST)
- Korchemny, Dmitry (Wed Dec 19 2007 - 03:42:48 PST)
- Kulshrestha, Manisha (Wed Dec 19 2007 - 01:06:03 PST)
- Korchemny, Dmitry (Wed Dec 19 2007 - 00:33:06 PST)
- Bresticker, Shalom (Wed Dec 19 2007 - 00:29:28 PST)
- Korchemny, Dmitry (Wed Dec 19 2007 - 00:20:07 PST)
- Bresticker, Shalom (Wed Dec 19 2007 - 00:48:07 PST)
- Bresticker, Shalom (Wed Dec 19 2007 - 00:13:55 PST)
- Korchemny, Dmitry (Tue Dec 18 2007 - 23:36:34 PST)
- Korchemny, Dmitry (Tue Dec 18 2007 - 23:18:09 PST)
- Bustan, Doron (Tue Dec 18 2007 - 07:50:29 PST)
- Bustan, Doron (Mon Dec 17 2007 - 23:27:18 PST)
- Kulshrestha, Manisha (Mon Dec 17 2007 - 22:59:45 PST)
- Korchemny, Dmitry (Mon Dec 17 2007 - 04:04:04 PST)
- John Havlicek (Wed Dec 12 2007 - 16:48:46 PST)
- Korchemny, Dmitry (Wed Nov 14 2007 - 23:40:58 PST)
- Korchemny, Dmitry (Wed Nov 14 2007 - 07:41:22 PST)
- Korchemny, Dmitry (Wed Nov 14 2007 - 07:41:20 PST)
- Korchemny, Dmitry (Wed Nov 14 2007 - 07:41:08 PST)
- Fais Yaniv (Wed Nov 14 2007 - 07:13:30 PST)
- Seligman, Erik (Wed Nov 14 2007 - 06:54:54 PST)
- Bresticker, Shalom (Wed Nov 14 2007 - 01:49:05 PST)
- Fais Yaniv (Tue Nov 13 2007 - 22:57:20 PST)
- Kulshrestha, Manisha (Tue Nov 13 2007 - 21:11:01 PST)
- Thomas Thatcher (Tue Nov 13 2007 - 14:44:16 PST)
- Bresticker, Shalom (Tue Nov 13 2007 - 12:23:06 PST)
- Fais Yaniv-RM96496 (Tue Nov 13 2007 - 07:53:26 PST)
- Bresticker, Shalom (Tue Nov 13 2007 - 02:31:33 PST)
- Thomas Thatcher (Mon Nov 12 2007 - 17:43:31 PST)
- John Havlicek (Tue Nov 06 2007 - 12:05:52 PST)
- [sv-ac] call to vote on 1901
- [sv-ac] call to vote on 1932
- [sv-ac] call to vote on 1987
- [sv-ac] call to vote on 1995
- [sv-ac] call to vote on 2005
- Korchemny, Dmitry (Mon Jan 28 2008 - 08:26:22 PST)
- Seligman, Erik (Mon Jan 28 2008 - 08:23:02 PST)
- Korchemny, Dmitry (Mon Jan 28 2008 - 05:57:28 PST)
- Bustan, Doron (Mon Jan 28 2008 - 05:52:15 PST)
- Thomas Thatcher (Fri Jan 25 2008 - 15:18:18 PST)
- John Havlicek (Thu Jan 24 2008 - 10:17:47 PST)
- Neil Korpusik (Tue Jan 22 2008 - 18:40:21 PST)
- Warmke, Doug (Mon Jan 21 2008 - 17:34:04 PST)
- Seligman, Erik (Mon Jan 21 2008 - 16:11:45 PST)
- Lisa Piper (Mon Jan 21 2008 - 16:04:38 PST)
- Seligman, Erik (Mon Jan 21 2008 - 15:41:08 PST)
- Lisa Piper (Mon Jan 21 2008 - 15:24:18 PST)
- Seligman, Erik (Mon Jan 21 2008 - 14:50:32 PST)
- Lisa Piper (Mon Jan 21 2008 - 14:38:17 PST)
- Korchemny, Dmitry (Mon Jan 21 2008 - 00:10:13 PST)
- Bustan, Doron (Wed Jan 16 2008 - 23:57:21 PST)
- John Havlicek (Wed Jan 16 2008 - 17:25:16 PST)
- Seligman, Erik (Fri Dec 21 2007 - 07:17:47 PST)
- Kulshrestha, Manisha (Fri Dec 21 2007 - 01:29:04 PST)
- Bustan, Doron (Thu Dec 20 2007 - 07:13:14 PST)
- Thomas Thatcher (Wed Dec 19 2007 - 17:11:28 PST)
- John Havlicek (Tue Dec 18 2007 - 17:57:22 PST)
- Kulshrestha, Manisha (Mon Dec 17 2007 - 23:18:28 PST)
- Bustan, Doron (Mon Dec 17 2007 - 07:16:38 PST)
- Lisa Piper (Sun Dec 16 2007 - 11:53:41 PST)
- John Havlicek (Wed Dec 12 2007 - 16:52:02 PST)
- [sv-ac] call to vote on 2033
- [sv-ac] call to vote on 2069
- [sv-ac] call to vote on 2088
- [sv-ac] call to vote on 2089
- Thomas Thatcher (Wed Feb 27 2008 - 08:52:33 PST)
- Kulshrestha, Manisha (Tue Feb 26 2008 - 23:26:06 PST)
- Thomas Thatcher (Tue Feb 26 2008 - 17:12:05 PST)
- John Havlicek (Tue Feb 26 2008 - 14:58:44 PST)
- Bustan, Doron (Mon Feb 04 2008 - 00:57:31 PST)
- Thomas Thatcher (Fri Feb 01 2008 - 15:46:39 PST)
- Thomas Thatcher (Fri Feb 01 2008 - 15:39:46 PST)
- Korchemny, Dmitry (Wed Jan 30 2008 - 02:54:18 PST)
- John Havlicek (Tue Jan 29 2008 - 19:26:36 PST)
- Lisa Piper (Mon Jan 21 2008 - 09:20:03 PST)
- Fais Yaniv (Mon Jan 21 2008 - 02:00:44 PST)
- Korchemny, Dmitry (Mon Jan 21 2008 - 01:32:48 PST)
- Fais Yaniv (Mon Jan 21 2008 - 01:12:03 PST)
- Kulshrestha, Manisha (Sun Jan 20 2008 - 23:33:04 PST)
- Bustan, Doron (Sun Jan 20 2008 - 23:18:47 PST)
- Kulshrestha, Manisha (Sun Jan 20 2008 - 23:12:02 PST)
- Korchemny, Dmitry (Sun Jan 20 2008 - 08:09:18 PST)
- Thomas Thatcher (Fri Jan 18 2008 - 17:54:04 PST)
- Seligman, Erik (Thu Jan 17 2008 - 07:48:49 PST)
- Lisa Piper (Wed Jan 16 2008 - 07:23:58 PST)
- John Havlicek (Tue Jan 15 2008 - 17:55:35 PST)
- Korchemny, Dmitry (Fri Dec 28 2007 - 06:26:13 PST)
- Fais Yaniv (Sun Dec 23 2007 - 00:24:33 PST)
- Bustan, Doron (Sat Dec 22 2007 - 23:28:12 PST)
- Thomas Thatcher (Thu Dec 20 2007 - 13:19:11 PST)
- John Havlicek (Thu Dec 20 2007 - 07:26:35 PST)
- [sv-ac] call to vote on 2090
- [sv-ac] call to vote on 2091
- [sv-ac] call to vote on 2100
- [sv-ac] call to vote on 2110
- [sv-ac] call to vote on 2150
- Thomas Thatcher (Fri Feb 01 2008 - 16:34:32 PST)
- Kulshrestha, Manisha (Thu Jan 31 2008 - 20:44:40 PST)
- Seligman, Erik (Thu Jan 31 2008 - 11:52:34 PST)
- Seligman, Erik (Thu Jan 31 2008 - 07:13:11 PST)
- Eduard Cerny (Thu Jan 31 2008 - 05:25:46 PST)
- Korchemny, Dmitry (Thu Jan 31 2008 - 04:56:09 PST)
- Bustan, Doron (Thu Jan 31 2008 - 01:32:16 PST)
- Kulshrestha, Manisha (Wed Jan 30 2008 - 21:47:57 PST)
- Kulshrestha, Manisha (Wed Jan 30 2008 - 21:14:41 PST)
- Seligman, Erik (Wed Jan 30 2008 - 14:04:31 PST)
- Korchemny, Dmitry (Wed Jan 30 2008 - 02:57:55 PST)
- John Havlicek (Tue Jan 29 2008 - 19:24:04 PST)
- Korchemny, Dmitry (Mon Jan 28 2008 - 00:34:19 PST)
- Kulshrestha, Manisha (Sun Jan 27 2008 - 22:29:17 PST)
- Korchemny, Dmitry (Sun Jan 27 2008 - 04:36:42 PST)
- Kulshrestha, Manisha (Sat Jan 26 2008 - 10:04:26 PST)
- Thomas Thatcher (Mon Jan 21 2008 - 22:27:19 PST)
- Korchemny, Dmitry (Mon Jan 21 2008 - 01:54:24 PST)
- Kulshrestha, Manisha (Mon Jan 21 2008 - 01:51:54 PST)
- Bresticker, Shalom (Mon Jan 21 2008 - 01:09:59 PST)
- Korchemny, Dmitry (Mon Jan 21 2008 - 00:59:48 PST)
- Bustan, Doron (Thu Jan 17 2008 - 00:15:01 PST)
- John Havlicek (Tue Jan 15 2008 - 18:07:31 PST)
- [sv-ac] call to vote on 2168
- [sv-ac] call to vote on 2171
- [sv-ac] call to vote on 2173
- [sv-ac] call to vote on 2173 (reminder)
- [sv-ac] call to vote on 2182
- Bustan, Doron (Mon Feb 11 2008 - 00:40:19 PST)
- Korchemny, Dmitry (Sun Feb 10 2008 - 09:37:18 PST)
- Korchemny, Dmitry (Sun Feb 10 2008 - 09:37:37 PST)
- Korchemny, Dmitry (Sun Feb 10 2008 - 05:12:13 PST)
- Bassam Tabbara (Fri Feb 08 2008 - 08:21:04 PST)
- Lisa Piper (Fri Feb 08 2008 - 02:59:04 PST)
- Lisa Piper (Thu Feb 07 2008 - 10:24:37 PST)
- Bassam Tabbara (Thu Feb 07 2008 - 10:39:57 PST)
- Lisa Piper (Thu Feb 07 2008 - 10:36:29 PST)
- Bassam Tabbara (Thu Feb 07 2008 - 10:32:28 PST)
- Bassam Tabbara (Thu Feb 07 2008 - 09:55:52 PST)
- Lisa Piper (Thu Feb 07 2008 - 08:04:54 PST)
- Bassam Tabbara (Wed Feb 06 2008 - 15:28:46 PST)
- John Havlicek (Wed Feb 06 2008 - 12:53:20 PST)
- Korchemny, Dmitry (Tue Jan 22 2008 - 00:56:23 PST)
- Bassam Tabbara (Mon Jan 21 2008 - 15:10:25 PST)
- Kulshrestha, Manisha (Mon Jan 21 2008 - 03:18:08 PST)
- Korchemny, Dmitry (Mon Jan 21 2008 - 01:48:29 PST)
- Bassam Tabbara (Sun Jan 20 2008 - 12:26:47 PST)
- Korchemny, Dmitry (Sun Jan 20 2008 - 07:19:39 PST)
- Korchemny, Dmitry (Sun Jan 20 2008 - 07:01:02 PST)
- Korchemny, Dmitry (Sun Jan 20 2008 - 06:49:59 PST)
- Lisa Piper (Fri Jan 18 2008 - 11:02:18 PST)
- Bassam Tabbara (Fri Jan 18 2008 - 10:41:41 PST)
- Seligman, Erik (Thu Jan 17 2008 - 08:00:57 PST)
- Lisa Piper (Wed Jan 16 2008 - 15:21:55 PST)
- John Havlicek (Tue Jan 15 2008 - 18:04:55 PST)
- [sv-ac] call to vote on 2237
- [sv-ac] call to vote on 2250
- [sv-ac] call to vote on 2327 (resent)
- [sv-ac] call to vote on 2478
- [sv-ac] call to vote on 2482
- [sv-ac] call to vote on 2482, note 7684
- [sv-ac] call to vote on 2486
- [sv-ac] Call to vote on 2562
- [sv-ac] Call to vote on 2650
- [sv-ac] Call to vote on 2652
- [sv-ac] Call to vote on 2659
- [sv-ac] call to vote on Mantis 1361
- Kulshrestha, Manisha (Fri Aug 03 2007 - 02:02:02 PDT)
- Fais Yaniv-RM96496 (Tue Jul 31 2007 - 07:58:11 PDT)
- Korchemny, Dmitry (Mon Jul 30 2007 - 21:46:45 PDT)
- Kulshrestha, Manisha (Wed Jul 25 2007 - 22:34:11 PDT)
- Thomas Thatcher (Wed Jul 25 2007 - 17:01:25 PDT)
- Kulshrestha, Manisha (Wed Jul 25 2007 - 06:12:01 PDT)
- John Havlicek (Wed Jul 25 2007 - 05:00:51 PDT)
- Bresticker, Shalom (Wed Jul 25 2007 - 02:11:51 PDT)
- Kulshrestha, Manisha (Wed Jul 25 2007 - 02:00:33 PDT)
- Bresticker, Shalom (Wed Jul 25 2007 - 01:38:09 PDT)
- Bresticker, Shalom (Wed Jul 25 2007 - 01:36:59 PDT)
- Kulshrestha, Manisha (Wed Jul 25 2007 - 01:34:59 PDT)
- Bresticker, Shalom (Wed Jul 25 2007 - 00:23:31 PDT)
- Bustan, Doron (Tue Jul 24 2007 - 22:01:29 PDT)
- Eduard Cerny (Tue Jul 24 2007 - 18:47:36 PDT)
- John Havlicek (Tue Jul 24 2007 - 17:34:01 PDT)
- Doron Bustan (Fri Mar 30 2007 - 14:53:09 PDT)
- Kulshrestha, Manisha (Fri Mar 30 2007 - 14:09:32 PDT)
- Thomas Thatcher (Fri Mar 30 2007 - 13:55:50 PDT)
- Jonathan Bromley (Thu Mar 29 2007 - 05:09:27 PDT)
- John Havlicek (Thu Mar 29 2007 - 05:00:05 PDT)
- Jonathan Bromley (Thu Mar 29 2007 - 01:51:46 PDT)
- dbustan (Wed Mar 28 2007 - 16:07:38 PDT)
- Rich, Dave (Wed Mar 28 2007 - 12:51:53 PDT)
- Kulshrestha, Manisha (Wed Mar 28 2007 - 12:26:53 PDT)
- Kulshrestha, Manisha (Wed Mar 28 2007 - 12:21:45 PDT)
- Doron Bustan (Wed Mar 28 2007 - 11:50:38 PDT)
- Rich, Dave (Wed Mar 28 2007 - 10:41:37 PDT)
- Doron Bustan (Wed Mar 28 2007 - 09:54:03 PDT)
- Rich, Dave (Wed Mar 28 2007 - 09:45:29 PDT)
- Eduard Cerny (Wed Mar 28 2007 - 05:48:54 PDT)
- Jonathan Bromley (Wed Mar 28 2007 - 03:20:01 PDT)
- John Havlicek (Tue Mar 27 2007 - 17:02:12 PDT)
- [sv-ac] call to vote on Mantis 1383
- [sv-ac] call to vote on Mantis 1466
- [sv-ac] call to vote on Mantis 1599
- [sv-ac] call to vote on Mantis 1601
- [sv-ac] call to vote on Mantis 1641
- [sv-ac] call to vote on Mantis 1648
- [sv-ac] call to vote on Mantis 1668
- [sv-ac] call to vote on Mantis 1674
- Kulshrestha, Manisha (Wed Jun 20 2007 - 07:13:43 PDT)
- Fais Yaniv (Tue Jun 19 2007 - 04:18:37 PDT)
- Korchemny, Dmitry (Mon Jun 18 2007 - 08:46:58 PDT)
- Thomas Thatcher (Thu Jun 14 2007 - 15:52:10 PDT)
- Eduard Cerny (Thu Jun 14 2007 - 06:08:25 PDT)
- John Havlicek (Thu Jun 14 2007 - 05:54:15 PDT)
- Eduard Cerny (Tue May 01 2007 - 10:12:30 PDT)
- Eduard Cerny (Mon Apr 30 2007 - 11:08:21 PDT)
- Rich, Dave (Mon Apr 30 2007 - 10:42:40 PDT)
- Eduard Cerny (Mon Apr 30 2007 - 10:07:59 PDT)
- Rich, Dave (Mon Apr 30 2007 - 10:05:49 PDT)
- Eduard Cerny (Mon Apr 30 2007 - 09:44:57 PDT)
- Korchemny, Dmitry (Mon Apr 30 2007 - 09:42:13 PDT)
- Eduard Cerny (Mon Apr 30 2007 - 09:40:12 PDT)
- Korchemny, Dmitry (Mon Apr 30 2007 - 09:13:37 PDT)
- Eduard Cerny (Mon Apr 30 2007 - 05:22:15 PDT)
- Rich, Dave (Sun Apr 29 2007 - 07:41:33 PDT)
- Eduard Cerny (Fri Apr 27 2007 - 13:38:54 PDT)
- Rich, Dave (Fri Apr 27 2007 - 13:29:31 PDT)
- Eduard Cerny (Fri Apr 27 2007 - 11:30:28 PDT)
- Lisa Piper (Fri Apr 27 2007 - 11:05:34 PDT)
- Eduard Cerny (Fri Apr 27 2007 - 10:43:34 PDT)
- Kulshrestha, Manisha (Fri Apr 27 2007 - 10:36:28 PDT)
- Lisa Piper (Thu Apr 26 2007 - 20:43:03 PDT)
- Korchemny, Dmitry (Mon Apr 23 2007 - 01:09:20 PDT)
- Korchemny, Dmitry (Sun Apr 22 2007 - 06:57:05 PDT)
- Korchemny, Dmitry (Sun Apr 22 2007 - 06:40:31 PDT)
- Eduard Cerny (Fri Apr 20 2007 - 17:15:11 PDT)
- Kulshrestha, Manisha (Fri Apr 20 2007 - 13:46:59 PDT)
- Seligman, Erik (Thu Apr 19 2007 - 15:19:46 PDT)
- Thomas Thatcher (Thu Apr 19 2007 - 08:30:45 PDT)
- Fais Yaniv (Wed Apr 18 2007 - 06:37:01 PDT)
- Eduard Cerny (Wed Apr 18 2007 - 05:44:08 PDT)
- John Havlicek (Wed Apr 18 2007 - 04:20:02 PDT)
- [sv-ac] call to vote on Mantis 1681
- Fais Yaniv-RM96496 (Tue Jul 31 2007 - 04:18:49 PDT)
- Korchemny, Dmitry (Mon Jul 30 2007 - 21:59:18 PDT)
- Bresticker, Shalom (Thu Jul 26 2007 - 06:15:24 PDT)
- Bresticker, Shalom (Thu Jul 26 2007 - 06:12:46 PDT)
- John Havlicek (Thu Jul 26 2007 - 04:36:55 PDT)
- Bresticker, Shalom (Thu Jul 26 2007 - 03:58:12 PDT)
- Korchemny, Dmitry (Thu Jul 26 2007 - 01:36:48 PDT)
- Bresticker, Shalom (Thu Jul 26 2007 - 01:14:51 PDT)
- Brad Pierce (Wed Jul 25 2007 - 11:44:07 PDT)
- Neil Korpusik (Wed Jul 25 2007 - 11:15:12 PDT)
- Korchemny, Dmitry (Wed Jul 25 2007 - 08:14:19 PDT)
- Korchemny, Dmitry (Wed Jul 25 2007 - 06:18:07 PDT)
- John Havlicek (Wed Jul 25 2007 - 04:29:44 PDT)
- Bresticker, Shalom (Wed Jul 25 2007 - 03:39:53 PDT)
- Korchemny, Dmitry (Wed Jul 25 2007 - 01:14:43 PDT)
- Bresticker, Shalom (Wed Jul 25 2007 - 00:41:59 PDT)
- Korchemny, Dmitry (Tue Jul 24 2007 - 22:57:06 PDT)
- Bassam Tabbara (Tue Jul 24 2007 - 12:59:44 PDT)
- Eduard Cerny (Tue Jul 24 2007 - 11:59:38 PDT)
- John Havlicek (Tue Jul 24 2007 - 11:54:35 PDT)
- [sv-ac] call to vote on mantis 1704
- [sv-ac] call to vote on Mantis 1722
- [sv-ac] call to vote on Mantis 1729
- [sv-ac] call to vote on Mantis 1730
- [sv-ac] call to vote on Mantis 1731
- [sv-ac] call to vote on Mantis 1734
- [sv-ac] call to vote on Mantis 1737
- [sv-ac] call to vote on Mantis 1768
- [sv-ac] call to vote on Mantis 1932
- Eduard Cerny (Tue Jan 29 2008 - 06:54:37 PST)
- Bustan, Doron (Tue Jan 29 2008 - 01:59:15 PST)
- Kulshrestha, Manisha (Mon Jan 28 2008 - 23:59:48 PST)
- Bustan, Doron (Mon Jan 28 2008 - 22:43:04 PST)
- John Havlicek (Mon Jan 28 2008 - 17:57:12 PST)
- Johan Mårtensson (Mon Jan 28 2008 - 17:44:31 PST)
- Lisa Piper (Mon Jan 28 2008 - 15:45:50 PST)
- Bustan, Doron (Mon Jan 28 2008 - 11:28:21 PST)
- Eduard Cerny (Mon Jan 28 2008 - 10:06:04 PST)
- Lisa Piper (Mon Jan 28 2008 - 09:58:37 PST)
- Kulshrestha, Manisha (Mon Jan 28 2008 - 08:42:34 PST)
- Bustan, Doron (Mon Jan 28 2008 - 04:45:56 PST)
- Kulshrestha, Manisha (Mon Jan 28 2008 - 03:46:26 PST)
- Bustan, Doron (Mon Jan 28 2008 - 03:19:20 PST)
- Bustan, Doron (Mon Jan 28 2008 - 03:03:59 PST)
- Korchemny, Dmitry (Sun Jan 27 2008 - 07:14:11 PST)
- Korchemny, Dmitry (Sun Jan 27 2008 - 07:02:45 PST)
- Bustan, Doron (Sun Jan 27 2008 - 05:15:55 PST)
- Korchemny, Dmitry (Sun Jan 27 2008 - 02:20:18 PST)
- John Havlicek (Thu Jan 24 2008 - 09:57:43 PST)
- Bustan, Doron (Wed Jan 16 2008 - 01:31:31 PST)
- John Havlicek (Tue Jan 15 2008 - 17:59:56 PST)
- [sv-ac] call to vote on Mantis 1932 -- 2250
- [sv-ac] call to vote on revised 1591
- [sv-ac] call to vote on revised 1704
- [sv-ac] call to vote on state change for 1199
- [sv-ac] Call to vote. Due August 16
- [sv-ac] Call to vote. Due August 2
- [sv-ac] Call to vote. Due August 30
- [sv-ac] Call to vote. Due August 30 (reminder)
- [sv-ac] Call to vote. Due August 9
- [sv-ac] Call to vote. Due July 12
- Kulshrestha, Manisha (Tue Jul 13 2010 - 00:33:19 PDT)
- Rich, Dave (Thu Jul 08 2010 - 08:04:35 PDT)
- Bresticker, Shalom (Thu Jul 08 2010 - 02:02:20 PDT)
- Kulshrestha, Manisha (Thu Jul 08 2010 - 01:52:49 PDT)
- Korchemny, Dmitry (Thu Jul 08 2010 - 01:21:14 PDT)
- Bisht, Laurence S (Thu Jul 08 2010 - 00:50:25 PDT)
- Kulshrestha, Manisha (Wed Jul 07 2010 - 10:51:21 PDT)
- Havlicek John-R8AAAU (Wed Jul 07 2010 - 05:10:58 PDT)
- Bisht, Laurence S (Wed Jul 07 2010 - 04:12:57 PDT)
- Kulshrestha, Manisha (Tue Jul 06 2010 - 22:21:23 PDT)
- Thomas J Thatcher (Tue Jul 06 2010 - 17:30:19 PDT)
- ben cohen (Tue Jul 06 2010 - 12:39:57 PDT)
- Korchemny, Dmitry (Tue Jul 06 2010 - 12:30:19 PDT)
- [sv-ac] Call to vote. Due July 19
- [sv-ac] Call to vote. Due July 19 : 2557 updated
- [sv-ac] Call to vote. Due July 26
- [sv-ac] Call to vote. Due July 5
- [sv-ac] Call to vote. Due June 16
- [sv-ac] Call to vote. Due June 16 (reminder)
- [sv-ac] Call to vote. Due June 21
- [sv-ac] Call to vote. Due June 28
- [sv-ac] Call to vote. Due October 4
- [sv-ac] Call to vote. Due September 13
- [sv-ac] Call to vote. Due September 20
- [sv-ac] Call to vote. Due September 20 (resend)
- [sv-ac] Call to vote: Due April 11
- [sv-ac] Call to vote: Due April 25
- [sv-ac] Call to vote: Due April 25 (resend, without 3069)
- [sv-ac] Call to vote: Due August 1
- [sv-ac] Call to vote: Due August 15
- [sv-ac] Call to vote: Due August 22
- [sv-ac] Call to vote: Due August 29
- [sv-ac] Call to vote: Due August 29 (resend with updated 3033)
- [sv-ac] Call to vote: Due August 29 (resend)
- [sv-ac] Call to vote: Due August 8
- [sv-ac] Call to vote: Due February 14
- [sv-ac] Call to vote: Due February 7
- [sv-ac] Call to vote: Due January 31
- [sv-ac] Call to vote: Due July 18
- [sv-ac] Call to vote: Due July 25
- [sv-ac] Call to vote: Due June 13
- [sv-ac] Call to vote: Due June 13]
- [sv-ac] Call to vote: Due June 20
- [sv-ac] Call to vote: Due March 14
- [sv-ac] Call to vote: Due March 2
- [sv-ac] Call to vote: Due March 2 (resend, typo fix)
- [sv-ac] Call to vote: Due March 28
- [sv-ac] Call to vote: Due March 28 (reminder)
- [sv-ac] Call to vote: Due May 11
- [sv-ac] Call to vote: Due May 16
- [sv-ac] Call to vote: Due May 2
- [sv-ac] Call to vote: Due May 30
- [sv-ac] Call to vote: Due November 1
- [sv-ac] Call to vote: Due November 13
- [sv-ac] Call to vote: Due November 13 (With correct Mantis #)
- [sv-ac] Call to vote: Due November 14
- [sv-ac] Call to vote: Due November 21
- [sv-ac] Call to vote: Due November 29 (resent with correct date)
- [sv-ac] Call to vote: Due November 30
- [sv-ac] Call to vote: Due November 7
- [sv-ac] Call to vote: Due November 7 (resend with the correct list of eligible voters)
- [sv-ac] Call to vote: Due September 12
- [sv-ac] Call to vote: Due September 12 (resend with correct version of the proposal)
- [sv-ac] Call to vote: Due September 19
- [sv-ac] Call to vote: Due September 19 (resend with inserted semicolons)
- [sv-ac] Call to vote: Due September 19 (resend)
- [sv-ac] Call to vote: Due September 26
- [sv-ac] Call to vote: Due September 26 (resend with the correct Mantis number)
- [sv-ac] Call to vote: Due September 5
- [sv-ac] Call to vote: Due September 5 (more items added)
- [sv-ac] Can abstract class be instantiated?
- [sv-ac] Can checker assign value to variable outside its boundary?
- [sv-ac] can't dial back in
- [sv-ac] Canceled: IEEE SV-AC meeting
- [sv-ac] Champion's email vote results
- [sv-ac] champions
- [sv-ac] Champions agenda
- [sv-ac] Champions consideration of 1900 (checkers)
- [sv-ac] Champions feedback
- [sv-ac] Champions feedback from Shalom
- [sv-ac] Champions feedback on 2173
- [sv-ac] Champions Issue Review and Minutes Posted
- [sv-ac] Champions meeting 1/4/05
- [sv-ac] champions meeting cancelled
- [sv-ac] Champions Meeting Minutes Posted
- [sv-ac] Champions results from Nov 17 conference call
- [sv-ac] Champions Role
- [sv-ac] Champions Spreadsheet for the 12/21/04 Meeting
- [sv-ac] Champions' feedback
- [sv-ac] Champions' metting minutes
- [sv-ac] change requests for my AIs.
- [sv-ac] Change set to 2328
- [sv-ac] changes for 1503 uploaded
- [sv-ac] Changes for Draft 2
- [sv-ac] changes in 1729 due to 1641
- [sv-ac] changes to 1932
- [sv-ac] changes to 2150
- [sv-ac] Changes to draft 5
- [sv-ac] Changes within SystemVerilog organization (SV-EC and BNF)
- [sv-ac] Changing the Meeting time to discuss Ballot comments
- [sv-ac] check: How will we do this?
- [sv-ac] check: How will we do this?]
- [sv-ac] Checker construct proposal: any comments yet?
- [sv-ac] checker formal arguments may not be connected to interfaces // Updates
- [sv-ac] checker formal arguments may not be connected to interfaces // WHY?
- [sv-ac] checker instantiation
- [sv-ac] Checker instantiation in always procedures
- [sv-ac] Checker instantiation syntax
- [sv-ac] Checker master searching via import
- [sv-ac] Checker proposal updated (1900)
- [sv-ac] checker question
- [sv-ac] checker: Clarification on functions & side effects
- [sv-ac] checkers
- [sv-ac] checkers (1900) , SV-AC meeting 2007-11-13
- [sv-ac] CheckerUsability
- [sv-ac] CheckerUsability.docx
- [sv-ac] Clarification about changes in 3213
- [sv-ac] Clarification of sequence implication with first_match.
- [sv-ac] Clarification On My Message to The SV-AC Committee
- [sv-ac] Clarification request for Mantis 3233
- [sv-ac] Clock flow
- [sv-ac] clock flow rules for until next
- [sv-ac] clock on disable iff condition
- [sv-ac] Clock rewriting rules
- [sv-ac] clock rules
- [sv-ac] clocking block trrigger, global clocking
- [sv-ac] clocking blocks without identifiers
- [sv-ac] Clocks in assrtion
- [sv-ac] Closing 2491?
- [sv-ac] closing time Wednesday
- [sv-ac] collected list of other items
- [sv-ac] Coloring question
- [sv-ac] coloring rules, again
- [sv-ac] comment about 1995
- [sv-ac] comment on 1550
- [sv-ac] comment on 1599 4/23 update
- [sv-ac] comment on 2552
- [sv-ac] Comment on constant_range_expressions
- [sv-ac] Comment regarding LTL - Mantis 1932
- [sv-ac] comments on 1361
- [sv-ac] comments on 1648
- [sv-ac] comments on 1674
- [sv-ac] comments on 1681
- [sv-ac] comments on 1722
- [sv-ac] comments on 1731
- [sv-ac] comments on 1757
- [sv-ac] comments on 1768
- [sv-ac] comments on 1932
- [sv-ac] comments on 2069
- [sv-ac] Comments on 2182
- [sv-ac] Comments on 2858 and 1551:
- [sv-ac] Comments on Assertions proposal 0.75
- [sv-ac] comments on Dmitry's effort estimates
- [sv-ac] comments on lrm
- [sv-ac] comments on mantis 1550 proposal
- [sv-ac] comments on Mantis 2804
- [sv-ac] Comments on proposal for 1668
- [sv-ac] Comments on reviewing Draft8
- [sv-ac] comments on Surrendra's corrections
- [sv-ac] comments on SV-AC items
- [sv-ac] Comments to Mantis 2328
- [sv-ac] Comments to SystemVerilog_3.1a_draft6_clean Section 17 Assertions.doc
- [sv-ac] Completed Mantis items
- [sv-ac] Concurrent assert statement within procedural block
- [sv-ac] Concurrent assertions BNF PROPOSAL
- [sv-ac] Concurrent assertions in always procedures
- [sv-ac] Conditions over sequences
- [sv-ac] confirm friendly amendments for 1682
- [sv-ac] Confirmed List of Attendees and Interesting Statistics
- [sv-ac] Conflict in Sv3.1 LRM
- [sv-ac] Conflict in the sequence_expr BNF
- [sv-ac] Conflicting rules in A.2.10 and A.6.5
- [sv-ac] confused
- [sv-ac] Confused by default clock operations.
- [sv-ac] Confusing text related to Mantis 2557
- [sv-ac] Confusion in function evaluation approach
- [sv-ac] Confusion Regarding set_covergroup_expression Mantis 2506
- [sv-ac] Congratulation TEAM - SystemVerilog 3.1A Approved By Accellera Board
- [sv-ac] consensus
- [sv-ac] constant_primary definition
- [sv-ac] constraint example
- [sv-ac] Constraint implication, sequence implication, and transitions
- [sv-ac] context extraction resend
- [sv-ac] continiouse freevar assignments
- [sv-ac] continuous assignment example
- [sv-ac] Continuous assignments and checker variable sampling
- [sv-ac] Continuous assignments in checkers
- [sv-ac] Contradictory statement of increment/decrement operators usage.
- [sv-ac] Cooperation request in definition of simulation semantics of emerging checker constructs
- [sv-ac] Copy of Packages_Sep_V8.pdf
- [sv-ac] Copy of the DVCon paper on scheduling semantics
- [sv-ac] Corrected Minutes from SV-AC meeting 8/31/2010
- [sv-ac] corrected SV-AC minutes for 2007-01-23
- [sv-ac] Corrected: Minutes from SV-AC meeting 3/8/2011
- [sv-ac] Correction on page 309
- [sv-ac] Correction to 2005 (deferred assertions), need SV-CC feedback ASAP
- [sv-ac] Correction to SV3.1a DRAFT 5 section 17.11.1 page 246
- [sv-ac] counting number of errors
- [sv-ac] couple of errors in the assumption proposal
- [sv-ac] cover in procedural context
- [sv-ac] cover properties
- [sv-ac] cover property proposal
- [sv-ac] cover requirements
- [sv-ac] cover sequence
- [sv-ac] coverage
- [sv-ac] Coverage reporting
- [sv-ac] covergroup sample method
- [sv-ac] Coverpoint bins & functional coverage
- [sv-ac] Cross Module Parameter reference
- [sv-ac] Cut & Paste Versions of the draft LRMs Uploaded
- [sv-ac] cyclic dependency definition
- [sv-ac] cyclicity and ill-founded forms
- [sv-ac] Cyclicity issues
- [sv-ac] d4 review feedback
- [sv-ac] D7 review
- [sv-ac] data base update
- [sv-ac] Date: Tue, 1 Apr 2003 16:06:18 -0600
- [sv-ac] Deadline for detailed feedback on Data Types on Nets Proposal
- [sv-ac] deadline for feedback on 1648
- [sv-ac] Dec3rd SV-AC Meeting Minutes
- [sv-ac] December 4 - SystemVerilog Full Committee Slides
- [sv-ac] default clock specification
- [sv-ac] Default clocking
- [sv-ac] default disable iff
- [sv-ac] default disable proposal
- [sv-ac] deferred assertion question
- [sv-ac] Definition for nonvacuous evaluation of property "and" operator
- [sv-ac] Definition of "levels" in $assertoff is missing
- [sv-ac] delay/concatenation syntax
- [sv-ac] Delta file for Mantis 3033
- [sv-ac] dennis, i think you missed the point
- [sv-ac] Dial in for tomorrow 3/27
- [sv-ac] Dial-in for today
- [sv-ac] Dial-In Info for tomorrow 4/22 - Changed!
- [sv-ac] Differences between 1800 and 3.1a
- [sv-ac] Different name space for coverpoint and formal arguments
- [sv-ac] diffs for mantis 1668
- [sv-ac] disabling action blocks for vacuous and disabled attempt
- [sv-ac] Discrepancies between LRM draft1 and ASWG paper.
- [sv-ac] Discussion of 2804 (inferring clocking event within procedure)
- [sv-ac] Discussion: Legal use of .ended in disable iff ?
- [sv-ac] division of responsibilities
- [sv-ac] do action blocks use sampled values
- [sv-ac] Do we need to meet this week?
- [sv-ac] Document Size
- [sv-ac] Documents for SV-AC errata meeting
- [sv-ac] Donations By Cadence
- [sv-ac] Draft 1 review
- [sv-ac] Draft 1 Review: Mantis 0805
- [sv-ac] Draft 1 review: Mantis 1510
- [sv-ac] Draft 1 review: Mantis 1532
- [sv-ac] Draft 2 of SystemVerilog LRM
- [sv-ac] Draft 3 of the LRM is now available
- [sv-ac] Draft 3 Review
- [sv-ac] Draft 3 review of 0928
- [sv-ac] Draft 3 review of 1420
- [sv-ac] Draft 3 review of 1495
- [sv-ac] Draft 3 review of 1518
- [sv-ac] Draft 3 review of Annex F
- [sv-ac] Draft 3a
- [sv-ac] Draft 4 change verification
- [sv-ac] Draft 4 Changes
- [sv-ac] Draft 4 LRM Issues
- [sv-ac] Draft 4 Review
- [sv-ac] Draft 4 Review (resend with correct clause numbers)
- [sv-ac] Draft 4 Review (resend with correction of one more numbering issue pointed by Scott)
- [sv-ac] Draft 5 Changes Review Request
- [sv-ac] Draft 5 LRM
- [sv-ac] Draft 5 Review changes
- [sv-ac] Draft 5 review meeting
- [sv-ac] Draft 6
- [sv-ac] draft 6 - 1932
- [sv-ac] Draft 6 1599
- [sv-ac] Draft 6 1641
- [sv-ac] draft 6 1757
- [sv-ac] Draft 6 Review: Clause 36, 38, Annex O
- [sv-ac] draft 7 cross review
- [sv-ac] Draft 7 cross-review (reminder)
- [sv-ac] Draft 7 review
- [sv-ac] Draft 7 review[SPAM]
- [sv-ac] draft 7- 1932
- [sv-ac] draft 7a cross review
- [sv-ac] Draft 7a review reminder
- [sv-ac] Draft 8 is almost ready
- [sv-ac] Draft 8 review
- [sv-ac] Draft 9 Review for 2654, 2656, and 2647
- [sv-ac] draft D7 review - update
- [sv-ac] Draft for 3035 (Checker argument sampling) uploaded
- [sv-ac] Draft of Ballot for 3/23
- [sv-ac] Draft of SVAC ballot for 2/24
- [sv-ac] Draft P1800/D9-preliminary review
- [sv-ac] Draft proposal for 2476 (clarifications on system functions) posted
- [sv-ac] draft proposal for nested implication, boolean property connectives
- [sv-ac] Draft review
- [sv-ac] Draft2 review
- [sv-ac] Draft2 review assignments
- [sv-ac] draft3 review
- [sv-ac] draft3 review of 0805
- [sv-ac] Draft4 review
- [sv-ac] Draft4 review - comments for 1361
- [sv-ac] Draft4 review. My items
- [sv-ac] Draft5 review
- [sv-ac] Draft6
- [sv-ac] Draft6 1898
- [sv-ac] Draft6 review
- [sv-ac] Draft6: review of 2005
- [sv-ac] Draft7 cross-review
- [sv-ac] Draft7 review
- [sv-ac] Draft7a review
- [sv-ac] draft9 p2
- [sv-ac] Dragt7: LTL operators (1932) are not in Annex F
- [sv-ac] Due Process
- [sv-ac] Due to unexpted loss of call-ins form some members we have terminated the meeting
- [sv-ac] dynamic variables for expect
- [sv-ac] E-mail ballot for minor errata
- [sv-ac] E-mail ballot results 6/20/2011
- [sv-ac] E-mail Ballot Results: June 28, 2011
- [sv-ac] e-mail vote on 2069 extended
- [sv-ac] Ed's top priority issue list
- [sv-ac] eda-std.org
- [sv-ac] eda.org
- [sv-ac] eda.org is up and available.
- [sv-ac] eda.org not accessible?
- [sv-ac] EDA.org performance
- [sv-ac] EDA.org unavailable this weekend
- [sv-ac] edited bugnote for 0928
- [sv-ac] Editor comments on reviewing draft8-preliminary
- [sv-ac] Editor question in Draft7 14.14
- [sv-ac] Editor's Notes from Draft 5
- [sv-ac] Editor's Notes in 3.1a Draft 3 LRM
- [sv-ac] Editorial change on "resp."
- [sv-ac] Editorial changes proposed by Ben (Mantis 4002)
- [sv-ac] Editorial issues
- [sv-ac] Effect of assetion control system tasks
- [sv-ac] Effort estimates for the top priority issues
- [sv-ac] Effort estimation
- [sv-ac] Effort estimation for top issues
- [sv-ac] effort for 2150
- [sv-ac] Effort plan
- [sv-ac] effort plan for 1757 and 1932
- [sv-ac] effort statement
- [sv-ac] Elab time system tasks
- [sv-ac] elaboration system tasks 1769
- [sv-ac] Email ballot result (August 1)
- [sv-ac] Email ballot result (August 15)
- [sv-ac] Email ballot result (August 22)
- [sv-ac] Email ballot result (August 29)
- [sv-ac] Email ballot result (August 8)
- [sv-ac] Email ballot result (Due 11 April)
- [sv-ac] Email ballot result (Due 14 February)
- [sv-ac] Email ballot result (Due 14 March)
- [sv-ac] Email ballot result (Due 16 June)
- [sv-ac] Email ballot result (Due 2 March)
- [sv-ac] Email ballot result (Due 2 May)
- [sv-ac] Email ballot result (Due 25 April)
- [sv-ac] Email ballot result (Due 28 June)
- [sv-ac] Email ballot result (Due 28 March)
- [sv-ac] Email ballot result (Due 31 January)
- [sv-ac] Email ballot result (Due 7 February)
- [sv-ac] Email ballot result (Due Aug 16)
- [sv-ac] Email ballot result (Due Aug-02)
- [sv-ac] Email ballot result (Due Aug-09)
- [sv-ac] Email ballot result (Due July 19)
- [sv-ac] Email ballot result (Due July 26
- [sv-ac] Email ballot result (Due July 5)
- [sv-ac] Email ballot result (Due May 11 and May 16 )
- [sv-ac] Email ballot result (July 18)
- [sv-ac] Email ballot result (July 25)
- [sv-ac] Email ballot result (June 13)
- [sv-ac] Email ballot result (June 13) (resend)
- [sv-ac] Email ballot result (May 30 April)
- [sv-ac] Email ballot result (November 13 and 14)
- [sv-ac] Email ballot result (November 21)
- [sv-ac] Email ballot result (November 29)
- [sv-ac] Email ballot result (November 7)
- [sv-ac] Email ballot result (September 19)
- [sv-ac] Email ballot result (September 26)
- [sv-ac] Email ballot result (September 5)
- [sv-ac] email ballot results
- [sv-ac] Email ballot results (Due 12 June)
- [sv-ac] Email ballot results (Due 21 June)
- [sv-ac] Email ballot results (Due August-30)
- [sv-ac] Email ballot results (Due November-01)