Yes on all except 1360, 1573, and 2140 for reasons noted below. Maidment, Matthew R wrote:> > SVDB 1360 ___Yes _X_No > http://www.eda.org/svdb/view.php?id=1360 It is not clear whether the single assignment rule follows exactly the same longest static prefix rules defined for the sensitivity analysis. I think it does but that should be stated explicitly. > SVDB 1573 ___Yes _X_No > http://www.eda.org/svdb/view.php?id=1573 The new text says: An input port is used as an output or inout if it is assigned a value within the module... But what about a hierarchical reference from outside that writes to the port? That also "coerces" the port. I think that Steven's comments regarding confusion between coercion and collapsing are in play here. I think that the new text makes things worse be saying "shall" and by missing various non-local effects including hierarchical references and pli at the least. > SVDB 2140 ___Yes _X_No > http://www.eda.org/svdb/view.php?id=2140 I think we need much more discussion on macros before making this decision. Gord -- -------------------------------------------------------------------- Gordon Vreugdenhil 503-685-0808 Model Technology (Mentor Graphics) gordonv@model.com -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Thu Oct 25 15:56:52 2007
This archive was generated by hypermail 2.1.8 : Thu Oct 25 2007 - 15:57:03 PDT