[sv-bc] RE: [sv-ec] Query reagarding Array of Instance unrolling

Hi,

This is Mantis 1703. You are correct that the LRM does not explain this
well.

The relevant sentence is,

"If the port connection is a packed array, each instance shall get a
part-select of the port connection, starting with all right-hand indices
to match the rightmost part-select and iterating through the rightmost
dimension first."

http://www.eda-stds.org/sv-bc/hm/5149.html explains how it would work.

You would get

bot I1[1] ( {in2[2][1:0], in2[1][1]} );
bot I1[0] ( {in2[1][0], in2[0][1:0]} );

Shalom

> -----Original Message-----
> From: owner-sv-ec@server.eda.org 
> [mailto:owner-sv-ec@server.eda.org] On Behalf Of Moumita
> Sent: Tuesday, April 29, 2008 10:48 AM
> To: sv-bc; sv-ec
> Subject: [sv-ec] Query reagarding Array of Instance unrolling
> 
> Hello,
> 
> According to SV LRM 1800-2005  sec 19.12.5  for port 
> connection of packed array if we have a testcases as follows -
> 
> 
> module leaf(input [1:0][2:0] in2)
>           bot I1[1:0] (in2);
> endmodule
> 
> module bot(input [2:0] in2);
> endmodule
> 
> Then after unrolling output will be -
> 
> module leaf(input wire [1:0] [2:0] in2);
>    bot gen0(in2[0][2:0] );
>    bot gen1(in2[1][2:0]  );
> endmodule
> 
> But if we change our testcase by interchanging the packed 
> dimensions of 
> in2 as follows then after
> unrolling what should be the output, i.e. which instance will 
> take what 
> part of connection net 'in2'.
> 
> module leaf(input [2:0][1:0] in2)
>           bot I1[1:0] (in2);
> endmodule
> 
> module bot(input [2:0] in2);
> endmodule
> 
> LRM does not say  anything ragarding this.
> 
> Thanks and regards,
> Moumita
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.