[sv-bc] Mantis 1345: unique/priority if/case

From: Bresticker, Shalom <shalom.bresticker_at_.....>
Date: Mon Nov 05 2007 - 07:53:57 PST
Hi,

The LRM says regarding unique/priority if:

An implementation
shall also issue a warning if it determines that no condition is true,
or it is possible that no condition is
true, and the final if does not have a corresponding else.

According to that, the following should issue a warning:

unique if (a==0) $display("0");
else if (a==1) $display("1");

because "it is possible" that a could be 1'bx or 1'bz, even if it does
not actually happen during simulation.

I don't think that was the intention.

Shalom

Shalom Bresticker
Intel Jerusalem LAD DA
+972 2 589-6582
+972 54 721-1033

---------------------------------------------------------------------
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.
Received on Mon Nov 5 07:55:12 2007

This archive was generated by hypermail 2.1.8 : Mon Nov 05 2007 - 07:55:43 PST