seg7_1a.map.eqn

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

--count[0] is count[0]
count[0]_reg_input = VCC;
count[0] = TFFE(count[0]_reg_input, GLOBAL(clk), !btn2, , );


--count1[0] is count1[0]
count1[0]_reg_input = VCC;
count1[0] = TFFE(count1[0]_reg_input, GLOBAL(clk), , , !btn2);


--count1[1] is count1[1]
count1[1]_p1_out = !count1[2] & count1[0] & !count1[1];
count1[1]_p2_out = !count1[0] & count1[1];
count1[1]_or_out = count1[1]_p1_out # count1[1]_p2_out;
count1[1]_reg_input = count1[1]_or_out;
count1[1] = DFFE(count1[1]_reg_input, GLOBAL(clk), , , !btn2);


--count[1] is count[1]
count[1]_p1_out = count[2] & count[1] & count[0];
count[1]_p3_out = !count[1] & !count[0];
count[1]_or_out = count[1]_p1_out # count[1]_p3_out;
count[1]_reg_input = !(count[1]_or_out);
count[1] = DFFE(count[1]_reg_input, GLOBAL(clk), !btn2, , );


--A1L6Q is cat[1]~reg0
A1L6Q_p1_out = !count[0] & !count[2] & count[1];
A1L6Q_or_out = A1L6Q_p1_out;
A1L6Q_reg_input = !(A1L6Q_or_out);
A1L6Q = DFFE(A1L6Q_reg_input, GLOBAL(clk), , , !btn2);


--A1L4Q is cat[0]~reg0
A1L4Q_p1_out = count[0] & !count[2] & count[1];
A1L4Q_or_out = A1L4Q_p1_out;
A1L4Q_reg_input = !(A1L4Q_or_out);
A1L4Q = DFFE(A1L4Q_reg_input, GLOBAL(clk), , , !btn2);


--count1[2] is count1[2]
count1[2]_p1_out = count1[1] & count1[0] & !count1[2];
count1[2]_p2_out = !count1[0] & count1[2];
count1[2]_or_out = count1[2]_p1_out # count1[2]_p2_out;
count1[2]_reg_input = count1[2]_or_out;
count1[2] = DFFE(count1[2]_reg_input, GLOBAL(clk), , , !btn2);


--count[2] is count[2]
count[2]_p1_out = !count[2] & !count[0];
count[2]_p3_out = count[2] & count[0] & !count[1];
count[2]_or_out = count[2]_p1_out # count[2]_p3_out;
count[2]_reg_input = !(count[2]_or_out);
count[2] = DFFE(count[2]_reg_input, GLOBAL(clk), !btn2, , );


--n0[1] is n0[1]
n0[1]_or_out = n1[1];
n0[1]_reg_input = n0[1]_or_out;
n0[1]_p3_out = count1[2] & !count1[1] & count1[0];
n0[1] = DFFE(n0[1]_reg_input, GLOBAL(clk), !btn2, , n0[1]_p3_out);


--n1[2] is n1[2]
n1[2]_or_out = n2[2];
n1[2]_reg_input = n1[2]_or_out;
n1[2]_p3_out = count1[2] & !count1[1] & count1[0];
n1[2] = DFFE(n1[2]_reg_input, GLOBAL(clk), !btn2, , n1[2]_p3_out);


--A1L01Q is cat[3]~reg0
A1L01Q_p1_out = !count[0] & count[2] & !count[1];
A1L01Q_or_out = A1L01Q_p1_out;
A1L01Q_reg_input = !(A1L01Q_or_out);
A1L01Q = DFFE(A1L01Q_reg_input, GLOBAL(clk), , , !btn2);


--A1L8Q is cat[2]~reg0
A1L8Q_p1_out = count[2] & count[0] & !count[1];
A1L8Q_or_out = A1L8Q_p1_out;
A1L8Q_reg_input = !(A1L8Q_or_out);
A1L8Q = DFFE(A1L8Q_reg_input, GLOBAL(clk), , , !btn2);


--n1[0] is n1[0]
n1[0]_or_out = !n2[0];
n1[0]_reg_input = n1[0]_or_out;
n1[0]_p3_out = count1[2] & !count1[1] & count1[0];
n1[0] = DFFE(n1[0]_reg_input, GLOBAL(clk), !btn2, , n1[0]_p3_out);


--n0[2] is n0[2]
n0[2]_or_out = n1[2];
n0[2]_reg_input = n0[2]_or_out;
n0[2]_p3_out = count1[2] & !count1[1] & count1[0];
n0[2] = DFFE(n0[2]_reg_input, GLOBAL(clk), !btn2, , n0[2]_p3_out);


--n0[0] is n0[0]
n0[0]_or_out = !n1[0];
n0[0]_reg_input = n0[0]_or_out;
n0[0]_p3_out = count1[2] & !count1[1] & count1[0];
n0[0] = DFFE(n0[0]_reg_input, GLOBAL(clk), !btn2, , n0[0]_p3_out);


