Re: [sv-ac] Reminder of SV-AC meeting 2008-04-22 (updated)

Hi Dmitry,

The conference passcode you published in your e-mail is invalid.
I can dial in, but it won't take the passcode.

Tom

Korchemny, Dmitry wrote:
> Hi Folks:
> 
>  
> 
> An agenda is below.  Please let me know if other items should be added.
> 
>  
> 
> D.K.
> 
>  
> 
> Meeting reminder for IEEE P1800 SV-AC meeting #2007-50:
> 
>  
> 
> Date:  2008-04-08
> 
> Time:  16:00 UTC (09:00 PDT)
> 
>  
> 
> Dialin information:
> 
> -------------------
> 
>  
> 
> Toll number:   +1 916-356-2663
> 
> Toll free number (US): 888-875-9370 (U.S. toll-free),
> 
>  
> 
> Bridge: 4, Passcode: 4055590
> 
>  
> 
> Agenda:
> 
> -------
> 
>  
> 
> - Reminder of IEEE patent policy.
> 
> See: http://standards.ieee.org/board/pat/pat-slideset.ppt
> 
>  
> 
> Ballot results:
> 
>  
> 
> 1503 passed, there were late comments from LP.
> 
>  
> 
> Addressing champions’ feedback:
> 
>  
> 
> 2336 SV-AC  VPI part of 1757
> 
> Passed
> 
>  
> 
> 2335 SV-AC  Minor fix for 1641
> 
> Passed
> 
>  
> 
> 1932 SV-AC  Introduce LTL and other temporal operators
> 
> Passed with the following friendly amendments:
> 
>  
> 
>       Friendly amendments
> 
>               Shalom - LTL Page 6, extra comma on page 6 (blue text)
> 
>           Shalom - There are about 10 instances of const_expression.
> 
>                        They should probably all be constant_expression.
> 
>                        See example on page 11, ltl doc, nexttime
> 
>               Editor issue - fuscia on page 16 - no note.
> 
>                                  fuscia is blue in 1757
> 
>  
> 
>  
> 
>  
> 
>  
> 
>  
> 
> Working items:
> 
>  . 1503 - 27.33 VPI diagram of propertyinst has no vpiArgument 
> 
>  
> 
> Other:
> 
> SV-SC meeting update
> 
>  
> 
> Opens.
> 
> ---------------------------------------------------------------------
> 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* <http://www.mailscanner.info/>, and is
> believed to be clean.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.