data/full_repos/permissive/217697217/problems/01_sign_ext/sign_ext.v
data/verilator_xmls/5dd866f6-96da-4092-947f-859d28fd705d.xml
module sign_ext(
    input [11:0]imm,

    output [31:0]ext_imm
);






assign ext_imm = {{20{imm[11]}}, imm};

endmodule
module sign_ext(
    input [11:0]imm,

    output [31:0]ext_imm
);







assign ext_imm = {{20{imm[11]}}, imm};

endmodule