RE: [sv-ac] 1381: vacuous on "AND" operator

Hi Daniel,

 

The definition is correct: and is non-vacuous if either of its operands
is non-vacuous. It is the same definition as for or.

 

Regards,

Dmitry

 

________________________________

From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of danielm
Sent: Tuesday, November 27, 2007 5:49 PM
To: sv-ac@server.eda-stds.org
Subject: [sv-ac] 1381: vacuous on "AND" operator

 

 The description of vacuous evaluation for AND operator is exactly the
same as for OR operator - it looks for me like clasic copy&paste error:

There is:

"an evaluation attempt of a property of the form prop_expr1 and
prop_expr2 is non-vacuous iff either the underlying evaluation attempt
of prop_expr1 is non-vacuous or either the underlying evaluation attempt
of prop_expr2 is non-vacuous."

IMHO there should be:

 "an evaluation attempt of a property of the form prop_expr1 and
prop_expr2 is non-vacuous iff both the underlying evaluation attempt of
prop_expr1 and propr_expr2 is non-vacuous"

 

DANiel


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