Date: Mon Jun 25 2012 - 08:38:00 PDT
I also had the following objections to 3525:
The proposal makes the BNF of property_statement_spec identical to property_spec. If going that route, accepting the backward incompatibility mentioned in the Mantis item (and I am inclined to accept it), then they should be merged, and you only need property_spec.
Also, the proposal changes property_case_item to use property_expr instead of property_statement. That is mentioned in the changes to 16.12 and to A.2.10, but is omitted from the changes to Syntax 16-19.
Shalom
From: owner-sv-champions@eda.org [mailto:owner-sv-champions@eda.org] On Behalf Of Rich, Dave
Sent: Monday, June 25, 2012 18:17
To: sv-xc@eda.org
Subject: [sv-champions] Result of email ballot due June 25th
4145 Yes (with update from BP addressing one comment from SB)
4129 No (updated proposal, let's vote on today)
4127 NO
BP Because too much discussion in the Mantis comments after proposal to consider this resolved.
4126 YES
3982 YES
3940 NO
BP:Because I'd like confirmed that "regardless of whether method triggered or method matched is applied to the instance of the sequence" needn't mention "property", because "across an instance of a property or a sequence" should be "across an instance of a sequence or property" for parallel construction with "a sequence or property" in the following sentence, and because the section number is out-of-date with draft 5. 16.13.3 is the sub-clause being modified.
MH- I think the wording is confusing. The methods triggered and matched only apply to sequences as far as I know, but the wording confuses that.
FM- - no I do not understand neither recognizes "the scope flows left to right" or ("does not flow out"
being used elsewhere
in the LRM as a typical way to describe the scope of an declaration.
3525 NO
BP Because I'd like to know how many existing designs would be broken by the backward incompatibility
2840 YES
Dave Rich
Verification Technologist
Mentor Graphics Corporation
[Description: Description: Twitter-32]<http://www.twitter.com/dave_59>[Description: Description: Technorati-32]<http://go.mentor.com/drich>
---------------------------------------------------------------------
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.
