top.map.eqn

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

D1L51 = D1_ball_y[8] $ (D1L51_carry_eqn);

--D1L61 is ball:drawball|add~2556
--operation mode is arithmetic

D1L61 = CARRY(D1_ball_y[8] # !D1L04);


--D1L343 is ball:drawball|LessThan~2057
--operation mode is arithmetic

D1L343 = CARRY(H1_vcnt[7] & (!D1L763 # !D1L93) # !H1_vcnt[7] & !D1L93 & !D1L763);


--D1_ball_x[9] is ball:drawball|ball_x[9]
--operation mode is normal

D1_ball_x[9]_carry_eqn = D1L672;
D1_ball_x[9]_lut_out = D1_move_x[9] $ D1_ball_x[9] $ D1_ball_x[9]_carry_eqn;
D1_ball_x[9] = DFFEAS(D1_ball_x[9]_lut_out, H1_vcnt[6], VCC, , , ~GND, !resn, , D1L892);


--D1L71 is ball:drawball|add~2559
--operation mode is arithmetic

D1L71_carry_eqn = D1L24;
D1L71 = D1_ball_x[8] $ (D1L71_carry_eqn);

--D1L81 is ball:drawball|add~2561
--operation mode is arithmetic

D1L81 = CARRY(D1_ball_x[8] # !D1L24);


--D1L543 is ball:drawball|LessThan~2062
--operation mode is arithmetic

D1L543 = CARRY(H1_hcnt[7] & (!D1L963 # !D1L14) # !H1_hcnt[7] & !D1L14 & !D1L963);


--D1L91 is ball:drawball|add~2564
--operation mode is arithmetic

D1L91_carry_eqn = D1L44;
D1L91 = D1_ball_x[8] $ (!D1L91_carry_eqn);

--D1L02 is ball:drawball|add~2566
--operation mode is arithmetic

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


--D1L743 is ball:drawball|LessThan~2067
--operation mode is arithmetic

D1L743 = CARRY(D1L34 & (!D1L173 # !H1_hcnt[7]) # !D1L34 & !H1_hcnt[7] & !D1L173);


--D1L12 is ball:drawball|add~2569
--operation mode is arithmetic

D1L12_carry_eqn = D1L64;
D1L12 = D1_ball_y[8] $ (!D1L12_carry_eqn);

--D1L22 is ball:drawball|add~2571
--operation mode is arithmetic

D1L22 = CARRY(D1_ball_y[8] & (!D1L64));


--D1L943 is ball:drawball|LessThan~2072
--operation mode is arithmetic

D1L943 = CARRY(D1L54 & (!D1L373 # !H1_vcnt[7]) # !D1L54 & !H1_vcnt[7] & !D1L373);


--D1L32 is ball:drawball|add~2574
--operation mode is arithmetic

D1L32_carry_eqn = D1L84;
D1L32 = D1_ball_y[8] $ (D1L32_carry_eqn);

--D1L42 is ball:drawball|add~2576
--operation mode is arithmetic

D1L42 = CARRY(D1_ball_y[8] # !D1L84);


--D1L153 is ball:drawball|LessThan~2077
--operation mode is arithmetic

D1L153 = CARRY(H1_vcnt[7] & (!D1L573 # !D1L74) # !H1_vcnt[7] & !D1L74 & !D1L573);


--D1L52 is ball:drawball|add~2579
--operation mode is arithmetic

D1L52_carry_eqn = D1L05;
D1L52 = D1_ball_x[8] $ (D1L52_carry_eqn);

--D1L62 is ball:drawball|add~2581
--operation mode is arithmetic

D1L62 = CARRY(D1_ball_x[8] # !D1L05);


--D1L353 is ball:drawball|LessThan~2082
--operation mode is arithmetic

D1L353 = CARRY(H1_hcnt[7] & (!D1L773 # !D1L94) # !H1_hcnt[7] & !D1L94 & !D1L773);


--D1L72 is ball:drawball|add~2584
--operation mode is arithmetic

D1L72_carry_eqn = D1L25;
D1L72 = D1_ball_x[8] $ (!D1L72_carry_eqn);

--D1L82 is ball:drawball|add~2586
--operation mode is arithmetic

D1L82 = CARRY(D1_ball_x[8] & (!D1L25));


--D1L553 is ball:drawball|LessThan~2087
--operation mode is arithmetic

D1L553 = CARRY(D1L15 & (!D1L973 # !H1_hcnt[7]) # !D1L15 & !H1_hcnt[7] & !D1L973);


--D1L92 is ball:drawball|add~2589
--operation mode is arithmetic

D1L92_carry_eqn = D1L45;
D1L92 = D1_ball_y[8] $ (D1L92_carry_eqn);

--D1L03 is ball:drawball|add~2591
--operation mode is arithmetic

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


--D1L753 is ball:drawball|LessThan~2092
--operation mode is arithmetic

D1L753 = CARRY(D1L35 & (!D1L183 # !H1_vcnt[7]) # !D1L35 & !H1_vcnt[7] & !D1L183);


--D1L13 is ball:drawball|add~2594
--operation mode is arithmetic

D1L13_carry_eqn = D1L65;
D1L13 = D1_ball_y[8] $ (!D1L13_carry_eqn);

--D1L23 is ball:drawball|add~2596
--operation mode is arithmetic

D1L23 = CARRY(!D1_ball_y[8] & (!D1L65));


--D1L953 is ball:drawball|LessThan~2097
--operation mode is arithmetic

D1L953 = CARRY(H1_vcnt[7] & (!D1L383 # !D1L55) # !H1_vcnt[7] & !D1L55 & !D1L383);


--D1L33 is ball:drawball|add~2599
--operation mode is arithmetic

D1L33_carry_eqn = D1L85;
D1L33 = D1_ball_x[8] $ (!D1L33_carry_eqn);

--D1L43 is ball:drawball|add~2601
--operation mode is arithmetic

D1L43 = CARRY(!D1_ball_x[8] & (!D1L85));


--D1L163 is ball:drawball|LessThan~2102
--operation mode is arithmetic

D1L163 = CARRY(H1_hcnt[7] & (!D1L583 # !D1L75) # !H1_hcnt[7] & !D1L75 & !D1L583);


--D1L53 is ball:drawball|add~2604
--operation mode is arithmetic

D1L53_carry_eqn = D1L06;
D1L53 = D1_ball_x[8] $ (D1L53_carry_eqn);

--D1L63 is ball:drawball|add~2606
--operation mode is arithmetic

D1L63 = CARRY(!D1L06 # !D1_ball_x[8]);


--D1L363 is ball:drawball|LessThan~2107
--operation mode is arithmetic

D1L363 = CARRY(D1L95 & (!D1L783 # !H1_hcnt[7]) # !D1L95 & !H1_hcnt[7] & !D1L783);


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

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


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

E1L3_carry_eqn = E1L8;
E1L3 = G1_mousex[8] $ (!E1L3_carry_eqn);

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

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


--E1L24 is board:drawboard|LessThan~484
--operation mode is arithmetic

E1L24 = CARRY(E1L7 & (!E1L64 # !H1_hcnt[7]) # !E1L7 & !H1_hcnt[7] & !E1L64);


--E1L5 is board:drawboard|add~270
--operation mode is arithmetic

E1L5_carry_eqn = E1L01;
E1L5 = G1_mousex[8] $ (E1L5_carry_eqn);

--E1L6 is board:drawboard|add~272
--operation mode is arithmetic

E1L6 = CARRY(!G1_mousex[8] & (!E1L01));


--E1L44 is board:drawboard|LessThan~489
--operation mode is arithmetic

E1L44 = CARRY(H1_hcnt[7] & (!E1L84 # !E1L9) # !H1_hcnt[7] & !E1L9 & !E1L84);


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

G1_watchdog_timer_count[8]_carry_eqn = G1L931;
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, B1_count[6], !G1L221, , G1L021, , , , );


--G1_watchdog_timer_count[0] is mouse:mousedata|watchdog_timer_count[0]
--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, B1_count[6], !G1L221, , G1L021, , , , );

--G1L521 is mouse:mousedata|watchdog_timer_count[0]~164
--operation mode is arithmetic

G1L521 = CARRY(G1_watchdog_timer_count[0]);


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

G1_watchdog_timer_count[1]_carry_eqn = G1L521;
G1_watchdog_timer_count[1]_lut_out = G1_watchdog_timer_count[1] $ (G1_watchdog_timer_count[1]_carry_eqn);
G1_watchdog_timer_count[1] = DFFEAS(G1_watchdog_timer_count[1]_lut_out, B1_count[6], !G1L221, , G1L021, , , , );

--G1L721 is mouse:mousedata|watchdog_timer_count[1]~168
--operation mode is arithmetic

G1L721 = CARRY(!G1L521 # !G1_watchdog_timer_count[1]);


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

G1_watchdog_timer_count[2]_carry_eqn = G1L721;
G1_watchdog_timer_count[2]_lut_out = G1_watchdog_timer_count[2] $ (!G1_watchdog_timer_count[2]_carry_eqn);
G1_watchdog_timer_count[2] = DFFEAS(G1_watchdog_timer_count[2]_lut_out, B1_count[6], !G1L221, , G1L021, , , , );

--G1L921 is mouse:mousedata|watchdog_timer_count[2]~172
--operation mode is arithmetic

G1L921 = CARRY(G1_watchdog_timer_count[2] & (!G1L721));


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

G1_watchdog_timer_count[3]_carry_eqn = G1L921;
G1_watchdog_timer_count[3]_lut_out = G1_watchdog_timer_count[3] $ (G1_watchdog_timer_count[3]_carry_eqn);
G1_watchdog_timer_count[3] = DFFEAS(G1_watchdog_timer_count[3]_lut_out, B1_count[6], !G1L221, , G1L021, , , , );

--G1L131 is mouse:mousedata|watchdog_timer_count[3]~176
--operation mode is arithmetic

G1L131 = CARRY(!G1L921 # !G1_watchdog_timer_count[3]);


--G1L811 is mouse:mousedata|reduce_nor~68
--operation mode is normal

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


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

G1_watchdog_timer_count[5]_carry_eqn = G1L331;
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, B1_count[6], !G1L221, , G1L021, , , , );

--G1L531 is mouse:mousedata|watchdog_timer_count[5]~180
--operation mode is arithmetic

G1L531 = CARRY(!G1L331 # !G1_watchdog_timer_count[5]);


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

G1_watchdog_timer_count[6]_carry_eqn = G1L531;
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, B1_count[6], !G1L221, , G1L021, , , , );

--G1L731 is mouse:mousedata|watchdog_timer_count[6]~184
--operation mode is arithmetic

G1L731 = CARRY(G1_watchdog_timer_count[6] & (!G1L531));


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

G1_watchdog_timer_count[4]_carry_eqn = G1L131;
G1_watchdog_timer_count[4]_lut_out = G1_watchdog_timer_count[4] $ (!G1_watchdog_timer_count[4]_carry_eqn);
G1_watchdog_timer_count[4] = DFFEAS(G1_watchdog_timer_count[4]_lut_out, B1_count[6], !G1L221, , G1L021, , , , );

--G1L331 is mouse:mousedata|watchdog_timer_count[4]~188
--operation mode is arithmetic

G1L331 = CARRY(G1_watchdog_timer_count[4] & (!G1L131));


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

G1_watchdog_timer_count[7]_carry_eqn = G1L731;
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, B1_count[6], !G1L221, , G1L021, , , , );

--G1L931 is mouse:mousedata|watchdog_timer_count[7]~192
--operation mode is arithmetic

G1L931 = CARRY(!G1L731 # !G1_watchdog_timer_count[7]);


--G1L911 is mouse:mousedata|reduce_nor~69
--operation mode is normal

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


--G1L021 is mouse:mousedata|reduce_nor~70
--operation mode is normal

G1L021 = G1_watchdog_timer_count[8] # G1L811 # G1L911;


--G1_m2_state.m2_reset is mouse:mousedata|m2_state.m2_reset
--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, B1_count[6], resn, , , , , , );


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

B1_count[6]_carry_eqn = B1L31;
B1_count[6]_lut_out = B1_count[6] $ (!B1_count[6]_carry_eqn);
B1_count[6] = DFFEAS(B1_count[6]_lut_out, sysclk, resn, , , , , , );


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

G1_bitcount[1]_carry_eqn = G1L22;
G1_bitcount[1]_lut_out = G1_bitcount[1] $ (G1_bitcount[1]_carry_eqn);
G1_bitcount[1] = DFFEAS(G1_bitcount[1]_lut_out, B1_count[6], resn, , G1L32, , , !G1_m1_state.m1_falling_edge, );

--G1L52 is mouse:mousedata|bitcount[1]~154
--operation mode is arithmetic

G1L52 = CARRY(!G1L22 # !G1_bitcount[1]);


--G1_m1_state.m1_falling_edge is mouse:mousedata|m1_state.m1_falling_edge
--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, B1_count[6], resn, , , , , , );


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

G1_bitcount[5]_carry_eqn = G1L13;
G1_bitcount[5]_lut_out = G1_bitcount[5] $ (G1_bitcount[5]_carry_eqn);
G1_bitcount[5] = DFFEAS(G1_bitcount[5]_lut_out, B1_count[6], resn, , G1L32, , , !G1_m1_state.m1_falling_edge, );


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

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

--G1L22 is mouse:mousedata|bitcount[0]~162
--operation mode is arithmetic

G1L22 = CARRY(G1_bitcount[0]);


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

G1_bitcount[4]_carry_eqn = G1L92;
G1_bitcount[4]_lut_out = G1_bitcount[4] $ (!G1_bitcount[4]_carry_eqn);
G1_bitcount[4] = DFFEAS(G1_bitcount[4]_lut_out, B1_count[6], resn, , G1L32, , , !G1_m1_state.m1_falling_edge, );

--G1L13 is mouse:mousedata|bitcount[4]~166
--operation mode is arithmetic

G1L13 = CARRY(G1_bitcount[4] & (!G1L92));


--G1L56 is mouse:mousedata|m2statetr~133
--operation mode is normal

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


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

G1_bitcount[2]_carry_eqn = G1L52;
G1_bitcount[2]_lut_out = G1_bitcount[2] $ (!G1_bitcount[2]_carry_eqn);
G1_bitcount[2] = DFFEAS(G1_bitcount[2]_lut_out, B1_count[6], resn, , G1L32, , , !G1_m1_state.m1_falling_edge, );

--G1L72 is mouse:mousedata|bitcount[2]~170
--operation mode is arithmetic

G1L72 = CARRY(G1_bitcount[2] & (!G1L52));


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

G1_bitcount[3]_carry_eqn = G1L72;
G1_bitcount[3]_lut_out = G1_bitcount[3] $ (G1_bitcount[3]_carry_eqn);
G1_bitcount[3] = DFFEAS(G1_bitcount[3]_lut_out, B1_count[6], resn, , G1L32, , , !G1_m1_state.m1_falling_edge, );

--G1L92 is mouse:mousedata|bitcount[3]~174
--operation mode is arithmetic