[sv-bc] Doubt in external name generation for unnamed generate blocks

Hi,
I have a doubt regrading External name generation for unnamed generate 
blocks.
In the LRM -IEEE Std 1364-2005 sec 12.4.3 says that "
If such a name would conflict with an explicitly declared name, then
leading zeroes are added in front of the number until the name does not 
conflict."

So if we have a testcase-
*module top;
parameter genblk2 = 0;
genvar i;
if (genblk1) reg b; // top.genblk1.b
if (genblk2) reg a;  // then  name should be top.genblk02.a as genblk2 
exists before the generate block.
endmodule*

But LRM does not say anything if name conflicts with any explicit 
declared name
which is declared later . For example-

*module top;
parameter genblk2 = 0;
genvar i;
generate
if (genblk1) reg b; // top.genblk1.b
endgenerate
integer  genblk1 //conflicts
endmodule*

What will be the expected behavior?

Thanks and regards,
Moumita
 



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