top.fit.eqn

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

--G1L931 is mouse:mousedata|watchdog_timer_count[0]~164 at LC_X26_Y13_N0
--operation mode is arithmetic

G1L931_cout_0 = G1_watchdog_timer_count[0];
G1L931 = CARRY(G1L931_cout_0);

--G1L041 is mouse:mousedata|watchdog_timer_count[0]~164COUT1_196 at LC_X26_Y13_N0
--operation mode is arithmetic

G1L041_cout_1 = G1_watchdog_timer_count[0];
G1L041 = CARRY(G1L041_cout_1);


--G1_watchdog_timer_count[1] is mouse:mousedata|watchdog_timer_count[1] at LC_X26_Y13_N1
--operation mode is arithmetic

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

--G1L241 is mouse:mousedata|watchdog_timer_count[1]~168 at LC_X26_Y13_N1
--operation mode is arithmetic

G1L241_cout_0 = !G1L931 # !G1_watchdog_timer_count[1];
G1L241 = CARRY(G1L241_cout_0);

--G1L341 is mouse:mousedata|watchdog_timer_count[1]~168COUT1_197 at LC_X26_Y13_N1
--operation mode is arithmetic

G1L341_cout_1 = !G1L041 # !G1_watchdog_timer_count[1];
G1L341 = CARRY(G1L341_cout_1);


--G1_watchdog_timer_count[2] is mouse:mousedata|watchdog_timer_count[2] at LC_X26_Y13_N2
--operation mode is arithmetic

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

--G1L541 is mouse:mousedata|watchdog_timer_count[2]~172 at LC_X26_Y13_N2
--operation mode is arithmetic

G1L541_cout_0 = G1_watchdog_timer_count[2] & (!G1L241);
G1L541 = CARRY(G1L541_cout_0);

--G1L641 is mouse:mousedata|watchdog_timer_count[2]~172COUT1_198 at LC_X26_Y13_N2
--operation mode is arithmetic

G1L641_cout_1 = G1_watchdog_timer_count[2] & (!G1L341);
G1L641 = CARRY(G1L641_cout_1);


--G1_watchdog_timer_count[3] is mouse:mousedata|watchdog_timer_count[3] at LC_X26_Y13_N3
--operation mode is arithmetic

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

--G1L841 is mouse:mousedata|watchdog_timer_count[3]~176 at LC_X26_Y13_N3
--operation mode is arithmetic

G1L841_cout_0 = !G1L541 # !G1_watchdog_timer_count[3];
G1L841 = CARRY(G1L841_cout_0);

--G1L941 is mouse:mousedata|watchdog_timer_count[3]~176COUT1 at LC_X26_Y13_N3
--operation mode is arithmetic

G1L941_cout_1 = !G1L641 # !G1_watchdog_timer_count[3];
G1L941 = CARRY(G1L941_cout_1);


--G1L231 is mouse:mousedata|reduce_nor~68 at LC_X25_Y13_N1
--operation mode is normal

G1L231 = !G1_watchdog_timer_count[3] # !G1_watchdog_timer_count[2] # !G1_watchdog_timer_count[0] # !G1_watchdog_timer_count[1];


--G1_watchdog_timer_count[5] is mouse:mousedata|watchdog_timer_count[5] at LC_X26_Y13_N5
--operation mode is arithmetic

G1_watchdog_timer_count[5]_carry_eqn = (!G1L151 & GND) # (G1L151 & VCC);
G1_watchdog_timer_count[5]_lut_out = G1_watchdog_timer_count[5] $ G1_watchdog_timer_count[5]_carry_eqn;
G1_watchdog_timer_count[5] = DFFEAS(G1_watchdog_timer_count[5]_lut_out, GLOBAL(B1_count[6]), !GLOBAL(G1L631), , G1L431, , , , );

--G1L551 is mouse:mousedata|watchdog_timer_count[5]~180 at LC_X26_Y13_N5
--operation mode is arithmetic

G1L551_cout_0 = !G1L151 # !G1_watchdog_timer_count[5];
G1L551 = CARRY(G1L551_cout_0);

