ep2c5q208.fit.eqn

几个SPI

M1L56 = !M1_Hcnt[6] & !M1_Hcnt[5];


--M1L51 is VGA:inst10|LessThan~776 at LCCOMB_X19_Y1_N2
M1L51 = M1_Hcnt[9] & M1_Hcnt[8] & (M1_Hcnt[7] # !M1L56);


--M1L37 is VGA:inst10|Hcnt[6]~258 at LCCOMB_X19_Y1_N24
M1L37 = M1_Hcnt[6] & (M1L35 $ GND) # !M1_Hcnt[6] & !M1L35 & VCC;

--M1L38 is VGA:inst10|Hcnt[6]~259 at LCCOMB_X19_Y1_N24
M1L38 = CARRY(M1_Hcnt[6] & !M1L35);


--M1L40 is VGA:inst10|Hcnt[7]~260 at LCCOMB_X19_Y1_N26
M1L40 = M1_Hcnt[7] & !M1L38 # !M1_Hcnt[7] & (M1L38 # GND);

--M1L41 is VGA:inst10|Hcnt[7]~261 at LCCOMB_X19_Y1_N26
M1L41 = CARRY(!M1L38 # !M1_Hcnt[7]);


--B1_\CLK1uS:Count2[8] is Frequency:inst|\CLK1uS:Count2[8] at LCFF_X18_Y4_N23
B1_\CLK1uS:Count2[8] = DFFEAS(B1L57, GLOBAL(B1L31),  ,  ,  ,  ,  , B1L108,  );


--M1L9 is VGA:inst10|Count[1]~10 at LCCOMB_X18_Y1_N26
M1L9 = M1_Count[1] $ M1_Count[0];


--M1L11 is VGA:inst10|Count[2]~11 at LCCOMB_X18_Y1_N30
M1L11 = M1_Count[2] $ (M1_Count[0] & M1_Count[1]);


--E1_S_row is KeyBoard:inst3|S_row at LCFF_X21_Y6_N13
E1_S_row = DFFEAS(E1L3, E1_clk4, RESET,  ,  ,  ,  ,  ,  );


--E1L36 is KeyBoard:inst3|next_state[0]~1079 at LCCOMB_X22_Y9_N14
E1L36 = !E1_state[1] & !E1_state[2] & !E1_state[4] & !E1_state[5];


--E1L37 is KeyBoard:inst3|next_state[0]~1080 at LCCOMB_X22_Y9_N2
E1L37 = E1_state[0] & (!E1L36 & E1_state[3]) # !E1_state[0] & (E1_state[3] # !E1L36 # !E1_S_row);


--E1L57 is KeyBoard:inst3|valid~350 at LCCOMB_X21_Y6_N2
E1L57 = ROW[1] & ROW[0] & ROW[2] & ROW[3];


--E1L38 is KeyBoard:inst3|next_state[0]~1081 at LCCOMB_X22_Y11_N8
E1L38 = E1_state[2] # E1L57 # E1_state[5] $ !E1_state[4];


--E1L21 is KeyBoard:inst3|col[3]~372 at LCCOMB_X22_Y11_N12
E1L21 = !E1_state[5] & !E1_state[4];


--E1L39 is KeyBoard:inst3|next_state[0]~1082 at LCCOMB_X22_Y11_N18
E1L39 = E1L21 & E1L38 & (E1_state[2] $ !E1_state[1]) # !E1L21 & (E1L38 # E1_state[2] $ E1_state[1]);


--E1L40 is KeyBoard:inst3|next_state[0]~1083 at LCCOMB_X22_Y9_N16
E1L40 = !E1L37 & (E1_state[3] # !E1_state[0] # !E1L39);


--E1_clk4 is KeyBoard:inst3|clk4 at LCFF_X21_Y6_N25
E1_clk4 = DFFEAS(E1L7, E1_clk2,  ,  ,  ,  ,  ,  ,  );


--E1L41 is KeyBoard:inst3|next_state[1]~1084 at LCCOMB_X22_Y9_N10
E1L41 = !E1_state[0] & E1_S_row & E1L36 & !E1_state[3];


--E1L42 is KeyBoard:inst3|next_state[2]~1085 at LCCOMB_X22_Y11_N28
E1L42 = E1L21 & E1L57 & E1_state[0] & !E1_state[3];


--E1L43 is KeyBoard:inst3|next_state[2]~1086 at LCCOMB_X22_Y9_N0
E1L43 = E1L42 & !E1_state[2] & E1_state[1];


--E1L44 is KeyBoard:inst3|next_state[3]~1087 at LCCOMB_X22_Y9_N28
E1L44 = E1_state[2] & E1L42 & !E1_state[1];


--E1L45 is KeyBoard:inst3|next_state[4]~1088 at LCCOMB_X22_Y9_N4
E1L45 = E1_state[0] & E1_state[3] & E1L36 & E1L57;


--E1L46 is KeyBoard:inst3|next_state[5]~1089 at LCCOMB_X21_Y6_N8
E1L46 = E1_state[0] & !E1L57;


--E1L47 is KeyBoard:inst3|next_state[5]~1090 at LCCOMB_X24_Y11_N16
E1L47 = E1_state[5] & !E1_state[4] & !E1_state[1] & !E1_state[2] # !E1_state[5] & (E1_state[4] & !E1_state[1] & !E1_state[2] # !E1_state[4] & (E1_state[1] $ E1_state[2]));


--E1L48 is KeyBoard:inst3|next_state[5]~1091 at LCCOMB_X24_Y11_N4
E1L48 = E1_state[5] & (E1_state[4] # E1_state[1] # E1_state[2]) # !E1_state[5] & (E1_state[4] & (E1_state[1] # E1_state[2]) # !E1_state[4] & E1_state[1] & E1_state[2]);


--E1L49 is KeyBoard:inst3|next_state[5]~1092 at LCCOMB_X22_Y9_N18
E1L49 = E1L46 & (E1L48 & E1L47 & E1_state[3] # !E1L48 & (E1L47 $ E1_state[3]));


--G1L55 is LED:inst5|Refresh[2]~10 at LCCOMB_X13_Y7_N14
G1L55 = G1_Refresh[2] $ (G1_Refresh[0] & G1_Refresh[1]);


--G1L53 is LED:inst5|Refresh[1]~11 at LCCOMB_X13_Y7_N28
G1L53 = G1_Refresh[1] $ G1_Refresh[0];


--N1_flag[2] is Light:inst11|flag[2] at LCFF_X27_Y1_N29
N1_flag[2] = DFFEAS(N1L37, N1L8,  ,  ,  ,  ,  ,  ,  );


--N1_flag[1] is Light:inst11|flag[1] at LCFF_X27_Y1_N13
N1_flag[1] = DFFEAS(N1L39, N1L8,  ,  ,  ,  ,  ,  ,  );


--N1_flag[0] is Light:inst11|flag[0] at LCFF_X27_Y1_N1
N1_flag[0] = DFFEAS(N1L34, N1L8,  ,  ,  ,  ,  ,  ,  );


--A1L92 is rtl~1970 at LCCOMB_X27_Y1_N26
A1L92 = N1_flag[1] & !N1_flag[0] & N1_light[6] & !N1_flag[2] # !N1_flag[1] & (N1_light[6] & !N1_flag[2] # !N1_flag[0]);


--N1_clk1 is Light:inst11|clk1 at LCFF_X25_Y1_N23
N1_clk1 = DFFEAS(N1L4, GLOBAL(B1L31),  ,  ,  ,  ,  , N1L41,  );


--N1_clk2 is Light:inst11|clk2 at LCFF_X25_Y1_N31
N1_clk2 = DFFEAS(N1L7, N1_clk1,  ,  ,  ,  ,  ,  ,  );


--N1_banner is Light:inst11|banner at LCFF_X26_Y1_N13
N1_banner = DFFEAS(N1L2, N1L8,  ,  ,  ,  ,  ,  ,  );


--N1L8 is Light:inst11|clk~10 at LCCOMB_X26_Y1_N30
N1L8 = N1_banner & (N1_clk1) # !N1_banner & N1_clk2;


--N1L51 is Light:inst11|light[6]~1022 at LCCOMB_X27_Y1_N14
N1L51 = !N1_flag[1] # !N1_flag[2];


--N1L52 is Light:inst11|light[6]~1023 at LCCOMB_X27_Y1_N30
N1L52 = !N1_flag[1] & !N1_flag[0] # !N1_flag[2];


--N1L54 is Light:inst11|light~1024 at LCCOMB_X27_Y1_N8
N1L54 = N1_flag[1] & (N1_flag[2] # !N1_flag[0]) # !N1_flag[1] & N1_flag[0];


--N1L55 is Light:inst11|light~1025 at LCCOMB_X27_Y1_N20
N1L55 = N1L52 & (N1L54 & N1_light[5] # !N1L54 & (N1_light[7]));


--N1L56 is Light:inst11|light~1026 at LCCOMB_X27_Y1_N24
N1L56 = N1L52 & (N1L54 & (N1_light[4]) # !N1L54 & N1_light[6]);


--A1L93 is rtl~1971 at LCCOMB_X26_Y1_N22
A1L93 = N1_flag[1] & (N1_flag[2]) # !N1_flag[1] & N1_light[3] & !N1_flag[2];


--A1L94 is rtl~1972 at LCCOMB_X26_Y1_N26
A1L94 = N1_flag[1] & !A1L93 & (N1_light[5] # !N1_flag[0]) # !N1_flag[1] & (N1_flag[0] & A1L93 # !N1_flag[0] & (N1_light[5]));


--A1L95 is rtl~1973 at LCCOMB_X26_Y1_N10
A1L95 = N1_flag[1] & (!N1_flag[2]) # !N1_flag[1] & (N1_light[4] # N1_flag[2]);


--A1L96 is rtl~1974 at LCCOMB_X26_Y1_N0
A1L96 = N1_flag[0] & (!N1_flag[2] & N1_light[2]) # !N1_flag[0] & A1L95;


--A1L97 is rtl~1975 at LCCOMB_X27_Y1_N18
A1L97 = N1_flag[0] & !N1_flag[2];


--N1L45 is Light:inst11|light[1]~1027 at LCCOMB_X27_Y1_N16
N1L45 = !N1_flag[0] & (!N1_flag[2] # !N1_flag[1]);


--N1L57 is Light:inst11|light~1028 at LCCOMB_X27_Y1_N4
N1L57 = N1L45 & (N1_light[3]) # !N1L45 & N1_light[1] & (A1L97);


--N1L58 is Light:inst11|light~1029 at LCCOMB_X27_Y1_N22
N1L58 = N1L45 & (N1_light[2]) # !N1L45 & N1_light[0] & (A1L97);


--A1L98 is rtl~1976 at LCCOMB_X27_Y1_N6
A1L98 = !N1_flag[0] & N1_light[1] & (!N1_flag[2] # !N1_flag[1]);


--D1L195 is LCD1602:inst2|Mux~1460 at LCCOMB_X10_Y6_N30
D1L195 = D1_State[3] & !D1_State[0] & !D1_State[1] & !D1_State[2];


--D1L196 is LCD1602:inst2|Mux~1461 at LCCOMB_X10_Y6_N2
D1L196 = !D1_State[3] & D1_State[0] & !D1_State[1] & D1_State[2];


--D1L197 is LCD1602:inst2|Mux~1462 at LCCOMB_X10_Y6_N10
D1L197 = !D1_State[3] & !D1_State[0] & D1_State[1] & D1_State[2];


--D1L198 is LCD1602:inst2|Mux~1463 at LCCOMB_X10_Y6_N28
D1L198 = !D1_State[3] & D1_State[0] & D1_State[1] & D1_State[2];


--D1L199 is LCD1602:inst2|Mux~1464 at LCCOMB_X10_Y6_N6
D1L199 = D1_State[3] & !D1_State[0] & D1_State[1] & !D1_State[2];


--D1L200 is LCD1602:inst2|Mux~1465 at LCCOMB_X10_Y6_N22
D1L200 = !D1_State[3] & D1_State[0] & D1_State[1] & !D1_State[2];


--D1L201 is LCD1602:inst2|Mux~1466 at LCCOMB_X10_Y6_N4
D1L201 = !D1_State[3] & !D1_State[0] & D1_State[1] & !D1_State[2];


--D1L202 is LCD1602:inst2|Mux~1467 at LCCOMB_X10_Y6_N24
D1L202 = !D1_State[3] & D1_State[0] & !D1_State[1] & !D1_State[2];


--D1L41 is LCD1602:inst2|LCD_DATA~6939 at LCCOMB_X12_Y6_N2
D1L41 = !D1L200 & !D1L202 & !D1L201;


--D1L5 is LCD1602:inst2|CHAR_ADD~292 at LCCOMB_X15_Y5_N26
D1L5 = !D1_Counter[6] & D1L199 & !D1_Counter[5];


--D1L42 is LCD1602:inst2|LCD_DATA~6940 at LCCOMB_X12_Y5_N20
D1L42 = D1_Counter[2] & D1L5 & D1_Counter[1];


--D1L43 is LCD1602:inst2|LCD_DATA~6941 at LCCOMB_X15_Y5_N22
D1L43 = !D1_Counter[6] & D1_Counter[4] & D1L199 & !D1_Counter[5];


--D1L44 is LCD1602:inst2|LCD_DATA~6942 at LCCOMB_X15_Y5_N2
D1L44 = P1_LCD_ARRAY[3][6] # D1L43;


--D1L3 is LCD1602:inst2|CHAR_ADD[1]~293 at LCCOMB_X15_Y5_N24
D1L3 = !D1_Counter[6] & D1_Counter[1] & D1L199 & !D1_Counter[5];


--D1L45 is LCD1602:inst2|LCD_DATA~6943 at LCCOMB_X12_Y5_N24
D1L45 = D1L3 & !D1_Counter[2] # !D1L3 & (!D1_Counter[4]) # !D1L5;


--D1L46 is LCD1602:inst2|LCD_DATA~6944 at LCCOMB_X12_Y5_N14
D1L46 = D1L5 & D1_Counter[1] & (D1_Counter[4] # !D1_Counter[2]);


--D1L47 is LCD1602:inst2|LCD_DATA~6945 at LCCOMB_X21_Y10_N2
D1L47 = D1L46 & D1L44 & (D1L45) # !D1L46 & (P1_LCD_ARRAY[1][6] # !D1L45);


--D1L48 is LCD1602:inst2|LCD_DATA~6946 at LCCOMB_X21_Y10_N4
D1L48 = D1L42 & (D1L47 & P1_LCD_ARRAY[7][6] # !D1L47 & (P1_LCD_ARRAY[23][6])) # !D1L42 & (D1L47);


--D1L49 is LCD1602:inst2|LCD_DATA~6947 at LCCOMB_X15_Y5_N4
D1L49 = D1_Counter[2] & D1L5 & !D1_Counter[1];


--D1L50 is LCD1602:inst2|LCD_DATA~6948 at LCCOMB_X15_Y6_N28
D1L50 = D1L49 & !D1L43 & P1_LCD_ARRAY[5][6] # !D1L49 & (D1L48);


--D1L4 is LCD1602:inst2|CHAR_ADD[2]~294 at LCCOMB_X15_Y5_N0
D1L4 = D1_Counter[2] & !D1_Counter[5] & D1L199 & !D1_Counter[6];


--D1L51 is LCD1602:inst2|LCD_DATA~6949 at LCCOMB_X15_Y7_N2
D1L51 = P1_LCD_ARRAY[13][6] & D1L4;


--D1L2 is LCD1602:inst2|CHAR_ADD[0]~295 at LCCOMB_X15_Y5_N20
D1L2 = !D1_Counter[6] & D1_Counter[0] & D1L199 & !D1_Counter[5];


--D1L52 is LCD1602:inst2|LCD_DATA~6950 at LCCOMB_X12_Y7_N10
D1L52 = !D1L43 & (D1L2 # !D1L4);


--D1L53 is LCD1602:inst2|LCD_DATA~6951 at LCCOMB_X22_Y7_N18
D1L53 = D1L2 & (D1L51 # !D1L52) # !D1L2 & P1_LCD_ARRAY[8][6] & (D1L52);


--D1L54 is LCD1602:inst2|LCD_DATA~6952 at LCCOMB_X12_Y5_N2
D1L54 = D1_Counter[3] & D1L5 & (D1_Counter[0] # !D1_Counter[1]);


--D1L55 is LCD1602:inst2|LCD_DATA~6953 at LCCOMB_X17_Y6_N14
D1L55 = D1L5 & (D1_Counter[2] & (D1_Counter[4]) # !D1_Counter[2] & P1_LCD_ARRAY[10][6] & !D1_Counter[4]) # !D1L5 & (P1_LCD_ARRAY[10][6]);


--D1L56 is LCD1602:inst2|LCD_DATA~6954 at LCCOMB_X12_Y5_N8
D1L56 = D1L3 & D1_Counter[3];


--D1L57 is LCD1602:inst2|LCD_DATA~6955 at LCCOMB_X17_Y5_N20
D1L57 = !D1L3 & (D1L4 # !D1L43);


--D1L58 is LCD1602:inst2|LCD_DATA~6956 at LCCOMB_X15_Y5_N14
D1L58 = D1L4 & (P1_LCD_ARRAY[4][6]) # !D1L4 & P1_LCD_ARRAY[0][6];


--D1L59 is LCD1602:inst2|LCD_DATA~6957 at LCCOMB_X17_Y6_N16
D1L59 = D1L56 & (D1L55 # D1L54) # !D1L56 & D1L184 & (!D1L54);


--D1L60 is LCD1602:inst2|LCD_DATA~6958 at LCCOMB_X17_Y6_N18
D1L60 = D1L5 & (D1_Counter[2] & (D1_Counter[4]) # !D1_Counter[2] & P1_LCD_ARRAY[11][6] & !D1_Counter[4]) # !D1L5 & P1_LCD_ARRAY[11][6];


--D1L61 is LCD1602:inst2|LCD_DATA~6959 at LCCOMB_X17_Y6_N8
D1L61 = D1L59 & (D1L60 # !D1L54) # !D1L59 & D1L186 & (D1L54);


--D1L62 is LCD1602:inst2|LCD_DATA~6960 at LCCOMB_X12_Y6_N14
D1L62 = !D1L165 & (D1_Counter[3] # !D1L5 # !D1_Counter[0]);


--D1L63 is LCD1602:inst2|LCD_DATA~6961 at LCCOMB_X12_Y6_N0
D1L63 = D1_Counter[0] & !D1_Counter[3] & D1L5 & !D1L165;


--D1L64 is LCD1602:inst2|LCD_DATA~6962 at LCCOMB_X12_Y6_N6
D1L64 = D1L61 & (D1L62 # D1L50 & D1L63) # !D1L61 & D1L50 & (D1L63);


--A1L99 is rtl~1977 at LCCOMB_X12_Y5_N22
A1L99 = !D1_Counter[2] & !D1_Counter[4];


--D1L65 is LCD1602:inst2|LCD_DATA~6963 at LCCOMB_X12_Y5_N0
D1L65 = !D1_Counter[3] & A1L99 & !D1_Counter[1] & !D1_Counter[0];


--D1L66 is LCD1602:inst2|LCD_DATA~6964 at LCCOMB_X10_Y6_N0
D1L66 = D1L198 # D1L195 & (!A1L86 # !D1L65);


--D1L67 is LCD1602:inst2|LCD_DATA~6965 at LCCOMB_X10_Y6_N18
D1L67 = !D1L197 & D1L66 & D1L165 & !D1L196;


--D1L68 is LCD1602:inst2|LCD_DATA~6966 at LCCOMB_X12_Y6_N8
D1L68 = D1L41 & (D1L64 # D1L67);


--D1L69 is LCD1602:inst2|LCD_DATA~6967 at LCCOMB_X17_Y6_N6
D1L69 = D1L5 & (D1_Counter[2] & (!D1_Counter[4]) # !D1_Counter[2] & (P1_LCD_ARRAY[10][5] # D1_Counter[4])) # !D1L5 & P1_LCD_ARRAY[10][5];


--D1L70 is LCD1602:inst2|LCD_DATA~6968 at LCCOMB_X15_Y7_N12
D1L70 = P1_LCD_ARRAY[13][5] # !D1L4;


--D1L71 is LCD1602:inst2|LCD_DATA~6969 at LCCOMB_X15_Y7_N6
D1L71 = D1L52 & (D1L2 & (D1L70) # !D1L2 & P1_LCD_ARRAY[8][5]) # !D1L52 & (!D1L2);


--D1L72 is LCD1602:inst2|LCD_DATA~6970 at LCCOMB_X15_Y5_N16
D1L72 = P1_LCD_ARRAY[2][5] # D1L43;


--D1L73 is LCD1602:inst2|LCD_DATA~6971 at LCCOMB_X18_Y5_N28
D1L73 = P1_LCD_ARRAY[22][5] # !D1L43;


--D1L74 is LCD1602:inst2|LCD_DATA~6972 at LCCOMB_X18_Y5_N22