data/full_repos/permissive/135701568/signExt.v
data/verilator_xmls/4ace3458-febb-4219-8220-75a61dbafaf4.xml
module signExt(in, out);
  input[7:0] in;
  output[11:0] out;
  assign out = (in[7]) ? {5'b11111,in[6:0]} : {5'b00000,in[6:0]};
endmodule
module signExt(in, out);

  input[7:0] in;
  output[11:0] out;
  assign out = (in[7]) ? {5'b11111,in[6:0]} : {5'b00000,in[6:0]};
endmodule