top.map.eqn

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

--B1L75 is sysclk:u0|reduce_nor~116
--operation mode is normal

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


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

B1_flag1[6]_lut_out = B1L01 & (!B1L55);
B1_flag1[6] = DFFE(B1_flag1[6]_lut_out, T1_clk_250k, reset, , );


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

B1_flag1[5]_lut_out = B1L21 & (!B1L55);
B1_flag1[5] = DFFE(B1_flag1[5]_lut_out, T1_clk_250k, reset, , );


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

B1_flag1[4]_lut_out = B1L41 & (!B1L55);
B1_flag1[4] = DFFE(B1_flag1[4]_lut_out, T1_clk_250k, reset, , );


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

B1_flag1[3]_lut_out = B1L61 & (!B1L55);
B1_flag1[3] = DFFE(B1_flag1[3]_lut_out, T1_clk_250k, reset, , );


--B1L55 is sysclk:u0|reduce_nor~112
--operation mode is normal

B1L55 = (B1_flag1[6] & B1_flag1[5] & B1_flag1[4] & B1_flag1[3]) & CASCADE(B1L75);


--Q1_flag[1] is TG:u17|flag[1]
--operation mode is normal

Q1_flag[1]_lut_out = !Q1_flag[1];
Q1_flag[1] = DFFE(Q1_flag[1]_lut_out, !W1_q, reset, , Q1_flag[0]);


--Q1_flag[0] is TG:u17|flag[0]
--operation mode is normal

Q1_flag[0]_lut_out = !Q1_flag[0];
Q1_flag[0] = DFFE(Q1_flag[0]_lut_out, !W1_q, reset, , );


--Q1_flag[2] is TG:u17|flag[2]
--operation mode is normal

Q1_flag[2]_lut_out = !Q1_flag[2];
Q1_flag[2] = DFFE(Q1_flag[2]_lut_out, !W1_q, reset, , Q1L54);


--U1_ein[0] is model1_top:u8|model1:u6|ein[0]
--operation mode is normal

U1_ein[0]_lut_out = Q1_ein[0] # !U1L61 & (U1_ein[0] # U1L36);
U1_ein[0] = DFFE(U1_ein[0]_lut_out, B1_flag2[0], reset, , );


--U1_ein[2] is model1_top:u8|model1:u6|ein[2]
--operation mode is normal

