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

SV-EC,

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.

Should this feature be generalized to be usable 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