RE: [sv-bc] RE: [sv-ac] New keywords in SV-AC proposals

From: Steven Sharp <sharp_at_.....>
Date: Tue Mar 18 2008 - 16:15:39 PDT
>From: "Eduard Cerny" <Eduard.Cerny@synopsys.com>


>For my information - the system functions like $inferred_clock are
>processed during compilation / elaboration and are replaced by the
>actual expressions from the design. Can user replace it by his/her
>function even in that case?

My interpretation of the LRM would say "yes".

The statement in 1364 seems clear.  It makes no special exceptions
for expressions processed at elaboration time.  I am not aware of any
exceptions specified in 1800-2005.  And 1364-2005 did allow certain
built-in system functions in constant expressions that must be
processed at elaboration time (though the PLI committee may not have
been aware of this fact).

I don't know that this is a significant problem.  It may be fine to say
that if a user does this, they deserve whatever happens.  There might
even be some situation where this makes sense and is useful.  I just
wanted to bring it up, for anyone who might not be aware of it and who
might see a problem with it.

Steven Sharp
sharp@cadence.com


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Tue Mar 18 16:17:34 2008

This archive was generated by hypermail 2.1.8 : Tue Mar 18 2008 - 16:19:19 PDT