--n5[1] is n5[1]
n5[1]_or_out = n0[1];
n5[1]_reg_input = n5[1]_or_out;
n5[1]_p3_out = count1[2] & !count1[1] & count1[0];
n5[1] = DFFE(n5[1]_reg_input, GLOBAL(clk), !btn2, , n5[1]_p3_out);


--A1L41Q is cat[5]~reg0
A1L41Q_p1_out = !count[0] & count[2] & count[1];
A1L41Q_or_out = A1L41Q_p1_out;
A1L41Q_reg_input = !(A1L41Q_or_out);
A1L41Q = DFFE(A1L41Q_reg_input, GLOBAL(clk), , , !btn2);


--A1L21Q is cat[4]~reg0
A1L21Q_p1_out = count[0] & count[2] & count[1];
A1L21Q_or_out = A1L21Q_p1_out;
A1L21Q_reg_input = !(A1L21Q_or_out);
A1L21Q = DFFE(A1L21Q_reg_input, GLOBAL(clk), , , !btn2);


--n4[1] is n4[1]
n4[1]_or_out = n5[1];
n4[1]_reg_input = n4[1]_or_out;
n4[1]_p3_out = count1[2] & !count1[1] & count1[0];
n4[1] = DFFE(n4[1]_reg_input, GLOBAL(clk), !btn2, , n4[1]_p3_out);


--n5[2] is n5[2]
n5[2]_or_out = !n0[2];
n5[2]_reg_input = n5[2]_or_out;
n5[2]_p3_out = count1[2] & !count1[1] & count1[0];
n5[2] = DFFE(n5[2]_reg_input, GLOBAL(clk), !btn2, , n5[2]_p3_out);


--n5[0] is n5[0]
n5[0]_or_out = !n0[0];
n5[0]_reg_input = n5[0]_or_out;
n5[0]_p3_out = count1[2] & !count1[1] & count1[0];
n5[0] = DFFE(n5[0]_reg_input, GLOBAL(clk), !btn2, , n5[0]_p3_out);


--n4[0] is n4[0]
n4[0]_or_out = !n5[0];
n4[0]_reg_input = n4[0]_or_out;
n4[0]_p3_out = count1[2] & !count1[1] & count1[0];
n4[0] = DFFE(n4[0]_reg_input, GLOBAL(clk), !btn2, , n4[0]_p3_out);


--n3[1] is n3[1]
n3[1]_or_out = !n4[1];
n3[1]_reg_input = n3[1]_or_out;
n3[1]_p3_out = count1[2] & !count1[1] & count1[0];
n3[1] = DFFE(n3[1]_reg_input, GLOBAL(clk), !btn2, , n3[1]_p3_out);


--n4[2] is n4[2]
n4[2]_or_out = n5[2];
n4[2]_reg_input = n4[2]_or_out;
n4[2]_p3_out = count1[2] & !count1[1] & count1[0];
n4[2] = DFFE(n4[2]_reg_input, GLOBAL(clk), !btn2, , n4[2]_p3_out);


--n3[2] is n3[2]
n3[2]_or_out = !n4[2];
n3[2]_reg_input = n3[2]_or_out;
n3[2]_p3_out = count1[2] & !count1[1] & count1[0];
n3[2] = DFFE(n3[2]_reg_input, GLOBAL(clk), !btn2, , n3[2]_p3_out);


--n2[1] is n2[1]
n2[1]_or_out = n3[1];
n2[1]_reg_input = n2[1]_or_out;
n2[1]_p3_out = count1[2] & !count1[1] & count1[0];
n2[1] = DFFE(n2[1]_reg_input, GLOBAL(clk), !btn2, , n2[1]_p3_out);


--n3[0] is n3[0]
n3[0]_or_out = !n4[0];
n3[0]_reg_input = n3[0]_or_out;
n3[0]_p3_out = count1[2] & !count1[1] & count1[0];
n3[0] = DFFE(n3[0]_reg_input, GLOBAL(clk), !btn2, , n3[0]_p3_out);


--n1[1] is n1[1]
n1[1]_or_out = !n2[1];
n1[1]_reg_input = n1[1]_or_out;
n1[1]_p3_out = count1[2] & !count1[1] & count1[0];
n1[1] = DFFE(n1[1]_reg_input, GLOBAL(clk), !btn2, , n1[1]_p3_out);


--n2[2] is n2[2]
n2[2]_or_out = n3[2];
n2[2]_reg_input = n2[2]_or_out;
n2[2]_p3_out = count1[2] & !count1[1] & count1[0];
n2[2] = DFFE(n2[2]_reg_input, GLOBAL(clk), !btn2, , n2[2]_p3_out);


--n2[0] is n2[0]
n2[0]_or_out = !n3[0];
n2[0]_reg_input = n2[0]_or_out;
n2[0]_p3_out = count1[2] & !count1[1] & count1[0];
n2[0] = DFFE(n2[0]_reg_input, GLOBAL(clk), !btn2, , n2[0]_p3_out);


