RE: [sv-ac] call to vote on 1900

From: Korchemny, Dmitry <dmitry.korchemny_at_.....>
Date: Wed Nov 14 2007 - 23:40:58 PST
Hi Shalom,

I agree, when Mantis 1619 is approved a reference to modules will be
sufficient. Until then the checker case is different (see also my answer
to Tom).

Thanks,
Dmitry

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Bresticker, Shalom
Sent: Tuesday, November 13, 2007 12:32 PM
To: Thomas.Thatcher@sun.com
Cc: sv-ac@server.eda.org
Subject: RE: [sv-ac] call to vote on 1900

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.
---------------------------------------------------------------------
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 Wed Nov 14 23:43:02 2007

This archive was generated by hypermail 2.1.8 : Wed Nov 14 2007 - 23:43:26 PST