top.fit.eqn

清华大学实验箱自带实验程序

D1_ball_x[9]_carry_eqn = (!D1L983 & D1L004) # (D1L983 & D1L104);
D1_ball_x[9]_lut_out = D1_ball_x[9] $ D1_move_x[9] $ D1_ball_x[9]_carry_eqn;
D1_ball_x[9] = DFFEAS(D1_ball_x[9]_lut_out, GLOBAL(H1_vcnt[6]), VCC, , , ~GND, !GLOBAL(resn), , D1L134);


--D1L91 is ball:drawball|add~2559 at LC_X11_Y11_N8
--operation mode is arithmetic

D1L91_carry_eqn = (!D1L471 & D1L65) # (D1L471 & D1L75);
D1L91 = D1_ball_x[8] $ (D1L91_carry_eqn);

--D1L02 is ball:drawball|add~2561 at LC_X11_Y11_N8
--operation mode is arithmetic

D1L02_cout_0 = D1_ball_x[8] # !D1L65;
D1L02 = CARRY(D1L02_cout_0);

--D1L12 is ball:drawball|add~2561COUT1_3217 at LC_X11_Y11_N8
--operation mode is arithmetic

D1L12_cout_1 = D1_ball_x[8] # !D1L75;
D1L12 = CARRY(D1L12_cout_1);


--D1L294 is ball:drawball|LessThan~2062 at LC_X10_Y11_N7
--operation mode is arithmetic

D1L294_cout_0 = D1L55 & H1_hcnt[7] & !D1L825 # !D1L55 & (H1_hcnt[7] # !D1L825);
D1L294 = CARRY(D1L294_cout_0);

--D1L394 is ball:drawball|LessThan~2062COUT1_2653 at LC_X10_Y11_N7
--operation mode is arithmetic

D1L394_cout_1 = D1L55 & H1_hcnt[7] & !D1L925 # !D1L55 & (H1_hcnt[7] # !D1L925);
D1L394 = CARRY(D1L394_cout_1);


--D1L22 is ball:drawball|add~2564 at LC_X12_Y13_N8
--operation mode is arithmetic

D1L22_carry_eqn = (!D1L671 & D1L95) # (D1L671 & D1L06);
D1L22 = D1_ball_x[8] $ (!D1L22_carry_eqn);

--D1L32 is ball:drawball|add~2566 at LC_X12_Y13_N8
--operation mode is arithmetic

D1L32_cout_0 = D1_ball_x[8] & (!D1L95);
D1L32 = CARRY(D1L32_cout_0);

--D1L42 is ball:drawball|add~2566COUT1_3225 at LC_X12_Y13_N8
--operation mode is arithmetic

D1L42_cout_1 = D1_ball_x[8] & (!D1L06);
D1L42 = CARRY(D1L42_cout_1);


--D1L594 is ball:drawball|LessThan~2067 at LC_X13_Y13_N7
--operation mode is arithmetic

D1L594_cout_0 = H1_hcnt[7] & D1L85 & !D1L135 # !H1_hcnt[7] & (D1L85 # !D1L135);
D1L594 = CARRY(D1L594_cout_0);

--D1L694 is ball:drawball|LessThan~2067COUT1_2661 at LC_X13_Y13_N7
--operation mode is arithmetic

D1L694_cout_1 = H1_hcnt[7] & D1L85 & !D1L235 # !H1_hcnt[7] & (D1L85 # !D1L235);
D1L694 = CARRY(D1L694_cout_1);


--D1L52 is ball:drawball|add~2569 at LC_X12_Y11_N8
--operation mode is arithmetic

D1L52_carry_eqn = (!D1L871 & D1L26) # (D1L871 & D1L36);
D1L52 = D1_ball_y[8] $ !D1L52_carry_eqn;

--D1L62 is ball:drawball|add~2571 at LC_X12_Y11_N8
--operation mode is arithmetic

D1L62_cout_0 = D1_ball_y[8] & !D1L26;
D1L62 = CARRY(D1L62_cout_0);

