pinball.map.eqn

实现了16*16点阵上的三色显示的弹球游戏

--A1L691Q is m[2]~reg0
--operation mode is normal

A1L691Q_lut_out = A1L8354 & (px[0] & A1L7821 # !px[0] & (A1L5131));
A1L691Q = DFFEAS(A1L691Q_lut_out, !G1_co, VCC, , A1L1284, , , , );


--A1L491Q is m[1]~reg0
--operation mode is normal

A1L491Q_lut_out = A1L9754 & (px[0] & A1L7131 # !px[0] & (A1L7821));
A1L491Q = DFFEAS(A1L491Q_lut_out, !G1_co, VCC, , A1L1284, , , , );


--A1L291Q is m[0]~reg0
--operation mode is normal

A1L291Q_lut_out = A1L9354 & (px[0] & A1L0231 # !px[0] & (A1L7131));
A1L291Q = DFFEAS(A1L291Q_lut_out, !G1_co, VCC, , A1L1284, , , , );


--B1_ch0[0] is state5:core|ch0[0]
--operation mode is normal

B1_ch0[0]_lut_out = A1L751Q & (B1L83 & !A1L551Q) # !A1L751Q & B1L73;
B1_ch0[0] = DFFEAS(B1_ch0[0]_lut_out, G1_co, VCC, , A1L2284, , , , );


--B1_ch0[1] is state5:core|ch0[1]
--operation mode is normal

B1_ch0[1]_lut_out = B1L34 # B1L74 & !A1L351Q & !A1L751Q;
B1_ch0[1] = DFFEAS(B1_ch0[1]_lut_out, G1_co, VCC, , A1L2284, , , , );


--B1_ch0[2] is state5:core|ch0[2]
--operation mode is normal

B1_ch0[2]_lut_out = B1L15 # B1L04 & (!B1L25 # !A1L702Q);
B1_ch0[2] = DFFEAS(B1_ch0[2]_lut_out, G1_co, VCC, , A1L2284, , , , );


--B1_ch0[3] is state5:core|ch0[3]
--operation mode is normal

B1_ch0[3]_lut_out = A1L702Q & (B1L35 # B1L04 & B1L25);
B1_ch0[3] = DFFEAS(B1_ch0[3]_lut_out, G1_co, VCC, , A1L2284, , , , );


--B1_ch1[0] is state5:core|ch1[0]
--operation mode is normal

B1_ch1[0]_lut_out = B1L55 & (A1L351Q $ !B1L65) # !B1L55 & B1L45 & !A1L351Q & !B1L65;
B1_ch1[0] = DFFEAS(B1_ch1[0]_lut_out, G1_co, VCC, , A1L2284, , , , );


--B1_ch1[1] is state5:core|ch1[1]
--operation mode is normal

B1_ch1[1]_lut_out = B1L83 & (B1L75 # B1L85 & !A1L551Q) # !B1L83 & (B1L85 & !A1L551Q);
B1_ch1[1] = DFFEAS(B1_ch1[1]_lut_out, G1_co, VCC, , A1L2284, , , , );


--B1_ch1[2] is state5:core|ch1[2]
--operation mode is normal

B1_ch1[2]_lut_out = B1L36 # B1L24 & (B1L46 # !B1L49);
B1_ch1[2] = DFFEAS(B1_ch1[2]_lut_out, G1_co, VCC, , A1L2284, , , , );


--B1_d[0] is state5:core|d[0]
--operation mode is normal

B1_d[0]_lut_out = A1L751Q & (B1L47 & !A1L551Q) # !A1L751Q & B1L66;
B1_d[0] = DFFEAS(B1_d[0]_lut_out, G1_co, VCC, , A1L2284, , , , );


--B1_d[1] is state5:core|d[1]
--operation mode is normal

B1_d[1]_lut_out = A1L751Q & (B1L38 & !A1L551Q) # !A1L751Q & B1L97;
B1_d[1] = DFFEAS(B1_d[1]_lut_out, G1_co, VCC, , A1L2284, , , , );


--B1_d[2] is state5:core|d[2]
--operation mode is normal

B1_d[2]_lut_out = A1L751Q & (B1L09 & !A1L551Q) # !A1L751Q & B1L78;
B1_d[2] = DFFEAS(B1_d[2]_lut_out, G1_co, VCC, , A1L2284, , , , );


--A1L351Q is dir[0]~reg0
--operation mode is normal

A1L351Q_lut_out = B1_d[0] # !state[0];
A1L351Q = DFFEAS(A1L351Q_lut_out, !G1_co, VCC, , A1L251, , , , );


--A1L551Q is dir[1]~reg0
--operation mode is normal

A1L551Q_lut_out = B1_d[1] & state[0];
A1L551Q = DFFEAS(A1L551Q_lut_out, !G1_co, VCC, , A1L251, , , , );


--A1L751Q is dir[2]~reg0
--operation mode is normal

A1L751Q_lut_out = B1_d[2] & state[0];
A1L751Q = DFFEAS(A1L751Q_lut_out, !G1_co, VCC, , A1L251, , , , );


--F3_count[0] is freqDivision:u4|count16:u3|count[0]
--operation mode is normal

F3_count[0]_lut_out = !F3L61;
F3_count[0] = DFFEAS(F3_count[0]_lut_out, F2L71, VCC, , !F3_i[0], , , , );


--F3_i[1] is freqDivision:u4|count16:u3|i[1]
--operation mode is normal

F3_i[1]_lut_out = !F3_i[1];
F3_i[1] = DFFEAS(F3_i[1]_lut_out, F2L71, VCC, , F3_i[0], , , , );


--F3_i[2] is freqDivision:u4|count16:u3|i[2]
--operation mode is normal

F3_i[2]_lut_out = !F3_i[2];
F3_i[2] = DFFEAS(F3_i[2]_lut_out, F2L71, VCC, , F3L1, , , , );


--F3_i[0] is freqDivision:u4|count16:u3|i[0]
--operation mode is normal

F3_i[0]_lut_out = !F3_i[0];
F3_i[0] = DFFEAS(F3_i[0]_lut_out, F2L71, VCC, , , , , , );


--F3L41 is freqDivision:u4|count16:u3|Mux~65
--operation mode is normal

F3L41 = F3_i[1] & !F3_i[2] # !F3_i[0];


--F3_count[3] is freqDivision:u4|count16:u3|count[3]
--operation mode is normal

F3_count[3]_lut_out = !F3L61;
F3_count[3] = DFFEAS(F3_count[3]_lut_out, F2L71, VCC, , F3L8, , , , );


--F3L1 is freqDivision:u4|count16:u3|add~55
--operation mode is normal

F3L1 = F3_i[0] & F3_i[1];


--F3L51 is freqDivision:u4|count16:u3|Mux~66
--operation mode is normal

F3L51 = F3L41 & (F3L1) # !F3L41 & (F3L1 & F3_count[3] # !F3L1 & (F3_count[1]));


--F3_count[2] is freqDivision:u4|count16:u3|count[2]
--operation mode is normal

F3_count[2]_lut_out = !F3L61;
F3_count[2] = DFFEAS(F3_count[2]_lut_out, F2L71, VCC, , F3L9, , , , );


--F3L61 is freqDivision:u4|count16:u3|Mux~67
--operation mode is normal

F3L61 = F3L41 & (F3L51 & (F3_count[2]) # !F3L51 & F3_count[0]) # !F3L41 & (F3L51);


--F2_count[2] is freqDivision:u4|count16:u2|count[2]
--operation mode is normal

F2_count[2]_lut_out = !F2L61;
F2_count[2] = DFFEAS(F2_count[2]_lut_out, F1L71, VCC, , F2L6, , , , );


--F2_count[1] is freqDivision:u4|count16:u2|count[1]
--operation mode is normal

F2_count[1]_lut_out = !F2L61;
F2_count[1] = DFFEAS(F2_count[1]_lut_out, F1L71, VCC, , F2L7, , , , );


--F2_count[0] is freqDivision:u4|count16:u2|count[0]
--operation mode is normal

F2_count[0]_lut_out = !F2L61;
F2_count[0] = DFFEAS(F2_count[0]_lut_out, F1L71, VCC, , !F2_i[0], , , , );


--F2_count[3] is freqDivision:u4|count16:u2|count[3]
--operation mode is normal

F2_count[3]_lut_out = !F2L61;
F2_count[3] = DFFEAS(F2_count[3]_lut_out, F1L71, VCC, , F2L8, , , , );


--F2L71 is freqDivision:u4|count16:u2|reduce_nor~19
--operation mode is normal

F2L71 = !F2_count[2] & !F2_count[1] & !F2_count[0] & F2_count[3];


--F3L7 is freqDivision:u4|count16:u3|Decoder~21
--operation mode is normal

F3L7 = !F3_i[1] & (F3_i[0]);


--F4_count[2] is freqDivision:u4|count16:u4|count[2]
--operation mode is normal

F4_count[2]_lut_out = !F4L61;
F4_count[2] = DFFEAS(F4_count[2]_lut_out, F3L71, VCC, , F4L6, , , , );


--F4_count[1] is freqDivision:u4|count16:u4|count[1]
--operation mode is normal

F4_count[1]_lut_out = !F4L61;
F4_count[1] = DFFEAS(F4_count[1]_lut_out, F3L71, VCC, , F4L7, , , , );


--F4_count[0] is freqDivision:u4|count16:u4|count[0]
--operation mode is normal

F4_count[0]_lut_out = !F4L61;
F4_count[0] = DFFEAS(F4_count[0]_lut_out, F3L71, VCC, , !F4_i[0], , , , );


--F4_count[3] is freqDivision:u4|count16:u4|count[3]
--operation mode is normal

F4_count[3]_lut_out = !F4L61;
F4_count[3] = DFFEAS(F4_count[3]_lut_out, F3L71, VCC, , F4L8, , , , );


--F4L71 is freqDivision:u4|count16:u4|reduce_nor~19
--operation mode is normal

F4L71 = !F4_count[2] & !F4_count[1] & !F4_count[0] & F4_count[3];


--G1_i is freqDivision:u4|count4:u5|i
--operation mode is normal

G1_i_lut_out = !G1_i & (!G1_count[1] # !G1_count[0]);
G1_i = DFFEAS(G1_i_lut_out, F4L71, VCC, , , , , , );


--C1_d is input:u1|d
--operation mode is normal

C1_d_lut_out = C1_c;
C1_d = DFFEAS(C1_d_lut_out, G1_co, VCC, , , , , , );


--state[0] is state[0]
--operation mode is normal

state[0]_lut_out = A1L2231 # !A1L8231 & (A1L6231 # A1L7231);
state[0] = DFFEAS(state[0]_lut_out, !G1_co, VCC, , , , , , );


--state[2] is state[2]
--operation mode is normal

state[2]_lut_out = A1L4331 & (A1L1331) # !A1L4331 & A1L6594;
state[2] = DFFEAS(state[2]_lut_out, !G1_co, VCC, , , A1L3331, , , !state[2]);


--C1_c is input:u1|c
--operation mode is normal

C1_c_lut_out = !C1_a;
C1_c = DFFEAS(C1_c_lut_out, G1_co, VCC, , , , , , );


--A1L771 is life[0]~341
--operation mode is normal

A1L771 = C1_d # state[0] & !state[2] # !C1_c;


--A1L5101 is Mux~84168
--operation mode is normal

A1L5101 = state[2] & state[0];


--B1_fail is state5:core|fail
--operation mode is normal

B1_fail_lut_out = py[0] & A1L0854 & (A1L751Q # B1L77);
B1_fail = DFFEAS(B1_fail_lut_out, G1_co, VCC, , A1L2284, , , , );


--statein5[0] is statein5[0]
--operation mode is normal

statein5[0]_lut_out = state[0] & (statein5[1] $ !statein5[0]);
statein5[0] = DFFEAS(statein5[0]_lut_out, !G1_co, VCC, , A1L4294, , , , );


--statein5[1] is statein5[1]
--operation mode is normal

statein5[1]_lut_out = statein5[0] # !state[0];
statein5[1] = DFFEAS(statein5[1]_lut_out, !G1_co, VCC, , A1L4294, , , , );


--A1L2594 is statein5[0]~91
--operation mode is normal

A1L2594 = statein5[0] & (!statein5[1]);


--A1L871 is life[0]~342
--operation mode is normal

A1L871 = !A1L2594 # !B1_fail # !A1L5101 # !E2L3;


--state[1] is state[1]
--operation mode is normal

state[1]_lut_out = A1L081 & A1L7594 # !A1L081 & (A1L8594);
state[1] = DFFEAS(state[1]_lut_out, !G1_co, VCC, , , A1L7331, , , !state[1]);


--A1L971 is life[0]~344
--operation mode is normal

A1L971 = state[1] & !A1L771 # !state[1] & (!A1L871);


--A1L061 is grade[0]~648
--operation mode is normal

A1L061 = state[2] & (state[0] # C1_d # !C1_c);


--A1L161 is grade[0]~649
--operation mode is normal

A1L161 = !state[2] & !state[0];


--C3_d is input:u3|d
--operation mode is normal

C3_d_lut_out = C3_c;
C3_d = DFFEAS(C3_d_lut_out, G1_co, VCC, , , , , , );


--A1L6101 is Mux~84170
--operation mode is normal

A1L6101 = !grade[0] # !grade[1];


--C3_c is input:u3|c
--operation mode is normal

C3_c_lut_out = !C3_a;
C3_c = DFFEAS(C3_c_lut_out, G1_co, VCC, , , , , , );


--A1L261 is grade[0]~650
--operation mode is normal

A1L261 = A1L161 & (C3_d # !C3_c # !A1L6101);


--C2_c is input:u2|c
--operation mode is normal

C2_c_lut_out = !C2_a;
C2_c = DFFEAS(C2_c_lut_out, G1_co, VCC, , , , , , );


--C2_d is input:u2|d
--operation mode is normal

C2_d_lut_out = C2_c;
C2_d = DFFEAS(C2_d_lut_out, G1_co, VCC, , , , , , );


--A1L1 is add~2249
--operation mode is normal

A1L1 = C2_c & !C2_d & (grade[1] # grade[0]);


--A1L361 is grade[0]~651
--operation mode is normal

A1L361 = state[1] $ state[0];


--A1L461 is grade[0]~652
--operation mode is normal

A1L461 = !A1L061 & A1L361 & (A1L1 # !A1L261);


--A1L2 is add~2250
--operation mode is normal

A1L2 = grade[1] $ grade[0];


--r[3] is r[3]
--operation mode is normal

r[3]_lut_out = !r[3];
r[3] = DFFEAS(r[3]_lut_out, F3_count[1], VCC, , A1L4, , , , );


--r[2] is r[2]
--operation mode is normal

r[2]_lut_out = !r[2];
r[2] = DFFEAS(r[2]_lut_out, F3_count[1], VCC, , A1L3, , , , );


--r[1] is r[1]
--operation mode is normal

r[1]_lut_out = !r[1];
r[1] = DFFEAS(r[1]_lut_out, F3_count[1], VCC, , r[0], , , , );


--r[0] is r[0]
--operation mode is normal

r[0]_lut_out = !r[0];
r[0] = DFFEAS(r[0]_lut_out, F3_count[1], VCC, , , , , , );


--A1L3 is add~2251
--operation mode is normal

A1L3 = r[1] & r[0];


--matrix[6][0] is matrix[6][0]
--operation mode is normal

matrix[6][0]_lut_out = state[2] & A1L6531;
matrix[6][0] = DFFEAS(matrix[6][0]_lut_out, !G1_co, VCC, , A1L4284, , , state[1], );


--matrix[10][0] is matrix[10][0]
--operation mode is normal

matrix[10][0]_lut_out = state[2] & A1L3731;
matrix[10][0] = DFFEAS(matrix[10][0]_lut_out, !G1_co, VCC, , A1L4284, , , state[1], );


--matrix[2][0] is matrix[2][0]
--operation mode is normal