RE: [sv-ac] my notes from today's SV-AC meeting

From: Korchemny, Dmitry <dmitry.korchemny_at_.....>
Date: Mon Dec 03 2007 - 09:25:59 PST
Hi Lisa,

 

I am sorry, it should be 2205.

 

Dmitry

 

________________________________

From: Lisa Piper [mailto:piper@cadence.com] 
Sent: Monday, December 03, 2007 7:15 PM
To: Korchemny, Dmitry
Subject: RE: [sv-ac] my notes from today's SV-AC meeting

 

    Hi Dmitry,

 

I think the number is wrong on this one.  This is not 000205:

 

000205 $asseroff, $assertkill and $asserton description is ambiguous

 

Any idea what the right number might be?

 

Lisa

 

________________________________

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
Korchemny, Dmitry
Sent: Tuesday, November 27, 2007 6:09 PM
To: sv-ac@eda.org
Subject: [sv-ac] my notes from today's SV-AC meeting

 

Hi Folks:

 

My notes from today's SV-AC meeting are attached.

 

Please let me know if changes are required.

 

Thanks,

Dmitry

 

---------------------------------------------------------------------
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. 
---------------------------------------------------------------------
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 Mon Dec 3 09:26:28 2007

This archive was generated by hypermail 2.1.8 : Mon Dec 03 2007 - 09:26:57 PST