[sv-bc] Resolving cross module reference

Hi,
Please consider the following testcase.

module tb;
top top ();
endmodule

module top;
child c1 ();
target2 foo ();
endmodule

module child;
xmr x ();
target1 foo ();
endmodule

module target1;
endmodule

module target2;
parameter p = 2;
endmodule

module xmr;
initial $display ("I am %m foo.p is %d", foo.p);
endmodule

We consulted the relevant portion of the LRM (1364-2005 LRM, section 
12.6) which says that the algorithm for such upward hierarchical 
reference should be

A name of this form shall be resolved as follows:
a) Look in the current module for a module instance named 
module_instance_name. If found, this name reference shall be treated as 
a downward reference, and the item name shall be resolved in  the 
corresponding module.
b) Look in the parent module for a module instance named 
module_instance_name. If found, the item name shall be resolved from 
that instance, which is the sibling of the module containing the reference.
c) Repeat step (b), going up the hierarchy.

Please let us know what is expected of this case.

Different simulators behave differently.

-- 
Regards
Surya




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