[sv-bc] Value propagation in Parameter with Type

Hi,
For the following testcase what should be the value of p2?

Will it be 8'b00000011 or 8'b11111111?

Thanks
Kausik


module bot #(parameter type p1 = logic, parameter p1 p2 = 7)
                  (input in1, output integer out1);
assign out1 = p2;

endmodule

module top(input  in1, output integer out1);

typedef union packed {
        byte      a;
        bit [7:0] b;
}UTR;

bot #(UTR, 2'sb11) inst(in1, out1);

endmodule



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