ep2c5q208.map.eqn

有關於EP2C的一些程序(EX:I2C,FLASH,IRDA,MUSIC,LED,LIGHT,SRAM,UART,PS2,SPI )

--Q1L99 is SPI:inst16|Mux~1008
Q1L99 = Q1_\process3:Count[1] & (Q1_\process3:Count[0] & Q1_DataIN[7] # !Q1_\process3:Count[0] & (Q1_DataIN[6])) # !Q1_\process3:Count[1] & (Q1_\process3:Count[0]);


--Q1L100 is SPI:inst16|Mux~1009
Q1L100 = Q1_\process3:Count[1] & (Q1L99) # !Q1_\process3:Count[1] & (Q1L99 & (Q1_DataIN[9]) # !Q1L99 & Q1_DataIN[8]);


--Q1_\process3:Count[3] is SPI:inst16|\process3:Count[3]
Q1_\process3:Count[3] = DFFEAS(Q1L8, !B1_Period1uS, !Q1L116,  ,  ,  ,  ,  ,  );


--Q1L101 is SPI:inst16|Mux~1010
Q1L101 = Q1_\process3:Count[1] & (Q1_\process3:Count[0] & Q1_DataIN[3] # !Q1_\process3:Count[0] & (Q1_DataIN[2])) # !Q1_\process3:Count[1] & (Q1_\process3:Count[0]);


--Q1L102 is SPI:inst16|Mux~1011
Q1L102 = Q1_\process3:Count[1] & (Q1L101) # !Q1_\process3:Count[1] & (Q1L101 & (Q1_DataIN[5]) # !Q1L101 & Q1_DataIN[4]);


--Q1_\process3:Count[2] is SPI:inst16|\process3:Count[2]
Q1_\process3:Count[2] = DFFEAS(Q1L6, !B1_Period1uS, !Q1L116,  ,  ,  ,  ,  ,  );


--Q1L103 is SPI:inst16|Mux~1012
Q1L103 = !Q1_\process3:Count[1] & (Q1_\process3:Count[0] & Q1_DataIN[1] # !Q1_\process3:Count[0] & (Q1_DataIN[0]));


--Q1L104 is SPI:inst16|Mux~1013
Q1L104 = Q1_\process3:Count[3] & (Q1_\process3:Count[2] & Q1L102 # !Q1_\process3:Count[2] & (Q1L103)) # !Q1_\process3:Count[3] & (Q1_\process3:Count[2]);


--Q1L105 is SPI:inst16|Mux~1014
Q1L105 = Q1_\process3:Count[1] & (Q1_\process3:Count[0] & Q1_DataIN[11] # !Q1_\process3:Count[0] & (Q1_DataIN[10])) # !Q1_\process3:Count[1] & (Q1_\process3:Count[0]);


--Q1L106 is SPI:inst16|Mux~1015
Q1L106 = Q1_\process3:Count[1] & (Q1L105) # !Q1_\process3:Count[1] & (Q1L105 & (Q1_DataIN[13]) # !Q1L105 & Q1_DataIN[12]);


--Q1L107 is SPI:inst16|Mux~1016
Q1L107 = Q1_\process3:Count[3] & (Q1L104) # !Q1_\process3:Count[3] & (Q1L104 & (Q1L106) # !Q1L104 & Q1L100);


--Q1L108 is SPI:inst16|Mux~1017
Q1L108 = Q1_\process3:Count[0] & (Q1_Address[5] # !Q1_\process3:Count[2]) # !Q1_\process3:Count[0] & (Q1_Address[4] & Q1_\process3:Count[2]);


--Q1L109 is SPI:inst16|Mux~1018
Q1L109 = Q1_\process3:Count[3] & Q1_DataIN[15] # !Q1_\process3:Count[3] & (Q1_Address[7]);


--Q1L110 is SPI:inst16|Mux~1019
Q1L110 = Q1_\process3:Count[3] & Q1_DataIN[14] # !Q1_\process3:Count[3] & (Q1_Address[6]);


--Q1L111 is SPI:inst16|Mux~1020
Q1L111 = Q1_\process3:Count[1] & (Q1L108 & Q1L109 # !Q1L108 & (Q1L110)) # !Q1_\process3:Count[1] & Q1L108;


--Q1L112 is SPI:inst16|Mux~1021
Q1L112 = Q1_\process3:Count[3] & Q1L111 & (Q1_\process3:Count[2] $ Q1_\process3:Count[1]) # !Q1_\process3:Count[3] & !Q1_\process3:Count[2] & (Q1_\process3:Count[1] $ !Q1L111);


--Q1_\process3:Count[4] is SPI:inst16|\process3:Count[4]
Q1_\process3:Count[4] = DFFEAS(Q1L10, !B1_Period1uS, !Q1L116,  ,  ,  ,  ,  ,  );


--Q1L113 is SPI:inst16|Mux~1022
Q1L113 = Q1_\process3:Count[4] & Q1L107 # !Q1_\process3:Count[4] & (Q1L112);


--Q1L95 is SPI:inst16|LessThan~145
Q1L95 = Q1_\process3:Count[1] & Q1_\process3:Count[3] & !Q1_\process3:Count[2];


--Q1L96 is SPI:inst16|LessThan~146
Q1L96 = Q1_\process3:Count[0] # !Q1L95 # !Q1_\process3:Count[4];


--Q1L135 is SPI:inst16|SSEL~73
Q1L135 = Q1_Address[5] & (Q1_\process3:Count[4] # Q1L95) # !Q1_Address[5] & !Q1_Address[6] & (Q1_\process3:Count[4] # Q1L95);


--Q1L98 is SPI:inst16|MOSI~625
Q1L98 = Q1L96 & (Q1L113 & !Q1L135) # !Q1L96 & Q1_MOSI;


--Q1L22Q is SPI:inst16|Count[1]~650
Q1L22Q = DFFEAS(Q1L24, B1_\CLK1uS:Count1[9], !Q1L25,  ,  ,  ,  ,  ,  );


--P1L5Q is Operation:inst13|\process5:Count[1]~193
P1L5Q = DFFEAS(P1L7, B1_Period1uS, !P1L8,  ,  ,  ,  ,  ,  );


--P1L188 is Operation:inst13|KeyFlagValid1~16
P1L188 = !SW[4] # !P1_KeyFlag;


--P1L6 is Operation:inst13|\process5:Count[1]~194
P1L6 = P1L188 & (P1L5Q $ P1L4) # !RESET;


--P1L1Q is Operation:inst13|\process5:Count[0]~101
P1L1Q = DFFEAS(P1L3, B1_Period1uS, !P1L8,  ,  ,  ,  ,  ,  );


--P1L2 is Operation:inst13|\process5:Count[0]~102
P1L2 = P1L188 & (P1L4 $ P1L1Q) # !RESET;


--Q1L17 is SPI:inst16|comb~37
Q1L17 = RESET & P1L6 & !P1L2;


--Q1L23 is SPI:inst16|Count[1]~651
Q1L23 = !Q1L17 & (Q1L22Q $ Q1L21) # !RESET;


--Q1L18Q is SPI:inst16|Count[0]~652
Q1L18Q = DFFEAS(Q1L20, B1_\CLK1uS:Count1[9], !Q1L25,  ,  ,  ,  ,  ,  );


--Q1L19 is SPI:inst16|Count[0]~653
Q1L19 = !Q1L17 & (Q1L21 $ Q1L18Q) # !RESET;


--Q1L116 is SPI:inst16|process2~0
Q1L116 = Q1L23 & !Q1L19 # !RESET;


--Q1L76 is SPI:inst16|Decoder~503
Q1L76 = Q1_Address[7] & !Q1_Address[6];


--B1_\CLK1uS:Count[4] is Frequency:inst|\CLK1uS:Count[4]
B1_\CLK1uS:Count[4] = DFFEAS(B1L78, GCLKP1,  ,  ,  ,  ,  , B1L103,  );


--B1_\CLK1uS:Count[3] is Frequency:inst|\CLK1uS:Count[3]
B1_\CLK1uS:Count[3] = DFFEAS(B1L75, GCLKP1,  ,  ,  ,  ,  , B1L103,  );


--B1_\CLK1uS:Count[2] is Frequency:inst|\CLK1uS:Count[2]
B1_\CLK1uS:Count[2] = DFFEAS(B1L72, GCLKP1,  ,  ,  ,  ,  , B1L103,  );


--B1_\CLK1uS:Count[1] is Frequency:inst|\CLK1uS:Count[1]
B1_\CLK1uS:Count[1] = DFFEAS(B1L69, GCLKP1,  ,  ,  ,  ,  , B1L103,  );


--B1_\CLK1uS:Count[0] is Frequency:inst|\CLK1uS:Count[0]
B1_\CLK1uS:Count[0] = DFFEAS(B1L66, GCLKP1,  ,  ,  ,  ,  , B1L103,  );


--B1L66 is Frequency:inst|\CLK1uS:Count[0]~13
B1L66 = B1_\CLK1uS:Count[0] $ VCC;

--B1L67 is Frequency:inst|\CLK1uS:Count[0]~14
B1L67 = CARRY(B1_\CLK1uS:Count[0]);


--B1L69 is Frequency:inst|\CLK1uS:Count[1]~13
B1L69 = B1_\CLK1uS:Count[1] & !B1L67 # !B1_\CLK1uS:Count[1] & (B1L67 # GND);

--B1L70 is Frequency:inst|\CLK1uS:Count[1]~14
B1L70 = CARRY(!B1L67 # !B1_\CLK1uS:Count[1]);


--B1L72 is Frequency:inst|\CLK1uS:Count[2]~13
B1L72 = B1_\CLK1uS:Count[2] & (B1L70 $ GND) # !B1_\CLK1uS:Count[2] & !B1L70 & VCC;

--B1L73 is Frequency:inst|\CLK1uS:Count[2]~14
B1L73 = CARRY(B1_\CLK1uS:Count[2] & !B1L70);


--B1L75 is Frequency:inst|\CLK1uS:Count[3]~13
B1L75 = B1_\CLK1uS:Count[3] & !B1L73 # !B1_\CLK1uS:Count[3] & (B1L73 # GND);

--B1L76 is Frequency:inst|\CLK1uS:Count[3]~14
B1L76 = CARRY(!B1L73 # !B1_\CLK1uS:Count[3]);


--B1L78 is Frequency:inst|\CLK1uS:Count[4]~8
B1L78 = B1_\CLK1uS:Count[4] & (B1L76 $ GND) # !B1_\CLK1uS:Count[4] & !B1L76 & VCC;

--B1L79 is Frequency:inst|\CLK1uS:Count[4]~9
B1L79 = CARRY(B1_\CLK1uS:Count[4] & !B1L76);


--B1L110 is Frequency:inst|Period1uS~10
B1L110 = B1_Period1uS $ B1L79;


--B1L102 is Frequency:inst|LessThan~540
B1L102 = B1_\CLK1uS:Count[3] # B1_\CLK1uS:Count[2] # B1_\CLK1uS:Count[1] # B1_\CLK1uS:Count[0];


--B1L103 is Frequency:inst|LessThan~541
B1L103 = B1_Period1uS & B1_\CLK1uS:Count[4] & B1L102;


--M1L59 is VGA:inst10|process4~20
M1L59 = M1_Hcnt[7] # M1_Hcnt[8];


--M1L60 is VGA:inst10|process4~21
M1L60 = !M1_Vcnt[9] & !M1L91 & (!M1L59 # !M1_Hcnt[9]);


--M1_Hcnt[3] is VGA:inst10|Hcnt[3]
M1_Hcnt[3] = DFFEAS(M1L28, B1_VGACLK, RESET,  ,  ,  ,  , M1L51,  );


--M1_Hcnt[2] is VGA:inst10|Hcnt[2]
M1_Hcnt[2] = DFFEAS(M1L25, B1_VGACLK, RESET,  ,  ,  ,  , M1L51,  );


--M1_Hcnt[1] is VGA:inst10|Hcnt[1]
M1_Hcnt[1] = DFFEAS(M1L22, B1_VGACLK, RESET,  ,  ,  ,  , M1L51,  );


--M1_Hcnt[0] is VGA:inst10|Hcnt[0]
M1_Hcnt[0] = DFFEAS(M1L19, B1_VGACLK, RESET,  ,  ,  ,  , M1L51,  );


--M1L19 is VGA:inst10|Hcnt[0]~246
M1L19 = M1_Hcnt[0] $ VCC;

--M1L20 is VGA:inst10|Hcnt[0]~247
M1L20 = CARRY(M1_Hcnt[0]);


--M1L22 is VGA:inst10|Hcnt[1]~248
M1L22 = M1_Hcnt[1] & !M1L20 # !M1_Hcnt[1] & (M1L20 # GND);

--M1L23 is VGA:inst10|Hcnt[1]~249
M1L23 = CARRY(!M1L20 # !M1_Hcnt[1]);


--M1L25 is VGA:inst10|Hcnt[2]~250
M1L25 = M1_Hcnt[2] & (M1L23 $ GND) # !M1_Hcnt[2] & !M1L23 & VCC;

--M1L26 is VGA:inst10|Hcnt[2]~251
M1L26 = CARRY(M1_Hcnt[2] & !M1L23);


--M1L28 is VGA:inst10|Hcnt[3]~252
M1L28 = M1_Hcnt[3] & !M1L26 # !M1_Hcnt[3] & (M1L26 # GND);

--M1L29 is VGA:inst10|Hcnt[3]~253
M1L29 = CARRY(!M1L26 # !M1_Hcnt[3]);


--M1L31 is VGA:inst10|Hcnt[4]~254
M1L31 = M1_Hcnt[4] & (M1L29 $ GND) # !M1_Hcnt[4] & !M1L29 & VCC;

--M1L32 is VGA:inst10|Hcnt[4]~255
M1L32 = CARRY(M1_Hcnt[4] & !M1L29);


--M1L34 is VGA:inst10|Hcnt[5]~256
M1L34 = M1_Hcnt[5] & !M1L32 # !M1_Hcnt[5] & (M1L32 # GND);

--M1L35 is VGA:inst10|Hcnt[5]~257
M1L35 = CARRY(!M1L32 # !M1_Hcnt[5]);


--M1L56 is VGA:inst10|process2~56
M1L56 = !M1_Hcnt[5] & !M1_Hcnt[6];


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


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

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


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

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


--B1_\CLK1uS:Count2[8] is Frequency:inst|\CLK1uS:Count2[8]
B1_\CLK1uS:Count2[8] = DFFEAS(B1L56, B1_\CLK1uS:Count1[9],  ,  ,  ,  ,  , B1L106,  );


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


--N1_clk1 is Light:inst11|clk1
N1_clk1 = DFFEAS(N1L4, B1_\CLK1uS:Count1[9],  ,  ,  ,  ,  , N1L41,  );


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


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


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


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


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


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


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


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


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


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