cnt6.map.eqn

数码管扫描显示控制器,同时显示0、1、2、3、4、5这6个不同的数字图形到6个数码管上。复位时所有数码管全灭。

--A1L2 is btn2~2
A1L2_or_out = btn2;
A1L2 = A1L2_or_out;


--B1_count[0] is cnt6:u1|count[0]
B1_count[0]_reg_input = VCC;
B1_count[0] = TFFE(B1_count[0]_reg_input, GLOBAL(clk), !btn2, , );


--A1L11 is clk~6
A1L11_or_out = GLOBAL(clk);
A1L11 = A1L11_or_out;


--B1_count[2] is cnt6:u1|count[2]
B1_count[2]_p1_out = !B1_count[2] & !B1_count[1];
B1_count[2]_or_out = B1_count[2]_p1_out # !B1_count[0];
B1_count[2]_reg_input = !B1_count[2]_or_out;
B1_count[2] = TFFE(B1_count[2]_reg_input, GLOBAL(clk), , !btn2, );


--C1L51 is seg7_1:u2|i[3]~82
C1L51_p1_out = !B1_count[1] & B1_count[0];
C1L51_or_out = !B1_count[2];
C1L51 = C1L51_p1_out $ C1L51_or_out;


--C1L91 is seg7_1:u2|Mux~123
C1L91_p1_out = !B1_count[2] & !B1_count[0];
C1L91_or_out = C1L91_p1_out;
C1L91 = C1L91_or_out;


--C1L61 is seg7_1:u2|i[3]~89
C1L61_p1_out = B1_count[2] & B1_count[1];
C1L61_p2_out = B1_count[2] & !B1_count[0];
C1L61_p3_out = !B1_count[2] & !B1_count[1] & B1_count[0];
C1L61_or_out = C1L61_p1_out # C1L61_p2_out # C1L61_p3_out;
C1L61 = !(C1L61_or_out);


--B1_count[1] is cnt6:u1|count[1]
B1_count[1]_p1_out = B1_count[2] & !B1_count[1];
B1_count[1]_or_out = B1_count[1]_p1_out # !B1_count[0];
B1_count[1]_reg_input = !B1_count[1]_or_out;
B1_count[1] = TFFE(B1_count[1]_reg_input, GLOBAL(clk), , !btn2, );


--C1L31 is seg7_1:u2|i[0]~91
C1L31_or_out = B1_count[1];
C1L31 = B1_count[2] $ C1L31_or_out;


--C1L71 is seg7_1:u2|i[4]~96
C1L71_p1_out = !B1_count[2] & B1_count[0];
C1L71_or_out = C1L71_p1_out # !B1_count[1];
C1L71 = C1L71_or_out;


--C1L41 is seg7_1:u2|i[1]~99
C1L41_p1_out = !B1_count[2] & B1_count[0];
C1L41_or_out = C1L41_p1_out # B1_count[1];
C1L41 = !(C1L41_or_out);


--C1L81 is seg7_1:u2|i[5]~103
C1L81_p1_out = !B1_count[1] & !B1_count[0];
C1L81_or_out = C1L81_p1_out # !B1_count[2];
C1L81 = C1L81_or_out;


--C1L11 is seg7_1:u2|cat0[5]~50
C1L11_p1_out = !B1_count[2] & B1_count[1];
C1L11_p2_out = C1L11 & B1_count[2] & B1_count[1];
C1L11_p3_out = C1L11 & B1_count[1];
C1L11_or_out = C1L21 # GND # C1L11_p1_out # C1L11_p2_out # C1L11_p3_out # GND;
C1L11 = C1L11_or_out;


--C1L9 is seg7_1:u2|cat0[4]~54
C1L9_p0_out = !B1_count[2] & !B1_count[0];
C1L9_p2_out = C1L9 & B1_count[2] & B1_count[1];
C1L9_p3_out = C1L9 & B1_count[2];
C1L9_p4_out = !B1_count[2] & B1_count[1];
C1L9_or_out = C1L01 # C1L9_p0_out # GND # C1L9_p2_out # C1L9_p3_out # C1L9_p4_out;
C1L9 = C1L9_or_out;


--C1L7 is seg7_1:u2|cat0[3]~58
C1L7_p0_out = !B1_count[2] & B1_count[0];
C1L7_p1_out = !B1_count[2] & !B1_count[1];
C1L7_p2_out = C1L7 & B1_count[2] & B1_count[1];
C1L7_p3_out = C1L7 & !B1_count[1];
C1L7_or_out = C1L8 # C1L7_p0_out # C1L7_p1_out # C1L7_p2_out # C1L7_p3_out # !B1_count[1];
C1L7 = C1L7_or_out;


--C1L5 is seg7_1:u2|cat0[2]~62
C1L5_p0_out = C1L5 & !B1_count[0];
C1L5_p1_out = !B1_count[1] & !B1_count[2];
C1L5_p2_out = C1L5 & B1_count[1] & B1_count[2];
C1L5_p3_out = C1L5 & !B1_count[1];
C1L5_p4_out = !B1_count[2] & !B1_count[0];
C1L5_or_out = C1L6 # C1L5_p0_out # C1L5_p1_out # C1L5_p2_out # C1L5_p3_out # C1L5_p4_out;
C1L5 = C1L5_or_out;


