Re: [sv-bc] genblk counting -- known during analysis, or does it depend on elaboration?

Since Steven and I worked on much of the rules for this,
I am (unsurprisingly) in agreement with Steven both in
terms of the interpretation and intent of the naming rules.

Gord.

Steven Sharp wrote:
>> From: "Gran, Alex" <alex_gran@mentor.com>
> 
>>   I think the answer to your question is "It is implementation
>> specific"
> 
>> So I don't know that you'll find an airtight argument from the LRM,
>> since it looks like the LRM is going out of its way to avoid giving
>> airtight definitions of what exactly happens at compile time and what
>> exactly happens at elab time.
> 
> This is technically true, if you take Brad's question literally, rather
> than as shorthand for what he really meant.  There is nothing requiring
> a break between compilation and elaboration, or defining what has been
> computed at that point.
> 
> He meant "Is it theoretically possible to determine the genblk names
> before elaborating the generates?"  The answer to that was intended to
> be "Yes".  There is no requirement that any tool actually determine the
> genblk names before that point.  But if it determines it later, it still
> has to get the same answer, which does not depend on whether the generate
> conditions were true or false.
> 
> 
>> That being said, I believe I agree with you that a 'false' conditional
>> generate should still get a name.
> 
> I agree that this was the intent.
> 
> 
> 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.