[sv-cc] FW: [sv-bc] Please look at SV-AC issue 1549, new keyword being voted on

 At the champions meeting on Thursday last week, it was brought to our
attention that the
AC committee (assertions) is going to add a new keyword to the language.
Karen Pieper asked us to bring mantis item for discussion in the BC, EC
and CC committees.
Brad Pierce has sent an email to the BC committee which summarizes the
issues.
The email is included. Please read this.

Francoise
    '
-----Original Message-----
From: owner-sv-bc@eda.org [mailto:owner-sv-bc@eda.org] On Behalf Of Brad
Pierce
Sent: Thursday, September 07, 2006 1:29 PM
To: sv-bc@eda-stds.org
Subject: [sv-bc] Please look at SV-AC issue 1549, new keyword being
voted on

SV-BC,

Please consider the attached proposal for Mantis item 1549, which is
currently under vote in SV-AC.

The proposal adds a new keyword 'implicit', which can be used in a
formal argument of a sequence to indicate that any type is allowed.

The proposal builds on the changes, already approved by SV-AC, from
issue 928, which are also attached.

Under the current proposal, the 'implicit' keyword would not be usable
in any other formal argument declarations, for example, in functions.

If the addition of 'implicit' is approved, should it be generalized to
usability in all formal argument declarations?

Any other issues/concerns about this proposal?

This e-mail fulfills an Action Item from the Champions meeting of
7/Sept/2006.

-- Brad