ep2c5q208.map.eqn

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

--D1L216 is LCD1602:inst2|State[1]~744
D1L216 = D1L215 & !D1_State[2];


--D1L190 is LCD1602:inst2|Mux~1455
D1L190 = !D1_State[3] & !D1_State[0] & (D1_State[2] $ !D1_State[1]);


--D1_div_counter[3] is LCD1602:inst2|div_counter[3]
D1_div_counter[3] = DFFEAS(D1L204, D1_ClkInt,  ,  , D1L38,  ,  ,  ,  );


--D1_div_counter[2] is LCD1602:inst2|div_counter[2]
D1_div_counter[2] = DFFEAS(D1L209, D1_ClkInt,  ,  , D1L38,  ,  ,  ,  );


--D1_div_counter[1] is LCD1602:inst2|div_counter[1]
D1_div_counter[1] = DFFEAS(D1L206, D1_ClkInt,  ,  , D1L38,  ,  ,  ,  );


--D1_div_counter[0] is LCD1602:inst2|div_counter[0]
D1_div_counter[0] = DFFEAS(D1L207, D1_ClkInt,  ,  , D1L38,  ,  ,  ,  );


--D1L1 is LCD1602:inst2|add~218
D1L1 = D1_div_counter[1] & D1_div_counter[0];


--P1_\process10:Count[1] is Operation:inst13|\process10:Count[1]
P1_\process10:Count[1] = DFFEAS(P1L22, P1_CLK2P, !P1L423,  ,  ,  ,  ,  ,  );


--P1_\process10:Count[0] is Operation:inst13|\process10:Count[0]
P1_\process10:Count[0] = DFFEAS(P1L20, P1_CLK2P, !P1L423,  ,  ,  ,  ,  ,  );


--A1L86 is rtl~1965
A1L86 = P1_\process10:Count[1] & !P1_\process10:Count[0];


--D1L191 is LCD1602:inst2|Mux~1456
D1L191 = D1_div_counter[3] & D1_div_counter[2] & D1L1 & !A1L86;


--D1L192 is LCD1602:inst2|Mux~1457
D1L192 = D1L208 # D1L190 & (D1L191 # !D1L189);


--D1L193 is LCD1602:inst2|Mux~1458
D1L193 = D1_State[2] & (!D1_State[0]) # !D1_State[2] & (D1_State[0] # D1_Flag & D1L191);


--D1L194 is LCD1602:inst2|Mux~1459
D1L194 = D1L208 # D1L193 & !D1_State[3] & !D1_State[1];


--B1_\CLK1uS:Count1[8] is Frequency:inst|\CLK1uS:Count1[8]
B1_\CLK1uS:Count1[8] = DFFEAS(B1L26, B1_Period1uS,  ,  ,  ,  ,  , B1L101,  );


--M1_Vcnt[9] is VGA:inst10|Vcnt[9]
M1_Vcnt[9] = DFFEAS(M1L95, !M1_HsyncB, RESET,  ,  ,  ,  , M1L53,  );


--M1_Vcnt[0] is VGA:inst10|Vcnt[0]
M1_Vcnt[0] = DFFEAS(M1L67, !M1_HsyncB, RESET,  ,  ,  ,  , M1L53,  );


--M1_Vcnt[1] is VGA:inst10|Vcnt[1]
M1_Vcnt[1] = DFFEAS(M1L70, !M1_HsyncB, RESET,  ,  ,  ,  , M1L53,  );


--M1_Vcnt[2] is VGA:inst10|Vcnt[2]
M1_Vcnt[2] = DFFEAS(M1L73, !M1_HsyncB, RESET,  ,  ,  ,  , M1L53,  );


--M1_Vcnt[3] is VGA:inst10|Vcnt[3]
M1_Vcnt[3] = DFFEAS(M1L76, !M1_HsyncB, RESET,  ,  ,  ,  , M1L53,  );