--D1L72 is ball:drawball|add~2571COUT1_3233 at LC_X12_Y11_N8
--operation mode is arithmetic

D1L72_cout_1 = D1_ball_y[8] & !D1L36;
D1L72 = CARRY(D1L72_cout_1);


--D1L894 is ball:drawball|LessThan~2072 at LC_X14_Y11_N7
--operation mode is arithmetic

D1L894_cout_0 = H1_vcnt[7] & D1L16 & !D1L435 # !H1_vcnt[7] & (D1L16 # !D1L435);
D1L894 = CARRY(D1L894_cout_0);

--D1L994 is ball:drawball|LessThan~2072COUT1_2669 at LC_X14_Y11_N7
--operation mode is arithmetic

D1L994_cout_1 = H1_vcnt[7] & D1L16 & !D1L535 # !H1_vcnt[7] & (D1L16 # !D1L535);
D1L994 = CARRY(D1L994_cout_1);


--D1L82 is ball:drawball|add~2574 at LC_X13_Y9_N8
--operation mode is arithmetic

D1L82_carry_eqn = (!D1L081 & D1L56) # (D1L081 & D1L66);
D1L82 = D1_ball_y[8] $ (D1L82_carry_eqn);

--D1L92 is ball:drawball|add~2576 at LC_X13_Y9_N8
--operation mode is arithmetic

D1L92_cout_0 = D1_ball_y[8] # !D1L56;
D1L92 = CARRY(D1L92_cout_0);

--D1L03 is ball:drawball|add~2576COUT1_3241 at LC_X13_Y9_N8
--operation mode is arithmetic

D1L03_cout_1 = D1_ball_y[8] # !D1L66;
D1L03 = CARRY(D1L03_cout_1);


--D1L105 is ball:drawball|LessThan~2077 at LC_X14_Y9_N7
--operation mode is arithmetic

