Hi Shalom > - Does .* binding win over default actual argument if the formal > name matches in the instantiation context? .* with defaults does not exist in the LRM yet. Mantis 1619 (SV-BC) will add defaults for module input ports only. The question is what happens when there is not a match for the formal name in the instantiation context. Mantis 1619 proposes currently to take the default. But isn't it clear that if there is a match, that you connect it to the instantiation context? That is the whole point of .*. [Korchemny, Dmitry] I think that default should have a smaller precedence. But we have to be consistent in the definitions of module and checker. Have SV-BC already discussed this issue? Thanks, Dmitry --------------------------------------------------------------------- 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. --------------------------------------------------------------------- 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 Mon Oct 15 01:56:13 2007
This archive was generated by hypermail 2.1.8 : Mon Oct 15 2007 - 01:56:46 PDT