[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, and is
believed to be clean.