data/full_repos/permissive/507564148/code/basic/Binary_To_7Segment.v
data/verilator_xmls/43595ec5-0bbe-4eae-a4d9-aafbdc84be9c.xml
module Binary_To_7Segment (
    input [3:0] Binary,
    output reg[6:0] r_Hex_Encoding
);
always @(*) begin
case (Binary)
  4'b0000 : r_Hex_Encoding = 7'h3f;
  4'b0001 : r_Hex_Encoding = 7'h06;
  4'b0010 : r_Hex_Encoding = 7'h5b;
  4'b0011 : r_Hex_Encoding = 7'h4f;
  4'b0100 : r_Hex_Encoding = 7'h66;
  4'b0101 : r_Hex_Encoding = 7'h6d;
  4'b0110 : r_Hex_Encoding = 7'h7d;
  4'b0111 : r_Hex_Encoding = 7'h07;
  4'b1000 : r_Hex_Encoding = 7'h7f;
  4'b1001 : r_Hex_Encoding = 7'h6f;
  default : r_Hex_Encoding = 7'h3f;
endcase
end

endmodule
module Binary_To_7Segment (
    input [3:0] Binary,
    output reg[6:0] r_Hex_Encoding
);

always @(*) begin
case (Binary)
  4'b0000 : r_Hex_Encoding = 7'h3f;
  4'b0001 : r_Hex_Encoding = 7'h06;
  4'b0010 : r_Hex_Encoding = 7'h5b;
  4'b0011 : r_Hex_Encoding = 7'h4f;
  4'b0100 : r_Hex_Encoding = 7'h66;
  4'b0101 : r_Hex_Encoding = 7'h6d;
  4'b0110 : r_Hex_Encoding = 7'h7d;
  4'b0111 : r_Hex_Encoding = 7'h07;
  4'b1000 : r_Hex_Encoding = 7'h7f;
  4'b1001 : r_Hex_Encoding = 7'h6f;
  default : r_Hex_Encoding = 7'h3f;
endcase
end

endmodule