--G1L651 is mouse:mousedata|watchdog_timer_count[5]~180COUT1_199 at LC_X26_Y13_N5
--operation mode is arithmetic

G1L651_cout_1 = !G1L151 # !G1_watchdog_timer_count[5];
G1L651 = CARRY(G1L651_cout_1);


--G1_watchdog_timer_count[6] is mouse:mousedata|watchdog_timer_count[6] at LC_X26_Y13_N6
--operation mode is arithmetic

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

--G1L851 is mouse:mousedata|watchdog_timer_count[6]~184 at LC_X26_Y13_N6
--operation mode is arithmetic

G1L851_cout_0 = G1_watchdog_timer_count[6] & (!G1L551);
G1L851 = CARRY(G1L851_cout_0);

--G1L951 is mouse:mousedata|watchdog_timer_count[6]~184COUT1_200 at LC_X26_Y13_N6
--operation mode is arithmetic

G1L951_cout_1 = G1_watchdog_timer_count[6] & (!G1L651);
G1L951 = CARRY(G1L951_cout_1);


--G1_watchdog_timer_count[4] is mouse:mousedata|watchdog_timer_count[4] at LC_X26_Y13_N4
--operation mode is arithmetic

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

--G1L151 is mouse:mousedata|watchdog_timer_count[4]~188 at LC_X26_Y13_N4
--operation mode is arithmetic

G1L151 = G1L251;


--G1_watchdog_timer_count[7] is mouse:mousedata|watchdog_timer_count[7] at LC_X26_Y13_N7
--operation mode is arithmetic

G1_watchdog_timer_count[7]_carry_eqn = (!G1L151 & G1L851) # (G1L151 & G1L951);
G1_watchdog_timer_count[7]_lut_out = G1_watchdog_timer_count[7] $ (G1_watchdog_timer_count[7]_carry_eqn);
G1_watchdog_timer_count[7] = DFFEAS(G1_watchdog_timer_count[7]_lut_out, GLOBAL(B1_count[6]), !GLOBAL(G1L631), , G1L431, , , , );

--G1L161 is mouse:mousedata|watchdog_timer_count[7]~192 at LC_X26_Y13_N7
--operation mode is arithmetic

G1L161_cout_0 = !G1L851 # !G1_watchdog_timer_count[7];
G1L161 = CARRY(G1L161_cout_0);

--G1L261 is mouse:mousedata|watchdog_timer_count[7]~192COUT1_201 at LC_X26_Y13_N7
--operation mode is arithmetic

G1L261_cout_1 = !G1L951 # !G1_watchdog_timer_count[7];
G1L261 = CARRY(G1L261_cout_1);


--G1L331 is mouse:mousedata|reduce_nor~69 at LC_X25_Y13_N0
--operation mode is normal

G1L331 = G1_watchdog_timer_count[6] # G1_watchdog_timer_count[5] # !G1_watchdog_timer_count[4] # !G1_watchdog_timer_count[7];


--G1L431 is mouse:mousedata|reduce_nor~70 at LC_X25_Y13_N9
--operation mode is normal

G1L431 = G1L231 # G1L331 # G1_watchdog_timer_count[8];


--G1_m2_state.m2_reset is mouse:mousedata|m2_state.m2_reset at LC_X26_Y12_N2
--operation mode is normal

G1_m2_state.m2_reset_lut_out = VCC;
G1_m2_state.m2_reset = DFFEAS(G1_m2_state.m2_reset_lut_out, GLOBAL(B1_count[6]), GLOBAL(resn), , , , , , );


--B1_count[6] is count64:clocknum|count[6] at LC_X27_Y10_N7
--operation mode is normal

B1_count[6]_carry_eqn = (!B1L21 & B1L91) # (B1L21 & B1L02);
B1_count[6]_lut_out = B1_count[6] $ (!B1_count[6]_carry_eqn);
B1_count[6] = DFFEAS(B1_count[6]_lut_out, GLOBAL(sysclk), GLOBAL(resn), , , , , , );


--G1_bitcount[1] is mouse:mousedata|bitcount[1] at LC_X24_Y14_N2
--operation mode is arithmetic

