top.map.eqn

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

--operation mode is normal

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


--L1_l1[1] is model6:u13|l1[1]
--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, B1_clk_8, reset, , );


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

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


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

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

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

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


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

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


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

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


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

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


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

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


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

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


--G1_l1[0] is model2:u9|l1[0]
--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, B1_clk_4, reset, , );


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

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


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

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


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

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


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

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


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

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


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

D1L6 = VCC;

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

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


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

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


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

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


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

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


--L1_l1[0] is model6:u13|l1[0]
--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, B1_clk_8, reset, , );


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

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


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

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

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

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


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

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


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

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


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

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


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

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

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

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


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

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


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

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


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

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


--G1_l2[1] is model2:u9|l2[1]
--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, B1_clk_4, reset, , );


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

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


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

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


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

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


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

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


--J1_l2[0] is model4:u11|l2[0]
--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, B1_clk_4, reset, , );


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

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


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

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

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

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


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

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


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

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


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

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


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

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

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

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


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

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


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

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


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

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


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

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


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

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


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

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


--J1_l3[0] is model4:u11|l3[0]
--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, B1_clk_4, reset, , );


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

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


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

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

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

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


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

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


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

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


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

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


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

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

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

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


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

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


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

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


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

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


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

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


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

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


--U1_l4[0] is model1_top:u8|model1:u6|l4[0]
--operation mode is normal

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


--J1_l4[0] is model4:u11|l4[0]
--operation mode is normal

J1_l4[0]_lut_out = J1L73 & (J1L25 # J1L83 & J1L93) # !J1L73 & J1L83 & J1L93;
J1_l4[0] = DFFE(J1_l4[0]_lut_out, B1_clk_4, reset, , );


--Q1L32 is TG:u17|Select~1116
--operation mode is normal

Q1L32 = Q1L47 & (J1_l4[0] # Q1_l4[0] & !Q1L38) # !Q1L47 & (Q1_l4[0] & !Q1L38);


--Q1L42 is TG:u17|Select~1117
--operation mode is normal

Q1L42 = !Q1L32 & !Q1L7 & (!U1_l4[0] # !Q1L17);

--Q1L34 is TG:u17|Select~1153
--operation mode is normal

Q1L34 = !Q1L32 & !Q1L7 & (!U1_l4[0] # !Q1L17);


--T1L1 is sysclk_250k:u23|add~71
--operation mode is arithmetic

T1L1 = T1_flag1[3] $ (T1L4);

--T1L2 is sysclk_250k:u23|add~73
--operation mode is arithmetic

T1L2 = CARRY(!T1L4 # !T1_flag1[3]);


--T1L3 is sysclk_250k:u23|add~75
--operation mode is arithmetic

T1L3 = T1_flag1[2] $ (!T1L6);

--T1L4 is sysclk_250k:u23|add~77
--operation mode is arithmetic

T1L4 = CARRY(T1_flag1[2] & (!T1L6));


--T1L5 is sysclk_250k:u23|add~79
--operation mode is arithmetic

T1L5 = T1_flag1[1] $ (T1L8);

--T1L6 is sysclk_250k:u23|add~81
--operation mode is arithmetic

T1L6 = CARRY(!T1L8 # !T1_flag1[1]);


--T1L7 is sysclk_250k:u23|add~83
--operation mode is arithmetic

T1L7 = !T1_flag1[0];

--T1L8 is sysclk_250k:u23|add~85
--operation mode is arithmetic

T1L8 = CARRY(T1_flag1[0]);


--T1L9 is sysclk_250k:u23|add~87
--operation mode is normal

T1L9 = T1_flag1[4] $ (!T1L2);


--B1_flag1[0] is sysclk:u0|flag1[0]
--operation mode is normal

B1_flag1[0]_lut_out = B1L3;
B1_flag1[0] = DFFE(B1_flag1[0]_lut_out, T1_clk_250k, reset, , );


--B1_flag1[7] is sysclk:u0|flag1[7]
--operation mode is normal

B1_flag1[7]_lut_out = B1L5 & (!B1L55);
B1_flag1[7] = DFFE(B1_flag1[7]_lut_out, T1_clk_250k, reset, , );


--B1_flag1[2] is sysclk:u0|flag1[2]
--operation mode is normal

B1_flag1[2]_lut_out = B1L6;
B1_flag1[2] = DFFE(B1_flag1[2]_lut_out, T1_clk_250k, reset, , );


--B1_flag1[1] is sysclk:u0|flag1[1]
--operation mode is normal

B1_flag1[1]_lut_out = B1L8 & (!B1L55);
B1_flag1[1] = DFFE(B1_flag1[1]_lut_out, T1_clk_250k, reset, , );


--B1L35 is sysclk:u0|reduce_nor~105
--operation mode is normal

B1L35 = B1_flag1[0] & B1_flag1[7] & !B1_flag1[2] & !B1_flag1[1];