Hi, > 3. Page 7: "An implicit .* port connection . . ." > > This paragraph spends too much time explaining the > difference betweeen > .name and .* port connections. That is explained elsewhere. This > paragraph needs to concentrate on the interaction between the port > connection method and default values on the formal > argument. For example, > a default value will never be used if the argument is > connected with > .name. This part of the text is apparently based on Mantis 1619, which is still in progress in SV-BC, but seems to me will be approved. That text will also describe the interaction between the port connection method and default values on the port declarations. This proposal could simply say that checkers use the same semantics as module port connections. Shalom --------------------------------------------------------------------- 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. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Tue Nov 13 02:32:12 2007
This archive was generated by hypermail 2.1.8 : Tue Nov 13 2007 - 02:32:23 PST