--M1L57 is VGA:inst10|process3~70
M1L57 = !M1_Vcnt[2] & (!M1_Vcnt[1] # !M1_Vcnt[0]) # !M1_Vcnt[3];


--M1L49 is VGA:inst10|LessThan~774
M1L49 = !M1_Vcnt[0] & !M1_Vcnt[1];


--M1_Vcnt[4] is VGA:inst10|Vcnt[4]
M1_Vcnt[4] = DFFEAS(M1L79, !M1_HsyncB, RESET,  ,  ,  ,  , M1L53,  );


--M1L50 is VGA:inst10|LessThan~775
M1L50 = !M1_Vcnt[4] & (M1L49 # !M1_Vcnt[2] # !M1_Vcnt[3]);


--M1_Vcnt[5] is VGA:inst10|Vcnt[5]
M1_Vcnt[5] = DFFEAS(M1L82, !M1_HsyncB, RESET,  ,  ,  ,  , M1L53,  );


--M1_Vcnt[6] is VGA:inst10|Vcnt[6]
M1_Vcnt[6] = DFFEAS(M1L85, !M1_HsyncB, RESET,  ,  ,  ,  , M1L53,  );


--M1_Vcnt[7] is VGA:inst10|Vcnt[7]
M1_Vcnt[7] = DFFEAS(M1L88, !M1_HsyncB, RESET,  ,  ,  ,  , M1L53,  );


--M1_Vcnt[8] is VGA:inst10|Vcnt[8]
M1_Vcnt[8] = DFFEAS(M1L92, !M1_HsyncB, RESET,  ,  ,  ,  , M1L53,  );


--M1L91 is VGA:inst10|Vcnt[8]~251
M1L91 = M1_Vcnt[5] & M1_Vcnt[6] & M1_Vcnt[7] & M1_Vcnt[8];


--M1L58 is VGA:inst10|process3~71
M1L58 = !M1_Vcnt[9] & !M1L57 & M1L50 & M1L91;


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


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


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


--M1L54 is VGA:inst10|process2~54
M1L54 = !M1_Hcnt[8] & M1_Hcnt[7] & M1_Hcnt[9];


--M1L55 is VGA:inst10|process2~55
M1L55 = M1L54 & (M1_Hcnt[5] & (!M1_Hcnt[4] # !M1_Hcnt[6]) # !M1_Hcnt[5] & (M1_Hcnt[6] # M1_Hcnt[4]));


--B1_VGACLK is Frequency:inst|VGACLK
B1_VGACLK = DFFEAS(B1L113, GCLKP1,  ,  ,  ,  ,  ,  ,  );


--B1_\CLK1uS:Count1[7] is Frequency:inst|\CLK1uS:Count1[7]
B1_\CLK1uS:Count1[7] = DFFEAS(B1L23, B1_Period1uS,  ,  ,  ,  ,  , B1L101,  );


--B1_\CLK1uS:Count1[6] is Frequency:inst|\CLK1uS:Count1[6]
B1_\CLK1uS:Count1[6] = DFFEAS(B1L20, B1_Period1uS,  ,  ,  ,  ,  , B1L101,  );


--B1_\CLK1uS:Count1[5] is Frequency:inst|\CLK1uS:Count1[5]
B1_\CLK1uS:Count1[5] = DFFEAS(B1L17, B1_Period1uS,  ,  ,  ,  ,  , B1L101,  );


--B1_\CLK1uS:Count1[4] is Frequency:inst|\CLK1uS:Count1[4]
B1_\CLK1uS:Count1[4] = DFFEAS(B1L14, B1_Period1uS,  ,  ,  ,  ,  , B1L101,  );


--B1_\CLK1uS:Count1[3] is Frequency:inst|\CLK1uS:Count1[3]
B1_\CLK1uS:Count1[3] = DFFEAS(B1L11, B1_Period1uS,  ,  ,  ,  ,  , B1L101,  );


--B1_\CLK1uS:Count1[2] is Frequency:inst|\CLK1uS:Count1[2]
B1_\CLK1uS:Count1[2] = DFFEAS(B1L8, B1_Period1uS,  ,  ,  ,  ,  , B1L101,  );


--B1_\CLK1uS:Count1[1] is Frequency:inst|\CLK1uS:Count1[1]
B1_\CLK1uS:Count1[1] = DFFEAS(B1L5, B1_Period1uS,  ,  ,  ,  ,  , B1L101,  );


--B1_\CLK1uS:Count1[0] is Frequency:inst|\CLK1uS:Count1[0]
B1_\CLK1uS:Count1[0] = DFFEAS(B1L2, B1_Period1uS,  ,  ,  ,  ,  , B1L101,  );


--B1L2 is Frequency:inst|\CLK1uS:Count1[0]~8
B1L2 = B1_\CLK1uS:Count1[0] $ VCC;

--B1L3 is Frequency:inst|\CLK1uS:Count1[0]~9
B1L3 = CARRY(B1_\CLK1uS:Count1[0]);


--B1L5 is Frequency:inst|\CLK1uS:Count1[1]~8
B1L5 = B1_\CLK1uS:Count1[1] & !B1L3 # !B1_\CLK1uS:Count1[1] & (B1L3 # GND);

--B1L6 is Frequency:inst|\CLK1uS:Count1[1]~9
B1L6 = CARRY(!B1L3 # !B1_\CLK1uS:Count1[1]);


--B1L8 is Frequency:inst|\CLK1uS:Count1[2]~8
B1L8 = B1_\CLK1uS:Count1[2] & (B1L6 $ GND) # !B1_\CLK1uS:Count1[2] & !B1L6 & VCC;

--B1L9 is Frequency:inst|\CLK1uS:Count1[2]~9
B1L9 = CARRY(B1_\CLK1uS:Count1[2] & !B1L6);


--B1L11 is Frequency:inst|\CLK1uS:Count1[3]~15
B1L11 = B1_\CLK1uS:Count1[3] & !B1L9 # !B1_\CLK1uS:Count1[3] & (B1L9 # GND);

--B1L12 is Frequency:inst|\CLK1uS:Count1[3]~16
B1L12 = CARRY(!B1L9 # !B1_\CLK1uS:Count1[3]);


--B1L14 is Frequency:inst|\CLK1uS:Count1[4]~17
B1L14 = B1_\CLK1uS:Count1[4] & (B1L12 $ GND) # !B1_\CLK1uS:Count1[4] & !B1L12 & VCC;

--B1L15 is Frequency:inst|\CLK1uS:Count1[4]~18
B1L15 = CARRY(B1_\CLK1uS:Count1[4] & !B1L12);


--B1L17 is Frequency:inst|\CLK1uS:Count1[5]~8
B1L17 = B1_\CLK1uS:Count1[5] & !B1L15 # !B1_\CLK1uS:Count1[5] & (B1L15 # GND);

--B1L18 is Frequency:inst|\CLK1uS:Count1[5]~9
B1L18 = CARRY(!B1L15 # !B1_\CLK1uS:Count1[5]);


--B1L20 is Frequency:inst|\CLK1uS:Count1[6]~8
B1L20 = B1_\CLK1uS:Count1[6] & (B1L18 $ GND) # !B1_\CLK1uS:Count1[6] & !B1L18 & VCC;

--B1L21 is Frequency:inst|\CLK1uS:Count1[6]~9
B1L21 = CARRY(B1_\CLK1uS:Count1[6] & !B1L18);


--B1L23 is Frequency:inst|\CLK1uS:Count1[7]~8
B1L23 = B1_\CLK1uS:Count1[7] & !B1L21 # !B1_\CLK1uS:Count1[7] & (B1L21 # GND);

--B1L24 is Frequency:inst|\CLK1uS:Count1[7]~9
B1L24 = CARRY(!B1L21 # !B1_\CLK1uS:Count1[7]);


--B1L26 is Frequency:inst|\CLK1uS:Count1[8]~8
B1L26 = B1_\CLK1uS:Count1[8] & (B1L24 $ GND) # !B1_\CLK1uS:Count1[8] & !B1L24 & VCC;

--B1L27 is Frequency:inst|\CLK1uS:Count1[8]~9
B1L27 = CARRY(B1_\CLK1uS:Count1[8] & !B1L24);


--B1L29 is Frequency:inst|\CLK1uS:Count1[9]~8
B1L29 = B1_\CLK1uS:Count1[9] $ B1L27;


--B1L99 is Frequency:inst|LessThan~537
B1L99 = B1_\CLK1uS:Count1[9] & B1_\CLK1uS:Count1[8] & B1_\CLK1uS:Count1[7] & B1_\CLK1uS:Count1[6];


--B1L100 is Frequency:inst|LessThan~538
B1L100 = B1_\CLK1uS:Count1[4] # B1_\CLK1uS:Count1[2] & B1_\CLK1uS:Count1[1] & B1_\CLK1uS:Count1[0];


--B1L101 is Frequency:inst|LessThan~539
B1L101 = B1_\CLK1uS:Count1[5] & B1L99 & (B1_\CLK1uS:Count1[3] # B1L100);


--L1L41 is Music:inst9|Buzzer~12
L1L41 = L1_Count[1] # L1_Count[0];


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


--C1_cnt8[1] is PS2:inst1|cnt8[1]
C1_cnt8[1] = DFFEAS(C1L10, C1_CLK, !C1L9,  ,  ,  ,  ,  ,  );


--C1_cnt8[3] is PS2:inst1|cnt8[3]
C1_cnt8[3] = DFFEAS(C1L11, C1_CLK, !C1L9,  ,  ,  ,  ,  ,  );


--C1_cnt8[2] is PS2:inst1|cnt8[2]
C1_cnt8[2] = DFFEAS(C1L13, C1_CLK, !C1L9,  ,  ,  ,  ,  ,  );


--C1_cnt8[0] is PS2:inst1|cnt8[0]
C1_cnt8[0] = DFFEAS(C1L12, C1_CLK, !C1L9,  ,  ,  ,  ,  ,  );


--C1L54 is PS2:inst1|EOC~66
C1L54 = C1_cnt8[1] & C1_cnt8[3] & !C1_cnt8[2] & !C1_cnt8[0];


--P1_KeyFlagRefresh is Operation:inst13|KeyFlagRefresh
P1_KeyFlagRefresh = DFFEAS(P1L187, B1_Period1uS,  ,  ,  ,  ,  ,  ,  );


--P1_KeyFlag is Operation:inst13|KeyFlag
P1_KeyFlag = DFFEAS(P1L191, B1_Period1uS, !P1L417,  ,  ,  ,  ,  ,  );


--H1_EOC is irDA:inst6|EOC
H1_EOC = DFFEAS(H1L82, B1_\CLK1uS:CountT[4],  ,  ,  ,  ,  ,  ,  );


--P1L154 is Operation:inst13|Fresh~113
P1L154 = !P1_KeyFlagRefresh & !P1_KeyFlag & !H1_EOC;


--J1_cnt8[2] is UART:inst7|cnt8[2]
J1_cnt8[2] = DFFEAS(J1L7, J1_Count[2], !J1L17,  ,  ,  ,  ,  ,  );


--J1_cnt8[1] is UART:inst7|cnt8[1]
J1_cnt8[1] = DFFEAS(J1L5, J1_Count[2], !J1L17,  ,  ,  ,  ,  ,  );


--J1L44 is UART:inst7|Start~338
J1L44 = !J1_cnt8[2] & !J1_cnt8[1];


--J1_cnt8[0] is UART:inst7|cnt8[0]
J1_cnt8[0] = DFFEAS(J1L3, J1_Count[2], !J1L17,  ,  ,  ,  ,  ,  );


--J1_cnt8[3] is UART:inst7|cnt8[3]
J1_cnt8[3] = DFFEAS(J1L9, J1_Count[2], !J1L17,  ,  ,  ,  ,  ,  );


--P1L155 is Operation:inst13|Fresh~114
P1L155 = P1L154 & (J1L44 & !J1_cnt8[0] # !J1_cnt8[3]);


--L1L85 is Music:inst9|process0~0
L1L85 = SW[0] & (C1L54 # !P1L155) # !RESET;


--L1L71 is Music:inst9|LessThan~53
L1L71 = L1_Count[1] # !L1_Count[0];


--L1_\SpkOut:Count2 is Music:inst9|\SpkOut:Count2
L1_\SpkOut:Count2 = DFFEAS(L1L35, L1_FullSpkS,  ,  ,  ,  ,  ,  ,  );


--L1L39 is Music:inst9|BEEP~101
L1L39 = L1L36 $ !L1_\SpkOut:Count2;


--L1_FullSpkS is Music:inst9|FullSpkS
L1_FullSpkS = DFFEAS(A1L104, B1_Period1uS,  ,  ,  ,  ,  ,  ,  );


--K1_CLK100KHz is I2C:inst8|CLK100KHz
K1_CLK100KHz = DFFEAS(K1L38, !K1L112, RESET,  ,  ,  ,  ,  ,  );


--K1_CountSTEP1[3] is I2C:inst8|CountSTEP1[3]
K1_CountSTEP1[3] = DFFEAS(K1L67, K1_CLK100KHz, !K1L155,  ,  ,  ,  ,  ,  );


--K1_CountSTEP1[4] is I2C:inst8|CountSTEP1[4]
K1_CountSTEP1[4] = DFFEAS(K1L68, K1_CLK100KHz, !K1L155,  ,  ,  ,  ,  ,  );


--K1_CountSTEP1[2] is I2C:inst8|CountSTEP1[2]
K1_CountSTEP1[2] = DFFEAS(K1L64, K1_CLK100KHz, !K1L155,  ,  ,  ,  ,  ,  );


--K1_CountSTEP1[0] is I2C:inst8|CountSTEP1[0]
K1_CountSTEP1[0] = DFFEAS(K1L69, K1_CLK100KHz, !K1L155,  ,  ,  ,  ,  ,  );


--K1_CountSTEP1[1] is I2C:inst8|CountSTEP1[1]
K1_CountSTEP1[1] = DFFEAS(K1L62, K1_CLK100KHz, !K1L155,  ,  ,  ,  ,  ,  );


--A1L87 is rtl~1966
A1L87 = K1_CountSTEP1[0] & !K1_CountSTEP1[1];


--A1L74 is rtl~3
A1L74 = K1_CountSTEP1[3] & K1_CountSTEP1[4] & K1_CountSTEP1[2] & A1L87;


--K1_CountSTEP2[1] is I2C:inst8|CountSTEP2[1]
K1_CountSTEP2[1] = DFFEAS(K1L74, !K1_CLK100KHz, !K1L155,  ,  ,  ,  ,  ,  );


--K1_CountSTEP2[4] is I2C:inst8|CountSTEP2[4]
K1_CountSTEP2[4] = DFFEAS(K1L79, !K1_CLK100KHz, !K1L155,  ,  ,  ,  ,  ,  );


--K1_CountSTEP2[3] is I2C:inst8|CountSTEP2[3]
K1_CountSTEP2[3] = DFFEAS(K1L80, !K1_CLK100KHz, !K1L155,  ,  ,  ,  ,  ,  );


--K1_CountSTEP2[2] is I2C:inst8|CountSTEP2[2]
K1_CountSTEP2[2] = DFFEAS(K1L76, !K1_CLK100KHz, !K1L155,  ,  ,  ,  ,  ,  );


--K1_CountSTEP2[0] is I2C:inst8|CountSTEP2[0]
K1_CountSTEP2[0] = DFFEAS(K1L72, !K1_CLK100KHz, !K1L155,  ,  ,  ,  ,  ,  );


--A1L88 is rtl~1967
A1L88 = K1_CountSTEP2[4] & K1_CountSTEP2[3] & K1_CountSTEP2[2] & !K1_CountSTEP2[0];


--K1_CLKSCL is I2C:inst8|CLKSCL
K1_CLKSCL = DFFEAS(K1L40, K1L112, RESET,  ,  ,  ,  ,  ,  );


--K1L163 is I2C:inst8|process9~738
K1L163 = A1L74 & (K1_CountSTEP2[1] # !A1L88) # !A1L74 & (!K1_CLKSCL);


--A1L75 is rtl~4
A1L75 = A1L87 & !K1_CountSTEP1[3] & !K1_CountSTEP1[4] & !K1_CountSTEP1[2];


--K1L164 is I2C:inst8|process9~739
K1L164 = A1L75 & K1_CLK100KHz # !A1L75 & (K1L163);


--A1L89 is rtl~1968
A1L89 = K1_CountSTEP1[4] & K1_CountSTEP1[2];


--K1L162 is I2C:inst8|process9~0
K1L162 = !K1_Start # !RESET;


--K1L165 is I2C:inst8|process9~740
K1L165 = !K1L162 & (!A1L89 # !K1_CountSTEP1[1] # !K1_CountSTEP1[3]);


--A1L90 is rtl~1969
A1L90 = !K1_CountSTEP1[3] & !K1_CountSTEP1[1] & !K1_CountSTEP1[0];


--K1L166 is I2C:inst8|process9~741
K1L166 = K1L165 & (K1_CountSTEP1[4] # K1_CountSTEP1[2] # !A1L90);


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


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