Date: Mon Mar 28 2011 - 23:11:30 PDT
Dave,
Your first change in 6.21 would allow class members to be assigned with not only NBAs, but also continuous assignments and procedural continuous assignments. I don't think this was your intent, and there would be problems with that. For example, continuous assignments could have the same problem you describe later for the class member on the RHS of a continuous assignment, but without any way of avoiding the possible null handle dereference.
I think you will either need to split out a sentence which describes the limits for NBAs separately from the ones for the other assignments, or leave the original sentence that disallows all combinations, but then specifically says that NBAs to class members are an exception that are allowed.
________________________________
From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of Rich, Dave
Sent: Monday, March 28, 2011 1:57 AM
To: sv-ec@eda.org
Subject: [sv-ec] New proposal for 2112 Remove restrictions on NBA assignments to class members
I have uploaded a proposal for 2112. The only actual change is the relaxation of the restriction in 6.21. The other edits are suggested clarifications as we discussed in earlier sv-bc meetings.
Dave Rich
Verification Technologist
Mentor Graphics Corporation
New Office Number: 510-354-7439
[cid:992500506@29032011-05FA]<http://www.twitter.com/dave_59> [cid:992500506@29032011-0601] <http://go.mentor.com/drich>
-- This message has been scanned for viruses and dangerous content by MailScanner<http://www.mailscanner.info/>, and is believed to be clean. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.
