You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
34 lines
830 B
Coq
34 lines
830 B
Coq
8 months ago
|
// f20 f19 b20 c20 j16 k16 m18 m17 l17 l16 l15 l14 m15 m14
|
||
|
|
// 7 8 9 10 11 12 6 5 4 3 2 1
|
||
|
|
// B S3 S2 F A S1 S4 G C DP D E
|
||
|
|
module dt(
|
||
|
|
output wire A, B, C, D, E, F, G, DP,
|
||
|
|
output wire S1, S2, S3, S4
|
||
|
|
);
|
||
|
|
|
||
|
|
parameter SELECT_1 = 4'b1110;
|
||
|
|
parameter SELECT_2 = 4'b1101;
|
||
|
|
parameter SELECT_3 = 4'b1011;
|
||
|
|
parameter SELECT_4 = 4'b0111;
|
||
|
|
|
||
|
|
// ABCD_EFGP
|
||
|
|
parameter SHOW_1 = 8'B0110_0000;
|
||
|
|
parameter SHOW_2 = 8'B1101_1010;
|
||
|
|
parameter SHOW_3 = 8'B1111_0010;
|
||
|
|
parameter SHOW_4 = 8'B0110_0110;
|
||
|
|
parameter SHOW_5 = 8'B1111_1110;
|
||
|
|
parameter SHOW_6 = 8'B1111_1110;
|
||
|
|
parameter SHOW_7 = 8'B1111_1110;
|
||
|
|
parameter SHOW_8 = 8'B1111_1110;
|
||
|
|
parameter SHOW_9 = 8'B1111_1110;
|
||
|
|
parameter SHOW_0 = 8'B1111_1110;
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
assign {S4, S3, S2, S1} = SELECT_1;
|
||
|
|
assign {A, B, C, D, E, F, G, DP} = SHOW_1;
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
endmodule
|