iSE 3.01

Design tmgdec created Fri Sep 15 14:09:07 2000


 P-Terms   Fan-in  Fan-out  Type  Name (attributes)
---------  ------  -------  ----  -----------------
   2          7        1    Pin   Gap.T 
   1/1        1        1    Pin   Gap.C 
   3          7        1    Pin   SGap.T 
   1/1        1        1    Pin   SGap.C 
   3          7        1    Pin   FC.T 
   1/1        1        1    Pin   FC.C 
   2          2        1    Pin   VXO_Div4.D 
   1/1        1        1    Pin   VXO_Div4.C 
   1/1        1        1    Pin   Clk53MHzOut.D 
   1/1        1        1    Pin   Clk53MHzOut.C 
   1          0        1    Pin   Up 
   1          2        1    Pin   Up.OE 
   0          0        1    Pin   Down 
   1          2        1    Pin   Down.OE 
   1          5        1    Pin   RF_Dtct.AR 
   1          0        1    Pin   RF_Dtct.D 
   1/1        1        1    Pin   RF_Dtct.C 
   1/1        1        1    Node  Enc_Div2.C 
   3          3        1    Node  S2.D 
   1/1        1        1    Node  S2.C 
   3          4        1    Node  S1.D 
   1/1        1        1    Node  S1.C 
   3          4        1    Node  S0.D 
   1/1        1        1    Node  S0.C 
   1/1        1        1    Node  D1.D 
   1/1        1        1    Node  D1.C 
   1/1        1        1    Node  D0.D 
   1/1        1        1    Node  D0.C 
   4          4        1    Node  VXOCnt2.D 
   1/1        1        1    Node  VXOCnt2.C 
   3          3        1    Node  VXOCnt1.D 
   1/1        1        1    Node  VXOCnt1.C 
   1          1        1    Node  VXOCnt0.D 
   1/1        1        1    Node  VXOCnt0.C 
   1          4        1    Node  IDtct.AR 
   1          0        1    Node  IDtct.D 
   1/1        1        1    Node  IDtct.C 
   2          2        1    Node  PhVXO.AR 
   1          0        1    Node  PhVXO.D 
   1/1        1        1    Node  PhVXO.C 
   2          2        1    Node  PhEncTmg.AR 
   1          0        1    Node  PhEncTmg.D 
   1/1        1        1    Node  PhEncTmg.C 
=========
  61/21         Best P-Term Total: 61
                       Total Pins: 15
                      Total Nodes: 12
            Average P-Term/Output: 1


Equations:

Gap.T = (!EncTmgp & !D0.Q & D1.Q & !Gap.PIN & S2.Q & !S1.Q & !S0.Q
     # EncTmgp & !D0.Q & D1.Q & Gap.PIN & S2.Q & !S1.Q & !S0.Q);

Gap.C = (Clk106MHz);

SGap.T = (EncTmgp & !D0.Q & SGap.PIN & D1.Q & S2.Q & !S1.Q & !S0.Q
     # !EncTmgp & !D0.Q & !SGap.PIN & !D1.Q & S2.Q & !S1.Q & !S0.Q
     # EncTmgp & D0.Q & !SGap.PIN & !D1.Q & S2.Q & !S1.Q & !S0.Q);

SGap.C = (Clk106MHz);

FC.T = (!EncTmgp & D0.Q & !D1.Q & FC.PIN & S2.Q & !S1.Q & !S0.Q
     # EncTmgp & !D0.Q & D1.Q & FC.PIN & S2.Q & !S1.Q & !S0.Q
     # EncTmgp & !D1.Q & !FC.PIN & S2.Q & !S1.Q & !S0.Q);

FC.C = (Clk106MHz);

VXO_Div4.D = (VXOCnt0.Q & !VXO_Div4.PIN
     # !VXOCnt0.Q & VXO_Div4.PIN);

VXO_Div4.C = (VXO53MHz);

Clk53MHzOut.D = (S0.Q);

Clk53MHzOut.C = (Clk106MHz);

Up = (1);

Up.OE = (!PhVXO.Q & PhEncTmg.Q);

Down = (0);

Down.OE = (PhVXO.Q & !PhEncTmg.Q);

RF_Dtct.AR = (VXOCnt0.Q & VXO_Div4.PIN & VXOCnt1.Q & !VXOCnt2.Q & !IDtct.Q);

RF_Dtct.D = (1);

RF_Dtct.C = (RF_Inp);

Enc_Div2.C = (EncTmgp);

S2.D = (!S2.Q & S1.Q & S0.Q
     # S2.Q & !S1.Q
     # S2.Q & !S0.Q);

S2.C = (Clk106MHz);

S1.D = (S1.Q & !S0.Q
     # S2.Q & !S1.Q & S0.Q
     # EncTmgp & !S1.Q & S0.Q);

S1.C = (Clk106MHz);

S0.D = (S1.Q & !S0.Q
     # S2.Q & !S0.Q
     # EncTmgp & !S0.Q);

S0.C = (Clk106MHz);

D1.D = (D0.Q);

D1.C = (Clk106MHz);

D0.D = (EncTmgp);

D0.C = (Clk106MHz);

VXOCnt2.D = (VXOCnt0.Q & VXO_Div4.PIN & VXOCnt1.Q & !VXOCnt2.Q
     # !VXOCnt1.Q & VXOCnt2.Q
     # !VXO_Div4.PIN & VXOCnt2.Q
     # !VXOCnt0.Q & VXOCnt2.Q);

VXOCnt2.C = (VXO53MHz);

VXOCnt1.D = (VXOCnt0.Q & VXO_Div4.PIN & !VXOCnt1.Q
     # !VXO_Div4.PIN & VXOCnt1.Q
     # !VXOCnt0.Q & VXOCnt1.Q);

VXOCnt1.C = (VXO53MHz);

VXOCnt0.D = (!VXOCnt0.Q);

VXOCnt0.C = (VXO53MHz);

IDtct.AR = (VXOCnt0.Q & VXO_Div4.PIN & VXOCnt1.Q & VXOCnt2.Q);

IDtct.D = (1);

IDtct.C = (RF_Inp);

PhVXO.AR = (!PhEncTmg.Q
     # !PhVXO.Q);

PhVXO.D = (1);

PhVXO.C = (VXO53MHz);

PhEncTmg.AR = (!PhEncTmg.Q
     # !PhVXO.Q);

PhEncTmg.D = (1);

PhEncTmg.C = (EncTmgp);


Reverse-Polarity Equations:

!Gap.C = (!Clk106MHz);

!SGap.C = (!Clk106MHz);

!FC.C = (!Clk106MHz);

!VXO_Div4.C = (!VXO53MHz);

!Clk53MHzOut.D = (!S0.Q);

!Clk53MHzOut.C = (!Clk106MHz);

!RF_Dtct.C = (!RF_Inp);

!Enc_Div2.C = (!EncTmgp);

!S2.C = (!Clk106MHz);

!S1.C = (!Clk106MHz);

!S0.C = (!Clk106MHz);

!D1.D = (!D0.Q);

!D1.C = (!Clk106MHz);

!D0.D = (!EncTmgp);

!D0.C = (!Clk106MHz);

!VXOCnt2.C = (!VXO53MHz);

!VXOCnt1.C = (!VXO53MHz);

!VXOCnt0.C = (!VXO53MHz);

!IDtct.C = (!RF_Inp);

!PhVXO.C = (!VXO53MHz);

!PhEncTmg.C = (!EncTmgp);