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