G1_bitcount[1]_lut_out = G1_bitcount[1] $ (G1L03);
G1_bitcount[1] = DFFEAS(G1_bitcount[1]_lut_out, GLOBAL(B1_count[6]), GLOBAL(resn), , G1L23, , , !G1_m1_state.m1_falling_edge, );

--G1L43 is mouse:mousedata|bitcount[1]~154 at LC_X24_Y14_N2
--operation mode is arithmetic

G1L43_cout_0 = !G1L03 # !G1_bitcount[1];
G1L43 = CARRY(G1L43_cout_0);

--G1L53 is mouse:mousedata|bitcount[1]~154COUT1_180 at LC_X24_Y14_N2
--operation mode is arithmetic

G1L53_cout_1 = !G1L13 # !G1_bitcount[1];
G1L53 = CARRY(G1L53_cout_1);


--G1_m1_state.m1_falling_edge is mouse:mousedata|m1_state.m1_falling_edge at LC_X24_Y13_N2
--operation mode is normal

G1_m1_state.m1_falling_edge_lut_out = !A1L3 & !G1_m1_state.m1_clk_h;
G1_m1_state.m1_falling_edge = DFFEAS(G1_m1_state.m1_falling_edge_lut_out, GLOBAL(B1_count[6]), GLOBAL(resn), , , , , , );


--G1_bitcount[5] is mouse:mousedata|bitcount[5] at LC_X24_Y14_N6
--operation mode is normal

G1_bitcount[5]_carry_eqn = (!G1L04 & G1L44) # (G1L04 & G1L54);
G1_bitcount[5]_lut_out = G1_bitcount[5]_carry_eqn $ G1_bitcount[5];
G1_bitcount[5] = DFFEAS(G1_bitcount[5]_lut_out, GLOBAL(B1_count[6]), GLOBAL(resn), , G1L23, , , !G1_m1_state.m1_falling_edge, );


--G1_bitcount[0] is mouse:mousedata|bitcount[0] at LC_X24_Y14_N1
--operation mode is arithmetic

G1_bitcount[0]_lut_out = !G1_bitcount[0];
G1_bitcount[0] = DFFEAS(G1_bitcount[0]_lut_out, GLOBAL(B1_count[6]), GLOBAL(resn), , G1L23, , , !G1_m1_state.m1_falling_edge, );

--G1L03 is mouse:mousedata|bitcount[0]~162 at LC_X24_Y14_N1
--operation mode is arithmetic

G1L03_cout_0 = G1_bitcount[0];
G1L03 = CARRY(G1L03_cout_0);

--G1L13 is mouse:mousedata|bitcount[0]~162COUT1_179 at LC_X24_Y14_N1
--operation mode is arithmetic

G1L13_cout_1 = G1_bitcount[0];
G1L13 = CARRY(G1L13_cout_1);


--G1_bitcount[4] is mouse:mousedata|bitcount[4] at LC_X24_Y14_N5
--operation mode is arithmetic

G1_bitcount[4]_carry_eqn = (!G1L04 & GND) # (G1L04 & VCC);
G1_bitcount[4]_lut_out = G1_bitcount[4] $ !G1_bitcount[4]_carry_eqn;
G1_bitcount[4] = DFFEAS(G1_bitcount[4]_lut_out, GLOBAL(B1_count[6]), GLOBAL(resn), , G1L23, , , !G1_m1_state.m1_falling_edge, );

--G1L44 is mouse:mousedata|bitcount[4]~166 at LC_X24_Y14_N5
--operation mode is arithmetic

G1L44_cout_0 = G1_bitcount[4] & !G1L04;
G1L44 = CARRY(G1L44_cout_0);

--G1L54 is mouse:mousedata|bitcount[4]~166COUT1_181 at LC_X24_Y14_N5
--operation mode is arithmetic

G1L54_cout_1 = G1_bitcount[4] & !G1L04;
G1L54 = CARRY(G1L54_cout_1);


--G1L97 is mouse:mousedata|m2statetr~133 at LC_X24_Y13_N0
--operation mode is normal

G1L97 = G1_m1_state.m1_falling_edge & !G1_bitcount[0] & !G1_bitcount[5] & !G1_bitcount[4];


