data/full_repos/permissive/107499099/mips_de2-115/MIPS/signext16_32.v
'utf-8' codec can't decode byte 0xc6 in position 206: invalid continuation byte
data/verilator_xmls/7fc0bbff-814d-4811-af0f-f81f2869dd20.xml
module signext16_32 (sign_ext, a16, y32);
  input      sign_ext;
  input   [15:0]  a16;
  output  [31:0]  y32;



  assign y32 = (sign_ext == 1'b1) ?
               {a16[15], a16[15], a16[15], a16[15],
                a16[15], a16[15], a16[15], a16[15],
                a16[15], a16[15], a16[15], a16[15],
                a16[15], a16[15], a16[15], a16[15],
                a16[15:0]}
               : {16'h0000, a16[15:0]};
endmodule
module signext16_32 (sign_ext, a16, y32);

  input      sign_ext;
  input   [15:0]  a16;
  output  [31:0]  y32;



  assign y32 = (sign_ext == 1'b1) ?
               {a16[15], a16[15], a16[15], a16[15],
                a16[15], a16[15], a16[15], a16[15],
                a16[15], a16[15], a16[15], a16[15],
                a16[15], a16[15], a16[15], a16[15],
                a16[15:0]}
               : {16'h0000, a16[15:0]};
endmodule