top.map.eqn

来自「清华大学实验箱自带实验程序」· EQN 代码 · 共 2,354 行 · 第 1/5 页

G1L83 = G1_mousex[3] # G1_mousex[2] & G1_mousex[0] & G1_mousex[1];


--G1L93 is mouse:mousedata|LessThan~480
--operation mode is normal

G1L93 = G1_mousex[5] & !G1_mousex[4] & !G1_mousex[7] & G1_mousex[6];


--G1L04 is mouse:mousedata|LessThan~481
--operation mode is normal

G1L04 = G1_mousex[8] & (!G1L93 # !G1L83) # !G1_mousex[9];


--G1_q[5] is mouse:mousedata|q[5]
--operation mode is normal

G1_q[5]_lut_out = G1_q[6];
G1_q[5] = DFFEAS(G1_q[5]_lut_out, B1_count[6], resn, , G1_m1_state.m1_falling_edge, , , , );


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

G1_m2_state.m2_use_lut_out = G1_m2_state.m2_verify;
G1_m2_state.m2_use = DFFEAS(G1_m2_state.m2_use_lut_out, B1_count[6], resn, , , , , , );


--E1L7 is board:drawboard|add~275
--operation mode is arithmetic

E1L7_carry_eqn = E1L21;
E1L7 = G1_mousex[7] $ (E1L7_carry_eqn);

--E1L8 is board:drawboard|add~277
--operation mode is arithmetic

E1L8 = CARRY(G1_mousex[7] & (!E1L21));


--E1L64 is board:drawboard|LessThan~494
--operation mode is arithmetic

E1L64 = CARRY(E1L11 & H1_hcnt[6] & !E1L05 # !E1L11 & (H1_hcnt[6] # !E1L05));


--E1L9 is board:drawboard|add~280
--operation mode is arithmetic

E1L9_carry_eqn = E1L41;
E1L9 = G1_mousex[7] $ (!E1L9_carry_eqn);

--E1L01 is board:drawboard|add~282
--operation mode is arithmetic

E1L01 = CARRY(G1_mousex[7] # !E1L41);


--E1L84 is board:drawboard|LessThan~499
--operation mode is arithmetic

E1L84 = CARRY(H1_hcnt[6] & E1L31 & !E1L25 # !H1_hcnt[6] & (E1L31 # !E1L25));


--G1_m1_state.m1_rising_edge is mouse:mousedata|m1_state.m1_rising_edge
--operation mode is normal

G1_m1_state.m1_rising_edge_lut_out = A1L3 & G1_m1_state.m1_clk_l;
G1_m1_state.m1_rising_edge = DFFEAS(G1_m1_state.m1_rising_edge_lut_out, B1_count[6], resn, , , , , , );


--G1L221 is mouse:mousedata|watchcount~15
--operation mode is normal

G1L221 = G1_m1_state.m1_falling_edge # G1_m1_state.m1_rising_edge # !resn;


--B1_count[5] is count64:clocknum|count[5]
--operation mode is arithmetic

B1_count[5]_carry_eqn = B1L11;
B1_count[5]_lut_out = B1_count[5] $ (B1_count[5]_carry_eqn);
B1_count[5] = DFFEAS(B1_count[5]_lut_out, sysclk, resn, , , , , , );

--B1L31 is count64:clocknum|count[5]~54
--operation mode is arithmetic

B1L31 = CARRY(!B1L11 # !B1_count[5]);


--G1L32 is mouse:mousedata|bitcount[0]~177
--operation mode is normal

G1L32 = G1_m1_state.m1_falling_edge # !G1_watchdog_timer_count[8] & !G1L811 & !G1L911;


--G1_m1_state.m1_clk_h is mouse:mousedata|m1_state.m1_clk_h
--operation mode is normal

G1_m1_state.m1_clk_h_lut_out = G1_debounce_timer_count[0] & !G1_m1_state.m1_rising_wait & (G1_m1_state.m1_clk_h # !A1L3) # !G1_debounce_timer_count[0] & (G1_m1_state.m1_clk_h # !A1L3);
G1_m1_state.m1_clk_h = DFFEAS(G1_m1_state.m1_clk_h_lut_out, B1_count[6], resn, , , , , , );


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

F1_loc[5]_carry_eqn = F1L731;
F1_loc[5]_lut_out = F1_mov_x[5] $ F1_loc[5] $ F1_loc[5]_carry_eqn;
F1_loc[5] = DFFEAS(F1_loc[5]_lut_out, H1_vcnt[9], resn, , , , , , );

--F1L931 is target:drawtarget|loc[5]~128
--operation mode is arithmetic

F1L931 = CARRY(F1_mov_x[5] & !F1_loc[5] & !F1L731 # !F1_mov_x[5] & (!F1L731 # !F1_loc[5]));


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

F1_loc[6]_carry_eqn = F1L931;
F1_loc[6]_lut_out = F1_mov_x[6] $ F1_loc[6] $ !F1_loc[6]_carry_eqn;
F1_loc[6] = DFFEAS(F1_loc[6]_lut_out, H1_vcnt[9], resn, , , , , , );

--F1L141 is target:drawtarget|loc[6]~132
--operation mode is arithmetic

F1L141 = CARRY(F1_mov_x[6] & (F1_loc[6] # !F1L931) # !F1_mov_x[6] & F1_loc[6] & !F1L931);


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

F1_loc[7]_carry_eqn = F1L141;
F1_loc[7]_lut_out = F1_mov_x[7] $ F1_loc[7] $ F1_loc[7]_carry_eqn;
F1_loc[7] = DFFEAS(F1_loc[7]_lut_out, H1_vcnt[9], resn, , , , , , );

--F1L341 is target:drawtarget|loc[7]~136
--operation mode is arithmetic

F1L341 = CARRY(F1_mov_x[7] & !F1_loc[7] & !F1L141 # !F1_mov_x[7] & (!F1L141 # !F1_loc[7]));


--F1L04 is target:drawtarget|detectmov~193
--operation mode is normal

F1L04 = F1_loc[5] # F1_loc[6] # F1_loc[7];


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

F1_loc[1]_carry_eqn = F1L921;
F1_loc[1]_lut_out = F1_mov_x[1] $ F1_loc[1] $ F1_loc[1]_carry_eqn;
F1_loc[1] = DFFEAS(F1_loc[1]_lut_out, H1_vcnt[9], resn, , , , , , );

--F1L131 is target:drawtarget|loc[1]~140
--operation mode is arithmetic

F1L131 = CARRY(F1_mov_x[1] & !F1_loc[1] & !F1L921 # !F1_mov_x[1] & (!F1L921 # !F1_loc[1]));


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

F1_loc[3]_carry_eqn = F1L331;
F1_loc[3]_lut_out = F1_mov_x[3] $ F1_loc[3] $ F1_loc[3]_carry_eqn;
F1_loc[3] = DFFEAS(F1_loc[3]_lut_out, H1_vcnt[9], resn, , , , , , );

--F1L531 is target:drawtarget|loc[3]~144
--operation mode is arithmetic

F1L531 = CARRY(F1_mov_x[3] & !F1_loc[3] & !F1L331 # !F1_mov_x[3] & (!F1L331 # !F1_loc[3]));


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

F1_loc[2]_carry_eqn = F1L131;
F1_loc[2]_lut_out = F1_mov_x[2] $ F1_loc[2] $ !F1_loc[2]_carry_eqn;
F1_loc[2] = DFFEAS(F1_loc[2]_lut_out, H1_vcnt[9], resn, , , , , , );

--F1L331 is target:drawtarget|loc[2]~148
--operation mode is arithmetic

F1L331 = CARRY(F1_mov_x[2] & (F1_loc[2] # !F1L131) # !F1_mov_x[2] & F1_loc[2] & !F1L131);


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

F1_loc[4]_carry_eqn = F1L531;
F1_loc[4]_lut_out = F1_mov_x[4] $ F1_loc[4] $ !F1_loc[4]_carry_eqn;
F1_loc[4] = DFFEAS(F1_loc[4]_lut_out, H1_vcnt[9], resn, , , , , , );

--F1L731 is target:drawtarget|loc[4]~152
--operation mode is arithmetic

F1L731 = CARRY(F1_mov_x[4] & (F1_loc[4] # !F1L531) # !F1_mov_x[4] & F1_loc[4] & !F1L531);


--F1L14 is target:drawtarget|detectmov~194
--operation mode is normal

F1L14 = F1_loc[2] & (F1_loc[4] # F1_loc[9]) # !F1_loc[2] & F1_loc[4] & F1_loc[9];


--F1L24 is target:drawtarget|detectmov~195
--operation mode is normal

F1L24 = F1_loc[1] & (F1_loc[8] # F1_loc[3] & F1L14) # !F1_loc[1] & F1_loc[8] & (F1_loc[3] # F1L14);


--F1L34 is target:drawtarget|detectmov~196
--operation mode is normal

F1L34 = F1_loc[9] & F1_loc[8] & (F1L04 # F1L24) # !F1_loc[9] & !F1L04 & !F1_loc[8] & !F1L24;


--F1_tempmov[9] is target:drawtarget|tempmov[9]
--operation mode is normal

F1_tempmov[9]_lut_out = G1_mousexx[9];
F1_tempmov[9] = DFFEAS(F1_tempmov[9]_lut_out, F1_sampcnt[5], resn, , , , , , );


--F1_mov_x[8] is target:drawtarget|mov_x[8]
--operation mode is arithmetic

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

--F1L561 is target:drawtarget|mov_x[8]~134
--operation mode is arithmetic

F1L561 = CARRY(!F1L361 & (F1L34 $ F1_tempmov[9]));


--F1L11 is target:drawtarget|add~669
--operation mode is arithmetic

F1L11_carry_eqn = F1L61;
F1L11 = F1_loc[6] $ (F1L11_carry_eqn);

--F1L21 is target:drawtarget|add~671
--operation mode is arithmetic

F1L21 = CARRY(F1_loc[6] # !F1L61);


--F1L66 is target:drawtarget|LessThan~1065
--operation mode is arithmetic

F1L66 = CARRY(H1_hcnt[5] & (!F1L27 # !F1L51) # !H1_hcnt[5] & !F1L51 & !F1L27);


--F1L31 is target:drawtarget|add~674
--operation mode is arithmetic

F1L31_carry_eqn = F1L81;
F1L31 = F1_loc[6] $ (!F1L31_carry_eqn);

--F1L41 is target:drawtarget|add~676
--operation mode is arithmetic

F1L41 = CARRY(F1_loc[6] & (!F1L81));


--F1L86 is target:drawtarget|LessThan~1070
--operation mode is arithmetic

F1L86 = CARRY(F1L71 & (!F1L47 # !H1_hcnt[5]) # !F1L71 & !H1_hcnt[5] & !F1L47);


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

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

--D1L092 is ball:drawball|ball_y[5]~310
--operation mode is arithmetic

D1L092 = CARRY(D1_move_y[9] & !D1_ball_y[5] & !D1L882 # !D1_move_y[9] & (!D1L882 # !D1_ball_y[5]));


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

D1_ball_y[0]_lut_out = !D1_ball_y[0];
D1_ball_y[0] = DFFEAS(D1_ball_y[0]_lut_out, H1_vcnt[6], VCC, , , ~GND, !resn, , D1L892);

--D1L082 is ball:drawball|ball_y[0]~314
--operation mode is arithmetic

D1L082 = CARRY(D1_ball_y[0]);


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

D1_ball_y[1]_carry_eqn = D1L082;
D1_ball_y[1]_lut_out = D1_move_y[9] $ D1_ball_y[1] $ D1_ball_y[1]_carry_eqn;
D1_ball_y[1] = DFFEAS(D1_ball_y[1]_lut_out, H1_vcnt[6], VCC, , , ~GND, !resn, , D1L892);

--D1L282 is ball:drawball|ball_y[1]~318
--operation mode is arithmetic

D1L282 = CARRY(D1_move_y[9] & !D1_ball_y[1] & !D1L082 # !D1_move_y[9] & (!D1L082 # !D1_ball_y[1]));


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

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

--D1L482 is ball:drawball|ball_y[2]~322
--operation mode is arithmetic

D1L482 = CARRY(D1_move_y[9] & (D1_ball_y[2] # !D1L282) # !D1_move_y[9] & D1_ball_y[2] & !D1L282);


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

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

--D1L292 is ball:drawball|ball_y[6]~326
--operation mode is arithmetic

D1L292 = CARRY(D1_move_y[9] & (D1_ball_y[6] # !D1L092) # !D1_move_y[9] & D1_ball_y[6] & !D1L092);


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

D1_ball_y[7]_carry_eqn = D1L292;
D1_ball_y[7]_lut_out = D1_move_y[9] $ D1_ball_y[7] $ D1_ball_y[7]_carry_eqn;
D1_ball_y[7] = DFFEAS(D1_ball_y[7]_lut_out, H1_vcnt[6], VCC, , , ~GND, !resn, , D1L892);

--D1L492 is ball:drawball|ball_y[7]~330
--operation mode is arithmetic

D1L492 = CARRY(D1_move_y[9] & !D1_ball_y[7] & !D1L292 # !D1_move_y[9] & (!D1L292 # !D1_ball_y[7]));


--F1L84 is target:drawtarget|hit~70
--operation mode is normal

F1L84 = !D1_ball_y[8] & !D1_ball_y[6] & !D1_ball_y[7];


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

D1_ball_y[4]_carry_eqn = D1L682;
D1_ball_y[4]_lut_out = D1_move_y[9] $ D1_ball_y[4] $ !D1_ball_y[4]_carry_eqn;
D1_ball_y[4] = DFFEAS(D1_ball_y[4]_lut_out, H1_vcnt[6], VCC, , , ~GND, !resn, , D1L892);

--D1L882 is ball:drawball|ball_y[4]~334
--operation mode is arithmetic

D1L882 = CARRY(D1_move_y[9] & (D1_ball_y[4] # !D1L682) # !D1_move_y[9] & D1_ball_y[4] & !D1L682);


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

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

--D1L682 is ball:drawball|ball_y[3]~338
--operation mode is arithmetic

D1L682 = CARRY(D1_move_y[9] & !D1_ball_y[3] & !D1L482 # !D1_move_y[9] & (!D1L482 # !D1_ball_y[3]));


--D1L285 is ball:drawball|reduce_nor~113
--operation mode is normal

D1L285 = D1_ball_y[4] & (!D1_ball_y[3]);


--D1L385 is ball:drawball|reduce_nor~114
--operation mode is normal

D1L385 = D1_ball_y[1] & D1_ball_y[2] & F1L84 & D1L285;


--D1L085 is ball:drawball|reduce_nor~2
--operation mode is normal

D1L085 = D1_ball_y[9] # D1_ball_y[5] # !D1L385 # !D1_ball_y[0];


--D1L883 is ball:drawball|LessThan~2170
--operation mode is normal

D1L883_carry_eqn = D1L514;
D1L883 = G1_mousex[9] & D1L58 & D1L883_carry_eqn # !G1_mousex[9] & (D1L58 # D1L883_carry_eqn);


--D1L983 is ball:drawball|LessThan~2175
--operation mode is normal

D1L983_carry_eqn = D1L714;
D1L983 = D1L68 & G1_mousex[9] & D1L983_carry_eqn # !D1L68 & (G1_mousex[9] # D1L983_carry_eqn);


--D1L975 is ball:drawball|move_y~112
--operation mode is normal

D1L975 = !D1L883 & !D1L983;


--D1L185 is ball:drawball|reduce_nor~3
--operation mode is normal

D1L185 = D1_ball_y[0] # !D1L385 # !D1_ball_y[5] # !D1_ball_y[9];


--F1L96 is target:drawtarget|LessThan~1073
--operation mode is normal

F1L96_carry_eqn = F1L67;
F1L96 = D1_ball_x[9] & F1L1 & F1L96_carry_eqn # !D1_ball_x[9] & (F1L1 # F1L96_carry_eqn);


--F1L07 is target:drawtarget|LessThan~1078
--operation mode is normal

F1L07_carry_eqn = F1L87;
F1L07 = F1L2 & D1_ball_x[9] & F1L07_carry_eqn # !F1L2 & (D1_ball_x[9] # F1L07_carry_eqn);


--F1L94 is target:drawtarget|hit~71
--operation mode is normal

F1L94 = D1_ball_y[9] # F1L96 # F1L07 # !F1L84;


--F1L05 is target:drawtarget|hit~72
--operation mode is normal

F1L05 = D1_ball_y[1] # D1_ball_y[2] # D1_ball_y[3] # D1_ball_y[4];


--D1L16 is ball:drawball|add~2669
--operation mode is arithmetic

D1L16_carry_eqn = D1L88;
D1L16 = D1_ball_y[6] $ (!D1L16_carry_eqn);

--D1L26 is ball:drawball|add~2671
--operation mode is arithmetic

D1L26 = CARRY(D1_ball_y[6] & (!D1L88));


--D1L193 is ball:drawball|LessThan~2182
--operation mode is arithmetic

D1L193 = CARRY(D1L78 & (!D1L914 # !H1_vcnt[5]) # !D1L78 &