top.fit.eqn

一个圣诞彩灯控制芯片的vrilog源代码

--Q1_ein[1] is TG:u17|ein[1] at LC9_6_S2
--operation mode is normal

Q1_ein[1]_lut_out = Q1_flag[0] & !Q1_flag[2] & Q1L38 & !Q1_flag[1];
Q1_ein[1] = DFFE(Q1_ein[1]_lut_out, GLOBAL(B1_flag2[0]), reset, , );


--Q1L87 is TG:u17|reduce_nor~679 at LC7_5_S2
--operation mode is normal

Q1L87 = !Q1_ein[1] & (Q1L77);


--Q1_ein[0] is TG:u17|ein[0] at LC4_6_S2
--operation mode is normal

Q1_ein[0]_lut_out = Q1L38 & (Q1_flag[0] # Q1_flag[2] # Q1_flag[1]);
Q1_ein[0] = DFFE(Q1_ein[0]_lut_out, GLOBAL(B1_flag2[0]), reset, , );


--Q1_ein[3] is TG:u17|ein[3] at LC3_6_S2
--operation mode is normal

Q1_ein[3]_lut_out = Q1_flag[0] & !Q1_flag[2] & Q1L38 & Q1_flag[1];
Q1_ein[3] = DFFE(Q1_ein[3]_lut_out, GLOBAL(B1_flag2[0]), reset, , );


--Q1_ein[2] is TG:u17|ein[2] at LC2_6_S2
--operation mode is normal

Q1_ein[2]_lut_out = !Q1_flag[0] & !Q1_flag[2] & Q1L38 & Q1_flag[1];
Q1_ein[2] = DFFE(Q1_ein[2]_lut_out, GLOBAL(B1_flag2[0]), reset, , );


--Q1L17 is TG:u17|reduce_nor~1 at LC1_5_S2
--operation mode is normal

Q1L17 = !Q1_ein[3] & !Q1_ein[0] & !Q1_ein[2] & Q1L87;


--U1_l1[1] is model1_top:u8|model1:u6|l1[1] at LC4_13_L2
--operation mode is normal

U1_l1[1]_lut_out = U1L13 # U1_l1[1] & U1L12 # !U1L72;
U1_l1[1] = DFFE(U1_l1[1]_lut_out, GLOBAL(B1_flag2[0]), reset, , );


--Q1L97 is TG:u17|reduce_nor~680 at LC4_5_S2
--operation mode is normal

Q1L97 = !Q1_ein[2] & (Q1_ein[0]);


--Q1L47 is TG:u17|reduce_nor~4 at LC6_4_S2
--operation mode is normal

Q1L47 = Q1_ein[3] & Q1L97 & !Q1_ein[1] & Q1L77;


--J1_l1[1] is model4:u11|l1[1] at LC5_9_W2
--operation mode is normal

J1_l1[1]_lut_out = !J1_i[2] & J1L52 & J1L73;
J1_l1[1] = DFFE(J1_l1[1]_lut_out, GLOBAL(B1_clk_4), reset, , );


--Q1L08 is TG:u17|reduce_nor~681 at LC5_5_S2
--operation mode is normal

Q1L08 = !Q1_ein[3] & !Q1_ein[2] & !Q1_ein[1] & Q1_ein[0];


--Q1L18 is TG:u17|reduce_nor~682 at LC8_5_S2
--operation mode is normal

Q1L18 = Q1_ein[3] & !Q1_ein[2] & !Q1_ein[1] & Q1_ein[0] # !Q1_ein[3] & (Q1_ein[2] & !Q1_ein[1] & Q1_ein[0] # !Q1_ein[2] & (Q1_ein[1] $ !Q1_ein[0]));


--Q1L28 is TG:u17|reduce_nor~683 at LC7_4_S2
--operation mode is normal

Q1L28 = Q1_ein[5] & !Q1_ein[6] & !Q1_ein[4] & !Q1_ein[7] # !Q1_ein[5] & (Q1_ein[6] & !Q1_ein[4] & !Q1_ein[7] # !Q1_ein[6] & (Q1_ein[4] $ Q1_ein[7]));


--Q1L38 is TG:u17|reduce_nor~684 at LC5_4_S2
--operation mode is normal

Q1L38 = Q1L28 & (Q1L08 # Q1L18 & Q1L77) # !Q1L28 & (Q1L18 & Q1L77);


--Q1L1 is TG:u17|Select~1089 at LC10_7_S2
--operation mode is normal

Q1L1 = Q1_l1[1] & (Q1L47 & J1_l1[1] # !Q1L38) # !Q1_l1[1] & Q1L47 & J1_l1[1];


--Q1L48 is TG:u17|reduce_nor~685 at LC8_4_S2
--operation mode is normal

Q1L48 = !Q1_ein[3] & !Q1_ein[7] & !Q1_ein[1] & Q1L97;


--Q1L58 is TG:u17|reduce_nor~686 at LC3_4_S2
--operation mode is normal

Q1L58 = !Q1_ein[6] & (Q1L48);


--L1_l1[1] is model6:u13|l1[1] at LC4_11_O2
--operation mode is normal

L1_l1[1]_lut_out = Q1_ein[5] & (L1_i[4] & L1L02 # !L1_i[4] & (L1L12));
L1_l1[1] = DFFE(L1_l1[1]_lut_out, GLOBAL(B1_clk_8), reset, , );


--Q1L2 is TG:u17|Select~1090 at LC4_3_S2
--operation mode is normal

Q1L2 = Q1_ein[5] & !Q1_ein[4] & L1_l1[1] & Q1L58;


--Q1L3 is TG:u17|Select~1091 at LC1_7_S2
--operation mode is normal

Q1L3 = !Q1L1 & !Q1L2 & (!U1_l1[1] # !Q1L17);

--Q1L63 is TG:u17|Select~1146 at LC1_7_S2
--operation mode is normal

Q1L63 = !Q1L1 & !Q1L2 & (!U1_l1[1] # !Q1L17);


--M1_l1[1] is model7:u14|l1[1] at LC8_1_S2
--operation mode is normal

M1_l1[1]_lut_out = !M1_i[1] & Q1_ein[6] & (!M1_i[2] # !M1_i[3]);
M1_l1[1] = DFFE(M1_l1[1]_lut_out, GLOBAL(B1_clk_4), reset, , );


--Q1L67 is TG:u17|reduce_nor~7 at LC4_4_S2
--operation mode is normal

Q1L67 = !Q1_ein[4] & Q1_ein[6] & !Q1_ein[5] & Q1L48;


--Q1L4 is TG:u17|Select~1093 at LC3_8_S2
--operation mode is normal

Q1L4 = !Q1L53 & (!Q1L67 # !M1_l1[1]);


--H1_l1[1] is model3:u10|l1[1] at LC6_8_Q2
--operation mode is normal

H1_l1[1]_lut_out = !H1_i[4] & Q1_ein[2] & !H1L52;
H1_l1[1] = DFFE(H1_l1[1]_lut_out, GLOBAL(B1_clk_4), reset, , );


--Q1L37 is TG:u17|reduce_nor~3 at LC2_5_S2
--operation mode is normal

Q1L37 = !Q1_ein[3] & Q1_ein[0] & Q1_ein[2] & Q1L87;


--G1_l1[0] is model2:u9|l1[0] at LC5_7_N2
--operation mode is normal

G1_l1[0]_lut_out = Q1_ein[1] & (G1_i[1] & G1L91 # !G1_i[1] & (G1L81));
G1_l1[0] = DFFE(G1_l1[0]_lut_out, GLOBAL(B1_clk_4), reset, , );


--Q1L27 is TG:u17|reduce_nor~2 at LC2_4_S2
--operation mode is normal

Q1L27 = Q1_ein[1] & Q1L97 & !Q1_ein[3] & Q1L77;


--Q1L5 is TG:u17|Select~1094 at LC4_7_S2
--operation mode is normal

Q1L5 = G1_l1[0] & !Q1L27 & (!Q1L37 # !H1_l1[1]) # !G1_l1[0] & (!Q1L37 # !H1_l1[1]);


--K1_l1[1] is model5:u12|l1[1] at LC4_13_P2
--operation mode is normal

K1_l1[1]_lut_out = K1L81 # !K1L62 & !K1_i[4] & Q1_ein[4];
K1_l1[1] = DFFE(K1_l1[1]_lut_out, GLOBAL(B1_clk_4), reset, , );


--Q1L57 is TG:u17|reduce_nor~5 at LC7_3_S2
--operation mode is normal

Q1L57 = !Q1_ein[6] & !Q1_ein[5] & Q1_ein[4] & Q1L48;


--Q1L82 is TG:u17|Select~1125 at LC8_7_S2
--operation mode is normal

Q1L82 = (Q1L5 & Q1L4 & (!Q1L57 # !K1_l1[1])) & CASCADE(Q1L73);


--D1L6 is medium_clk:u6|add~93 at LC3_16_N1
--operation mode is arithmetic

D1L6 = VCC;

--D1L7 is medium_clk:u6|add~95 at LC3_16_N1
--operation mode is arithmetic

D1L7 = CARRY(!D1L9 # !E1_i[2]);


--J1_l1[0] is model4:u11|l1[0] at LC1_11_W2
--operation mode is normal

J1_l1[0]_lut_out = Q1_ein[3] & (J1L32 # J1L64 # J1L22);
J1_l1[0] = DFFE(J1_l1[0]_lut_out, GLOBAL(B1_clk_4), reset, , );


--U1_l1[0] is model1_top:u8|model1:u6|l1[0] at LC6_13_L2
--operation mode is normal

U1_l1[0]_lut_out = U1L22 # U1L12 & U1_l1[0] # !U1L72;
U1_l1[0] = DFFE(U1_l1[0]_lut_out, GLOBAL(B1_flag2[0]), reset, , );


--Q1L6 is TG:u17|Select~1096 at LC10_8_S2
--operation mode is normal

Q1L6 = Q1_l1[0] & (U1_l1[0] & Q1L17 # !Q1L38) # !Q1_l1[0] & U1_l1[0] & (Q1L17);


--L1_l1[0] is model6:u13|l1[0] at LC3_13_O2
--operation mode is normal

L1_l1[0]_lut_out = Q1_ein[5] & (L1_i[1] & L1L22 # !L1_i[1] & (!L1L32));
L1_l1[0] = DFFE(L1_l1[0]_lut_out, GLOBAL(B1_clk_8), reset, , );


--Q1L7 is TG:u17|Select~1097 at LC6_3_S2
--operation mode is normal

Q1L7 = Q1_ein[5] & !Q1_ein[4] & L1_l1[0] & Q1L58;


--Q1L8 is TG:u17|Select~1098 at LC7_7_S2
--operation mode is normal

Q1L8 = !Q1L7 & !Q1L6 & (!Q1L47 # !J1_l1[0]);

--Q1L73 is TG:u17|Select~1147 at LC7_7_S2
--operation mode is normal

Q1L73 = !Q1L7 & !Q1L6 & (!Q1L47 # !J1_l1[0]);


--J1_l2[1] is model4:u11|l2[1] at LC4_11_W2
--operation mode is normal

J1_l2[1]_lut_out = Q1_ein[3] & J1_i[2] & !J1_i[5] & J1L03;
J1_l2[1] = DFFE(J1_l2[1]_lut_out, GLOBAL(B1_clk_4), reset, , );


--U1_l2[1] is model1_top:u8|model1:u6|l2[1] at LC2_11_L2
--operation mode is normal

U1_l2[1]_lut_out = U1L14 # U1L12 & U1_l2[1] # !U1L83;
U1_l2[1] = DFFE(U1_l2[1]_lut_out, GLOBAL(B1_flag2[0]), reset, , );


--Q1L9 is TG:u17|Select~1099 at LC1_2_S2
--operation mode is normal

Q1L9 = Q1_l2[1] & (U1_l2[1] & Q1L17 # !Q1L38) # !Q1_l2[1] & (U1_l2[1] & Q1L17);


--Q1L01 is TG:u17|Select~1100 at LC7_2_S2
--operation mode is normal

Q1L01 = !Q1L2 & !Q1L9 & (!J1_l2[1] # !Q1L47);

--Q1L83 is TG:u17|Select~1148 at LC7_2_S2
--operation mode is normal

Q1L83 = !Q1L2 & !Q1L9 & (!J1_l2[1] # !Q1L47);


--M1_l2[1] is model7:u14|l2[1] at LC3_2_S2
--operation mode is normal

M1_l2[1]_lut_out = M1L31 & Q1_ein[6];
M1_l2[1] = DFFE(M1_l2[1]_lut_out, GLOBAL(B1_clk_4), reset, , );


--Q1L11 is TG:u17|Select~1101 at LC5_3_S2
--operation mode is normal

Q1L11 = !Q1L53 & (!Q1L67 # !M1_l2[1]);


--H1_l2[1] is model3:u10|l2[1] at LC10_8_Q2
--operation mode is normal

H1_l2[1]_lut_out = Q1_ein[2] & !H1L62;
H1_l2[1] = DFFE(H1_l2[1]_lut_out, GLOBAL(B1_clk_4), reset, , );


--G1_l2[1] is model2:u9|l2[1] at LC9_6_N2
--operation mode is normal

G1_l2[1]_lut_out = Q1_ein[1] & (G1_i[0] & (G1L32) # !G1_i[0] & G1L22);
G1_l2[1] = DFFE(G1_l2[1]_lut_out, GLOBAL(B1_clk_4), reset, , );


--Q1L21 is TG:u17|Select~1102 at LC6_2_S2
--operation mode is normal

Q1L21 = Q1L27 & !G1_l2[1] & (!Q1L37 # !H1_l2[1]) # !Q1L27 & (!Q1L37 # !H1_l2[1]);


--K1_l2[1] is model5:u12|l2[1] at LC8_12_P2
--operation mode is normal

K1_l2[1]_lut_out = K1L81 # !K1_i[4] & !K1L72 & Q1_ein[4];
K1_l2[1] = DFFE(K1_l2[1]_lut_out, GLOBAL(B1_clk_4), reset, , );


--Q1L03 is TG:u17|Select~1127 at LC10_2_S2
--operation mode is normal

Q1L03 = (Q1L21 & Q1L11 & (!K1_l2[1] # !Q1L57)) & CASCADE(Q1L93);


--U1_l2[0] is model1_top:u8|model1:u6|l2[0] at LC7_10_L2
--operation mode is normal

U1_l2[0]_lut_out = U1L53 # U1_l2[0] & U1L12 # !U1L83;
U1_l2[0] = DFFE(U1_l2[0]_lut_out, GLOBAL(B1_flag2[0]), reset, , );


--J1_l2[0] is model4:u11|l2[0] at LC9_11_W2
--operation mode is normal

J1_l2[0]_lut_out = J1L82 & (J1_i[1] & (J1L84) # !J1_i[1] & J1L94);
J1_l2[0] = DFFE(J1_l2[0]_lut_out, GLOBAL(B1_clk_4), reset, , );


--Q1L31 is TG:u17|Select~1104 at LC2_2_S2
--operation mode is normal

Q1L31 = Q1_l2[0] & (Q1L47 & J1_l2[0] # !Q1L38) # !Q1_l2[0] & Q1L47 & J1_l2[0];


--Q1L41 is TG:u17|Select~1105 at LC9_2_S2
--operation mode is normal

Q1L41 = !Q1L7 & !Q1L31 & (!Q1L17 # !U1_l2[0]);

--Q1L93 is TG:u17|Select~1149 at LC9_2_S2
--operation mode is normal

Q1L93 = !Q1L7 & !Q1L31 & (!Q1L17 # !U1_l2[0]);


--J1_l3[1] is model4:u11|l3[1] at LC6_11_W2
--operation mode is normal

J1_l3[1]_lut_out = Q1_ein[3] & J1_i[1] & !J1_i[5] & J1L43;
J1_l3[1] = DFFE(J1_l3[1]_lut_out, GLOBAL(B1_clk_4), reset, , );


--U1_l3[1] is model1_top:u8|model1:u6|l3[1] at LC7_13_L2
--operation mode is normal

U1_l3[1]_lut_out = U1L94 # U1L12 & U1_l3[1] # !U1L64;
U1_l3[1] = DFFE(U1_l3[1]_lut_out, GLOBAL(B1_flag2[0]), reset, , );


--Q1L51 is TG:u17|Select~1106 at LC3_9_S2
--operation mode is normal

Q1L51 = U1_l3[1] & (Q1L17 # Q1_l3[1] & !Q1L38) # !U1_l3[1] & Q1_l3[1] & !Q1L38;


--Q1L61 is TG:u17|Select~1107 at LC6_9_S2
--operation mode is normal

Q1L61 = !Q1L2 & !Q1L51 & (!J1_l3[1] # !Q1L47);

--Q1L04 is TG:u17|Select~1150 at LC6_9_S2
--operation mode is normal

Q1L04 = !Q1L2 & !Q1L51 & (!J1_l3[1] # !Q1L47);


--H1_l3[1] is model3:u10|l3[1] at LC8_8_Q2
--operation mode is normal

H1_l3[1]_lut_out = !H1_i[4] & Q1_ein[2] & H1L52;
H1_l3[1] = DFFE(H1_l3[1]_lut_out, GLOBAL(B1_clk_4), reset, , );


--G1_l3[1] is model2:u9|l3[1] at LC4_5_N2
--operation mode is normal

G1_l3[1]_lut_out = G1L62 # G1L03 & !G1_i[3] & Q1_ein[1];
G1_l3[1] = DFFE(G1_l3[1]_lut_out, GLOBAL(B1_clk_4), reset, , );


--Q1L71 is TG:u17|Select~1108 at LC4_9_S2
--operation mode is normal

Q1L71 = G1_l3[1] & !Q1L27 & (!Q1L37 # !H1_l3[1]) # !G1_l3[1] & (!Q1L37 # !H1_l3[1]);


--K1_l3[1] is model5:u12|l3[1] at LC10_13_P2
--operation mode is normal

K1_l3[1]_lut_out = K1L81 # K1L82 & !K1_i[4] & Q1_ein[4];
K1_l3[1] = DFFE(K1_l3[1]_lut_out, GLOBAL(B1_clk_4), reset, , );


--Q1L23 is TG:u17|Select~1129 at LC8_8_S2
--operation mode is normal

Q1L23 = (Q1L4 & Q1L71 & (!K1_l3[1] # !Q1L57)) & CASCADE(Q1L14);


--U1_l3[0] is model1_top:u8|model1:u6|l3[0] at LC5_13_L2
--operation mode is normal

U1_l3[0]_lut_out = U1L44 # U1L12 & U1_l3[0] # !U1L64;
U1_l3[0] = DFFE(U1_l3[0]_lut_out, GLOBAL(B1_flag2[0]), reset, , );


--J1_l3[0] is model4:u11|l3[0] at LC10_11_W2
--operation mode is normal

J1_l3[0]_lut_out = J1L82 & (J1_i[3] & (!J1L15) # !J1_i[3] & J1L05);
J1_l3[0] = DFFE(J1_l3[0]_lut_out, GLOBAL(B1_clk_4), reset, , );


--Q1L81 is TG:u17|Select~1110 at LC9_8_S2
--operation mode is normal

Q1L81 = Q1_l3[0] & (J1_l3[0] & Q1L47 # !Q1L38) # !Q1_l3[0] & J1_l3[0] & Q1L47;


--Q1L91 is TG:u17|Select~1111 at LC7_8_S2
--operation mode is normal

Q1L91 = !Q1L7 & !Q1L81 & (!Q1L17 # !U1_l3[0]);

--Q1L14 is TG:u17|Select~1151 at LC7_8_S2
--operation mode is normal

Q1L14 = !Q1L7 & !Q1L81 & (!Q1L17 # !U1_l3[0]);


--J1_l4[1] is model4:u11|l4[1] at LC10_9_W2
--operation mode is normal

J1_l4[1]_lut_out = !J1L34;
J1_l4[1] = DFFE(J1_l4[1]_lut_out, GLOBAL(B1_clk_4), reset, , );


--U1_l4[1] is model1_top:u8|model1:u6|l4[1] at LC6_11_L2
--operation mode is normal

U1_l4[1]_lut_out = U1L75 # U1L12 & U1_l4[1] # !U1L45;
U1_l4[1] = DFFE(U1_l4[1]_lut_out, GLOBAL(B1_flag2[0]), reset, , );


--Q1L02 is TG:u17|Select~1112 at LC9_4_S2
--operation mode is normal

Q1L02 = Q1L38 & U1_l4[1] & (Q1L17) # !Q1L38 & (Q1_l4[1] # U1_l4[1] & Q1L17);


--Q1L12 is TG:u17|Select~1113 at LC8_3_S2
--operation mode is normal

Q1L12 = !Q1L2 & !Q1L02 & (!Q1L47 # !J1_l4[1]);

--Q1L24 is TG:u17|Select~1152 at LC8_3_S2
--operation mode is normal

Q1L24 = !Q1L2 & !Q1L02 & (!Q1L47 # !J1_l4[1]);


--H1_l4[1] is model3:u10|l4[1] at LC9_8_Q2
--operation mode is normal

H1_l4[1]_lut_out = Q1_ein[2] & H1L72;
H1_l4[1] = DFFE(H1_l4[1]_lut_out, GLOBAL(B1_clk_4), reset, , );


--G1_l4[1] is model2:u9|l4[1] at LC7_7_N2
--operation mode is normal

G1_l4[1]_lut_out = !G1_i[2] & (G1L13 & Q1_ein[1]);
G1_l4[1] = DFFE(G1_l4[1]_lut_out, GLOBAL(B1_clk_4), reset, , );


--Q1L22 is TG:u17|Select~1114 at LC10_4_S2
--operation mode is normal

Q1L22 = H1_l4[1] & !Q1L37 & (!G1_l4[1] # !Q1L27) # !H1_l4[1] & (!G1_l4[1] # !Q1L27);


--K1_l4[1] is model5:u12|l4[1] at LC7_13_P2
--operation mode is normal

K1_l4[1]_lut_out = K1L81 # K1L92 & Q1_ein[4] & !K1_i[4];
K1_l4[1] = DFFE(K1_l4[1]_lut_out, GLOBAL(B1_clk_4), reset, , );


--Q1L43 is TG:u17|Select~1131 at LC2_3_S2
--operation mode is normal

Q1L43 = (Q1L11 & Q1L22 & (!K1_l4[1] # !Q1L57)) & CASCADE(Q1L34);


--U1_l4[0] is model1_top:u8|model1:u6|l4[0] at LC10_10_L2