[sv-ac] RE: Definition for nonvacuous evaluation of property "and" operator

Hi Tapan,

We discussed this issue several times during the previous PAR and came to a conclusion that this definition was correct. See Mantis 2578 and the mail thread http://www.eda-stds.org/sv-ac/hm/8812.html.

Regards,
Dmitry

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Tapan Kapoor
Sent: Friday, July 02, 2010 10:06 AM
To: sv-ac@eda.org
Subject: [sv-ac] Definition for nonvacuous evaluation of property "and" operator

Section 16.15.8 / clause 'f' says:
-----
f) An evaluation attempt of a property of the form property_expr1 and property_expr2 is nonvacuous
if, and only if, either the underlying evaluation attempt of property_expr1 is nonvacuous or the
underlying evaluation attempt of property_expr2 is nonvacuous.
----------

It seems incorrect to me (probably it's copied from clause 'e' - and some modifications were missed). Is there any open mantis for this? I could not find one so want to confirm.

Warm regards,
Tapan
"You must be the change you want to see in the world" : Mahatma Gandhi

--
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.