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

Hi Dmitry,

 

This pass code doesn't go through. Any clue?

 

Bridge: 4, Passcode: 4055590

 

Thanks,

 

Joseph Lu
Altera Corp.
101 Innovation Dr.
San Jose, CA95134
Tel:408-5448694
Email:jlu@altera.com

 

________________________________

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
Korchemny, Dmitry
Sent: Tuesday, April 22, 2008 12:56 AM
To: sv-ac@eda.org
Subject: [sv-ac] Reminder of SV-AC meeting 2008-04-22 (updated)

 

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. 


Confidentiality Notice.  This message may contain information that is confidential or otherwise protected from disclosure.
If you are not the intended recipient, you are hereby notified that any use, disclosure, dissemination, distribution, 
or copying of this message, or any attachments, is strictly prohibited.  If you have received this message in error, 
please advise the sender by reply e-mail, and delete the message and any attachments.  Thank you.



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