top.map.eqn

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

--J1L94 is model4:u11|reduce_or~419
--operation mode is normal

J1L94 = J1_i[2] $ (!J1_i[4] & (J1_i[3]));


--J1L43 is model4:u11|l3[1]~85
--operation mode is normal

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


--J2_l3[1] is model1_top:u8|model4:u2|l3[1]
--operation mode is normal

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


--U1L94 is model1_top:u8|model1:u6|l3[1]~214
--operation mode is normal

U1L94 = U1L03 & (L2_l1[1] # U1L02 & J2_l3[1]) # !U1L03 & U1L02 & J2_l3[1];


--G1L62 is model2:u9|l3[1]~21
--operation mode is normal

G1L62 = Q1_ein[1] & G1_i[3] & !G1_i[2] & !G1_i[1];


--G1L03 is model2:u9|reduce_or~99
--operation mode is normal

G1L03 = G1_i[2] $ (G1_i[4] & (!G1_i[1] # !G1_i[0]));


--K1L82 is model5:u12|reduce_or~108
--operation mode is normal

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


--J2_l3[0] is model1_top:u8|model4:u2|l3[0]
--operation mode is normal

J2_l3[0]_lut_out = J2L92 & (J2_i[3] & (!J2L25) # !J2_i[3] & J2L15);
J2_l3[0] = DFFE(J2_l3[0]_lut_out, B1_clk_4, reset, , );


--U1L44 is model1_top:u8|model1:u6|l3[0]~217
--operation mode is normal

U1L44 = L2_l1[0] & (U1L03 # U1L02 & J2_l3[0]) # !L2_l1[0] & U1L02 & J2_l3[0];


--J1L05 is model4:u11|reduce_or~420
--operation mode is normal

J1L05 = J1_i[4] & J1_i[2] & (J1_i[0] # J1_i[1]);


--J1L15 is model4:u11|reduce_or~421
--operation mode is normal

J1L15 = J1_i[4] & (!J1_i[0] & !J1_i[1] # !J1_i[2]) # !J1_i[4] & (J1_i[2] & J1_i[1]);


--J2_l4[1] is model1_top:u8|model4:u2|l4[1]
--operation mode is normal

J2_l4[1]_lut_out = !J2L44;
J2_l4[1] = DFFE(J2_l4[1]_lut_out, B1_clk_4, reset, , );


--U1L75 is model1_top:u8|model1:u6|l4[1]~214
--operation mode is normal

U1L75 = U1L03 & (L2_l1[1] # U1L02 & J2_l4[1]) # !U1L03 & U1L02 & J2_l4[1];


--H1L72 is model3:u10|reduce_or~59
--operation mode is normal

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


--G1L13 is model2:u9|reduce_or~100
--operation mode is normal

G1L13 = G1_i[4] & (G1_i[1] $ (G1_i[0] & G1_i[3])) # !G1_i[4] & (G1_i[3]);


--K1L92 is model5:u12|reduce_or~109
--operation mode is normal

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


--J2_l4[0] is model1_top:u8|model4:u2|l4[0]
--operation mode is normal

J2_l4[0]_lut_out = J2L83 & (J2L35 # J2L93 & J2L04) # !J2L83 & J2L93 & J2L04;
J2_l4[0] = DFFE(J2_l4[0]_lut_out, B1_clk_4, reset, , );


--U1L25 is model1_top:u8|model1:u6|l4[0]~217
--operation mode is normal

U1L25 = L2_l1[0] & (U1L03 # U1L02 & J2_l4[0]) # !L2_l1[0] & U1L02 & J2_l4[0];


--J1L83 is model4:u11|l4[0]~336
--operation mode is normal

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


--J1L93 is model4:u11|l4[0]~337
--operation mode is normal

J1L93 = J1_i[3] & !J1_i[5] & (J1_i[4] $ J1_i[2]) # !J1_i[3] & !J1_i[2] & (J1_i[4] $ J1_i[5]);


--J1L25 is model4:u11|reduce_or~422
--operation mode is normal

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


--B1L3 is sysclk:u0|add~241
--operation mode is arithmetic

B1L3 = !B1_flag1[0];

--B1L4 is sysclk:u0|add~243
--operation mode is arithmetic

B1L4 = CARRY(B1_flag1[0]);


--B1L5 is sysclk:u0|add~245
--operation mode is normal

B1L5 = B1_flag1[7] $ (B1L11);


--B1L6 is sysclk:u0|add~249
--operation mode is arithmetic

B1L6 = B1_flag1[2] $ (!B1L9);

--B1L7 is sysclk:u0|add~251
--operation mode is arithmetic

B1L7 = CARRY(B1_flag1[2] & (!B1L9));


--B1L8 is sysclk:u0|add~253
--operation mode is arithmetic

B1L8 = B1_flag1[1] $ (B1L4);

--B1L9 is sysclk:u0|add~255
--operation mode is arithmetic

B1L9 = CARRY(!B1L4 # !B1_flag1[1]);


--B1L01 is sysclk:u0|add~257
--operation mode is arithmetic

B1L01 = B1_flag1[6] $ (!B1L31);

--B1L11 is sysclk:u0|add~259
--operation mode is arithmetic

B1L11 = CARRY(B1_flag1[6] & (!B1L31));


--B1L21 is sysclk:u0|add~261
--operation mode is arithmetic

B1L21 = B1_flag1[5] $ (B1L51);

--B1L31 is sysclk:u0|add~263
--operation mode is arithmetic

B1L31 = CARRY(!B1L51 # !B1_flag1[5]);


--B1L41 is sysclk:u0|add~265
--operation mode is arithmetic

B1L41 = B1_flag1[4] $ (!B1L71);

--B1L51 is sysclk:u0|add~267
--operation mode is arithmetic

B1L51 = CARRY(B1_flag1[4] & (!B1L71));


--B1L61 is sysclk:u0|add~269
--operation mode is arithmetic

B1L61 = B1_flag1[3] $ (B1L7);

--B1L71 is sysclk:u0|add~271
--operation mode is arithmetic

B1L71 = CARRY(!B1L7 # !B1_flag1[3]);


--W1_q is qudou:u16|rs:m4|q
--operation mode is normal

W1_q_lut_out = V2_q & V1_q;
W1_q = DFFE(W1_q_lut_out, B1_clk_4, , , );


--Q1L54 is TG:u17|add~93
--operation mode is normal

Q1L54 = Q1_flag[0] & Q1_flag[1];


--J2_c is model1_top:u8|model4:u2|c
--operation mode is normal

J2_c_lut_out = U1_ein[2] & J2L74;
J2_c = DFFE(J2_c_lut_out, B1_clk_4, reset, , );


--K2_c is model1_top:u8|model5:u3|c
--operation mode is normal

K2_c_lut_out = K2_i[0] & U1_ein[3] & K2L11;
K2_c = DFFE(K2_c_lut_out, B1_clk_4, reset, , );


--H2_c is model1_top:u8|model3:u1|c
--operation mode is normal

H2_c_lut_out = U1_ein[1] & H2_i[4] & H2L11;
H2_c = DFFE(H2_c_lut_out, B1_clk_4, reset, , );


--G2_c is model1_top:u8|model2:u0|c
--operation mode is normal

G2_c_lut_out = G2L11 & (!U1_ein[0] & !G2_i[2]);
G2_c = DFFE(G2_c_lut_out, B1_clk_4, reset, , );


--U1L16 is model1_top:u8|model1:u6|reduce_nor~362
--operation mode is normal

U1L16 = !J2_c & !K2_c & !H2_c & !G2_c;


--M2_c is model1_top:u8|model7:u5|c
--operation mode is normal

M2_c_lut_out = U1_ein[5] & M2L11 & !M2_i[1] & !M2_i[0];
M2_c = DFFE(M2_c_lut_out, B1_clk_4, reset, , );


--L2_c is model1_top:u8|model6:u4|c
--operation mode is normal

L2_c_lut_out = U1_ein[4] & L2L11 & (!L2_i[3]);
L2_c = DFFE(L2_c_lut_out, B1_clk_8, reset, , );


--U1L61 is model1_top:u8|model1:u6|ein~1176
--operation mode is normal

U1L61 = U1L16 & M2_c & !L2_c # !U1L06;


--U1L26 is model1_top:u8|model1:u6|reduce_nor~363
--operation mode is normal

U1L26 = G2_c & !H2_c & !J2_c & !K2_c # !G2_c & (H2_c & !J2_c & !K2_c # !H2_c & (J2_c $ K2_c));


--U1L36 is model1_top:u8|model1:u6|reduce_nor~364
--operation mode is normal

U1L36 = M2_c & U1L16 & (!L2_c) # !M2_c & (L2_c & U1L16 # !L2_c & (U1L26));


--U1L11 is model1_top:u8|model1:u6|ein[4]~1178
--operation mode is normal

U1L11 = U1L06 & (!Q1_ein[0]);


--U1L21 is model1_top:u8|model1:u6|ein[4]~1179
--operation mode is normal

U1L21 = !M2_c & !L2_c & !J2_c;


--U1L6 is model1_top:u8|model1:u6|ein[2]~1180
--operation mode is normal

U1L6 = U1L21 & H2_c & !K2_c & !G2_c;


--U1L4 is model1_top:u8|model1:u6|ein[1]~1182
--operation mode is normal

U1L4 = U1L21 & G2_c & !K2_c & !H2_c;


--U1L31 is model1_top:u8|model1:u6|ein[4]~1184
--operation mode is normal

U1L31 = K2_c & U1L21 & !H2_c & !G2_c;


--U1L8 is model1_top:u8|model1:u6|ein[3]~1186
--operation mode is normal

U1L8 = !K2_c & !H2_c & !G2_c;


--U1L9 is model1_top:u8|model1:u6|ein[3]~1187
--operation mode is normal

U1L9 = J2_c & U1L8 & !M2_c & !L2_c;


--U1L51 is model1_top:u8|model1:u6|ein[5]~1189
--operation mode is normal

U1L51 = U1L16 & L2_c & (!M2_c);


--J2_i[1] is model1_top:u8|model4:u2|i[1]
--operation mode is normal

J2_i[1]_lut_out = U1_ein[2] & J2L1 & (!J2L74);
J2_i[1] = DFFE(J2_i[1]_lut_out, B1_clk_4, reset, , );


--J2_i[5] is model1_top:u8|model4:u2|i[5]
--operation mode is normal

J2_i[5]_lut_out = J2L3 & U1_ein[2] & (!J2L74);
J2_i[5] = DFFE(J2_i[5]_lut_out, B1_clk_4, reset, , );


--J2L83 is model1_top:u8|model4:u2|l4[0]~334
--operation mode is normal

J2L83 = J2_i[1] & U1_ein[2] & (!J2_i[5]);


--J2_i[4] is model1_top:u8|model4:u2|i[4]
--operation mode is normal

J2_i[4]_lut_out = U1_ein[2] & J2L4;
J2_i[4] = DFFE(J2_i[4]_lut_out, B1_clk_4, reset, , );


--J2_i[3] is model1_top:u8|model4:u2|i[3]
--operation mode is normal

J2_i[3]_lut_out = U1_ein[2] & J2L6;
J2_i[3] = DFFE(J2_i[3]_lut_out, B1_clk_4, reset, , );


--J2_i[0] is model1_top:u8|model4:u2|i[0]
--operation mode is normal

J2_i[0]_lut_out = U1_ein[2] & (J2L74 # J2L8);
J2_i[0] = DFFE(J2_i[0]_lut_out, B1_clk_4, reset, , );


--J2L62 is model1_top:u8|model4:u2|l1[1]~182
--operation mode is normal

J2L62 = J2_i[4] & (!J2_i[0]) # !J2_i[4] & !J2_i[3];


--J2_i[2] is model1_top:u8|model4:u2|i[2]
--operation mode is normal

J2_i[2]_lut_out = U1_ein[2] & J2L01;
J2_i[2] = DFFE(J2_i[2]_lut_out, B1_clk_4, reset, , );


--L2_i[0] is model1_top:u8|model6:u4|i[0]
--operation mode is normal

L2_i[0]_lut_out = U1_ein[4] & L2L1;
L2_i[0] = DFFE(L2_i[0]_lut_out, B1_clk_8, reset, , );


--L2_i[1] is model1_top:u8|model6:u4|i[1]
--operation mode is normal

L2_i[1]_lut_out = U1_ein[4] & L2L3;
L2_i[1] = DFFE(L2_i[1]_lut_out, B1_clk_8, reset, , );


--L2_i[2] is model1_top:u8|model6:u4|i[2]
--operation mode is normal

L2_i[2]_lut_out = U1_ein[4] & L2L5;
L2_i[2] = DFFE(L2_i[2]_lut_out, B1_clk_8, reset, , );


--L2_i[3] is model1_top:u8|model6:u4|i[3]
--operation mode is normal

L2_i[3]_lut_out = U1_ein[4] & L2L7 & (L2_i[3] # !L2L11);
L2_i[3] = DFFE(L2_i[3]_lut_out, B1_clk_8, reset, , );


--L2L12 is model1_top:u8|model6:u4|reduce_or~58
--operation mode is normal

L2L12 = !L2_i[3] & (L2_i[1] & L2_i[0] & !L2_i[2] # !L2_i[1] & (L2_i[2]));


--L2L22 is model1_top:u8|model6:u4|reduce_or~59
--operation mode is normal

L2L22 = L2_i[1] & (L2_i[2] # !L2_i[3]) # !L2_i[1] & L2_i[2] & (L2_i[0] # !L2_i[3]);


--L2_i[4] is model1_top:u8|model6:u4|i[4]
--operation mode is normal

L2_i[4]_lut_out = L2L9 & U1_ein[4] & (L2_i[3] # !L2L11);
L2_i[4] = DFFE(L2_i[4]_lut_out, B1_clk_8, reset, , );


--J1L1 is model4:u11|add~90
--operation mode is arithmetic

J1L1 = J1_i[1] $ (J1L9);

--J1L2 is model4:u11|add~92
--operation mode is arithmetic

J1L2 = CARRY(!J1L9 # !J1_i[1]);


--J1L3 is model4:u11|add~94
--operation mode is normal

J1L3 = J1_i[5] $ (J1L5);


--J1L4 is model4:u11|add~98
--operation mode is arithmetic

J1L4 = J1_i[4] $ (!J1L7);

--J1L5 is model4:u11|add~100
--operation mode is arithmetic

J1L5 = CARRY(J1_i[4] & (!J1L7));


--J1L6 is model4:u11|add~102
--operation mode is arithmetic

J1L6 = J1_i[3] $ (J1L11);

--J1L7 is model4:u11|add~104
--operation mode is arithmetic

J1L7 = CARRY(!J1L11 # !J1_i[3]);


--J1L8 is model4:u11|add~106
--operation mode is arithmetic

J1L8 = !J1_i[0];

--J1L9 is model4:u11|add~108
--operation mode is arithmetic

J1L9 = CARRY(J1_i[0]);


--J1L01 is model4:u11|add~110
--operation mode is arithmetic

J1L01 = J1_i[2] $ (!J1L2);

--J1L11 is model4:u11|add~112
--operation mode is arithmetic

J1L11 = CARRY(J1_i[2] & (!J1L2));


--B1L23 is sysclk:u0|clk_4~1
--operation mode is normal

B1L23 = B1_clk_8 & B1L55 & B1L65;


--L1L1 is model6:u13|add~71
--operation mode is arithmetic

L1L1 = !L1_i[0];

--L1L2 is model6:u13|add~73
--operation mode is arithmetic

L1L2 = CARRY(L1_i[0]);


--L1L3 is model6:u13|add~75
--operation mode is arithmetic

L1L3 = L1_i[1] $ (L1L2);

--L1L4 is model6:u13|add~77
--operation mode is arithmetic

L1L4 = CARRY(!L1L2 # !L1_i[1]);


--L1L5 is model6:u13|add~79
--operation mode is arithmetic

L1L5 = L1_i[2] $ (!L1L4);

--L1L6 is model6:u13|add~81
--operation mode is arithmetic

L1L6 = CARRY(L1_i[2] & (!L1L4));


--L1L7 is model6:u13|add~83
--operation mode is arithmetic

L1L7 = L1_i[3] $ (L1L6);

--L1L8 is model6:u13|add~85
--operation mode is arithmetic

L1L8 = CARRY(!L1L6 # !L1_i[3]);


--L1L91 is model6:u13|reduce_nor~23
--operation mode is normal

L1L91 = !L1_i[2] # !L1_i[4] # !L1_i[0] # !L1_i[1];


--L1L9 is model6:u13|add~87
--operation mode is normal

L1L9 = L1_i[4] $ (!L1L8);


--B1L33 is sysclk:u0|clk_4~15
--operation mode is normal

B1L33 = B1L55 & B1L65;


--M1L21 is model7:u14|reduce_nor~13
--operation mode is normal

M1L21 = M1_i[2] & M1_i[3];


--M1L4 is model7:u14|i[0]~170
--operation mode is normal

M1L4 = Q1_ein[6] & (M1_i[1] # M1_i[0] # !M1L21);