U1_ein[2]_lut_out = U1L11 & (U1L6 # U1_ein[2] & !U1L36);
U1_ein[2] = DFFE(U1_ein[2]_lut_out, B1_flag2[0], reset, , );


--U1_ein[1] is model1_top:u8|model1:u6|ein[1]
--operation mode is normal

U1_ein[1]_lut_out = U1L11 & (U1L4 # U1_ein[1] & !U1L36);
U1_ein[1] = DFFE(U1_ein[1]_lut_out, B1_flag2[0], reset, , );


--U1L43 is model1_top:u8|model1:u6|l2[0]~243
--operation mode is normal

U1L43 = U1_ein[0] & !U1_ein[2] & !U1_ein[1] & !Q1_ein[0];


--U1_ein[4] is model1_top:u8|model1:u6|ein[4]
--operation mode is normal

U1_ein[4]_lut_out = U1L11 & (U1L31 # U1_ein[4] & !U1L36);
U1_ein[4] = DFFE(U1_ein[4]_lut_out, B1_flag2[0], reset, , );


--U1_ein[3] is model1_top:u8|model1:u6|ein[3]
--operation mode is normal

U1_ein[3]_lut_out = U1L11 & (U1L9 # U1_ein[3] & !U1L36);
U1_ein[3] = DFFE(U1_ein[3]_lut_out, B1_flag2[0], reset, , );


--U1_ein[5] is model1_top:u8|model1:u6|ein[5]
--operation mode is normal

U1_ein[5]_lut_out = U1L11 & (U1L51 # U1_ein[5] & !U1L36);
U1_ein[5] = DFFE(U1_ein[5]_lut_out, B1_flag2[0], reset, , );


--U1L03 is model1_top:u8|model1:u6|l1[1]~313
--operation mode is normal

U1L03 = U1L43 & U1_ein[4] & !U1_ein[3] & !U1_ein[5];


--U1L91 is model1_top:u8|model1:u6|l1[0]~314
--operation mode is normal

U1L91 = !U1_ein[3] & !U1_ein[4] & !Q1_ein[0] & !U1_ein[5];


--U1L02 is model1_top:u8|model1:u6|l1[0]~315
--operation mode is normal

U1L02 = U1_ein[0] & U1L91 & U1_ein[2] & !U1_ein[1];


--J2_l1[1] is model1_top:u8|model4:u2|l1[1]
--operation mode is normal

J2_l1[1]_lut_out = J2L83 & J2L62 & (!J2_i[2]);
J2_l1[1] = DFFE(J2_l1[1]_lut_out, B1_clk_4, reset, , );


--L2_l1[1] is model1_top:u8|model6:u4|l1[1]
--operation mode is normal

L2_l1[1]_lut_out = U1_ein[4] & (L2_i[4] & L2L12 # !L2_i[4] & (L2L22));
L2_l1[1] = DFFE(L2_l1[1]_lut_out, B1_clk_8, reset, , );


--U1L13 is model1_top:u8|model1:u6|l1[1]~316
--operation mode is normal

U1L13 = U1L03 & (L2_l1[1] # U1L02 & J2_l1[1]) # !U1L03 & U1L02 & J2_l1[1];


--U1L85 is model1_top:u8|model1:u6|reduce_nor~359
--operation mode is normal

U1L85 = !U1_ein[2] & !U1_ein[1] & !U1_ein[3] & !U1_ein[4];


--U1L95 is model1_top:u8|model1:u6|reduce_nor~360
--operation mode is normal

U1L95 = U1_ein[4] & !U1_ein[3] & !U1_ein[2] & !U1_ein[1] # !U1_ein[4] & (U1_ein[3] & !U1_ein[2] & !U1_ein[1] # !U1_ein[3] & (U1_ein[2] $ U1_ein[1]));


--U1L06 is model1_top:u8|model1:u6|reduce_nor~361
--operation mode is normal

U1L06 = U1_ein[0] & (U1_ein[5] & U1L85 # !U1_ein[5] & (U1L95)) # !U1_ein[0] & U1L85 & (!U1_ein[5]);


--U1L12 is model1_top:u8|model1:u6|l1[0]~317
--operation mode is normal

U1L12 = !Q1_ein[0] & !U1L06;


--J1_i[1] is model4:u11|i[1]
--operation mode is normal

J1_i[1]_lut_out = Q1_ein[3] & J1L1 & (!J1L64);
J1_i[1] = DFFE(J1_i[1]_lut_out, B1_clk_4, reset, , );


--J1_i[5] is model4:u11|i[5]
--operation mode is normal

J1_i[5]_lut_out = J1L3 & Q1_ein[3] & (!J1L64);
J1_i[5] = DFFE(J1_i[5]_lut_out, B1_clk_4, reset, , );


--J1L73 is model4:u11|l4[0]~334
--operation mode is normal

J1L73 = J1_i[1] & Q1_ein[3] & (!J1_i[5]);


--J1_i[4] is model4:u11|i[4]
--operation mode is normal

J1_i[4]_lut_out = Q1_ein[3] & J1L4;
J1_i[4] = DFFE(J1_i[4]_lut_out, B1_clk_4, reset, , );


--J1_i[3] is model4:u11|i[3]
--operation mode is normal

J1_i[3]_lut_out = Q1_ein[3] & J1L6;
J1_i[3] = DFFE(J1_i[3]_lut_out, B1_clk_4, reset, , );


--J1_i[0] is model4:u11|i[0]
--operation mode is normal

J1_i[0]_lut_out = Q1_ein[3] & (J1L64 # J1L8);
J1_i[0] = DFFE(J1_i[0]_lut_out, B1_clk_4, reset, , );


--J1L52 is model4:u11|l1[1]~182
--operation mode is normal

J1L52 = J1_i[4] & (!J1_i[0]) # !J1_i[4] & !J1_i[3];


--J1_i[2] is model4:u11|i[2]
--operation mode is normal

J1_i[2]_lut_out = Q1_ein[3] & J1L01;
J1_i[2] = DFFE(J1_i[2]_lut_out, B1_clk_4, reset, , );


--B1_clk_4 is sysclk:u0|clk_4
--operation mode is normal

B1_clk_4_lut_out = !B1_clk_4;
B1_clk_4 = DFFE(B1_clk_4_lut_out, T1_clk_250k, reset, , B1L23);


--L1_i[0] is model6:u13|i[0]
--operation mode is normal

L1_i[0]_lut_out = Q1_ein[5] & L1L1;
L1_i[0] = DFFE(L1_i[0]_lut_out, B1_clk_8, reset, , );


--L1_i[1] is model6:u13|i[1]
--operation mode is normal

L1_i[1]_lut_out = Q1_ein[5] & L1L3;
L1_i[1] = DFFE(L1_i[1]_lut_out, B1_clk_8, reset, , );


--L1_i[2] is model6:u13|i[2]
--operation mode is normal

L1_i[2]_lut_out = Q1_ein[5] & L1L5;
L1_i[2] = DFFE(L1_i[2]_lut_out, B1_clk_8, reset, , );


--L1_i[3] is model6:u13|i[3]
--operation mode is normal

L1_i[3]_lut_out = Q1_ein[5] & L1L7 & (L1_i[3] # L1L91);
L1_i[3] = DFFE(L1_i[3]_lut_out, B1_clk_8, reset, , );


--L1L02 is model6:u13|reduce_or~58
--operation mode is normal

L1L02 = !L1_i[3] & (L1_i[1] & L1_i[0] & !L1_i[2] # !L1_i[1] & (L1_i[2]));


--L1L12 is model6:u13|reduce_or~59
--operation mode is normal

L1L12 = L1_i[1] & (L1_i[2] # !L1_i[3]) # !L1_i[1] & L1_i[2] & (L1_i[0] # !L1_i[3]);


--L1_i[4] is model6:u13|i[4]
--operation mode is normal

L1_i[4]_lut_out = L1L9 & Q1_ein[5] & (L1_i[3] # L1L91);
L1_i[4] = DFFE(L1_i[4]_lut_out, B1_clk_8, reset, , );


--B1_clk_8 is sysclk:u0|clk_8
--operation mode is normal

B1_clk_8_lut_out = !B1_clk_8;
B1_clk_8 = DFFE(B1_clk_8_lut_out, T1_clk_250k, reset, , B1L33);


--M1_i[2] is model7:u14|i[2]
--operation mode is normal

M1_i[2]_lut_out = M1L4 & (M1_i[2] $ (M1_i[1] & M1_i[0]));
M1_i[2] = DFFE(M1_i[2]_lut_out, B1_clk_4, reset, , );


--M1_i[3] is model7:u14|i[3]
--operation mode is normal

M1_i[3]_lut_out = M1L4 & (M1_i[3] $ (M1_i[2] & M1L1));
M1_i[3] = DFFE(M1_i[3]_lut_out, B1_clk_4, reset, , );


--M1_i[1] is model7:u14|i[1]
--operation mode is normal

M1_i[1]_lut_out = Q1_ein[6] & (M1_i[1] $ M1_i[0]);
M1_i[1] = DFFE(M1_i[1]_lut_out, B1_clk_4, reset, , );


--H1_i[0] is model3:u10|i[0]
--operation mode is normal

H1_i[0]_lut_out = H1L1 & Q1_ein[2] & (H1L42 # !H1_i[4]);
H1_i[0] = DFFE(H1_i[0]_lut_out, B1_clk_4, reset, , );


--H1_i[1] is model3:u10|i[1]
--operation mode is normal

H1_i[1]_lut_out = Q1_ein[2] & H1L3;
H1_i[1] = DFFE(H1_i[1]_lut_out, B1_clk_4, reset, , );


--H1_i[2] is model3:u10|i[2]
--operation mode is normal

H1_i[2]_lut_out = Q1_ein[2] & H1L5;
H1_i[2] = DFFE(H1_i[2]_lut_out, B1_clk_4, reset, , );


--H1_i[3] is model3:u10|i[3]
--operation mode is normal

H1_i[3]_lut_out = Q1_ein[2] & H1L7;
H1_i[3] = DFFE(H1_i[3]_lut_out, B1_clk_4, reset, , );


--H1L52 is model3:u10|reduce_or~57
--operation mode is normal

H1L52 = H1_i[1] $ (H1_i[3] & H1_i[0] # !H1_i[3] & (H1_i[2]));


--H1_i[4] is model3:u10|i[4]
--operation mode is normal

H1_i[4]_lut_out = Q1_ein[2] & H1L9 & (H1L42 # !H1_i[4]);
H1_i[4] = DFFE(H1_i[4]_lut_out, B1_clk_4, reset, , );


--G1_i[0] is model2:u9|i[0]
--operation mode is normal

G1_i[0]_lut_out = Q1_ein[1] & G1L1;
G1_i[0] = DFFE(G1_i[0]_lut_out, B1_clk_4, reset, , );


--G1_i[4] is model2:u9|i[4]
--operation mode is normal

G1_i[4]_lut_out = G1L3 & Q1_ein[1] & (G1_i[2] # G1L92);
G1_i[4] = DFFE(G1_i[4]_lut_out, B1_clk_4, reset, , );


--G1_i[3] is model2:u9|i[3]
--operation mode is normal

G1_i[3]_lut_out = Q1_ein[1] & G1L4 & (G1_i[2] # G1L92);
G1_i[3] = DFFE(G1_i[3]_lut_out, B1_clk_4, reset, , );


--G1_i[2] is model2:u9|i[2]
--operation mode is normal

G1_i[2]_lut_out = Q1_ein[1] & G1L6 & (G1_i[2] # G1L92);
G1_i[2] = DFFE(G1_i[2]_lut_out, B1_clk_4, reset, , );


--G1_i[1] is model2:u9|i[1]
--operation mode is normal

G1_i[1]_lut_out = Q1_ein[1] & G1L8;
G1_i[1] = DFFE(G1_i[1]_lut_out, B1_clk_4, reset, , );


--K1_i[4] is model5:u12|i[4]
--operation mode is normal

K1_i[4]_lut_out = Q1_ein[4] & K1L1 & (!K1_i[0] # !K1L52);
K1_i[4] = DFFE(K1_i[4]_lut_out, B1_clk_4, reset, , );


--K1_i[1] is model5:u12|i[1]
--operation mode is normal

K1_i[1]_lut_out = K1L2 & Q1_ein[4] & (!K1_i[0] # !K1L52);
K1_i[1] = DFFE(K1_i[1]_lut_out, B1_clk_4, reset, , );


--K1_i[2] is model5:u12|i[2]
--operation mode is normal

K1_i[2]_lut_out = Q1_ein[4] & K1L4;
K1_i[2] = DFFE(K1_i[2]_lut_out, B1_clk_4, reset, , );


--K1_i[3] is model5:u12|i[3]
--operation mode is normal

K1_i[3]_lut_out = Q1_ein[4] & K1L6;
K1_i[3] = DFFE(K1_i[3]_lut_out, B1_clk_4, reset, , );


--K1L52 is model5:u12|reduce_nor~20
--operation mode is normal

K1L52 = K1_i[4] & !K1_i[1] & !K1_i[2] & !K1_i[3];


--K1_i[0] is model5:u12|i[0]
--operation mode is normal

K1_i[0]_lut_out = Q1_ein[4] & K1L8;
K1_i[0] = DFFE(K1_i[0]_lut_out, B1_clk_4, reset, , );


--K1L81 is model5:u12|l1[1]~41
--operation mode is normal

K1L81 = K1L52 & Q1_ein[4] & (!K1_i[0]);


--K1L62 is model5:u12|reduce_or~106
--operation mode is normal

K1L62 = K1_i[2] & (K1_i[0] $ (!K1_i[3])) # !K1_i[2] & (K1_i[0] & !K1_i[1] # !K1_i[0] & (K1_i[1] # K1_i[3]));


--D1L8 is medium_clk:u6|add~97
--operation mode is arithmetic

D1L8 = VCC;

--D1L9 is medium_clk:u6|add~99
--operation mode is arithmetic

D1L9 = CARRY(E1_i[0] & E1_i[1]);


--J1L54 is model4:u11|reduce_or~415
--operation mode is normal

J1L54 = J1_i[5] & (!J1_i[4] & !J1_i[3]);


--J1L64 is model4:u11|reduce_or~416
--operation mode is normal

J1L64 = J1L54 & J1_i[0] & !J1_i[2] & !J1_i[1];


--J1L12 is model4:u11|l1[0]~184
--operation mode is normal

J1L12 = J1_i[2] & (!J1_i[5]);


--J1L22 is model4:u11|l1[0]~185
--operation mode is normal

J1L22 = J1L12 & !J1_i[1] & !J1_i[4] & !J1_i[3];


--J1L74 is model4:u11|reduce_or~417
--operation mode is normal

J1L74 = J1_i[3] & (!J1_i[0] & !J1_i[1] # !J1_i[4]);


--J1L32 is model4:u11|l1[0]~186
--operation mode is normal

J1L32 = !J1L74 & !J1_i[2] & !J1_i[5];


--J2_l1[0] is model1_top:u8|model4:u2|l1[0]
--operation mode is normal

J2_l1[0]_lut_out = U1_ein[2] & (J2L74 # J2L32 # J2L42);
J2_l1[0] = DFFE(J2_l1[0]_lut_out, B1_clk_4, reset, , );


--L2_l1[0] is model1_top:u8|model6:u4|l1[0]
--operation mode is normal

L2_l1[0]_lut_out = U1_ein[4] & (L2_i[1] & L2L32 # !L2_i[1] & (!L2L42));
L2_l1[0] = DFFE(L2_l1[0]_lut_out, B1_clk_8, reset, , );


--U1L22 is model1_top:u8|model1:u6|l1[0]~320
--operation mode is normal

U1L22 = J2_l1[0] & (U1L02 # L2_l1[0] & U1L03) # !J2_l1[0] & L2_l1[0] & U1L03;


--L1L22 is model6:u13|reduce_or~60
--operation mode is normal

L1L22 = !L1_i[0] & (L1_i[4] & (!L1_i[3]) # !L1_i[4] & L1_i[2] & L1_i[3]);


--L1L32 is model6:u13|reduce_or~61
--operation mode is normal

L1L32 = L1_i[0] & (L1_i[4] # L1_i[2] & L1_i[3]) # !L1_i[0] & L1_i[4] & (L1_i[3]);


--J1L03 is model4:u11|l2[1]~179
--operation mode is normal

J1L03 = J1_i[4] & !J1_i[1] & !J1_i[0] # !J1_i[4] & J1_i[1] & (!J1_i[3]);


--J2_l2[1] is model1_top:u8|model4:u2|l2[1]
--operation mode is normal

J2_l2[1]_lut_out = J2L13 & U1_ein[2] & J2_i[2] & !J2_i[5];
J2_l2[1] = DFFE(J2_l2[1]_lut_out, B1_clk_4, reset, , );


--U1L14 is model1_top:u8|model1:u6|l2[1]~244
--operation mode is normal

U1L14 = U1L03 & (L2_l1[1] # U1L02 & J2_l2[1]) # !U1L03 & U1L02 & J2_l2[1];


--M1_i[0] is model7:u14|i[0]
--operation mode is normal

M1_i[0]_lut_out = Q1_ein[6] & !M1_i[0] & (M1_i[1] # !M1L21);
M1_i[0] = DFFE(M1_i[0]_lut_out, B1_clk_4, reset, , );


--M1L31 is model7:u14|reduce_or~32
--operation mode is normal

M1L31 = M1_i[2] & (!M1_i[1] & !M1_i[3]) # !M1_i[2] & (M1_i[0] & !M1_i[1] # !M1_i[0] & (M1_i[3]));


--H1L62 is model3:u10|reduce_or~58
--operation mode is normal

H1L62 = H1_i[4] # H1_i[3] & H1_i[1] # !H1_i[3] & (H1_i[2]);


--K1L72 is model5:u12|reduce_or~107
--operation mode is normal

K1L72 = K1_i[1] & (K1_i[3] $ (!K1_i[2] # !K1_i[0])) # !K1_i[1] & (K1_i[3] # !K1_i[0] & K1_i[2]);


--J2_l2[0] is model1_top:u8|model4:u2|l2[0]
--operation mode is normal

J2_l2[0]_lut_out = J2L92 & (J2_i[1] & J2L94 # !J2_i[1] & (J2L05));
J2_l2[0] = DFFE(J2_l2[0]_lut_out, B1_clk_4, reset, , );


--U1L53 is model1_top:u8|model1:u6|l2[0]~247
--operation mode is normal

U1L53 = L2_l1[0] & (U1L03 # U1L02 & J2_l2[0]) # !L2_l1[0] & U1L02 & J2_l2[0];


--J1L82 is model4:u11|l2[0]~181
--operation mode is normal

J1L82 = Q1_ein[3] & (!J1_i[5]);


--J1L84 is model4:u11|reduce_or~418
--operation mode is normal

J1L84 = J1_i[4] & (!J1_i[2] & J1_i[0]) # !J1_i[4] & !J1_i[3] & J1_i[2];