blob: 2f4ef1b943e8855938515ca089e5e732c5a57a48 [file] [log] [blame]
/*
:name: unique_if
:description: A module testing unique-if statement
:should_fail: 0
:tags: 12.4.2
*/
module if_tb ();
wire [3:0] a = 0;
reg [1:0] b = 0;
always begin
unique if(a == 0) b = 1;
else if(a == 1) b = 2;
end
endmodule