D1L105_cout_0 = H1_vcnt[7] & (!D1L735 # !D1L46) # !H1_vcnt[7] & !D1L46 & !D1L735;
D1L105 = CARRY(D1L105_cout_0);

--D1L205 is ball:drawball|LessThan~2077COUT1_2677 at LC_X14_Y9_N7
--operation mode is arithmetic

D1L205_cout_1 = H1_vcnt[7] & (!D1L835 # !D1L46) # !H1_vcnt[7] & !D1L46 & !D1L835;
D1L205 = CARRY(D1L205_cout_1);


--D1L13 is ball:drawball|add~2579 at LC_X11_Y10_N8
--operation mode is arithmetic

D1L13_carry_eqn = (!D1L281 & D1L86) # (D1L281 & D1L96);
D1L13 = D1_ball_x[8] $ D1L13_carry_eqn;

--D1L23 is ball:drawball|add~2581 at LC_X11_Y10_N8
--operation mode is arithmetic

D1L23_cout_0 = D1_ball_x[8] # !D1L86;
D1L23 = CARRY(D1L23_cout_0);

--D1L33 is ball:drawball|add~2581COUT1_3249 at LC_X11_Y10_N8
--operation mode is arithmetic

D1L33_cout_1 = D1_ball_x[8] # !D1L96;
D1L33 = CARRY(D1L33_cout_1);


--D1L405 is ball:drawball|LessThan~2082 at LC_X10_Y10_N7
--operation mode is arithmetic

D1L405_cout_0 = D1L76 & H1_hcnt[7] & !D1L045 # !D1L76 & (H1_hcnt[7] # !D1L045);
D1L405 = CARRY(D1L405_cout_0);

--D1L505 is ball:drawball|LessThan~2082COUT1_2685 at LC_X10_Y10_N7
--operation mode is arithmetic

D1L505_cout_1 = D1L76 & H1_hcnt[7] & !D1L145 # !D1L76 & (H1_hcnt[7] # !D1L145);
D1L505 = CARRY(D1L505_cout_1);


--D1L43 is ball:drawball|add~2584 at LC_X11_Y12_N8
--operation mode is arithmetic

D1L43_carry_eqn = (!D1L481 & D1L17) # (D1L481 & D1L27);
D1L43 = D1_ball_x[8] $ (!D1L43_carry_eqn);

--D1L53 is ball:drawball|add~2586 at LC_X11_Y12_N8
--operation mode is arithmetic

D1L53_cout_0 = D1_ball_x[8] & (!D1L17);
D1L53 = CARRY(D1L53_cout_0);

--D1L63 is ball:drawball|add~2586COUT1_3257 at LC_X11_Y12_N8
--operation mode is arithmetic

D1L63_cout_1 = D1_ball_x[8] & (!D1L27);
D1L63 = CARRY(D1L63_cout_1);


--D1L705 is ball:drawball|LessThan~2087 at LC_X13_Y12_N7
--operation mode is arithmetic

D1L705_cout_0 = H1_hcnt[7] & D1L07 & !D1L345 # !H1_hcnt[7] & (D1L07 # !D1L345);
D1L705 = CARRY(D1L705_cout_0);

--D1L805 is ball:drawball|LessThan~2087COUT1_2693 at LC_X13_Y12_N7
--operation mode is arithmetic

D1L805_cout_1 = H1_hcnt[7] & D1L07 & !D1L445 # !H1_hcnt[7] & (D1L07 # !D1L445);
D1L805 = CARRY(D1L805_cout_1);


--D1L73 is ball:drawball|add~2589 at LC_X13_Y10_N7
--operation mode is arithmetic

D1L73_carry_eqn = (!D1L841 & D1L47) # (D1L841 & D1L57);
D1L73 = D1_ball_y[8] $ D1L73_carry_eqn;

--D1L83 is ball:drawball|add~2591 at LC_X13_Y10_N7
--operation mode is arithmetic

D1L83_cout_0 = !D1L47 # !D1_ball_y[8];
D1L83 = CARRY(D1L83_cout_0);

--D1L93 is ball:drawball|add~2591COUT1_3175 at LC_X13_Y10_N7
--operation mode is arithmetic

D1L93_cout_1 = !D1L57 # !D1_ball_y[8];
D1L93 = CARRY(D1L93_cout_1);


--D1L015 is ball:drawball|LessThan~2092 at LC_X14_Y10_N7
--operation mode is arithmetic

D1L015_cout_0 = D1L37 & (!D1L645 # !H1_vcnt[7]) # !D1L37 & !H1_vcnt[7] & !D1L645;
D1L015 = CARRY(D1L015_cout_0);

--D1L115 is ball:drawball|LessThan~2092COUT1_2701 at LC_X14_Y10_N7
--operation mode is arithmetic

D1L115_cout_1 = D1L37 & (!D1L745 # !H1_vcnt[7]) # !D1L37 & !H1_vcnt[7] & !D1L745;
D1L115 = CARRY(D1L115_cout_1);


--D1L04 is ball:drawball|add~2594 at LC_X15_Y8_N7
--operation mode is arithmetic

D1L04_carry_eqn = (!D1L251 & D1L77) # (D1L251 & D1L87);
D1L04 = D1_ball_y[8] $ !D1L04_carry_eqn;

--D1L14 is ball:drawball|add~2596 at LC_X15_Y8_N7
--operation mode is arithmetic

D1L14_cout_0 = !D1_ball_y[8] & !D1L77;
D1L14 = CARRY(D1L14_cout_0);

--D1L24 is ball:drawball|add~2596COUT1_3181 at LC_X15_Y8_N7
--operation mode is arithmetic

D1L24_cout_1 = !D1_ball_y[8] & !D1L87;
D1L24 = CARRY(D1L24_cout_1);


--D1L315 is ball:drawball|LessThan~2097 at LC_X16_Y12_N7
--operation mode is arithmetic

D1L315_cout_0 = H1_vcnt[7] & (!D1L945 # !D1L67) # !H1_vcnt[7] & !D1L67 & !D1L945;
D1L315 = CARRY(D1L315_cout_0);

--D1L415 is ball:drawball|LessThan~2097COUT1_2709 at LC_X16_Y12_N7
--operation mode is arithmetic

D1L415_cout_1 = H1_vcnt[7] & (!D1L055 # !D1L67) # !H1_vcnt[7] & !D1L67 & !D1L055;
D1L415 = CARRY(D1L415_cout_1);


--D1L34 is ball:drawball|add~2599 at LC_X20_Y12_N7
--operation mode is arithmetic

D1L34_carry_eqn = (!D1L651 & D1L08) # (D1L651 & D1L18);
D1L34 = D1_ball_x[8] $ (!D1L34_carry_eqn);

--D1L44 is ball:drawball|add~2601 at LC_X20_Y12_N7
--operation mode is arithmetic

D1L44_cout_0 = !D1_ball_x[8] & (!D1L08);
D1L44 = CARRY(D1L44_cout_0);

--D1L54 is ball:drawball|add~2601COUT1_3187 at LC_X20_Y12_N7
--operation mode is arithmetic

D1L54_cout_1 = !D1_ball_x[8] & (!D1L18);
D1L54 = CARRY(D1L54_cout_1);


--D1L615 is ball:drawball|LessThan~2102 at LC_X20_Y13_N7
--operation mode is arithmetic

D1L615_cout_0 = H1_hcnt[7] & (!D1L255 # !D1L97) # !H1_hcnt[7] & !D1L97 & !D1L255;
D1L615 = CARRY(D1L615_cout_0);

--D1L715 is ball:drawball|LessThan~2102COUT1_2717 at LC_X20_Y13_N7
--operation mode is arithmetic

D1L715_cout_1 = H1_hcnt[7] & (!D1L355 # !D1L97) # !H1_hcnt[7] & !D1L97 & !D1L355;
D1L715 = CARRY(D1L715_cout_1);


--D1L64 is ball:drawball|add~2604 at LC_X19_Y12_N7
--operation mode is arithmetic

D1L64_carry_eqn = (!D1L061 & D1L38) # (D1L061 & D1L48);
D1L64 = D1_ball_x[8] $ D1L64_carry_eqn;

--D1L74 is ball:drawball|add~2606 at LC_X19_Y12_N7
--operation mode is arithmetic

D1L74_cout_0 = !D1L38 # !D1_ball_x[8];
D1L74 = CARRY(D1L74_cout_0);

--D1L84 is ball:drawball|add~2606COUT1_3193 at LC_X19_Y12_N7
--operation mode is arithmetic

D1L84_cout_1 = !D1L48 # !D1_ball_x[8];
D1L84 = CARRY(D1L84_cout_1);


--D1L915 is ball:drawball|LessThan~2107 at LC_X19_Y10_N7
--operation mode is arithmetic

D1L915_cout_0 = H1_hcnt[7] & D1L28 & !D1L555 # !H1_hcnt[7] & (D1L28 # !D1L555);
D1L915 = CARRY(D1L915_cout_0);

--D1L025 is ball:drawball|LessThan~2107COUT1_2725 at LC_X19_Y10_N7
--operation mode is arithmetic

D1L025_cout_1 = H1_hcnt[7] & D1L28 & !D1L655 # !H1_hcnt[7] & (D1L28 # !D1L655);
D1L025 = CARRY(D1L025_cout_1);


--G1_mousex[9] is mouse:mousedata|mousex[9] at LC_X24_Y13_N8
--operation mode is normal

G1_mousex[9]_lut_out = G1L1 & (G1L15 # !G1_q[5]) # !G1L1 & !G1L45 & !G1_q[5];
G1_mousex[9] = DFFEAS(G1_mousex[9]_lut_out, GLOBAL(B1_count[6]), GLOBAL(resn), , G1_m2_state.m2_use, , , , );


--E1L3 is board:drawboard|add~265 at LC_X23_Y12_N6
--operation mode is arithmetic

E1L3_carry_eqn = (!E1L61 & E1L01) # (E1L61 & E1L11);
E1L3 = G1_mousex[8] $ (!E1L3_carry_eqn);

--E1L4 is board:drawboard|add~267 at LC_X23_Y12_N6
--operation mode is arithmetic

E1L4_cout_0 = !E1L01 # !G1_mousex[8];
E1L4 = CARRY(E1L4_cout_0);

--E1L5 is board:drawboard|add~267COUT1_340 at LC_X23_Y12_N6
--operation mode is arithmetic

E1L5_cout_1 = !E1L11 # !G1_mousex[8];
E1L5 = CARRY(E1L5_cout_1);


--E1L06 is board:drawboard|LessThan~484 at LC_X22_Y12_N7
--operation mode is arithmetic

E1L06_cout_0 = H1_hcnt[7] & E1L9 & !E1L66 # !H1_hcnt[7] & (E1L9 # !E1L66);
E1L06 = CARRY(E1L06_cout_0);

--E1L16 is board:drawboard|LessThan~484COUT1_569 at LC_X22_Y12_N7
--operation mode is arithmetic

E1L16_cout_1 = H1_hcnt[7] & E1L9 & !E1L76 # !H1_hcnt[7] & (E1L9 # !E1L76);
E1L16 = CARRY(E1L16_cout_1);


--E1L6 is board:drawboard|add~270 at LC_X22_Y11_N6
--operation mode is arithmetic

E1L6_carry_eqn = (!E1L02 & E1L31) # (E1L02 & E1L41);
E1L6 = G1_mousex[8] $ (E1L6_carry_eqn);

--E1L7 is board:drawboard|add~272 at LC_X22_Y11_N6
--operation mode is arithmetic

E1L7_cout_0 = !G1_mousex[8] & (!E1L31);
E1L7 = CARRY(E1L7_cout_0);

--E1L8 is board:drawboard|add~272COUT1_345 at LC_X22_Y11_N6
--operation mode is arithmetic

E1L8_cout_1 = !G1_mousex[8] & (!E1L41);
E1L8 = CARRY(E1L8_cout_1);


--E1L36 is board:drawboard|LessThan~489 at LC_X21_Y12_N7
--operation mode is arithmetic

E1L36_cout_0 = H1_hcnt[7] & (!E1L96 # !E1L21) # !H1_hcnt[7] & !E1L21 & !E1L96;
E1L36 = CARRY(E1L36_cout_0);

--E1L46 is board:drawboard|LessThan~489COUT1_577 at LC_X21_Y12_N7
--operation mode is arithmetic

E1L46_cout_1 = H1_hcnt[7] & (!E1L07 # !E1L21) # !H1_hcnt[7] & !E1L21 & !E1L07;
E1L46 = CARRY(E1L46_cout_1);


--G1_watchdog_timer_count[8] is mouse:mousedata|watchdog_timer_count[8] at LC_X26_Y13_N8
--operation mode is normal

G1_watchdog_timer_count[8]_carry_eqn = (!G1L151 & G1L161) # (G1L151 & G1L261);
G1_watchdog_timer_count[8]_lut_out = G1_watchdog_timer_count[8] $ !G1_watchdog_timer_count[8]_carry_eqn;
G1_watchdog_timer_count[8] = DFFEAS(G1_watchdog_timer_count[8]_lut_out, GLOBAL(B1_count[6]), !GLOBAL(G1L631), , G1L431, , , , );


--G1_watchdog_timer_count[0] is mouse:mousedata|watchdog_timer_count[0] at LC_X26_Y13_N0
--operation mode is arithmetic

G1_watchdog_timer_count[0]_lut_out = !G1_watchdog_timer_count[0];
G1_watchdog_timer_count[0] = DFFEAS(G1_watchdog_timer_count[0]_lut_out, GLOBAL(B1_count[6]), !GLOBAL(G1L631), , G1L431, , , , );