RE: [sv-ac] 1381 vacuous evaluation

Hi Daniel,

 

I think you are wrong. 1381 defines your example as vacuous.

 

Doron

 

________________________________

From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of danielm
Sent: Wednesday, January 02, 2008 2:42 PM
To: sv-ac@server.eda-stds.org
Subject: [sv-ac] 1381 vacuous evaluation

 


assert property (@(posedge clk) (a|->b) or (c|->d));
where:
a=0, b=0, c=1, d=0;

According to rules from 1381 above assertion should have NON-VACUOUS
PASS (LHS of or operator has vacuous evaluation, while RHS is failing).
IMHO more sensible result for this would be Vacuous Pass - am I missing
something?

 



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.