Meeting reminder for IEEE P1800 SV-AC meeting #2007-30: Date: 2007-11-27 Time: 16:00 UTC (10:00 CST) Dialin information: ------------------- Country Number AUSTRALIA 1800009128 AUSTRIA 0800291873 BELGIUM 080077334 CANADA 8008671147 CHINA TELECOM (CT) 108001400732 CHINA NETCOM (CNC) 108007140759 DENMARK 80703159 FINLAND 0800770233 FRANCE 0800941695 GERMANY 08001014519 GREECE 0080016122039738 HONG KONG 800933578 HUNGARY 0680017180 INDIA 0008001006032 INDONESIA 008800105607 IRELAND 1800944116 ISRAEL 1809459738 ITALY 800782388 JAPAN 00531160427 LUXEMBOURG 80023985 MALAYSIA 1800808386 MONACO 80093186 NETHERLANDS 08002658223 NEW ZEALAND 0800443736 NORWAY 80057409 POLAND 008001114672 PORTUGAL 800819106 RUSSIA 81080022801012 SINGAPORE 8001011470 SOUTH AFRICA 0800992835 SOUTH KOREA 00308140540 SPAIN 900967020 SWEDEN 0201400559 SWITZERLAND 0800563054 TAIWAN 00801126585 THAILAND 0018001562039684 UNITED KINGDOM 08005280546 UNITED STATES 8008671147 Access Code: 7375405 Agenda: ------- - Reminder of IEEE patent policy. - Discuss clumping of votes and running them Tuesday to Monday. . 1728: passed. There were friendly amendments. They were addressed in the version LetConstruct1728 071127_dk.pdf, the proposal is ready to revote. . 1757: passed. There were friendly amendments. They were addressed in the version AcceptRejecton1757.071127.pdf, the proposal is ready to revote. . 1549: passed conditionally, some votes were sent several hours late. Needs a confirmation. .1898: passed. .1533: Passed (resolved, duplicate). .2033: Failed - no quorum. Ready to revote. .1503: Failed - no quorum. There were friendly amendments. Old items: - 1648: Default disable iff . Ready to vote? - 1683: Relaxing rules for building multiclocked properties. . Discuss whether the global clocking is important for this proposal . Ready for review - 1849: Update VPI object diagrams for immediate assume, cover . Is it subsumed by 1729? - 1852: Ballot Feedback Issue STU2: Declarations on Assertions . Resolve as duplicate of 1549? - 1987: "verification statement" should be italicized and added to the glossary . Needs an owner Major items: - 1900: Checkers [DK] - 1995: Assertions in loops [ES] General working items: - 2005: Glitches with immediate assertions [ES] - 1995: Assertions and checkers in for loops [ES] - 1682: Future value functions - Other items Assign ownership to the following items: * 0002091: Need a clarification where concurrent assertions may appear * 0002095: Clarify meaning of distribution as condition for "disable iff" * 0002111Allow parameters in checkers * 0002172: Add sequence if...else. * 0002172: Add case construct for sequences and properties. * 0002182: Elaborate VPI diagrams for checkers * 000205 $asseroff, $assertkill and $asserton description is ambiguous * 000206 Random simulation of non-deterministic free variables in checkers * 0002151: Referencing assertions in functions * 0002150: use of automatic variables in action block and subroutine ------------------------------------------------------------------------ - Upcoming Schedule: Legend: M: major item slot (2 concurrent) m: minor item slot (4 concurrnet) v: very minor item slot (no limit) d: draft preparation slot (no limit) 2007-11-27 M: 1932 ballot & revision M: 1900 ballot & revision m: 1898 ballot & revision m: 1756 ballot & revision m: 1757 ballot & revision m: 1729 ballot & revision m: 1503 ballot & revision v: 2033 ballot & revision d: 1667 draft d: 1683 draft 2007-12-04 M: 1900 ballot & revision M: 1932 ballot & revision M: 1995 ballot & revision m: 1682 ballot & revision m: 1756 ballot & revision m: 1898 ballot & revision m: 1729 ballot & revision m: 1756 ballot & revision m: 1503 ballot & revision v: 2033 ballot & revision d: 1667 draft d: 2150 draft d: 1683 review 2007-12-11 M: 1667 review M: 1932 ballot & revision M: 1900 ballot & revision M: 1995 ballot & revision m: 1756 ballot & revision m: 1503 ballot & revision m: 2150 review m: 1683 review v: 1786 review d: 2172 draft -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean. --------------------------------------------------------------------- Intel Israel (74) Limited This e-mail and any attachments may contain confidential material for the sole use of the intended recipient(s). Any review or distribution by others is strictly prohibited. If you are not the intended recipient, please contact the sender and delete all copies. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Tue Nov 27 06:08:14 2007
This archive was generated by hypermail 2.1.8 : Tue Nov 27 2007 - 06:08:43 PST