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.
74 lines
3.1 KiB
Coq
74 lines
3.1 KiB
Coq
7 months ago
|
module data_cfg(
|
||
|
|
input wire [4: 0] cnt_bit,
|
||
|
|
input wire [6: 0] cnt_led,
|
||
|
|
|
||
|
|
output wire bit
|
||
|
|
);
|
||
|
|
wire [23: 0] data[63: 0];//数据
|
||
|
|
assign bit = data[cnt_led][23 - cnt_bit];
|
||
|
|
assign data[00] = {8'hff, 8'hff, 8'hff};//GRB
|
||
|
|
assign data[01] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[02] = {8'h00, 8'hff, 8'h00};//GRB
|
||
|
|
assign data[03] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[04] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[05] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[06] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[07] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[08] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[09] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[10] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[11] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[12] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[13] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[14] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[15] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[16] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[17] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[18] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[19] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[20] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[21] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[22] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[23] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[24] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[25] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[26] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[27] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[28] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[29] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[30] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[31] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[32] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[33] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[34] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[35] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[36] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[37] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[38] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[39] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[40] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[41] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[42] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[43] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[44] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[45] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[46] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[47] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[48] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[49] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[50] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[51] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[52] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[53] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[54] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[55] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[56] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[57] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[58] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[59] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[60] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[61] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[62] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
assign data[63] = {8'h00, 8'h00, 8'h00};//GRB
|
||
|
|
|
||
|
|
endmodule
|