" XPLAOPT Version 3.21 " Created on Wed Jul 11 14:31:32 2001 " 25 Mcells, 0 PLApts, 51 PALpts, 2 Levels " XPLAOPT -run s -i timdec2.phd -it phd -o timdec2.pla -ot tt2 -dev pz5064cs7bc " -log timdec2.dox -reg -fi 36 -th 21 -effort f -net -rsp xplaopt.rsp MODULE tmgdec2 Up pin 23 ; " 1 pt. VXO53MHz pin 18 ; Clk106MHz pin 15 ; EncTmgn pin 43 ; Down pin 19 ; " 0 pt. RF_Inp pin 37 ; VXO_Div4 pin 44 istype 'reg'; " 1 pt. FC pin 33 istype 'reg'; " 4 pt. SGap pin 21 istype 'reg'; " 3 pt. Gap pin 28 istype 'reg'; " 2 pt. Clk53MHzO2 pin 35 istype 'reg'; " 4 pt. Clk53MHzOut pin 34 istype 'reg'; " 4 pt. RF_Dtct pin 22 istype 'reg'; " 1 pt. Enc_Div2 node istype 'reg'; " 1 pt. D0 node istype 'reg'; " 1 pt. D1 node istype 'reg'; " 1 pt. S0 node istype 'reg'; " 4 pt. S1 node istype 'reg'; " 4 pt. S2 node istype 'reg'; " 4 pt. IDtct node istype 'reg'; " 1 pt. VXOCnt0 node istype 'reg'; " 1 pt. VXOCnt1 node istype 'reg'; " 1 pt. VXOCnt2 node istype 'reg'; " 1 pt. enctmg_reg node istype 'reg'; " 1 pt. vxo53_reg node istype 'reg'; " 1 pt. N_PZ_0 node istype 'collapse'; " 1 pt. N_PZ_1 node istype 'collapse'; " 2 pt. N_PZ_2 node istype 'collapse'; " 3 pt. N_PZ_3 node istype 'collapse'; " 4 pt. EQUATIONS Clk53MHzO2.CLK = Clk106MHz; "--- [PT=1, FI=1, LVL=1] --- Clk53MHzO2.D = S0 & !S1 & !S2 # S0 & S1 & !S2 # S0 & !S1 & S2 # S0 & S1 & S2; "--- [PT=4, FI=3, LVL=1] --- Clk53MHzOut.CLK = Clk106MHz; "--- [PT=1, FI=1, LVL=1] --- Clk53MHzOut.D = S0 & !S1 & !S2 # S0 & S1 & !S2 # S0 & !S1 & S2 # S0 & S1 & S2; "--- [PT=4, FI=3, LVL=1] --- D0.CLK = Clk106MHz; "--- [PT=1, FI=1, LVL=1] --- D0.D = EncTmgn; "--- [PT=1, FI=1, LVL=1] --- D1.CLK = Clk106MHz; "--- [PT=1, FI=1, LVL=1] --- D1.D = D0; "--- [PT=1, FI=1, LVL=1] --- Down = 0; Down.OE = vxo53_reg & !enctmg_reg; "--- [PT=1, FI=2, LVL=1] --- Enc_Div2.CLK = EncTmgn; "--- [PT=1, FI=1, LVL=1] --- Enc_Div2.T = 1; FC.CLK = Clk106MHz; "--- [PT=1, FI=1, LVL=1] --- FC.T = EncTmgn & !S0 & !S1 & S2 & !D0 & !D1 & !FC # EncTmgn & !S0 & !S1 & S2 & D0 & !D1 & !FC # !EncTmgn & !S0 & !S1 & S2 & D0 & !D1 & FC # EncTmgn & !S0 & !S1 & S2 & !D0 & D1 & FC ; "--- [PT=4, FI=7, LVL=1] --- Gap.CLK = Clk106MHz; "--- [PT=1, FI=1, LVL=1] --- Gap.T = !EncTmgn & !S0 & !S1 & S2 & !D0 & D1 & !Gap # EncTmgn & !S0 & !S1 & S2 & !D0 & D1 & Gap ; "--- [PT=2, FI=7, LVL=1] --- IDtct.AR = VXOCnt0 & VXO_Div4 & VXOCnt1 & VXOCnt2 ; "--- [PT=1, FI=4, LVL=1] --- IDtct.CLK = RF_Inp; "--- [PT=1, FI=1, LVL=1] --- IDtct.D = 1; N_PZ_0 = !VXOCnt0; "--- [PT=1, FI=1, LVL=1] --- N_PZ_1 = VXOCnt0 & !VXO_Div4 # !VXOCnt0 & VXO_Div4; "--- [PT=2, FI=2, LVL=1] --- N_PZ_2 = VXOCnt0 & VXO_Div4 & !VXOCnt1 # !VXO_Div4 & VXOCnt1 # !VXOCnt0 & VXOCnt1; "--- [PT=3, FI=3, LVL=1] --- N_PZ_3 = VXOCnt0 & VXO_Div4 & VXOCnt1 & !VXOCnt2 # !VXOCnt1 & VXOCnt2 # !VXO_Div4 & VXOCnt2 # !VXOCnt0 & VXOCnt2; "--- [PT=4, FI=4, LVL=1] --- RF_Dtct.AR = VXOCnt0 & VXO_Div4 & VXOCnt1 & !VXOCnt2 & !IDtct ; "--- [PT=1, FI=5, LVL=1] --- RF_Dtct.CLK = RF_Inp; "--- [PT=1, FI=1, LVL=1] --- RF_Dtct.D = 1; S0.CLK = Clk106MHz; "--- [PT=1, FI=1, LVL=1] --- S0.D = EncTmgn & !S0.Q & !S1.Q & !S2.Q # !S0.Q & S1.Q & !S2.Q # !S0.Q & !S1.Q & S2.Q # !S0.Q & S1.Q & S2.Q; "--- [PT=4, FI=4, LVL=1] --- S1.CLK = Clk106MHz; "--- [PT=1, FI=1, LVL=1] --- S1.D = EncTmgn & S0.Q & !S1.Q & !S2.Q # !S0.Q & S1.Q & !S2.Q # S0.Q & !S1.Q & S2.Q # !S0.Q & S1.Q & S2.Q; "--- [PT=4, FI=4, LVL=1] --- S2.CLK = Clk106MHz; "--- [PT=1, FI=1, LVL=1] --- S2.D = S0.Q & S1.Q & !S2.Q # !S0.Q & !S1.Q & S2.Q # S0.Q & !S1.Q & S2.Q # !S0.Q & S1.Q & S2.Q; "--- [PT=4, FI=3, LVL=1] --- SGap.CLK = Clk106MHz; "--- [PT=1, FI=1, LVL=1] --- SGap.T = !EncTmgn & !S0 & !S1 & S2 & !D0 & !SGap & !D1 # EncTmgn & !S0 & !S1 & S2 & D0 & !SGap & !D1 # EncTmgn & !S0 & !S1 & S2 & !D0 & SGap & D1 ; "--- [PT=3, FI=7, LVL=1] --- Up = 1; Up.OE = !vxo53_reg & enctmg_reg; "--- [PT=1, FI=2, LVL=1] --- VXOCnt0.CLK = VXO53MHz; "--- [PT=1, FI=1, LVL=1] --- VXOCnt0.D = N_PZ_0; "--- [PT=1, FI=1, LVL=2] --- VXOCnt1.CLK = VXO53MHz; "--- [PT=1, FI=1, LVL=1] --- VXOCnt1.D = N_PZ_2; "--- [PT=1, FI=1, LVL=2] --- VXOCnt2.CLK = VXO53MHz; "--- [PT=1, FI=1, LVL=1] --- VXOCnt2.D = N_PZ_3; "--- [PT=1, FI=1, LVL=2] --- VXO_Div4.CLK = VXO53MHz; "--- [PT=1, FI=1, LVL=1] --- VXO_Div4.D = N_PZ_1; "--- [PT=1, FI=1, LVL=2] --- enctmg_reg.AR = vxo53_reg & enctmg_reg; "--- [PT=1, FI=2, LVL=1] --- enctmg_reg.CLK = EncTmgn; "--- [PT=1, FI=1, LVL=1] --- enctmg_reg.D = 1; vxo53_reg.AR = vxo53_reg & enctmg_reg; "--- [PT=1, FI=2, LVL=1] --- vxo53_reg.CLK = VXO53MHz; "--- [PT=1, FI=1, LVL=1] --- vxo53_reg.D = 1; END