[sv-bc] SV-BC72: http://www.eda.org/sv-bc/hm/0500.html

Subject: [sv-bc] SV-BC72: http://www.eda.org/sv-bc/hm/0500.html
From: Francoise Martinolle (fm@cadence.com)
Date: Thu Mar 06 2003 - 11:56:52 PST

• Next message: Francoise Martinolle: "[sv-bc] SV-BC73"
• Previous message: Jacobi, Dan: "RE: [sv-bc] Updated Proposal for SV-BC-19-60 - take #3"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

SV-BC72: http://www.eda.org/sv-bc/hm/0500.html

I approve that a clarification is needed.
It would be good clarification to say the unique or priority
applies to all the branches of the same if.
Note that we should still be able to mix priority and unique, if we have
embedded if-then-else in another if.
Example:
unique if((a==0) || (a==1)) $display("0 or 1");
else if (a == 2)
        priority if (x == 0) $display("x0");
                  else if (x == 1) $display("x1");
else if (a == 4) $display("4"); // values 3,5,6,7 will cause a warning

The priority applies to the inner if
the unique applies to the outer if.

• Next message: Francoise Martinolle: "[sv-bc] SV-BC73"
• Previous message: Jacobi, Dan: "RE: [sv-bc] Updated Proposal for SV-BC-19-60 - take #3"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Thu Mar 06 2003 - 11:58:09 PST