[sv-ec] Feedback from champions 1447 and 2183

From: Neil Korpusik <Neil.Korpusik_at_.....>
Date: Mon Mar 03 2008 - 12:35:23 PST
Feedback from the champions

16. 1447  SV-EC  Contradictory stmts about unsized array dimensions
           (5.1 vs. 5.7 and 5.8)

       Question -- what is the defintion of 'compatible'?  Is it the same thing
       as "assignment compatible"?  If so, this should either say "assignment
       compatible" instead of "compatible", or we should get rid of the
       "assignment" in "assignment compatible".

           Shalom
              This issue is already there - not a new problem

       ----------------

       I abstain because from a user's point of view the new wording is just as
       muddy as the original wording.  I assume it means something more exact
       to those that implement SystemVerilog tools.

       ---------------

       I think there is a contradiction between the following two statements
       that should be resolved:

       In 7.4.2: "If an unpacked array has one or more dynamic, associative, or
       queued dimensions, it is considered a variable-size array."

       In 7.5: "integer mem[2][]; // Fixed-size unpacked array composed of 2
       dynamic subarrays
       of integers"

    New mantis items will be create for this feedback.


20. 2183  SV-EC  Only simple identifiers allowed in solve-before constraint

       I don't know what "simply identify" means?  Sounds like a
       "simple_identifier" to me, which is roughly what was already there.
       What's an example of an "expression" that can "simply identify"
       something without being a "simple_identifier"?  Also, just an
       observation, not a strong objection, this is hardly the only place in
       the BNF that would have the content "expression { , expression }".  See
       case_item, rs_case_item, and assignment pattern.  So why the need for a
       special production for it here?

       ---------------

       The new sentence "Each expression in an 'expression_list' must simply
       identify a random variable." is not well worded.  What is meant by "must
       simply"?  The word "must" should be "can", "may" or "shall" (I am
       guessing that the intent is "shall, but I am not sure).  The word
       "simply" should be deleted or rephrased.

    Mantis 2183 was sent back to the svec

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Mon Mar 3 12:36:02 2008

This archive was generated by hypermail 2.1.8 : Mon Mar 03 2008 - 12:36:54 PST