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

From: Gordon Vreugdenhil <gordonv_at_.....>
Date: Thu Mar 20 2008 - 07:47:35 PDT
Steven Sharp wrote:
>> 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. 

Ed, I think you are *assuming* that would be what one would do.
I understand that is a nice "macro like" model for the special
case, but isn't clear to me that one would necessarily be
*required* to do so.  In fact, it seems that such a requirement
would end up conflicting with vpi assumptions about being able
to recreate (non-macro expanded) source and navigate around the
expreessions.

This again is where the "substitution/macro" like assumptions
in a bunch of the proposals bothers me because people are
clearly assuming behavior that isn't really in alignment with
the rest of the LRM.

Gord.



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

-- 
--------------------------------------------------------------------
Gordon Vreugdenhil                                503-685-0808
Model Technology (Mentor Graphics)                gordonv@model.com


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Thu Mar 20 08:20:24 2008

This archive was generated by hypermail 2.1.8 : Thu Mar 20 2008 - 08:21:10 PDT