Re: [sv-bc] structure literal example in standard

From: Brad Pierce <Brad.Pierce_at_.....>
Date: Sun Nov 12 2006 - 23:03:29 PST
Please review Shalom's proposal for Mantis item 1666.  A copy of the
proposal is attached.

Personally, I'm concerned about the proposed nondeterminism.

   "Implementations may evaluate assignment patterns before
replication."

I think this should be 'shall'.  

Compare these rules from 5.1.14 and 9.5 in Verilog-2005 --

   "When a replication expression is evaluated, the operands shall be
evaluated
    exactly once, even if the replication constant is zero."

   "The case expression given in parentheses shall be evaluated exactly
once and 
    before any of the case item expressions."

-- Brad

Received on Sun Nov 12 23:05:34 2006

This archive was generated by hypermail 2.1.8 : Sun Nov 12 2006 - 23:06:10 PST