[sv-ac] RE: Revision of 1995

OK... So you prefer this version? 

-----Original Message-----
From: Korchemny, Dmitry 
Sent: Tuesday, December 18, 2007 9:36 AM
To: Seligman, Erik; 'Kulshrestha, Manisha'
Cc: 'sv-ac@server.eda.org'
Subject: RE: Revision of 1995

But you have a comment in the code of the example, which explicitly
lists the samples variables there. This should be clear enough.

Dmitry

-----Original Message-----
From: Seligman, Erik
Sent: Tuesday, December 18, 2007 7:34 PM
To: Korchemny, Dmitry; 'Kulshrestha, Manisha'
Cc: 'sv-ac@server.eda.org'
Subject: RE: Revision of 1995


Hmmm... But I also wanted to convey the idea that if you look at a
concurrent assertion in a loop, chances are that any variable you are
looking at is sampled, unless it's a loop iterator.  Is "most other
variables will be sampled" a problematic phrasing? 

-----Original Message-----
From: Korchemny, Dmitry 
Sent: Tuesday, December 18, 2007 9:31 AM
To: Seligman, Erik; 'Kulshrestha, Manisha'
Cc: 'sv-ac@server.eda.org'
Subject: RE: Revision of 1995

Hi Erik,

I suggest the following phrasing:

" The loop iterators do not use sampled values, but most other variables
will be sampled."

-->

"The loop iterators in the assertions are not sampled".

Thanks,
Dmitry

-----Original Message-----
From: Seligman, Erik
Sent: Tuesday, December 18, 2007 7:28 PM
To: Korchemny, Dmitry; Kulshrestha, Manisha
Cc: sv-ac@server.eda.org
Subject: Revision of 1995


I have just posted a fix for 1995.  Tell me if this matches what you
were thinking.

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