--num[2] is num[2]
num[2]_p0_out = !count[2] & count[1] & !count[0] & !n4[2];
num[2]_p1_out = n0[2] & count[2] & count[1] & !count[0];
num[2]_p2_out = count[2] & count[1] & count[0] & n1[2];
num[2]_p4_out = !count[2] & count[1] & count[0] & !n5[2];
num[2]_or_out = A1L23 # num[2]_p0_out # num[2]_p1_out # num[2]_p2_out # num[2]_p4_out;
num[2]_reg_input = num[2]_or_out;
num[2] = DFFE(num[2]_reg_input, GLOBAL(clk), , , !btn2);


--num[1] is num[1]
num[1]_p0_out = !count[2] & count[1] & !count[0] & n4[1];
num[1]_p1_out = !n3[1] & count[2] & !count[1] & count[0];
num[1]_p2_out = count[2] & !count[1] & !count[0] & !n2[1];
num[1]_p4_out = !count[2] & count[1] & count[0] & n5[1];
num[1]_or_out = A1L33 # num[1]_p0_out # num[1]_p1_out # num[1]_p2_out # num[1]_p4_out;
num[1]_reg_input = num[1]_or_out;
num[1] = DFFE(num[1]_reg_input, GLOBAL(clk), , , !btn2);


--num[0] is num[0]
num[0]_p0_out = !count[2] & count[1] & !count[0] & n4[0];
num[0]_p1_out = n0[0] & count[2] & count[1] & !count[0];
num[0]_p2_out = count[2] & count[1] & count[0] & !n1[0];
num[0]_p4_out = !count[2] & count[1] & count[0] & !n5[0];
num[0]_or_out = A1L43 # num[0]_p0_out # num[0]_p1_out # num[0]_p2_out # num[0]_p4_out;
num[0]_reg_input = num[0]_or_out;
num[0] = DFFE(num[0]_reg_input, GLOBAL(clk), , , !btn2);


--B1L3 is seg7_1a:u1|i[2]~82
B1L3_p1_out = !num[2] & !num[0];
B1L3_or_out = B1L3_p1_out;
B1L3 = B1L3_or_out;


--B1L1 is seg7_1a:u1|i[0]~84
B1L1_or_out = num[1];
B1L1 = num[2] $ B1L1_or_out;


--B1L4 is seg7_1a:u1|i[3]~88
B1L4_p1_out = num[0] & !num[1];
B1L4_or_out = !num[2];
B1L4 = B1L4_p1_out $ B1L4_or_out;


--B1L7 is seg7_1a:u1|i[5]~93
B1L7_p1_out = !num[0] & !num[1];
B1L7_or_out = B1L7_p1_out # !num[2];
B1L7 = B1L7_or_out;


--B1L6 is seg7_1a:u1|i[4]~96
B1L6_p1_out = !num[2] & num[0];
B1L6_or_out = B1L6_p1_out # !num[1];
B1L6 = B1L6_or_out;


--B1L2 is seg7_1a:u1|i[1]~99
B1L2_p1_out = !num[2] & num[0];
B1L2_or_out = B1L2_p1_out # num[1];
B1L2 = !(B1L2_or_out);


--B1L5 is seg7_1a:u1|i[3]~105
B1L5_p1_out = num[2] & !num[0];
B1L5_p2_out = num[2] & num[1];
B1L5_p3_out = !num[2] & num[0] & !num[1];
B1L5_or_out = B1L5_p1_out # B1L5_p2_out # B1L5_p3_out;
B1L5 = !(B1L5_or_out);


--A1L23 is Mux~1205
A1L23_p1_out = n2[2] & count[2] & !count[1] & !count[0];
A1L23_p2_out = count[2] & !count[1] & count[0] & n3[2];
A1L23 = A1L23_p1_out # A1L23_p2_out;


--A1L33 is Mux~1208
A1L33_p1_out = n1[1] & count[2] & count[1] & count[0];
A1L33_p2_out = count[2] & count[1] & !count[0] & n0[1];
A1L33 = A1L33_p1_out # A1L33_p2_out;


--A1L43 is Mux~1211
A1L43_p1_out = n2[0] & count[2] & !count[1] & !count[0];
A1L43_p2_out = count[2] & !count[1] & count[0] & !n3[0];
A1L43 = A1L43_p1_out # A1L43_p2_out;


--clk is clk
--operation mode is input

clk = INPUT();


--btn2 is btn2
--operation mode is input

btn2 = INPUT();


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

cat[1] = OUTPUT(A1L6Q);


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

cat[0] = OUTPUT(A1L4Q);


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

cat[3] = OUTPUT(A1L01Q);


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

cat[2] = OUTPUT(A1L8Q);


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

cat[5] = OUTPUT(A1L41Q);


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

cat[4] = OUTPUT(A1L21Q);


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

lcd[2] = OUTPUT(B1L3);


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

lcd[0] = OUTPUT(B1L1);


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

lcd[5] = OUTPUT(B1L7);


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

lcd[4] = OUTPUT(B1L6);


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

lcd[3] = OUTPUT(B1L4);


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

lcd[1] = OUTPUT(B1L2);


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

lcd[6] = OUTPUT(B1L5);