ALF_REVISION "2.0"
// File "when_clause_example.byhand.1.alf" generated Wed Dec 3 2003 15:30:15 by ALF writer version 2003.3.devel (c) NEC Electronics 2000, 2001, 2002, 2003
LIBRARY when_clause_example {
  INFORMATION {
    VERSION = "none" ;
  }
  CAPACITANCE {
    UNIT = 1.000000e-12 ;
  }
  AREA {
    UNIT = 1.000000e-12 ;
  }
  CELL NOWHEN1 {
    AREA = 55 ;
    POWER = 4000 {
      MEASUREMENT = static ;
    }
    PIN A {
      DIRECTION = input ;
      CAPACITANCE = 0.01 ;
    }
    PIN B {
      DIRECTION = input ;
      CAPACITANCE = 0.01 ;
    }
    PIN Y {
      DIRECTION = output ;
      LIMIT {
        CAPACITANCE {
          MAX = 1.1 ;
        }
      }
    }
    VECTOR ( 01 A -> 01 Y ) {
      DELAY = 1.11 {
        FROM {
          PIN = A ;
        }
        TO {
          PIN = Y ;
        }
      }
      SLEWRATE = 1.51 {
        PIN = Y ;
      }
    }
    VECTOR ( 10 A -> 10 Y ) {
      DELAY = 1.22 {
        FROM {
          PIN = A ;
        }
        TO {
          PIN = Y ;
        }
      }
      SLEWRATE = 1.52 {
        PIN = Y ;
      }
    }
    VECTOR ( 01 A -> 10 Y ) {
      DELAY = 2.12 {
        FROM {
          PIN = A ;
        }
        TO {
          PIN = Y ;
        }
      }
      SLEWRATE = 2.52 {
        PIN = Y ;
      }
    }
    VECTOR ( 10 A -> 01 Y ) {
      DELAY = 2.21 {
        FROM {
          PIN = A ;
        }
        TO {
          PIN = Y ;
        }
      }
      SLEWRATE = 2.51 {
        PIN = Y ;
      }
    }
    VECTOR ( 10 B -> 10 Y ) {
      DELAY = 3.22 {
        FROM {
          PIN = B ;
        }
        TO {
          PIN = Y ;
        }
      }
      SLEWRATE = 3.52 {
        PIN = Y ;
      }
    }
    VECTOR ( 01 B -> 01 Y ) {
      DELAY = 3.11 {
        FROM {
          PIN = B ;
        }
        TO {
          PIN = Y ;
        }
      }
      SLEWRATE = 3.51 {
        PIN = Y ;
      }
    }
    VECTOR ( 10 B -> 01 Y ) {
      DELAY = 4.21 {
        FROM {
          PIN = B ;
        }
        TO {
          PIN = Y ;
        }
      }
      SLEWRATE = 4.51 {
        PIN = Y ;
      }
    }
    VECTOR ( 01 B -> 10 Y ) {
      DELAY = 4.12 {
        FROM {
          PIN = B ;
        }
        TO {
          PIN = Y ;
        }
      }
      SLEWRATE = 4.52 {
        PIN = Y ;
      }
    }
  }  // end CELL NOWHEN1
  CELL NOWHEN2 {
    AREA = 55 ;
    POWER = 4000 {
      MEASUREMENT = static ;
    }
    PIN A {
      DIRECTION = input ;
      CAPACITANCE = 0.01 ;
    }
    PIN B {
      DIRECTION = input ;
      CAPACITANCE = 0.01 ;
    }
    PIN Y {
      DIRECTION = output ;
      LIMIT {
        CAPACITANCE {
          MAX = 1.1 ;
        }
      }
    }
    VECTOR ( 01 A -> 01 Y ) {
      DELAY {
        MIN = 1.11 ;
        MAX = 2.11 ;
        FROM {
          PIN = A ;
        }
        TO {
          PIN = Y ;
        }
      }
      SLEWRATE {
        PIN = Y ;
        MIN = 1.51 ;
        MAX = 2.51 ;
      }
    }
    VECTOR ( 10 A -> 10 Y ) {
      DELAY {
        MIN = 1.22 ;
        MAX = 2.22 ;
        FROM {
          PIN = A ;
        }
        TO {
          PIN = Y ;
        }
      }
      SLEWRATE {
        PIN = Y ;
        MIN = 1.52 ;
        MAX = 2.52 ;
      }
    }
    VECTOR ( 01 A -> 10 Y ) {
      DELAY {
        MIN = 3.12 ;
        MAX = 4.12 ;
        FROM {
          PIN = A ;
        }
        TO {
          PIN = Y ;
        }
      }
      SLEWRATE {
        PIN = Y ;
        MIN = 3.52 ;
        MAX = 4.52 ;
      }
    }
    VECTOR ( 10 A -> 01 Y ) {
      DELAY {
        MIN = 3.21 ;
        MAX = 4.21 ;
        FROM {
          PIN = A ;
        }
        TO {
          PIN = Y ;
        }
      }
      SLEWRATE {
        PIN = Y ;
        MIN = 3.51 ;
        MAX = 4.51 ;
      }
    }
    VECTOR ( 10 B -> 10 Y ) {
      DELAY {
        MIN = 5.22 ;
        MAX = 6.22 ;
        FROM {
          PIN = B ;
        }
        TO {
          PIN = Y ;
        }
      }
      SLEWRATE {
        PIN = Y ;
        MIN = 5.52 ;
        MAX = 6.52 ;
      }
    }
    VECTOR ( 01 B -> 01 Y ) {
      DELAY {
        MIN = 5.11 ;
        MAX = 6.11 ;
        FROM {
          PIN = B ;
        }
        TO {
          PIN = Y ;
        }
      }
      SLEWRATE {
        PIN = Y ;
        MIN = 5.51 ;
        MAX = 6.51 ;
      }
    }
    VECTOR ( 10 B -> 01 Y ) {
      DELAY {
        MIN = 7.21 ;
        MAX = 8.21 ;
        FROM {
          PIN = B ;
        }
        TO {
          PIN = Y ;
        }
      }
      SLEWRATE {
        PIN = Y ;
        MIN = 7.51 ;
        MAX = 8.51 ;
      }
    }
    VECTOR ( 01 B -> 10 Y ) {
      DELAY {
        MIN = 7.12 ;
        MAX = 8.12 ;
        FROM {
          PIN = B ;
        }
        TO {
          PIN = Y ;
        }
      }
      SLEWRATE {
        PIN = Y ;
        MIN = 7.52 ;
        MAX = 8.52 ;
      }
    }
  }  // end CELL NOWHEN2
  CELL WHEN1 {
    AREA = 55 ;
    POWER = 4000 {
      MEASUREMENT = static ;
    }
    PIN A {
      DIRECTION = input ;
      CAPACITANCE = 0.01 ;
    }
    PIN B {
      DIRECTION = input ;
      CAPACITANCE = 0.01 ;
    }
    PIN CA1 {
      DIRECTION = input ;
      CAPACITANCE = 0.01 ;
    }
    PIN CA2 {
      DIRECTION = input ;
      CAPACITANCE = 0.01 ;
    }
    PIN CB1 {
      DIRECTION = input ;
      CAPACITANCE = 0.01 ;
    }
    PIN CB2 {
      DIRECTION = input ;
      CAPACITANCE = 0.01 ;
    }
    PIN Y {
      DIRECTION = output ;
      LIMIT {
        CAPACITANCE {
          MAX = 1.1 ;
        }
      }
    }
    VECTOR ( (01 A -> 01 Y) && (!CA1 && !CA2) ) {
      DELAY = 1.11 {
        FROM {
          PIN = A ;
        }
        TO {
          PIN = Y ;
        }
      }
      SLEWRATE = 1.51 {
        PIN = Y ;
      }
    }
    VECTOR ( (10 B -> 10 Y) && (!CB1 && !CB2) ) {
      DELAY = 5.22 {
        FROM {
          PIN = B ;
        }
        TO {
          PIN = Y ;
        }
      }
      SLEWRATE = 5.52 {
        PIN = Y ;
      }
    }
    VECTOR ( (10 B -> 01 Y) && (!CB1 && CB2) ) {
      DELAY = 6.21 {
        FROM {
          PIN = B ;
        }
        TO {
          PIN = Y ;
        }
      }
      SLEWRATE = 6.51 {
        PIN = Y ;
      }
    }
    VECTOR ( (01 B -> 10 Y) && (CB1 && !CB2) ) {
      DELAY = 7.12 {
        FROM {
          PIN = B ;
        }
        TO {
          PIN = Y ;
        }
      }
      SLEWRATE = 7.52 {
        PIN = Y ;
      }
    }
    VECTOR ( (01 B -> 01 Y) && (CB1 && CB2) ) {
      DELAY = 8.11 {
        FROM {
          PIN = B ;
        }
        TO {
          PIN = Y ;
        }
      }
      SLEWRATE = 8.51 {
        PIN = Y ;
      }
    }
  }  // end CELL WHEN1
  CELL WHEN2 {
    AREA = 55 ;
    POWER = 4000 {
      MEASUREMENT = static ;
    }
    PIN A {
      DIRECTION = input ;
      CAPACITANCE = 0.01 ;
    }
    PIN B {
      DIRECTION = input ;
      CAPACITANCE = 0.01 ;
    }
    PIN CA1 {
      DIRECTION = input ;
      CAPACITANCE = 0.01 ;
    }
    PIN CA2 {
      DIRECTION = input ;
      CAPACITANCE = 0.01 ;
    }
    PIN CB1 {
      DIRECTION = input ;
      CAPACITANCE = 0.01 ;
    }
    PIN CB2 {
      DIRECTION = input ;
      CAPACITANCE = 0.01 ;
    }
    PIN Y {
      DIRECTION = output ;
      LIMIT {
        CAPACITANCE {
          MAX = 1.1 ;
        }
      }
    }
    VECTOR ( (01 A -> 01 Y) && (!CA1 && !CA2) ) {
      DELAY {
        MIN = 1.11 ;
        MAX = 2.11 ;
        FROM {
          PIN = A ;
        }
        TO {
          PIN = Y ;
        }
      }
      SLEWRATE {
        PIN = Y ;
        MIN = 1.51 ;
        MAX = 2.51 ;
      }
    }
    VECTOR ( (01 B -> 01 Y) && (!CB1 && !CB2) ) {
      DELAY {
        MIN = 3.11 ;
        MAX = 4.11 ;
        FROM {
          PIN = B ;
        }
        TO {
          PIN = Y ;
        }
      }
      SLEWRATE {
        PIN = Y ;
        MIN = 3.51 ;
        MAX = 4.51 ;
      }
    }
    VECTOR ( (01 B -> 10 Y) && (!CB1 && CB2) ) {
      DELAY {
        MIN = 5.12 ;
        MAX = 6.12 ;
        FROM {
          PIN = B ;
        }
        TO {
          PIN = Y ;
        }
      }
      SLEWRATE {
        PIN = Y ;
        MIN = 5.52 ;
        MAX = 6.52 ;
      }
    }
    VECTOR ( (10 B -> 01 Y) && (CB1 && !CB2) ) {
      DELAY {
        MIN = 7.21 ;
        MAX = 8.21 ;
        FROM {
          PIN = B ;
        }
        TO {
          PIN = Y ;
        }
      }
      SLEWRATE {
        PIN = Y ;
        MIN = 7.51 ;
        MAX = 8.51 ;
      }
    }
    VECTOR ( (10 B -> 10 Y) && (CB1 && CB2) ) {
      DELAY {
        MIN = 9.22 ;
        MAX = 10.22 ;
        FROM {
          PIN = B ;
        }
        TO {
          PIN = Y ;
        }
      }
      SLEWRATE {
        PIN = Y ;
        MIN = 9.52 ;
        MAX = 10.52 ;
      }
    }
  }  // end CELL WHEN2
  CELL WHEN3 {
    AREA = 56.5488 ;
    POWER = 4000 {
      MEASUREMENT = static ;
    }
    PIN A {
      DIRECTION = input ;
      CAPACITANCE = 0.01 ;
    }
    PIN B {
      DIRECTION = input ;
      CAPACITANCE = 0.01 ;
    }
    PIN CA1 {
      DIRECTION = input ;
      CAPACITANCE = 0.01 ;
    }
    PIN CA2 {
      DIRECTION = input ;
      CAPACITANCE = 0.01 ;
    }
    PIN CA3 {
      DIRECTION = input ;
      CAPACITANCE = 0.01 ;
    }
    PIN CB1 {
      DIRECTION = input ;
      CAPACITANCE = 0.01 ;
    }
    PIN CB2 {
      DIRECTION = input ;
      CAPACITANCE = 0.01 ;
    }
    PIN CB3 {
      DIRECTION = input ;
      CAPACITANCE = 0.01 ;
    }
    PIN Y {
      DIRECTION = output ;
      LIMIT {
        CAPACITANCE {
          MAX = 1.1 ;
        }
      }
    }
    VECTOR ( (01 A -> 01 Y) && (CA1 && CA2) ) {
      DELAY = 1.11 {
        FROM {
          PIN = A ;
        }
        TO {
          PIN = Y ;
        }
      }
      SLEWRATE = 1.51 {
        PIN = Y ;
      }
    }
    VECTOR (01 A -> 01 Y) {
      DELAY = 2.11 {
        FROM {
          PIN = A ;
        }
        TO {
          PIN = Y ;
        }
      }
      SLEWRATE = 2.51 {
        PIN = Y ;
      }
    }
    VECTOR ( (01 B -> 01 Y) && (!CB1 && !CB2 && !CB3) ) {
      DELAY {
        MIN = 3.11 ;
        MAX = 4.11 ;
        FROM {
          PIN = B ;
        }
        TO {
          PIN = Y ;
        }
      }
      SLEWRATE {
        PIN = Y ;
        MIN = 3.51 ;
        MAX = 4.51 ;
      }
    }
    VECTOR ( (01 B -> 01 Y) && (!CB1 && !CB2 && CB3) ) {
      DELAY = 5.11 {
        FROM {
          PIN = B ;
        }
        TO {
          PIN = Y ;
        }
      }
      SLEWRATE = 5.51 {
        PIN = Y ;
      }
    }
    VECTOR ( (01 B -> 10 Y) && (!CB1 && CB2 && !CB3) ) {
      DELAY = 6.12 {
        FROM {
          PIN = B ;
        }
        TO {
          PIN = Y ;
        }
      }
      SLEWRATE = 6.52 {
        PIN = Y ;
      }
    }
    VECTOR ( 01 B -> 10 Y ) {
      DELAY {
        MIN = 7.12 ;
        MAX = 8.12 ;
        FROM {
          PIN = B ;
        }
        TO {
          PIN = Y ;
        }
      }
      SLEWRATE {
        PIN = Y ;
        MIN = 7.52 ;
        MAX = 8.52 ;
      }
    }
    VECTOR ( 10 B -> 01 Y ) {
      DELAY {
        MIN = 9.21 ;
        MAX = 11.21 ;
        FROM {
          PIN = B ;
        }
        TO {
          PIN = Y ;
        }
      }
      SLEWRATE {
        PIN = Y ;
        MIN = 9.51 ;
        MAX = 11.51 ;
      }
    }
    VECTOR ( (10 B -> 01 Y) && (CB1 && !CB2 && !CB3) ) {
      DELAY = 10.21 {
        FROM {
          PIN = B ;
        }
        TO {
          PIN = Y ;
        }
      }
      SLEWRATE = 10.51 {
        PIN = Y ;
      }
    }
    VECTOR ( (10 B -> 10 Y) && (CB1 && !CB2 && CB3) ) {
      DELAY = 12.22 {
        FROM {
          PIN = B ;
        }
        TO {
          PIN = Y ;
        }
      }
      SLEWRATE = 12.52 {
        PIN = Y ;
      }
    }
    VECTOR ( 10 B -> 10 Y ) {
      DELAY = 13.22 {
        FROM {
          PIN = B ;
        }
        TO {
          PIN = Y ;
        }
      }
      SLEWRATE = 13.52 {
        PIN = Y ;
      }
    }
  }  // end CELL WHEN3
}  // end LIBRARY when_clause_example