| /* | |
| * Based on bug report PR#842. | |
| */ | |
| module test; | |
| foo _foo(); | |
| initial | |
| begin | |
| // Access the FOO parameter inside the _foo instance ? | |
| $display("%d", _foo.FOO); | |
| if (_foo.FOO != 17) begin | |
| $display("FAILED -- _foo.FOO=%d", _foo.FOO); | |
| $finish; | |
| end | |
| $display("PASSED"); | |
| end | |
| endmodule | |
| module foo; | |
| parameter FOO = 17; | |
| endmodule | |