RE: [sv-ac] my notes from the face-to-face

From: Bresticker, Shalom <shalom.bresticker_at_.....>
Date: Tue Oct 09 2007 - 23:51:43 PDT
John, 

> - 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 .*.


> - Suppose that you instantiate a checker in a context where there
>   are automatics.  What does the continuous assignment mean?

I can't yet find anywhere in the LRM where it explicitly says so, but I
think you can't do a continuous assignment to an automatic variable.

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 Oct 9 23:52:08 2007

This archive was generated by hypermail 2.1.8 : Tue Oct 09 2007 - 23:52:46 PDT