TITLE COUNTER EXAMPLE FILE
CHIP   COUNTER   22V10;
;Pins (not in pin number order)
     HCLK REGWR SELECT COUNTEN OUTPUTEN DD3 DD2 DD1 DD0 CARRY COL3 GND COL2 COL1 COL0
;Nodes
     LOAD HOLD COUNT
;COUNTER
EQUATIONS
LOAD = (REGWR * /COUNTEN);
HOLD = (REGWR * COUNTEN
     + /REGWR * /COUNTEN);
COUNT = (/REGWR * COUNTEN);
COL0 := (DD0 * LOAD
     + HOLD * COL0
     + COUNT * /COL0);
COL0.CLKF = (HCLK);
COL0.TRST = (SELECT * /OUTPUTEN);
COL1 := (DD1 * LOAD
     + HOLD * COL1
     + COUNT * /COL1 * COL0
     + COUNT * COL1 * /COL0);
COL1.CLKF = (HCLK);
COL2 := (DD2 * LOAD
     + HOLD * COL2
     + COUNT * COL2 * /COL1
     + COUNT * /COL2 * COL1 * COL0
     + COUNT * COL2 * /COL0);
COL2.CLKF = (HCLK);
COL2.TRST = (SELECT * /OUTPUTEN);
COL3 := (DD3 * LOAD
     + HOLD * COL3
     + COUNT * COL3 * /COL2
     + COUNT * COL3 * /COL1
     + COUNT * /COL3 * COL2 * COL1 * COL0
     + COUNT * COL3 * /COL0);
COL3.CLKF = (HCLK);
COL3.TRST = (SELECT * /OUTPUTEN);
CARRY := (DD3 * DD2 * DD1 * DD0 * LOAD
     + /LOAD * COL3 * COL2 * COL1 * COL0);
CARRY.CLKF = (HCLK);