top.map.eqn

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

--M1L1 is model7:u14|add~111
--operation mode is normal

M1L1 = M1_i[1] & M1_i[0];


--N1_l1[0] is model8:u15|l1[0]
--operation mode is normal

N1_l1[0]_lut_out = Q1_ein[7];
N1_l1[0] = DFFE(N1_l1[0]_lut_out, B1_clk_4, reset, , );


--Q1L52 is TG:u17|Select~1121
--operation mode is normal

Q1L52 = !Q1_ein[6] & !Q1_ein[5] & !Q1_ein[4];


--Q1L62 is TG:u17|Select~1122
--operation mode is normal

Q1L62 = N1_l1[0] & Q1_ein[7] & Q1L52;

--Q1L44 is TG:u17|Select~1154
--operation mode is normal

Q1L44 = N1_l1[0] & Q1_ein[7] & Q1L52;


--Q1L53 is TG:u17|Select~1132
--operation mode is normal

Q1L53 = (Q1_ein[0] & !Q1_ein[1] & !Q1_ein[3] & !Q1_ein[2]) & CASCADE(Q1L44);


--H1L1 is model3:u10|add~71
--operation mode is arithmetic

H1L1 = !H1_i[0];

--H1L2 is model3:u10|add~73
--operation mode is arithmetic

H1L2 = CARRY(H1_i[0]);


--H1L42 is model3:u10|reduce_nor~23
--operation mode is normal

H1L42 = H1_i[0] # H1_i[1] # H1_i[2] # H1_i[3];


--H1L3 is model3:u10|add~75
--operation mode is arithmetic

H1L3 = H1_i[1] $ (H1L2);

--H1L4 is model3:u10|add~77
--operation mode is arithmetic

