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

Mark Hartoog wrote:
> Gord wrote: 
>>> 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.
> 
> Processing of $inferred_clock during compilation/elaboration does not
> imply a
> a "macro like model".

Hmm - Ed said "replaced by the actual expressions".  If one
says "is equivalent to the inferred event" or similar, no
problem.  The "replaced by" certainly makes it sound to
me like a macro-like processing step.  If not is not the
expectation, that is fine (obviously).  The vpi and other
related issues are then also not an issue although I would
wonder how one would access the *actual* inferred expression
via vpi.  I know that is arguing both for and against my
earlier question but I know that some people are very
concerned about source-faithful vpi expression access and
if both that AND the replacement (or "determined sensitivity")
are needed, that should be covered.


> 
> module #(type T = int) m (input T x);
> logic [$bits(T):0] y;
> endmodule
> 
> One could say that during compilation/elaboration, the type parameter
> 'T' is
> replaced by the actual type, and the $bits(T) function is evaluated. 
> Does that make modules into macros ?

> Nothing in the statement that $inferred_clock is "processed during
> compilation/
> elaboration" would require a conflict with the vpi assumption. 

I agree -- "processed" does not.  "Replaced by", particularly
given earlier "rewriting" approaches into generates that AC
suggested and which are problematic, do make me take note.

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