На Verilog можно проще

reg [15:0] out;
reg [3:0] int;

always @ *
begin
out = 0;
out[in] = 1'b1;
end