H1L4 = CARRY(!H1L2 # !H1_i[1]);


--H1L5 is model3:u10|add~79
--operation mode is arithmetic

H1L5 = H1_i[2] $ (!H1L4);

--H1L6 is model3:u10|add~81
--operation mode is arithmetic

H1L6 = CARRY(H1_i[2] & (!H1L4));


--H1L7 is model3:u10|add~83
--operation mode is arithmetic

H1L7 = H1_i[3] $ (H1L6);

--H1L8 is model3:u10|add~85
--operation mode is arithmetic

H1L8 = CARRY(!H1L6 # !H1_i[3]);


--H1L9 is model3:u10|add~87
--operation mode is normal

H1L9 = H1_i[4] $ (!H1L8);


--G1L1 is model2:u9|add~71
--operation mode is arithmetic

G1L1 = !G1_i[0];

--G1L2 is model2:u9|add~73
--operation mode is arithmetic

G1L2 = CARRY(G1_i[0]);


--G1L3 is model2:u9|add~75
--operation mode is normal

G1L3 = G1_i[4] $ (!G1L5);


--G1L92 is model2:u9|reduce_nor~10
--operation mode is normal

G1L92 = !G1_i[4] # !G1_i[0] # !G1_i[1] # !G1_i[3];


--G1L4 is model2:u9|add~79
--operation mode is arithmetic

G1L4 = G1_i[3] $ (G1L7);

--G1L5 is model2:u9|add~81
--operation mode is arithmetic

G1L5 = CARRY(!G1L7 # !G1_i[3]);


--G1L6 is model2:u9|add~83
--operation mode is arithmetic

G1L6 = G1_i[2] $ (!G1L9);

--G1L7 is model2:u9|add~85
--operation mode is arithmetic

G1L7 = CARRY(G1_i[2] & (!G1L9));


--G1L8 is model2:u9|add~87
--operation mode is arithmetic

G1L8 = G1_i[1] $ (G1L2);

--G1L9 is model2:u9|add~89
--operation mode is arithmetic

G1L9 = CARRY(!G1L2 # !G1_i[1]);


--K1L1 is model5:u12|add~71
--operation mode is normal

K1L1 = K1_i[4] $ (!K1L7);


--K1L2 is model5:u12|add~75
--operation mode is arithmetic

K1L2 = K1_i[1] $ (K1L9);

--K1L3 is model5:u12|add~77
--operation mode is arithmetic

K1L3 = CARRY(!K1L9 # !K1_i[1]);


--K1L4 is model5:u12|add~79
--operation mode is arithmetic

K1L4 = K1_i[2] $ (!K1L3);

--K1L5 is model5:u12|add~81
--operation mode is arithmetic

K1L5 = CARRY(K1_i[2] & (!K1L3));


--K1L6 is model5:u12|add~83
--operation mode is arithmetic

K1L6 = K1_i[3] $ (K1L5);

--K1L7 is model5:u12|add~85
--operation mode is arithmetic

K1L7 = CARRY(!K1L5 # !K1_i[3]);


--K1L8 is model5:u12|add~87
--operation mode is arithmetic

K1L8 = !K1_i[0];

--K1L9 is model5:u12|add~89
--operation mode is arithmetic

K1L9 = CARRY(K1_i[0]);


--J2L64 is model1_top:u8|model4:u2|reduce_or~415
--operation mode is normal

J2L64 = J2_i[5] & (!J2_i[4] & !J2_i[3]);


--J2L74 is model1_top:u8|model4:u2|reduce_or~416
--operation mode is normal

J2L74 = J2L64 & J2_i[0] & !J2_i[2] & !J2_i[1];


--J2L22 is model1_top:u8|model4:u2|l1[0]~184
--operation mode is normal

J2L22 = J2_i[2] & (!J2_i[5]);


--J2L32 is model1_top:u8|model4:u2|l1[0]~185
--operation mode is normal

J2L32 = J2L22 & !J2_i[1] & !J2_i[4] & !J2_i[3];


--J2L84 is model1_top:u8|model4:u2|reduce_or~417
--operation mode is normal

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


--J2L42 is model1_top:u8|model4:u2|l1[0]~186
--operation mode is normal

J2L42 = !J2L84 & !J2_i[2] & !J2_i[5];


--L2L32 is model1_top:u8|model6:u4|reduce_or~60
--operation mode is normal

L2L32 = !L2_i[0] & (L2_i[4] & (!L2_i[3]) # !L2_i[4] & L2_i[2] & L2_i[3]);


--L2L42 is model1_top:u8|model6:u4|reduce_or~61
--operation mode is normal

L2L42 = L2_i[0] & (L2_i[4] # L2_i[2] & L2_i[3]) # !L2_i[0] & L2_i[4] & (L2_i[3]);


--J2L13 is model1_top:u8|model4:u2|l2[1]~179
--operation mode is normal

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


--J2L92 is model1_top:u8|model4:u2|l2[0]~181
--operation mode is normal

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


--J2L94 is model1_top:u8|model4:u2|reduce_or~418
--operation mode is normal

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


--J2L05 is model1_top:u8|model4:u2|reduce_or~419
--operation mode is normal

J2L05 = J2_i[2] $ (!J2_i[4] & (J2_i[3]));


--J2L53 is model1_top:u8|model4:u2|l3[1]~85
--operation mode is normal

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


--J2L15 is model1_top:u8|model4:u2|reduce_or~420
--operation mode is normal

J2L15 = J2_i[4] & J2_i[2] & (J2_i[0] # J2_i[1]);


--J2L25 is model1_top:u8|model4:u2|reduce_or~421
--operation mode is normal

J2L25 = J2_i[4] & (!J2_i[0] & !J2_i[1] # !J2_i[2]) # !J2_i[4] & (J2_i[2] & J2_i[1]);


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

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


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

J2L04 = J2_i[3] & !J2_i[5] & (J2_i[4] $ J2_i[2]) # !J2_i[3] & !J2_i[2] & (J2_i[4] $ J2_i[5]);


--J2L35 is model1_top:u8|model4:u2|reduce_or~422
--operation mode is normal

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


--V2_q is qudou:u16|d:m1|q
--operation mode is normal

V2_q_lut_out = V1_q;
V2_q = DFFE(V2_q_lut_out, B1_clk_4, , , );


--V1_q is qudou:u16|d:m0|q
--operation mode is normal

V1_q_lut_out = tg;
V1_q = DFFE(V1_q_lut_out, B1_clk_4, , , );


--K2_i[0] is model1_top:u8|model5:u3|i[0]
--operation mode is normal

K2_i[0]_lut_out = U1_ein[3] & K2L1;
K2_i[0] = DFFE(K2_i[0]_lut_out, B1_clk_4, reset, , );


--K2_i[4] is model1_top:u8|model5:u3|i[4]
--operation mode is normal

K2_i[4]_lut_out = U1_ein[3] & K2L3 & (!K2L11 # !K2_i[0]);
K2_i[4] = DFFE(K2_i[4]_lut_out, B1_clk_4, reset, , );


--K2_i[1] is model1_top:u8|model5:u3|i[1]
--operation mode is normal

K2_i[1]_lut_out = K2L4 & U1_ein[3] & (!K2L11 # !K2_i[0]);
K2_i[1] = DFFE(K2_i[1]_lut_out, B1_clk_4, reset, , );


--K2_i[2] is model1_top:u8|model5:u3|i[2]
--operation mode is normal

K2_i[2]_lut_out = U1_ein[3] & K2L6;
K2_i[2] = DFFE(K2_i[2]_lut_out, B1_clk_4, reset, , );


--K2_i[3] is model1_top:u8|model5:u3|i[3]
--operation mode is normal

K2_i[3]_lut_out = U1_ein[3] & K2L8;
K2_i[3] = DFFE(K2_i[3]_lut_out, B1_clk_4, reset, , );


--K2L11 is model1_top:u8|model5:u3|c~30
--operation mode is normal

K2L11 = K2_i[4] & !K2_i[1] & !K2_i[2] & !K2_i[3];


--H2_i[4] is model1_top:u8|model3:u1|i[4]
--operation mode is normal

H2_i[4]_lut_out = U1_ein[1] & H2L1 & (!H2L11 # !H2_i[4]);
H2_i[4] = DFFE(H2_i[4]_lut_out, B1_clk_4, reset, , );


--H2_i[0] is model1_top:u8|model3:u1|i[0]
--operation mode is normal

H2_i[0]_lut_out = H2L2 & U1_ein[1] & (!H2L11 # !H2_i[4]);
H2_i[0] = DFFE(H2_i[0]_lut_out, B1_clk_4, reset, , );


--H2_i[1] is model1_top:u8|model3:u1|i[1]
--operation mode is normal

H2_i[1]_lut_out = U1_ein[1] & H2L4;
H2_i[1] = DFFE(H2_i[1]_lut_out, B1_clk_4, reset, , );


--H2_i[2] is model1_top:u8|model3:u1|i[2]
--operation mode is normal

H2_i[2]_lut_out = U1_ein[1] & H2L6;
H2_i[2] = DFFE(H2_i[2]_lut_out, B1_clk_4, reset, , );


--H2_i[3] is model1_top:u8|model3:u1|i[3]
--operation mode is normal

H2_i[3]_lut_out = U1_ein[1] & H2L8;
H2_i[3] = DFFE(H2_i[3]_lut_out, B1_clk_4, reset, , );


--H2L11 is model1_top:u8|model3:u1|c~34
--operation mode is normal

H2L11 = !H2_i[0] & !H2_i[1] & !H2_i[2] & !H2_i[3];


--G2_i[3] is model1_top:u8|model2:u0|i[3]
--operation mode is normal

G2_i[3]_lut_out = G2L1 & !U1_ein[0] & (G2_i[2] # !G2L11);
G2_i[3] = DFFE(G2_i[3]_lut_out, B1_clk_4, reset, , );


--G2_i[1] is model1_top:u8|model2:u0|i[1]
--operation mode is normal

G2_i[1]_lut_out = G2L3 & (!U1_ein[0]);
G2_i[1] = DFFE(G2_i[1]_lut_out, B1_clk_4, reset, , );


--G2_i[0] is model1_top:u8|model2:u0|i[0]
--operation mode is normal

G2_i[0]_lut_out = G2L5 & (!U1_ein[0]);
G2_i[0] = DFFE(G2_i[0]_lut_out, B1_clk_4, reset, , );


--G2_i[4] is model1_top:u8|model2:u0|i[4]
--operation mode is normal

G2_i[4]_lut_out = G2L7 & !U1_ein[0] & (G2_i[2] # !G2L11);
G2_i[4] = DFFE(G2_i[4]_lut_out, B1_clk_4, reset, , );


--G2L11 is model1_top:u8|model2:u0|c~20
--operation mode is normal

G2L11 = G2_i[3] & G2_i[1] & G2_i[0] & G2_i[4];


--G2_i[2] is model1_top:u8|model2:u0|i[2]
--operation mode is normal

G2_i[2]_lut_out = G2L8 & !U1_ein[0] & (G2_i[2] # !G2L11);
G2_i[2] = DFFE(G2_i[2]_lut_out, B1_clk_4, reset, , );


--M2_i[2] is model1_top:u8|model7:u5|i[2]
--operation mode is normal

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


--M2_i[3] is model1_top:u8|model7:u5|i[3]
--operation mode is normal

M2_i[3]_lut_out = M2L8 & (M2_i[3] $ (M2_i[2] & M2L1));
M2_i[3] = DFFE(M2_i[3]_lut_out, B1_clk_4, reset, , );


--M2L11 is model1_top:u8|model7:u5|l1~31
--operation mode is normal

M2L11 = M2_i[2] & M2_i[3];


--M2_i[1] is model1_top:u8|model7:u5|i[1]
--operation mode is normal

M2_i[1]_lut_out = U1_ein[5] & (M2_i[1] $ M2_i[0]);
M2_i[1] = DFFE(M2_i[1]_lut_out, B1_clk_4, reset, , );


--M2_i[0] is model1_top:u8|model7:u5|i[0]
--operation mode is normal

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


--L2L11 is model1_top:u8|model6:u4|c~34
--operation mode is normal

L2L11 = L2_i[1] & L2_i[0] & L2_i[4] & L2_i[2];


--J2L1 is model1_top:u8|model4:u2|add~90
--operation mode is arithmetic

J2L1 = J2_i[1] $ (J2L9);

--J2L2 is model1_top:u8|model4:u2|add~92
--operation mode is arithmetic

J2L2 = CARRY(!J2L9 # !J2_i[1]);


--J2L3 is model1_top:u8|model4:u2|add~94
--operation mode is normal

J2L3 = J2_i[5] $ (J2L5);


--J2L4 is model1_top:u8|model4:u2|add~98
--operation mode is arithmetic

J2L4 = J2_i[4] $ (!J2L7);

--J2L5 is model1_top:u8|model4:u2|add~100
--operation mode is arithmetic

J2L5 = CARRY(J2_i[4] & (!J2L7));


--J2L6 is model1_top:u8|model4:u2|add~102
--operation mode is arithmetic

J2L6 = J2_i[3] $ (J2L11);

--J2L7 is model1_top:u8|model4:u2|add~104
--operation mode is arithmetic

J2L7 = CARRY(!J2L11 # !J2_i[3]);


--J2L8 is model1_top:u8|model4:u2|add~106
--operation mode is arithmetic

J2L8 = !J2_i[0];

--J2L9 is model1_top:u8|model4:u2|add~108
--operation mode is arithmetic

J2L9 = CARRY(J2_i[0]);


--J2L01 is model1_top:u8|model4:u2|add~110
--operation mode is arithmetic

J2L01 = J2_i[2] $ (!J2L2);

--J2L11 is model1_top:u8|model4:u2|add~112
--operation mode is arithmetic

J2L11 = CARRY(J2_i[2] & (!J2L2));


--L2L1 is model1_top:u8|model6:u4|add~71
--operation mode is arithmetic

L2L1 = !L2_i[0];

--L2L2 is model1_top:u8|model6:u4|add~73
--operation mode is arithmetic

L2L2 = CARRY(L2_i[0]);


--L2L3 is model1_top:u8|model6:u4|add~75
--operation mode is arithmetic

L2L3 = L2_i[1] $ (L2L2);

--L2L4 is model1_top:u8|model6:u4|add~77
--operation mode is arithmetic

L2L4 = CARRY(!L2L2 # !L2_i[1]);


--L2L5 is model1_top:u8|model6:u4|add~79
--operation mode is arithmetic

L2L5 = L2_i[2] $ (!L2L4);

--L2L6 is model1_top:u8|model6:u4|add~81
--operation mode is arithmetic

L2L6 = CARRY(L2_i[2] & (!L2L4));


--L2L7 is model1_top:u8|model6:u4|add~83
--operation mode is arithmetic

L2L7