--G1_bitcount[2] is mouse:mousedata|bitcount[2] at LC_X24_Y14_N3
--operation mode is arithmetic

G1_bitcount[2]_lut_out = G1_bitcount[2] $ !G1L43;
G1_bitcount[2] = DFFEAS(G1_bitcount[2]_lut_out, GLOBAL(B1_count[6]), GLOBAL(resn), , G1L23, , , !G1_m1_state.m1_falling_edge, );

--G1L73 is mouse:mousedata|bitcount[2]~170 at LC_X24_Y14_N3
--operation mode is arithmetic

G1L73_cout_0 = G1_bitcount[2] & !G1L43;
G1L73 = CARRY(G1L73_cout_0);

--G1L83 is mouse:mousedata|bitcount[2]~170COUT1 at LC_X24_Y14_N3
--operation mode is arithmetic

G1L83_cout_1 = G1_bitcount[2] & !G1L53;
G1L83 = CARRY(G1L83_cout_1);


--G1_bitcount[3] is mouse:mousedata|bitcount[3] at LC_X24_Y14_N4
--operation mode is arithmetic

G1_bitcount[3]_lut_out = G1_bitcount[3] $ G1L73;
G1_bitcount[3] = DFFEAS(G1_bitcount[3]_lut_out, GLOBAL(B1_count[6]), GLOBAL(resn), , G1L23, , , !G1_m1_state.m1_falling_edge, );

--G1L04 is mouse:mousedata|bitcount[3]~174 at LC_X24_Y14_N4
--operation mode is arithmetic

G1L04 = G1L14;


--G1L57 is mouse:mousedata|m2statetr~1 at LC_X24_Y13_N7
--operation mode is normal

G1L57 = !G1_bitcount[3] & G1_bitcount[1] & !G1_bitcount[2] & G1L97;


--G1_m2_state.m2_data_high_1 is mouse:mousedata|m2_state.m2_data_high_1 at LC_X24_Y14_N9
--operation mode is normal

