dp_test.map.eqn

本程序是用VHDL语言编写的

--A1L218 is add~2191
--operation mode is arithmetic

A1L218 = CARRY(!A1L220 # !count[7]);


--A1L219 is add~2194
--operation mode is arithmetic

A1L219_carry_eqn = A1L222;
A1L219 = count[6] $ (!A1L219_carry_eqn);

--A1L220 is add~2196
--operation mode is arithmetic

A1L220 = CARRY(count[6] & (!A1L222));


--A1L221 is add~2199
--operation mode is arithmetic

A1L221_carry_eqn = A1L226;
A1L221 = count[5] $ (A1L221_carry_eqn);

--A1L222 is add~2201
--operation mode is arithmetic

A1L222 = CARRY(!A1L226 # !count[5]);


--A1L223 is add~2204
--operation mode is arithmetic

A1L223_carry_eqn = A1L230;
A1L223 = count[2] $ (!A1L223_carry_eqn);

--A1L224 is add~2206
--operation mode is arithmetic

A1L224 = CARRY(count[2] & (!A1L230));


--A1L225 is add~2209
--operation mode is arithmetic

A1L225_carry_eqn = A1L228;
A1L225 = count[4] $ (!A1L225_carry_eqn);

--A1L226 is add~2211
--operation mode is arithmetic

A1L226 = CARRY(count[4] & (!A1L228));


--A1L227 is add~2214
--operation mode is arithmetic

A1L227_carry_eqn = A1L224;
A1L227 = count[3] $ (A1L227_carry_eqn);

--A1L228 is add~2216
--operation mode is arithmetic

A1L228 = CARRY(!A1L224 # !count[3]);


--A1L229 is add~2219
--operation mode is arithmetic

A1L229_carry_eqn = A1L232;
A1L229 = count[1] $ (A1L229_carry_eqn);

--A1L230 is add~2221
--operation mode is arithmetic

A1L230 = CARRY(!A1L232 # !count[1]);


--A1L231 is add~2224
--operation mode is arithmetic

A1L231 = !count[0];

--A1L232 is add~2226
--operation mode is arithmetic

A1L232 = CARRY(count[0]);


--A1L233 is add~2229
--operation mode is normal

A1L233_carry_eqn = A1L172;
A1L233 = count[31] $ (A1L233_carry_eqn);


--A1L234 is add~2234
--operation mode is arithmetic

A1L234_carry_eqn = A1L237;
A1L234 = A_moto_count[30] $ (!A1L234_carry_eqn);

--A1L235 is add~2236
--operation mode is arithmetic

A1L235 = CARRY(A_moto_count[30] & (!A1L237));


--A1L236 is add~2239
--operation mode is arithmetic

A1L236_carry_eqn = A1L239;
A1L236 = A_moto_count[29] $ (A1L236_carry_eqn);

--A1L237 is add~2241
--operation mode is arithmetic

A1L237 = CARRY(!A1L239 # !A_moto_count[29]);


--A1L238 is add~2244
--operation mode is arithmetic

A1L238_carry_eqn = A1L241;
A1L238 = A_moto_count[28] $ (!A1L238_carry_eqn);

--A1L239 is add~2246
--operation mode is arithmetic

A1L239 = CARRY(A_moto_count[28] & (!A1L241));


--A1L240 is add~2249
--operation mode is arithmetic

A1L240_carry_eqn = A1L243;
A1L240 = A_moto_count[27] $ (A1L240_carry_eqn);

--A1L241 is add~2251
--operation mode is arithmetic

A1L241 = CARRY(!A1L243 # !A_moto_count[27]);


--A1L242 is add~2254
--operation mode is arithmetic

A1L242_carry_eqn = A1L245;
A1L242 = A_moto_count[26] $ (!A1L242_carry_eqn);

--A1L243 is add~2256
--operation mode is arithmetic

A1L243 = CARRY(A_moto_count[26] & (!A1L245));


--A1L244 is add~2259
--operation mode is arithmetic

A1L244_carry_eqn = A1L247;
A1L244 = A_moto_count[25] $ (A1L244_carry_eqn);

--A1L245 is add~2261
--operation mode is arithmetic

A1L245 = CARRY(!A1L247 # !A_moto_count[25]);


--A1L246 is add~2264
--operation mode is arithmetic

A1L246_carry_eqn = A1L249;
A1L246 = A_moto_count[24] $ (!A1L246_carry_eqn);

--A1L247 is add~2266
--operation mode is arithmetic

A1L247 = CARRY(A_moto_count[24] & (!A1L249));


--A1L248 is add~2269
--operation mode is arithmetic

A1L248_carry_eqn = A1L251;
A1L248 = A_moto_count[23] $ (A1L248_carry_eqn);

--A1L249 is add~2271
--operation mode is arithmetic

A1L249 = CARRY(!A1L251 # !A_moto_count[23]);


--A1L250 is add~2274
--operation mode is arithmetic

A1L250_carry_eqn = A1L253;
A1L250 = A_moto_count[22] $ (!A1L250_carry_eqn);

--A1L251 is add~2276
--operation mode is arithmetic

A1L251 = CARRY(A_moto_count[22] & (!A1L253));


--A1L252 is add~2279
--operation mode is arithmetic

A1L252_carry_eqn = A1L255;
A1L252 = A_moto_count[21] $ (A1L252_carry_eqn);

--A1L253 is add~2281
--operation mode is arithmetic

A1L253 = CARRY(!A1L255 # !A_moto_count[21]);


--A1L254 is add~2284
--operation mode is arithmetic

A1L254_carry_eqn = A1L257;
A1L254 = A_moto_count[20] $ (!A1L254_carry_eqn);

--A1L255 is add~2286
--operation mode is arithmetic

A1L255 = CARRY(A_moto_count[20] & (!A1L257));


--A1L256 is add~2289
--operation mode is arithmetic

A1L256_carry_eqn = A1L259;
A1L256 = A_moto_count[19] $ (A1L256_carry_eqn);

--A1L257 is add~2291
--operation mode is arithmetic

A1L257 = CARRY(!A1L259 # !A_moto_count[19]);


--A1L258 is add~2294
--operation mode is arithmetic

A1L258_carry_eqn = A1L261;
A1L258 = A_moto_count[18] $ (!A1L258_carry_eqn);

--A1L259 is add~2296
--operation mode is arithmetic

A1L259 = CARRY(A_moto_count[18] & (!A1L261));


--A1L260 is add~2299
--operation mode is arithmetic

A1L260_carry_eqn = A1L263;
A1L260 = A_moto_count[17] $ (A1L260_carry_eqn);

--A1L261 is add~2301
--operation mode is arithmetic

A1L261 = CARRY(!A1L263 # !A_moto_count[17]);


--A1L262 is add~2304
--operation mode is arithmetic

A1L262_carry_eqn = A1L265;
A1L262 = A_moto_count[16] $ (!A1L262_carry_eqn);

--A1L263 is add~2306
--operation mode is arithmetic

A1L263 = CARRY(A_moto_count[16] & (!A1L265));


--A1L264 is add~2309
--operation mode is arithmetic

A1L264_carry_eqn = A1L267;
A1L264 = A_moto_count[15] $ (A1L264_carry_eqn);

--A1L265 is add~2311
--operation mode is arithmetic

A1L265 = CARRY(!A1L267 # !A_moto_count[15]);


--A1L266 is add~2314
--operation mode is arithmetic

A1L266_carry_eqn = A1L269;
A1L266 = A_moto_count[14] $ (!A1L266_carry_eqn);

--A1L267 is add~2316
--operation mode is arithmetic

A1L267 = CARRY(A_moto_count[14] & (!A1L269));


--A1L268 is add~2319
--operation mode is arithmetic

A1L268_carry_eqn = A1L271;
A1L268 = A_moto_count[13] $ (A1L268_carry_eqn);

--A1L269 is add~2321
--operation mode is arithmetic

A1L269 = CARRY(!A1L271 # !A_moto_count[13]);


--A1L270 is add~2324
--operation mode is arithmetic

A1L270_carry_eqn = A1L273;
A1L270 = A_moto_count[12] $ (!A1L270_carry_eqn);

--A1L271 is add~2326
--operation mode is arithmetic

A1L271 = CARRY(A_moto_count[12] & (!A1L273));


--A1L272 is add~2329
--operation mode is arithmetic

A1L272_carry_eqn = A1L275;
A1L272 = A_moto_count[11] $ (A1L272_carry_eqn);

--A1L273 is add~2331
--operation mode is arithmetic

A1L273 = CARRY(!A1L275 # !A_moto_count[11]);


--A1L274 is add~2334
--operation mode is arithmetic

A1L274_carry_eqn = A1L277;
A1L274 = A_moto_count[10] $ (!A1L274_carry_eqn);

--A1L275 is add~2336
--operation mode is arithmetic

A1L275 = CARRY(A_moto_count[10] & (!A1L277));


--A1L276 is add~2339
--operation mode is arithmetic

A1L276_carry_eqn = A1L279;
A1L276 = A_moto_count[9] $ (A1L276_carry_eqn);

--A1L277 is add~2341
--operation mode is arithmetic

A1L277 = CARRY(!A1L279 # !A_moto_count[9]);


--A1L278 is add~2344
--operation mode is arithmetic

A1L278_carry_eqn = A1L281;
A1L278 = A_moto_count[8] $ (!A1L278_carry_eqn);

--A1L279 is add~2346
--operation mode is arithmetic

A1L279 = CARRY(A_moto_count[8] & (!A1L281));


--A1L280 is add~2349
--operation mode is arithmetic

A1L280_carry_eqn = A1L283;
A1L280 = A_moto_count[7] $ (A1L280_carry_eqn);

--A1L281 is add~2351
--operation mode is arithmetic

A1L281 = CARRY(!A1L283 # !A_moto_count[7]);


--A1L282 is add~2354
--operation mode is arithmetic

A1L282_carry_eqn = A1L285;
A1L282 = A_moto_count[6] $ (!A1L282_carry_eqn);

--A1L283 is add~2356
--operation mode is arithmetic

A1L283 = CARRY(A_moto_count[6] & (!A1L285));


--A1L284 is add~2359
--operation mode is arithmetic

A1L284_carry_eqn = A1L287;
A1L284 = A_moto_count[5] $ (A1L284_carry_eqn);

--A1L285 is add~2361
--operation mode is arithmetic

A1L285 = CARRY(!A1L287 # !A_moto_count[5]);


--A1L286 is add~2364
--operation mode is arithmetic

A1L286_carry_eqn = A1L291;
A1L286 = A_moto_count[4] $ (!A1L286_carry_eqn);

--A1L287 is add~2366
--operation mode is arithmetic

A1L287 = CARRY(A_moto_count[4] & (!A1L291));


--A1L288 is add~2369
--operation mode is arithmetic

A1L288 = !A_moto_count[0];

--A1L289 is add~2371
--operation mode is arithmetic

A1L289 = CARRY(A_moto_count[0]);


--A1L290 is add~2374
--operation mode is arithmetic

A1L290_carry_eqn = A1L294;
A1L290 = A_moto_count[3] $ (A1L290_carry_eqn);

--A1L291 is add~2376
--operation mode is arithmetic

A1L291 = CARRY(!A1L294 # !A_moto_count[3]);


--A1L292 is add~2379
--operation mode is normal

A1L292_carry_eqn = A1L235;
A1L292 = A_moto_count[31] $ (A1L292_carry_eqn);


--A1L293 is add~2384
--operation mode is arithmetic

A1L293_carry_eqn = A1L296;
A1L293 = A_moto_count[2] $ (!A1L293_carry_eqn);

--A1L294 is add~2386
--operation mode is arithmetic

A1L294 = CARRY(A_moto_count[2] & (!A1L296));


--A1L295 is add~2389
--operation mode is arithmetic

A1L295_carry_eqn = A1L289;
A1L295 = A_moto_count[1] $ (A1L295_carry_eqn);

--A1L296 is add~2391
--operation mode is arithmetic

A1L296 = CARRY(!A1L289 # !A_moto_count[1]);


--A1L91 is A_servo[7]~118
--operation mode is normal

A1L91 = Addr_Bus[0] & A1L36 # !rst;


--A_servo_count_clr[1] is A_servo_count_clr[1]
--operation mode is normal

A_servo_count_clr[1]_lut_out = A1L370;
A_servo_count_clr[1] = DFFEAS(A_servo_count_clr[1]_lut_out, clk_in, VCC, , A1L97, , , , );


--A_servo_count_clr[0] is A_servo_count_clr[0]
--operation mode is normal

A_servo_count_clr[0]_lut_out = A1L367;
A_servo_count_clr[0] = DFFEAS(A_servo_count_clr[0]_lut_out, clk_in, VCC, , A1L97, , , , );


--A1L368Q is data[0]~reg0
--operation mode is normal

A1L368Q_lut_out = Addr_Bus[0] & (luola_in[0]) # !Addr_Bus[0] & servo_poisition[0];
A1L368Q = DFFEAS(A1L368Q_lut_out, clk_in, VCC, , , A_cp_number[0], , A1L377, Addr_Bus[1]);


--A1L460Q is Read~1
--operation mode is normal

A1L460Q_lut_out = !mcu_ncs & !mcu_nrd;
A1L460Q = DFFEAS(A1L460Q_lut_out, clk_in, VCC, , , , , , );


--A1L371Q is data[1]~reg0
--operation mode is normal

A1L371Q_lut_out = Addr_Bus[0] & (luola_in[1]) # !Addr_Bus[0] & servo_poisition[1];
A1L371Q = DFFEAS(A1L371Q_lut_out, clk_in, VCC, , , A_cp_number[1], , A1L377, Addr_Bus[1]);


--A1L374Q is data[2]~reg0
--operation mode is normal

A1L374Q_lut_out = Addr_Bus[0] & (luola_in[2]) # !Addr_Bus[0] & servo_poisition[2];
A1L374Q = DFFEAS(A1L374Q_lut_out, clk_in, VCC, , , A_cp_number[2], , A1L377, Addr_Bus[1]);


--A1L378Q is data[3]~reg0
--operation mode is normal

A1L378Q_lut_out = Addr_Bus[0] & (luola_in[3]) # !Addr_Bus[0] & servo_poisition[3];
A1L378Q = DFFEAS(A1L378Q_lut_out, clk_in, VCC, , , A_cp_number[3], , A1L377, Addr_Bus[1]);


--A1L381Q is data[4]~reg0
--operation mode is normal

A1L381Q_lut_out = Addr_Bus[0] & (luola_in[4]) # !Addr_Bus[0] & servo_poisition[4];
A1L381Q = DFFEAS(A1L381Q_lut_out, clk_in, VCC, , , A_cp_number[4], , A1L377, Addr_Bus[1]);


--A1L384Q is data[5]~reg0
--operation mode is normal

A1L384Q_lut_out = Addr_Bus[0] & (luola_in[5]) # !Addr_Bus[0] & servo_poisition[5];
A1L384Q = DFFEAS(A1L384Q_lut_out, clk_in, VCC, , , A_cp_number[5], , A1L377, Addr_Bus[1]);