--C1L3 is seg7_1:u2|cat0[1]~66
C1L3_p0_out = C1L3 & B1_count[0];
C1L3_p2_out = C1L3 & B1_count[2] & B1_count[1];
C1L3_p3_out = C1L3 & !B1_count[2];
C1L3_p4_out = !B1_count[2] & B1_count[0];
C1L3_or_out = C1L4 # C1L3_p0_out # !B1_count[2] # C1L3_p2_out # C1L3_p3_out # C1L3_p4_out;
C1L3 = C1L3_or_out;


--C1L1 is seg7_1:u2|cat0[0]~70
C1L1_p0_out = C1L1 & !B1_count[0];
C1L1_p2_out = C1L1 & B1_count[2] & B1_count[1];
C1L1_p3_out = C1L1 & !B1_count[2];
C1L1_p4_out = !B1_count[2] & !B1_count[0];
C1L1_or_out = C1L2 # C1L1_p0_out # !B1_count[2] # C1L1_p2_out # C1L1_p3_out # C1L1_p4_out;
C1L1 = C1L1_or_out;


--~GND~0 is ~GND~0
~GND~0_or_out = GND;
~GND~0 = ~GND~0_or_out;


--C1L21 is seg7_1:u2|cat0[5]~79
C1L21_p0_out = B1_count[0] & !B1_count[1];
C1L21_p1_out = B1_count[0] & !B1_count[2];
C1L21_p2_out = B1_count[2] & C1L11;
C1L21_p3_out = B1_count[0] & C1L11;
C1L21_p4_out = B1_count[2] & !B1_count[1];
C1L21 = C1L21_p0_out # C1L21_p1_out # C1L21_p2_out # C1L21_p3_out # C1L21_p4_out;


--C1L01 is seg7_1:u2|cat0[4]~84
C1L01_p0_out = !B1_count[1] & !B1_count[0];
C1L01_p1_out = B1_count[1] & C1L9;
C1L01_p2_out = C1L9 & !B1_count[0];
C1L01_p3_out = !B1_count[1] & B1_count[2];
C1L01 = C1L01_p0_out # C1L01_p1_out # C1L01_p2_out # C1L01_p3_out # GND;


--C1L8 is seg7_1:u2|cat0[3]~92
C1L8_p1_out = B1_count[0] & C1L7;
C1L8_p2_out = B1_count[0] & !B1_count[1];
C1L8 = C1L8_p1_out # C1L8_p2_out;


--C1L6 is seg7_1:u2|cat0[2]~97
C1L6_p2_out = !B1_count[1] & !B1_count[0];
C1L6 = !B1_count[1] # C1L6_p2_out;


--C1L4 is seg7_1:u2|cat0[1]~102
C1L4_p1_out = !B1_count[1] & !B1_count[2];
C1L4_p2_out = !B1_count[1] & B1_count[0];
C1L4 = C1L4_p1_out # C1L4_p2_out;


--C1L2 is seg7_1:u2|cat0[0]~107
C1L2_p1_out = !B1_count[1] & !B1_count[2];
C1L2_p2_out = !B1_count[1] & !B1_count[0];
C1L2 = C1L2_p1_out # C1L2_p2_out;


--clk is clk
--operation mode is input

clk = INPUT();


--btn2 is btn2
--operation mode is input

btn2 = INPUT();


--cnt[3] is cnt[3]
--operation mode is output

cnt[3] = OUTPUT(~GND~0);


--ld1 is ld1
--operation mode is output

ld1 = OUTPUT(A1L2);


--ld8 is ld8
--operation mode is output

ld8 = OUTPUT(A1L11);


--cnt[0] is cnt[0]
--operation mode is output

cnt[0] = OUTPUT(B1_count[0]);


--cnt[2] is cnt[2]
--operation mode is output

cnt[2] = OUTPUT(B1_count[2]);


--lcd[3] is lcd[3]
--operation mode is output

lcd[3] = OUTPUT(C1L51);


--lcd[2] is lcd[2]
--operation mode is output

lcd[2] = OUTPUT(C1L91);


--lcd[6] is lcd[6]
--operation mode is output

lcd[6] = OUTPUT(C1L61);


--cnt[1] is cnt[1]
--operation mode is output

cnt[1] = OUTPUT(B1_count[1]);


--lcd[4] is lcd[4]
--operation mode is output

lcd[4] = OUTPUT(C1L71);


--lcd[1] is lcd[1]
--operation mode is output

lcd[1] = OUTPUT(C1L41);


--lcd[0] is lcd[0]
--operation mode is output

lcd[0] = OUTPUT(C1L31);


--lcd[5] is lcd[5]
--operation mode is output

lcd[5] = OUTPUT(C1L81);


--cat[5] is cat[5]
--operation mode is output

cat[5] = OUTPUT(C1L11);


--cat[4] is cat[4]
--operation mode is output

cat[4] = OUTPUT(C1L9);


--cat[3] is cat[3]
--operation mode is output

cat[3] = OUTPUT(C1L7);


--cat[2] is cat[2]
--operation mode is output

cat[2] = OUTPUT(C1L5);


--cat[1] is cat[1]
--operation mode is output

cat[1] = OUTPUT(C1L3);


--cat[0] is cat[0]
--operation mode is output

cat[0] = OUTPUT(C1L1);