G1_m2_state.m2_data_high_1_lut_out = G1_m2_state.m2_data_high_1 & (G1L57 & G1_m2_state.m2_data_low_1 # !G1L67) # !G1_m2_state.m2_data_high_1 & G1L57 & G1_m2_state.m2_data_low_1;
G1_m2_state.m2_data_high_1 = DFFEAS(G1_m2_state.m2_data_high_1_lut_out, GLOBAL(B1_count[6]), GLOBAL(resn), , , , , , );


--G1L08 is mouse:mousedata|m2statetr~134 at LC_X25_Y13_N8
--operation mode is normal

G1L08 = G1_bitcount[0] & !G1_bitcount[2] & !G1_bitcount[4] & !G1_bitcount[3];


--G1L67 is mouse:mousedata|m2statetr~2 at LC_X24_Y14_N0
--operation mode is normal

G1L67 = G1L08 & G1_m1_state.m1_falling_edge & G1_bitcount[1] & !G1_bitcount[5];


--G1L77 is mouse:mousedata|m2statetr~3 at LC_X24_Y13_N9
--operation mode is normal

G1L77 = !G1_bitcount[3] & !G1_bitcount[1] & G1_bitcount[2] & G1L97;


--G1_m2_state.m2_data_high_2 is mouse:mousedata|m2_state.m2_data_high_2 at LC_X24_Y13_N3
--operation mode is normal

G1_m2_state.m2_data_high_2_lut_out = G1L87 & G1_m2_state.m2_data_low_2 & G1L77 # !G1L87 & (G1_m2_state.m2_data_high_2 # G1_m2_state.m2_data_low_2 & G1L77);
G1_m2_state.m2_data_high_2 = DFFEAS(G1_m2_state.m2_data_high_2_lut_out, GLOBAL(B1_count[6]), GLOBAL(resn), , , , , , );


--G1L87 is mouse:mousedata|m2statetr~4 at LC_X24_Y13_N1
--operation mode is normal

G1L87 = G1_bitcount[3] & !G1_bitcount[1] & !G1_bitcount[2] & G1L97;


--F1_mov_x[9] is target:drawtarget|mov_x[9] at LC_X13_Y15_N9
--operation mode is normal

F1_mov_x[9]_carry_eqn = (!F1L712 & F1L822) # (F1L712 & F1L922);
F1_mov_x[9]_lut_out = F1L95 $ F1_mov_x[9]_carry_eqn $ F1_tempmov[9];
F1_mov_x[9] = DFFEAS(F1_mov_x[9]_lut_out, GLOBAL(H1_vcnt[9]), VCC, , , ~GND, !GLOBAL(resn), , );


--F1_loc[8] is target:drawtarget|loc[8] at LC_X15_Y15_N8
--operation mode is arithmetic

F1_loc[8]_carry_eqn = (!F1L981 & F1L791) # (F1L981 & F1L891);
F1_loc[8]_lut_out = F1_mov_x[8] $ F1_loc[8] $ !F1_loc[8]_carry_eqn;
F1_loc[8] = DFFEAS(F1_loc[8]_lut_out, GLOBAL(H1_vcnt[9]), GLOBAL(resn), , , , , , );

--F1L002 is target:drawtarget|loc[8]~124 at LC_X15_Y15_N8
--operation mode is arithmetic

F1L002_cout_0 = F1_mov_x[8] & (F1_loc[8] # !F1L791) # !F1_mov_x[8] & F1_loc[8] & !F1L791;
F1L002 = CARRY(F1L002_cout_0);

--F1L102 is target:drawtarget|loc[8]~124COUT1_167 at LC_X15_Y15_N8
--operation mode is arithmetic

F1L102_cout_1 = F1_mov_x[8] & (F1_loc[8] # !F1L891) # !F1_mov_x[8] & F1_loc[8] & !F1L891;
F1L102 = CARRY(F1L102_cout_1);


--F1L9 is target:drawtarget|add~659 at LC_X15_Y14_N7
--operation mode is arithmetic

F1L9_carry_eqn = (!F1L82 & F1L61) # (F1L82 & F1L71);
F1L9 = F1_loc[7] $ !F1L9_carry_eqn;

--F1L01 is target:drawtarget|add~661 at LC_X15_Y14_N7
--operation mode is arithmetic

F1L01_cout_0 = !F1_loc[7] & !F1L61;
F1L01 = CARRY(F1L01_cout_0);

--F1L11 is target:drawtarget|add~661COUT1_747 at LC_X15_Y14_N7
--operation mode is arithmetic

F1L11_cout_1 = !F1_loc[7] & !F1L71;
F1L11 = CARRY(F1L11_cout_1);


--F1L28 is target:drawtarget|LessThan~1055 at LC_X14_Y13_N6
--operation mode is arithmetic

F1L28_cout_0 = H1_hcnt[6] & F1L51 & !F1L88 # !H1_hcnt[6] & (F1L51 # !F1L88);
F1L28 = CARRY(F1L28_cout_0);

--F1L38 is target:drawtarget|LessThan~1055COUT1_1229 at LC_X14_Y13_N6
--operation mode is arithmetic

F1L38_cout_1 = H1_hcnt[6] & F1L51 & !F1L98 # !H1_hcnt[6] & (F1L51 # !F1L98);
F1L38 = CARRY(F1L38_cout_1);


--F1L21 is target:drawtarget|add~664 at LC_X16_Y15_N7
--operation mode is arithmetic

F1L21_carry_eqn = (!F1L03 & F1L91) # (F1L03 & F1L02);
F1L21 = F1_loc[7] $ F1L21_carry_eqn;

--F1L31 is target:drawtarget|add~666 at LC_X16_Y15_N7
--operation mode is arithmetic

F1L31_cout_0 = !F1L91 # !F1_loc[7];
F1L31 = CARRY(F1L31_cout_0);

--F1L41 is target:drawtarget|add~666COUT1_755 at LC_X16_Y15_N7
--operation mode is arithmetic

F1L41_cout_1 = !F1L02 # !F1_loc[7];
F1L41 = CARRY(F1L41_cout_1);


--F1L58 is target:drawtarget|LessThan~