As I recall from the committee conference call when we discussed issue 105, the reason this was classified as "non-trivial" was simply because it needed a Mantis item created and a proposal written to change the wording in 19.3. The committee agreed that although there was nothing technically wrong with the current wording in 19.3, the wording could be made more clear (and consistent with 19.5) by changing "variable or an expression" to "integral expression" Stu ~~~~~~~~~~~~~~ Stuart Sutherland stuart@sutherland-hdl.com (503) 692-0898 From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of Swapnajit Chakraborti Sent: Friday, April 24, 2009 6:05 AM To: Scott, David; sv-ec@eda.org Subject: RE: [sv-ec] ballot issue #105 Hi Dave, Do you think we need to match the following two lines in this context? Section 19.3 "A coverage point can cover a variable or an expression." Section 19.5 "A coverage point specifies an integral expression that is to be covered." I believe the second is the generic one. Regds, Swapnajit _____ From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of Scott, David Sent: Thursday, April 23, 2009 3:02 AM To: sv-ec@eda.org Subject: [sv-ec] ballot issue #105 Ballot issue #105 reads: There is no mention of nets/wires being specified in the coverage model. Refer last line. That's entered against 19.2. The last line includes the phrase "Associate bins with sets of values, transitions, or cross products". I don't see what's non-trivial about this. It looks trivial. In fact, I think the current wording of the draft standard is just fine. "Sets of values" (for coverpoint bins) are specified as expressions, and net identifiers may be expressions, too. 6.5 and 6.7 are clear enough about what nets are and how they may be declared with integral data types. I recommend we do nothing about this one. -- David -- This message has been scanned for viruses and dangerous content by <http://www.mailscanner.info/> MailScanner, and is believed to be clean. -- This message has been scanned for viruses and dangerous content by <http://www.mailscanner.info/> MailScanner, and is believed to be clean. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Fri Apr 24 08:26:55 2009
This archive was generated by hypermail 2.1.8 : Fri Apr 24 2009 - 08:29:23 PDT