top.map.eqn

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

--operation mode is normal

D1L203 = !D1L803 & !D1L903 & !D1L013 & !D1L113;


--D1L213 is ball:drawball|LessThan~1970
--operation mode is normal

D1L213_carry_eqn = D1L333;
D1L213 = D1L9 & H1_vcnt[9] & D1L213_carry_eqn # !D1L9 & (H1_vcnt[9] # D1L213_carry_eqn);


--D1L313 is ball:drawball|LessThan~1975
--operation mode is normal

D1L313_carry_eqn = D1L533;
D1L313 = H1_vcnt[9] & D1L01 & D1L313_carry_eqn # !H1_vcnt[9] & (D1L01 # D1L313_carry_eqn);


--D1L413 is ball:drawball|LessThan~1980
--operation mode is normal

D1L413_carry_eqn = D1L733;
D1L413 = H1_hcnt[9] & D1L11 & D1L413_carry_eqn # !H1_hcnt[9] & (D1L11 # D1L413_carry_eqn);


--D1L513 is ball:drawball|LessThan~1985
--operation mode is normal

D1L513_carry_eqn = D1L933;
D1L513 = D1L21 & H1_hcnt[9] & D1L513_carry_eqn # !D1L21 & (H1_hcnt[9] # D1L513_carry_eqn);


--D1L303 is ball:drawball|drawball~115
--operation mode is normal

D1L303 = !D1L213 & !D1L313 & !D1L413 & !D1L513;


--E1L43 is board:drawboard|LessThan~461
--operation mode is normal

E1L43_carry_eqn = E1L83;
E1L43 = E1L1 & H1_hcnt[9] & E1L43_carry_eqn # !E1L1 & (H1_hcnt[9] # E1L43_carry_eqn);


--E1L53 is board:drawboard|LessThan~466
--operation mode is normal

E1L53_carry_eqn = E1L04;
E1L53 = H1_hcnt[9] & E1L2 & E1L53_carry_eqn # !H1_hcnt[9] & (E1L2 # E1L53_carry_eqn);


--E1L13 is board:drawboard|drawboard~146
--operation mode is normal

E1L13 = !H1_vcnt[4] & !H1_vcnt[2] & !H1_vcnt[3] & !H1_vcnt[5];


--E1L63 is board:drawboard|LessThan~471
--operation mode is normal

E1L63 = !H1_vcnt[2] & !H1_vcnt[1] # !H1_vcnt[3] # !H1_vcnt[4];


--E1L23 is board:drawboard|drawboard~147
--operation mode is normal

E1L23 = H1_vcnt[6] & E1L13 # !H1_vcnt[6] & (H1_vcnt[5] & !E1L63);


--E1L33 is board:drawboard|drawboard~148
--operation mode is normal

E1L33 = H1_vcnt[9] & !H1_hcnt[10] & !H1_vcnt[7] & !H1_vcnt[8];


--C1L4 is frame:drawback|XX~1019
--operation mode is normal

