Subject: [vhdl-200x] Re: VHDL LRM question
From: Paul J. Menchini (mench@mench.com)
Date: Mon May 19 2003 - 07:03:04 PDT
Zain,
> i need your help in resolving the following: according to the LRM (the
> buttom of page 88 and top of 89, VHDL and AMS) a static name is a
> simple, or slice or indexed. it does not make any mention of some
> attributes. on the other hand, 'EVENT can only apply to static signal
> names. with the above, where in the LRM can we justify application of
> 'EVENT to 'STABE? e.g., in s'statble'event is s'stable a static name?
A strict interpretation of the LRM leads me to believe that
"s'stable'event" is not legal. You're right that 'event requires a
static prefix (clause 14.1), and, that according to the rules of static
names in clause 6.1, s'stable is not a static name.
However, that the intent of the static property applied to names is that
the named object is unambiguously identified during the elaboration of
the name (for the static property) or during analysis of the name (for
the locally static property). s'stable certainly can be static if the
prefix is itself static, so we should perhaps, amend 6.1 to include
attributes in certain circumstances.
I hope you don't mind that I shared your question and analysis with the
VHDL-2000x team.
VHDL-200x: I think we should fix this. The fix seems relatively
straightforward. I will be happy to contribute the proposed LRM
language if some functional team wants to pick up on this.
Paul
This archive was generated by hypermail 2b28 : Mon May 19 2003 - 07:11:20 PDT