RE: [sv-ac] Minutes from SV-AC Meeting 9/21/2010

Note that the default direction rules specified for modules apply also to interfaces and programs, but not necessarily to other constructs. For examples, the default direction for tasks and functions is input. SV-BC has a work item to clarify these rules for other constructs during this PAR.

Shalom

> Checker outputs
> Lawrence: BNF of checker outputs. Need to specify input/output of
> each
> port.
> To maintain backward compatibility, if direction not specified,
> first
> port would be considered an input.
> Dmitry: But it would be inconsistent with everything else?
> Ben: Can't it be like a module?
> Lawrence: In modules, you need to specify direction.
> Ben: But some people like to put outputs first in the port list.
> Dmitry: You can do it, you just need to specify "output" for the
> direction
> of the first port.
>
> Lawrence: Do we want to allow untyped outputs for checker?
> Dmitry: Why not?
>
> Scott: For modules: the LRM says if the direction is unspecified,
> the port
> type defaults to inout. this proposal is inconsistent with this.

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