C1L4 = H1_vcnt[4] & (H1_vcnt[3] & (!H1_vcnt[6]) # !H1_vcnt[3] & (H1_vcnt[2] # H1_vcnt[6])) # !H1_vcnt[4] & H1_vcnt[6] & (H1_vcnt[2] # H1_vcnt[3]);


--C1L5 is frame:drawback|XX~1020
--operation mode is normal

C1L5 = H1_vcnt[9] & H1_vcnt[6] & C1L4 # !H1_vcnt[9] & !H1_vcnt[6] & !C1L4;


--C1L6 is frame:drawback|XX~1021
--operation mode is normal

C1L6 = !H1_hcnt[7] & !H1_hcnt[6] & !H1_hcnt[5];


--C1L7 is frame:drawback|XX~1022
--operation mode is normal

C1L7 = F1L44 & C1L5 & (C1L6 # !C1L3);


--H1L13 is vgacore:showdata|LessThan~613
--operation mode is normal

H1L13 = !H1_vcnt[7] & !H1_vcnt[8];


--C1L8 is frame:drawback|XX~1023
--operation mode is normal

C1L8 = H1L13 & (!H1_vcnt[4] & !H1_vcnt[5] # !H1_vcnt[6]);


--C1L9 is frame:drawback|XX~1024
--operation mode is normal

C1L9 = C1L6 & !H1_hcnt[10] & (C1L8 # !H1_vcnt[9]);


--C1L01 is frame:drawback|XX~1025
--operation mode is normal

C1L01 = C1L3 & (H1_hcnt[4] # H1_hcnt[3] & H1_hcnt[2]);


--H1L81 is vgacore:showdata|hcnt[4]~300
--operation mode is normal

H1L81 = !H1_hcnt[8] & !H1_hcnt[9];


--C1L11 is frame:drawback|XX~1026
--operation mode is normal

C1L11 = H1L81 & (!H1_hcnt[3] & !H1_hcnt[2] # !H1_hcnt[4]);


--H1L23 is vgacore:showdata|LessThan~614
--operation mode is normal

H1L23 = H1_hcnt[10] & (H1_hcnt[4] # !C1L6 # !H1L81);


--H1L33 is vgacore:showdata|LessThan~615
--operation mode is normal

H1L33 = !H1_vcnt[5] & !H1_vcnt[6] & !H1_vcnt[8];


--H1L43 is vgacore:showdata|LessThan~616
--operation mode is normal

H1L43 = !H1L13 & H1_vcnt[9] & (!H1L33 # !E1L63);


--F1L1 is target:drawtarget|add~639
--operation mode is normal

F1L1_carry_eqn = F1L4;
F1L1 = F1_loc[9] $ (!F1L1_carry_eqn);


--F1L45 is target:drawtarget|LessThan~1035
--operation mode is arithmetic

F1L45 = CARRY(H1_hcnt[8] & F1L3 & !F1L85 # !H1_hcnt[8] & (F1L3 # !F1L85));


--F1L2 is target:drawtarget|add~644
--operation mode is normal

F1L2_carry_eqn = F1L6;
F1L2 = F1_loc[9] $ (F1L2_carry_eqn);


--F1L65 is target:drawtarget|LessThan~1040
--operation mode is arithmetic

F1L65 = CARRY(F1L5 & H1_hcnt[8] & !F1L06 # !F1L5 & (H1_hcnt[8] # !F1L06));


--D1L1 is ball:drawball|add~2489
--operation mode is normal

D1L1_carry_eqn = D1L41;
D1L1 = D1_ball_y[9] $ (D1L1_carry_eqn);


--D1L713 is ball:drawball|LessThan~1992
--operation mode is arithmetic

D1L713 = CARRY(D1L31 & H1_vcnt[8] & !D1L143 # !D1L31 & (H1_vcnt[8] # !D1L143));


--D1L2 is ball:drawball|add~2494
--operation mode is normal

D1L2_carry_eqn = D1L61;
D1L2 = D1_ball_y[9] $ (!D1L2_carry_eqn);


--D1L913 is ball:drawball|LessThan~1997
--operation mode is arithmetic

D1L913 = CARRY(H1_vcnt[8] & D1L51 & !D1L343 # !H1_vcnt[8] & (D1L51 # !D1L343));


--D1L3 is ball:drawball|add~2499
--operation mode is normal

D1L3_carry_eqn = D1L81;
D1L3 = D1_ball_x[9] $ (!D1L3_carry_eqn);


--D1L123 is ball:drawball|LessThan~2002
--operation mode is arithmetic

D1L123 = CARRY(H1_hcnt[8] & D1L71 & !D1L543 # !H1_hcnt[8] & (D1L71 # !D1L543));


--D1L4 is ball:drawball|add~2504
--operation mode is normal

D1L4_carry_eqn = D1L02;
D1L4 = D1_ball_x[9] $ (D1L4_carry_eqn);


--D1L323 is ball:drawball|LessThan~2007
--operation mode is arithmetic

D1L323 = CARRY(D1L91 & H1_hcnt[8] & !D1L743 # !D1L91 & (H1_hcnt[8] # !D1L743));


--D1L5 is ball:drawball|add~2509
--operation mode is normal

D1L5_carry_eqn = D1L22;
D1L5 = D1_ball_y[9] $ (D1L5_carry_eqn);


--D1L523 is ball:drawball|LessThan~2012
--operation mode is arithmetic

D1L523 = CARRY(D1L12 & H1_vcnt[8] & !D1L943 # !D1L12 & (H1_vcnt[8] # !D1L943));


--D1L6 is ball:drawball|add~2514
--operation mode is normal

D1L6_carry_eqn = D1L42;
D1L6 = D1_ball_y[9] $ (!D1L6_carry_eqn);


--D1L723 is ball:drawball|LessThan~2017
--operation mode is arithmetic

D1L723 = CARRY(H1_vcnt[8] & D1L32 & !D1L153 # !H1_vcnt[8] & (D1L32 # !D1L153));


--D1L7 is ball:drawball|add~2519
--operation mode is normal

D1L7_carry_eqn = D1L62;
D1L7 = D1_ball_x[9] $ (!D1L7_carry_eqn);


--D1L923 is ball:drawball|LessThan~2022
--operation mode is arithmetic

D1L923 = CARRY(H1_hcnt[8] & D1L52 & !D1L353 # !H1_hcnt[8] & (D1L52 # !D1L353));


--D1L8 is ball:drawball|add~2524
--operation mode is normal

D1L8_carry_eqn = D1L82;
D1L8 = D1_ball_x[9] $ (D1L8_carry_eqn);


--D1L133 is ball:drawball|LessThan~2027
--operation mode is arithmetic

D1L133 = CARRY(D1L72 & H1_hcnt[8] & !D1L553 # !D1L72 & (H1_hcnt[8] # !D1L553));


--D1L9 is ball:drawball|add~2529
--operation mode is normal

D1L9_carry_eqn = D1L03;
D1L9 = D1_ball_y[9] $ (!D1L9_carry_eqn);


--D1L333 is ball:drawball|LessThan~2032
--operation mode is arithmetic

D1L333 = CARRY(D1L92 & H1_vcnt[8] & !D1L753 # !D1L92 & (H1_vcnt[8] # !D1L753));


--D1L01 is ball:drawball|add~2534
--operation mode is normal

D1L01_carry_eqn = D1L23;
D1L01 = D1_ball_y[9] $ (D1L01_carry_eqn);


--D1L533 is ball:drawball|LessThan~2037
--operation mode is arithmetic

D1L533 = CARRY(H1_vcnt[8] & D1L13 & !D1L953 # !H1_vcnt[8] & (D1L13 # !D1L953));


--D1L11 is ball:drawball|add~2539
--operation mode is normal

D1L11_carry_eqn = D1L43;
D1L11 = D1_ball_x[9] $ (D1L11_carry_eqn);


--D1L733 is ball:drawball|LessThan~2042
--operation mode is arithmetic

D1L733 = CARRY(H1_hcnt[8] & D1L33 & !D1L163 # !H1_hcnt[8] & (D1L33 # !D1L163));


--D1L21 is ball:drawball|add~2544
--operation mode is normal

D1L21_carry_eqn = D1L63;
D1L21 = D1_ball_x[9] $ (!D1L21_carry_eqn);


--D1L933 is ball:drawball|LessThan~2047
--operation mode is arithmetic

D1L933 = CARRY(D1L53 & H1_hcnt[8] & !D1L363 # !D1L53 & (H1_hcnt[8] # !D1L363));


--E1L1 is board:drawboard|add~255
--operation mode is normal

E1L1_carry_eqn = E1L4;
E1L1 = G1_mousex[9] $ (!E1L1_carry_eqn);


--E1L83 is board:drawboard|LessThan~474
--operation mode is arithmetic

E1L83 = CARRY(E1L3 & H1_hcnt[8] & !E1L24 # !E1L3 & (H1_hcnt[8] # !E1L24));


--E1L2 is board:drawboard|add~260
--operation mode is normal

E1L2_carry_eqn = E1L6;
E1L2 = G1_mousex[9] $ (E1L2_carry_eqn);


--E1L04 is board:drawboard|LessThan~479
--operation mode is arithmetic

E1L04 = CARRY(H1_hcnt[8] & E1L5 & !E1L44 # !H1_hcnt[8] & (E1L5 # !E1L44));


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

G1_m2_state.m2_hold_clk_l_lut_out = G1_m2_state.m2_hold_clk_l & G1L021 # !G1_m2_state.m2_reset;
G1_m2_state.m2_hold_clk_l = DFFEAS(G1_m2_state.m2_hold_clk_l_lut_out, B1_count[6], resn, , , , , , );


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

G1_m2_state.m2_data_low_1_lut_out = G1_m2_state.m2_hold_clk_l & (G1_m2_state.m2_data_low_1 & !G1L16 # !G1L021) # !G1_m2_state.m2_hold_clk_l & G1_m2_state.m2_data_low_1 & (!G1L16);
G1_m2_state.m2_data_low_1 = DFFEAS(G1_m2_state.m2_data_low_1_lut_out, B1_count[6], resn, , , , , , );


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

G1_m2_state.m2_data_low_2_lut_out = G1_m2_state.m2_data_high_1 & (G1L26 # G1_m2_state.m2_data_low_2 & !G1L36) # !G1_m2_state.m2_data_high_1 & (G1_m2_state.m2_data_low_2 & !G1L36);
G1_m2_state.m2_data_low_2 = DFFEAS(G1_m2_state.m2_data_low_2_lut_out, B1_count[6], resn, , , , , , );


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

G1_m2_state.m2_data_low_3_lut_out = G1_m2_state.m2_data_high_2 & (G1L46 # G1_m2_state.m2_data_low_3 & !G1_m1_state.m1_falling_edge) # !G1_m2_state.m2_data_high_2 & (G1_m2_state.m2_data_low_3 & !G1_m1_state.m1_falling_edge);
G1_m2_state.m2_data_low_3 = DFFEAS(G1_m2_state.m2_data_low_3_lut_out, B1_count[6], resn, , , , , , );


--G1L121 is mouse:mousedata|reduce_or~44
--operation mode is normal

G1L121 = !G1_m2_state.m2_data_low_1 & !G1_m2_state.m2_data_low_2 & !G1_m2_state.m2_data_low_3;


--F1_loc[9] is target:drawtarget|loc[9]
--operation mode is normal

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


--F1L3 is target:drawtarget|add~649
--operation mode is arithmetic

F1L3_carry_eqn = F1L8;
F1L3 = F1_loc[8] $ (F1L3_carry_eqn);

--F1L4 is target:drawtarget|add~651
--operation mode is arithmetic

F1L4 = CARRY(F1_loc[8] # !F1L8);


--F1L85 is target:drawtarget|LessThan~1045
--operation mode is arithmetic

F1L85 = CARRY(H1_hcnt[7] & (!F1L26 # !F1L7) # !H1_hcnt[7] & !F1L7 & !F1L26);


--F1L5 is target:drawtarget|add~654
--operation mode is arithmetic

F1L5_carry_eqn = F1L01;
F1L5 = F1_loc[8] $ (!F1L5_carry_eqn);

--F1L6 is target:drawtarget|add~656
--operation mode is arithmetic

F1L6 = CARRY(F1_loc[8] & (!F1L01));


--F1L06 is target:drawtarget|LessThan~1050
--operation mode is arithmetic

F1L06 = CARRY(F1L9 & (!F1L46 # !H1_hcnt[7]) # !F1L9 & !H1_hcnt[7] & !F1L46);


--D1_ball_y[9] is ball:drawball|ball_y[9]
--operation mode is normal

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


--D1L31 is ball:drawball|add~2549
--operation mode is arithmetic

D1L31_carry_eqn = D1L83;
D1L31 = D1_ball_y[8] $ (!D1L31_carry_eqn);

--D1L41 is ball:drawball|add~2551
--operation mode is arithmetic

D1L41 = CARRY(D1_ball_y[8] & (!D1L83));


--D1L143 is ball:drawball|LessThan~2052
--operation mode is arithmetic

D1L143 = CARRY(D1L73 & (!D1L563 # !H1_vcnt[7]) # !D1L73 & !H1_vcnt[7] & !D1L563);


--D1L51 is ball:drawball|add~2554
--operation mode is arithmetic

D1L51_carry_eqn = D1L04;