42 lines
1.1 KiB
Coq
42 lines
1.1 KiB
Coq
|
/// SegmentLCD represents a 7-segment display that takes as input a 4-bit
|
||
|
|
/// number and outputs the correct pin configuration. The pins need to be
|
||
|
|
/// wired as {G, F, E, D, C, B, A} for this to work.
|
||
|
|
///
|
||
|
|
/// For example,
|
||
|
|
///
|
||
|
|
/// wire [7:0] sum = 8'b00000000;
|
||
|
|
/// segment7 low (
|
||
|
|
/// .number(sum[3:0]),
|
||
|
|
/// .out({PIN_15, PIN_14, PIN_13, PIN_12, PIN_11, PIN_10, PIN_9})
|
||
|
|
/// );
|
||
|
|
module SegmentLCD (
|
||
|
|
input [3:0] number,
|
||
|
|
output reg [6:0] out
|
||
|
|
);
|
||
|
|
|
||
|
|
always @(*)
|
||
|
|
begin
|
||
|
|
case (number)
|
||
|
|
4'b0000: out = ~7'b0111111; // 0
|
||
|
|
4'b0001: out = ~7'b0000110; // 1
|
||
|
|
4'b0010: out = ~7'b1011011; // 2
|
||
|
|
4'b0011: out = ~7'b1001111; // 3
|
||
|
|
4'b0100: out = ~7'b1100110; // 4
|
||
|
|
4'b0101: out = ~7'b1101101; // 5
|
||
|
|
4'b0110: out = ~7'b1111101; // 6
|
||
|
|
4'b0111: out = ~7'b0000111; // 7
|
||
|
|
4'b1000: out = ~7'b1111111; // 8
|
||
|
|
4'b1001: out = ~7'b1100111; // 9
|
||
|
|
4'b1010: out = ~7'b1110111; // A
|
||
|
|
4'b1011: out = ~7'b1111100; // B
|
||
|
|
4'b1100: out = ~7'b0111001; // C
|
||
|
|
4'b1101: out = ~7'b1011110; // D
|
||
|
|
4'b1110: out = ~7'b1111001; // E
|
||
|
|
4'b1111: out = ~7'b1110001; // F
|
||
|
|
endcase
|
||
|
|
end
|
||
|
|
|
||
|
|
endmodule
|
||
|
|
|
||
|
|
|