[sv-ac] FW: Manyis 2904

From: Samik Sengupta <Samik.Sengupta@synopsys.com>
Date: Tue Sep 28 2010 - 09:48:00 PDT

Thanks,
Samik

From: Eduard Cerny
Sent: Tuesday, September 28, 2010 12:44 PM
To: Samik Sengupta
Subject: Manyis 2904

Samik,
I think that this is not right:

If the disable condition becomes is true at anytime between the start of the observed region of the time step in which the evaluation attempt begins and the end of the evaluation attempt.

I think that it should be

If the disable condition is true at anytime between the start of the attempt in the observed region and the end of the evaluation attempt.

ed

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Tue Sep 28 09:48:18 2010

This archive was generated by hypermail 2.1.8 : Tue Sep 28 2010 - 09:48:22 PDT