top.map.eqn

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

G1L92 = CARRY(!G1L72 # !G1_bitcount[3]);


--G1L16 is mouse:mousedata|m2statetr~1
--operation mode is normal

G1L16 = G1_bitcount[1] & G1L56 & !G1_bitcount[2] & !G1_bitcount[3];


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

G1_m2_state.m2_data_high_1_lut_out = G1_m2_state.m2_data_low_1 & (G1L16 # G1_m2_state.m2_data_high_1 & !G1L26) # !G1_m2_state.m2_data_low_1 & (G1_m2_state.m2_data_high_1 & !G1L26);
G1_m2_state.m2_data_high_1 = DFFEAS(G1_m2_state.m2_data_high_1_lut_out, B1_count[6], resn, , , , , , );


--G1L66 is mouse:mousedata|m2statetr~134
--operation mode is normal

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


--G1L26 is mouse:mousedata|m2statetr~2
--operation mode is normal

G1L26 = G1_bitcount[1] & G1_m1_state.m1_falling_edge & G1L66 & !G1_bitcount[5];


--G1L36 is mouse:mousedata|m2statetr~3
--operation mode is normal

G1L36 = G1_bitcount[2] & G1L56 & !G1_bitcount[1] & !G1_bitcount[3];


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

G1_m2_state.m2_data_high_2_lut_out = G1_m2_state.m2_data_low_2 & (G1L36 # G1_m2_state.m2_data_high_2 & !G1L46) # !G1_m2_state.m2_data_low_2 & (G1_m2_state.m2_data_high_2 & !G1L46);
G1_m2_state.m2_data_high_2 = DFFEAS(G1_m2_state.m2_data_high_2_lut_out, B1_count[6], resn, , , , , , );


--G1L46 is mouse:mousedata|m2statetr~4
--operation mode is normal

G1L46 = G1_bitcount[3] & G1L56 & !G1_bitcount[1] & !G1_bitcount[2];


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

F1_mov_x[9]_carry_eqn = F1L561;
F1_mov_x[9]_lut_out = F1L34 $ F1_tempmov[9] $ F1_mov_x[9]_carry_eqn;
F1_mov_x[9] = DFFEAS(F1_mov_x[9]_lut_out, H1_vcnt[9], VCC, , , ~GND, !resn, , );


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

F1_loc[8]_carry_eqn = F1L341;
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, H1_vcnt[9], resn, , , , , , );

--F1L541 is target:drawtarget|loc[8]~124
--operation mode is arithmetic

F1L541 = CARRY(F1_mov_x[8] & (F1_loc[8] # !F1L341) # !F1_mov_x[8] & F1_loc[8] & !F1L341);


--F1L7 is target:drawtarget|add~659
--operation mode is arithmetic

F1L7_carry_eqn = F1L21;
F1L7 = F1_loc[7] $ (!F1L7_carry_eqn);

--F1L8 is target:drawtarget|add~661
--operation mode is arithmetic

F1L8 = CARRY(!F1_loc[7] & (!F1L21));


--F1L26 is target:drawtarget|LessThan~1055
--operation mode is arithmetic

F1L26 = CARRY(H1_hcnt[6] & F1L11 & !F1L66 # !H1_hcnt[6] & (F1L11 # !F1L66));


--F1L9 is target:drawtarget|add~664
--operation mode is arithmetic

F1L9_carry_eqn = F1L41;
F1L9 = F1_loc[7] $ (F1L9_carry_eqn);

--F1L01 is target:drawtarget|add~666
--operation mode is arithmetic

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


--F1L46 is target:drawtarget|LessThan~1060
--operation mode is arithmetic

F1L46 = CARRY(F1L31 & H1_hcnt[6] & !F1L86 # !F1L31 & (H1_hcnt[6] # !F1L86));


--D1_move_y[9] is ball:drawball|move_y[9]
--operation mode is normal

D1_move_y[9]_lut_out = D1L085 & (D1_move_y[9] # D1L975 & !D1L185);
D1_move_y[9] = DFFEAS(D1_move_y[9]_lut_out, H1_vcnt[6], resn, , , , , , );


--F1_hit_target is target:drawtarget|hit_target
--operation mode is normal

F1_hit_target_lut_out = !F1L94 & (!F1L05 # !D1_ball_y[5]);
F1_hit_target = DFFEAS(F1_hit_target_lut_out, H1_vcnt[9], resn, , , , , , );


--D1_lose is ball:drawball|lose
--operation mode is normal

D1_lose_lut_out = !D1L185 & (D1L883 # D1L983);
D1_lose = DFFEAS(D1_lose_lut_out, H1_vcnt[6], resn, , D1L085, , , , );


--D1L892 is ball:drawball|ballmove~0
--operation mode is normal

D1L892 = F1_hit_target # D1_lose;


--D1_ball_y[8] is ball:drawball|ball_y[8]
--operation mode is arithmetic

D1_ball_y[8]_carry_eqn = D1L492;
D1_ball_y[8]_lut_out = D1_move_y[9] $ D1_ball_y[8] $ !D1_ball_y[8]_carry_eqn;
D1_ball_y[8] = DFFEAS(D1_ball_y[8]_lut_out, H1_vcnt[6], VCC, , , VCC, !resn, , D1L892);

--D1L692 is ball:drawball|ball_y[8]~306
--operation mode is arithmetic

D1L692 = CARRY(D1_move_y[9] & (D1_ball_y[8] # !D1L492) # !D1_move_y[9] & D1_ball_y[8] & !D1L492);


--D1L73 is ball:drawball|add~2609
--operation mode is arithmetic

D1L73_carry_eqn = D1L26;
D1L73 = D1_ball_y[7] $ (D1L73_carry_eqn);

--D1L83 is ball:drawball|add~2611
--operation mode is arithmetic

D1L83 = CARRY(!D1L26 # !D1_ball_y[7]);


--D1L563 is ball:drawball|LessThan~2112
--operation mode is arithmetic

D1L563 = CARRY(D1L16 & H1_vcnt[6] & !D1L193 # !D1L16 & (H1_vcnt[6] # !D1L193));


--D1L93 is ball:drawball|add~2614
--operation mode is arithmetic

D1L93_carry_eqn = D1L46;
D1L93 = D1_ball_y[7] $ (!D1L93_carry_eqn);

--D1L04 is ball:drawball|add~2616
--operation mode is arithmetic

D1L04 = CARRY(!D1_ball_y[7] & (!D1L46));


--D1L763 is ball:drawball|LessThan~2117
--operation mode is arithmetic

D1L763 = CARRY(H1_vcnt[6] & D1L36 & !D1L393 # !H1_vcnt[6] & (D1L36 # !D1L393));


--D1_move_x[9] is ball:drawball|move_x[9]
--operation mode is normal

D1_move_x[9]_lut_out = D1_ball_x[1] & D1_move_x[9] & (D1_ball_x[3] # !D1L675) # !D1_ball_x[1] & (D1_move_x[9] # D1_ball_x[3] & D1L675);
D1_move_x[9] = DFFEAS(D1_move_x[9]_lut_out, H1_vcnt[6], resn, , , , , , );


--D1_ball_x[8] is ball:drawball|ball_x[8]
--operation mode is arithmetic

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

--D1L672 is ball:drawball|ball_x[8]~222
--operation mode is arithmetic

D1L672 = CARRY(D1_move_x[9] & (D1_ball_x[8] # !D1L472) # !D1_move_x[9] & D1_ball_x[8] & !D1L472);


--D1L14 is ball:drawball|add~2619
--operation mode is arithmetic

D1L14_carry_eqn = D1L66;
D1L14 = D1_ball_x[7] $ (!D1L14_carry_eqn);

--D1L24 is ball:drawball|add~2621
--operation mode is arithmetic

D1L24 = CARRY(!D1_ball_x[7] & (!D1L66));


--D1L963 is ball:drawball|LessThan~2122
--operation mode is arithmetic

D1L963 = CARRY(H1_hcnt[6] & D1L56 & !D1L593 # !H1_hcnt[6] & (D1L56 # !D1L593));


--D1L34 is ball:drawball|add~2624
--operation mode is arithmetic

D1L34_carry_eqn = D1L86;
D1L34 = D1_ball_x[7] $ (D1L34_carry_eqn);

--D1L44 is ball:drawball|add~2626
--operation mode is arithmetic

D1L44 = CARRY(!D1L86 # !D1_ball_x[7]);


--D1L173 is ball:drawball|LessThan~2127
--operation mode is arithmetic

D1L173 = CARRY(D1L76 & H1_hcnt[6] & !D1L793 # !D1L76 & (H1_hcnt[6] # !D1L793));


--D1L54 is ball:drawball|add~2629
--operation mode is arithmetic

D1L54_carry_eqn = D1L07;
D1L54 = D1_ball_y[7] $ (D1L54_carry_eqn);

--D1L64 is ball:drawball|add~2631
--operation mode is arithmetic

D1L64 = CARRY(!D1L07 # !D1_ball_y[7]);


--D1L373 is ball:drawball|LessThan~2132
--operation mode is arithmetic

D1L373 = CARRY(D1L96 & H1_vcnt[6] & !D1L993 # !D1L96 & (H1_vcnt[6] # !D1L993));


--D1L74 is ball:drawball|add~2634
--operation mode is arithmetic

D1L74_carry_eqn = D1L27;
D1L74 = D1_ball_y[7] $ (!D1L74_carry_eqn);

--D1L84 is ball:drawball|add~2636
--operation mode is arithmetic

D1L84 = CARRY(!D1_ball_y[7] & (!D1L27));


--D1L573 is ball:drawball|LessThan~2137
--operation mode is arithmetic

D1L573 = CARRY(H1_vcnt[6] & D1L17 & !D1L104 # !H1_vcnt[6] & (D1L17 # !D1L104));


--D1L94 is ball:drawball|add~2639
--operation mode is arithmetic

D1L94_carry_eqn = D1L47;
D1L94 = D1_ball_x[7] $ (!D1L94_carry_eqn);

--D1L05 is ball:drawball|add~2641
--operation mode is arithmetic

D1L05 = CARRY(!D1_ball_x[7] & (!D1L47));


--D1L773 is ball:drawball|LessThan~2142
--operation mode is arithmetic

D1L773 = CARRY(H1_hcnt[6] & D1L37 & !D1L304 # !H1_hcnt[6] & (D1L37 # !D1L304));


--D1L15 is ball:drawball|add~2644
--operation mode is arithmetic

D1L15_carry_eqn = D1L67;
D1L15 = D1_ball_x[7] $ (D1L15_carry_eqn);

--D1L25 is ball:drawball|add~2646
--operation mode is arithmetic

D1L25 = CARRY(!D1L67 # !D1_ball_x[7]);


--D1L973 is ball:drawball|LessThan~2147
--operation mode is arithmetic

D1L973 = CARRY(D1L57 & H1_hcnt[6] & !D1L504 # !D1L57 & (H1_hcnt[6] # !D1L504));


--D1L35 is ball:drawball|add~2649
--operation mode is arithmetic

D1L35_carry_eqn = D1L87;
D1L35 = D1_ball_y[7] $ (!D1L35_carry_eqn);

--D1L45 is ball:drawball|add~2651
--operation mode is arithmetic

D1L45 = CARRY(D1_ball_y[7] & (!D1L87));


--D1L183 is ball:drawball|LessThan~2152
--operation mode is arithmetic

D1L183 = CARRY(D1L77 & H1_vcnt[6] & !D1L704 # !D1L77 & (H1_vcnt[6] # !D1L704));


--D1L55 is ball:drawball|add~2654
--operation mode is arithmetic

D1L55_carry_eqn = D1L08;
D1L55 = D1_ball_y[7] $ (D1L55_carry_eqn);

--D1L65 is ball:drawball|add~2656
--operation mode is arithmetic

D1L65 = CARRY(D1_ball_y[7] # !D1L08);


--D1L383 is ball:drawball|LessThan~2157
--operation mode is arithmetic

D1L383 = CARRY(H1_vcnt[6] & D1L97 & !D1L904 # !H1_vcnt[6] & (D1L97 # !D1L904));


--D1L75 is ball:drawball|add~2659
--operation mode is arithmetic

D1L75_carry_eqn = D1L28;
D1L75 = D1_ball_x[7] $ (D1L75_carry_eqn);

--D1L85 is ball:drawball|add~2661
--operation mode is arithmetic

D1L85 = CARRY(D1_ball_x[7] # !D1L28);


--D1L583 is ball:drawball|LessThan~2162
--operation mode is arithmetic

D1L583 = CARRY(H1_hcnt[6] & D1L18 & !D1L114 # !H1_hcnt[6] & (D1L18 # !D1L114));


--D1L95 is ball:drawball|add~2664
--operation mode is arithmetic

D1L95_carry_eqn = D1L48;
D1L95 = D1_ball_x[7] $ (!D1L95_carry_eqn);

--D1L06 is ball:drawball|add~2666
--operation mode is arithmetic

D1L06 = CARRY(D1_ball_x[7] & (!D1L48));


--D1L783 is ball:drawball|LessThan~2167
--operation mode is arithmetic

D1L783 = CARRY(D1L38 & H1_hcnt[6] & !D1L314 # !D1L38 & (H1_hcnt[6] # !D1L314));


--G1L1 is mouse:mousedata|add~365
--operation mode is normal

G1L1_carry_eqn = G1L3;
G1L1 = G1_mousex[9] $ G1_q[5] $ G1L1_carry_eqn;


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

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


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

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


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

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


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

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


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

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


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

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


--G1L53 is mouse:mousedata|LessThan~476
--operation mode is normal

G1L53 = G1_mousex[3] & (G1_mousex[2] # G1_mousex[0] # G1_mousex[1]);


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

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


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

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


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

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


--G1L63 is mouse:mousedata|LessThan~477
--operation mode is normal

G1L63 = !G1_mousex[9] & G1_mousex[8] & !G1_mousex[6] & G1_mousex[7];


--G1L73 is mouse:mousedata|LessThan~478
--operation mode is normal

G1L73 = G1_mousex[5] & (G1L53 # !G1_mousex[4]) # !G1L63;


--G1L83 is mouse:mousedata|LessThan~479
--operation mode is normal