Re: Question on for generate ranges and index specifications

Peter,

The only reference I can find in the LRM is in the 4th paragraph on
page 14 of the 2002 LRM. Specifically, it says

    "If such a block configuration contains an index specification that is a 
discrete
     range, then the block configuration applies to those implicit block 
statements that
     are generated for the specified range of values of the corresponding 
generate
     parameter; the discrete range has no significance other than to define 
the set
     of generate statement parameter values implied by the discrete range. 
If such a
     block configuration contains an index specification that is a static 
expression, then
     the block configuration applies only to the implicit block statement 
generated for
     the specified value of the corresponding generate parameter."

Note 3 on page 15 also is relevant.

It is not clear what is expected if the index or discrete range specified 
falls outside
the range of the generate parameter.

Regards,

-ajay


----- Original Message ----- 
From: "Peter Ashenden" <peter@ashenden.com.au>
To: <isac@eda.org>
Sent: Tuesday, January 31, 2006 12:06 PM
Subject: Question on for generate ranges and index specifications


> Folks,
>
> I've just been looking at generate statements, and am having trouble 
> finding
> rules that I thought should exist.
>
> A for-generate statement specifies values for the generate parameter with 
> a
> discrete range. The implicit type of the generate parameter is the base 
> type
> of the discrete range.
>
> In a block configuration for the generate statement, you can write a block
> specification that determines which occurrences of the generate get
> configured. The block specification can be either a discrete range or an
> expression.
>
> I would expect the type of the discrete range or expression to be that of
> the generate parameter, and that values in the discrete range or the value
> of the expression be in the discrete range of the generate statement.
> However, I can't find rules that state this. Can anyone point me in the
> right direction? If not, I'll raise an IR on it.
>
> Thanks.
>
> Cheers,
>
> PA
>
> --
> Dr. Peter J. Ashenden                peter@ashenden.com.au
> Ashenden Designs Pty. Ltd.           www.ashenden.com.au
> PO Box 640                           VoIP: 0871270078@sip.internode.on.net
> Stirling, SA 5152                    Phone (mobile):  +61 414 709 106
> Australia
>
>