  cell(gf180mcu_fd_sc_mcu9t5v0__xor3_2) {
    area : 79.027200 ;

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&!A2&!A3" ;
      value : "0.0003500982" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&!A2&A3" ;
      value : "0.0003514104" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&A2&!A3" ;
      value : "0.0003361014" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&A2&A3" ;
      value : "0.0003331206" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&!A2&!A3" ;
      value : "0.0003426948" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&!A2&A3" ;
      value : "0.0003397302" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&A2&!A3" ;
      value : "0.000324567" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&A2&A3" ;
      value : "0.0003258954" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      value : "0.0003514104" ;
    }

    pg_pin(VDD) {
      voltage_name : VDD ;
      pg_type : primary_power ;
    }

    pg_pin(VSS) {
      voltage_name : VSS ;
      pg_type : primary_ground ;
    }

    pin(A1) {
      capacitance : 0.005885 ;
      direction : input ;
      driver_waveform_rise : driver_waveform_default_rise ;
      driver_waveform_fall : driver_waveform_default_fall ;
      input_voltage : default ;
      max_transition : 20 ;
      related_ground_pin : VSS ;
      related_power_pin : VDD ;
    }

    pin(A2) {
      capacitance : 0.006454 ;
      direction : input ;
      driver_waveform_rise : driver_waveform_default_rise ;
      driver_waveform_fall : driver_waveform_default_fall ;
      input_voltage : default ;
      max_transition : 20 ;
      related_ground_pin : VSS ;
      related_power_pin : VDD ;
    }

    pin(A3) {
      capacitance : 0.009136 ;
      direction : input ;
      driver_waveform_rise : driver_waveform_default_rise ;
      driver_waveform_fall : driver_waveform_default_fall ;
      input_voltage : default ;
      max_transition : 20 ;
      related_ground_pin : VSS ;
      related_power_pin : VDD ;
    }

    pin(Z) {
      direction : output ;
      function : "(A1^A2^A3)" ;
      max_capacitance : 0.4704 ;
      max_transition : 20 ;
      min_capacitance : 0.001 ;
      output_voltage : default ;
      related_ground_pin : VSS ;
      related_power_pin : VDD ;

      internal_power() {
        related_pin : "A1" ;
        when : "!A2&!A3" ;

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.07433, 0.07448, 0.07491, 0.07547, 0.07594, 0.07628, 0.0765, 0.07664, 0.07673, 0.07674",\
                 "0.07428, 0.07444, 0.07488, 0.07543, 0.0759, 0.07623, 0.07646, 0.0766, 0.07669, 0.0767",\
                 "0.07418, 0.07434, 0.07478, 0.07534, 0.07581, 0.07614, 0.07636, 0.0765, 0.0766, 0.07659",\
                 "0.0741, 0.07426, 0.07469, 0.07525, 0.07572, 0.07605, 0.07627, 0.07642, 0.0765, 0.07647",\
                 "0.07401, 0.07416, 0.07461, 0.07515, 0.07562, 0.07595, 0.07617, 0.07632, 0.07638, 0.07624",\
                 "0.07384, 0.07399, 0.07444, 0.07498, 0.07546, 0.07579, 0.076, 0.07614, 0.07612, 0.07569",\
                 "0.07363, 0.07378, 0.07422, 0.07478, 0.07524, 0.07557, 0.07578, 0.07583, 0.07539, 0.07411",\
                 "0.07343, 0.07356, 0.07402, 0.07456, 0.07502, 0.07532, 0.07525, 0.07431, 0.07241, 0.0706",\
                 "0.07189, 0.07204, 0.0724, 0.07273, 0.07229, 0.07007, 0.06798, 0.06655, 0.06556, 0.06486",\
                 "0.0354, 0.03549, 0.03578, 0.03612, 0.03638, 0.03653, 0.03664, 0.03669, 0.03673, 0.03675");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.05715, 0.05726, 0.05763, 0.05814, 0.05863, 0.05923, 0.06106, 0.07931, 0.1599, 0.3017",\
                 "0.05718, 0.05732, 0.05766, 0.05817, 0.05866, 0.05928, 0.06123, 0.08028, 0.1625, 0.3044",\
                 "0.05715, 0.05727, 0.0576, 0.0581, 0.05868, 0.05918, 0.06152, 0.08339, 0.1709, 0.3128",\
                 "0.0569, 0.05705, 0.05737, 0.05789, 0.05838, 0.05897, 0.0621, 0.09024, 0.1873, 0.3264",\
                 "0.05667, 0.05681, 0.05713, 0.05763, 0.05819, 0.05881, 0.06356, 0.103, 0.2118, 0.3424",\
                 "0.05646, 0.05659, 0.05695, 0.05746, 0.05791, 0.05884, 0.06817, 0.1248, 0.2418, 0.3555",\
                 "0.05629, 0.05642, 0.05679, 0.05731, 0.0578, 0.05952, 0.0795, 0.1598, 0.2703, 0.3588",\
                 "0.05613, 0.05624, 0.05662, 0.05713, 0.05771, 0.06339, 0.1079, 0.2012, 0.2838, 0.3432",\
                 "0.05591, 0.05606, 0.05636, 0.05683, 0.0587, 0.08415, 0.1551, 0.2202, 0.2652, 0.2966",\
                 "0.05549, 0.05562, 0.05593, 0.05768, 0.08101, 0.1267, 0.1589, 0.1798, 0.1936, 0.2031");
        }
      }

      internal_power() {
        related_pin : "A1" ;
        when : "!A2&A3" ;

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.08867, 0.08885, 0.08931, 0.08983, 0.09025, 0.09053, 0.0907, 0.09082, 0.09089, 0.09091",\
                 "0.0887, 0.08887, 0.08935, 0.08988, 0.09028, 0.09057, 0.09074, 0.09084, 0.09093, 0.09095",\
                 "0.08867, 0.08884, 0.0893, 0.08983, 0.09024, 0.09052, 0.09069, 0.09081, 0.0909, 0.0909",\
                 "0.08842, 0.08862, 0.08908, 0.08958, 0.09, 0.09028, 0.09045, 0.09058, 0.09065, 0.09062",\
                 "0.08817, 0.08835, 0.08882, 0.08934, 0.08977, 0.09005, 0.09022, 0.09034, 0.09039, 0.0903",\
                 "0.08796, 0.08815, 0.0886, 0.08913, 0.08954, 0.08983, 0.09001, 0.09011, 0.09013, 0.08985",\
                 "0.08778, 0.08795, 0.08843, 0.08895, 0.08935, 0.08964, 0.08982, 0.08991, 0.08979, 0.08902",\
                 "0.08759, 0.08776, 0.08822, 0.08875, 0.08917, 0.08945, 0.08961, 0.08956, 0.08878, 0.08707",\
                 "0.08736, 0.08754, 0.088, 0.08854, 0.08894, 0.0892, 0.08903, 0.08765, 0.0855, 0.08376",\
                 "0.08691, 0.08709, 0.08752, 0.08791, 0.08739, 0.08489, 0.0826, 0.08106, 0.08001, 0.07927");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.004897, 0.005082, 0.005557, 0.006189, 0.006891, 0.007468, 0.009799, 0.03463, 0.1265, 0.2672",\
                 "0.004854, 0.005027, 0.005516, 0.006157, 0.006842, 0.007355, 0.01022, 0.03565, 0.1294, 0.2692",\
                 "0.004747, 0.004935, 0.005427, 0.00606, 0.006761, 0.007313, 0.01042, 0.03969, 0.1387, 0.2764",\
                 "0.004654, 0.004858, 0.005341, 0.006011, 0.00668, 0.007379, 0.01168, 0.04928, 0.1569, 0.2886",\
                 "0.004549, 0.004722, 0.005202, 0.005865, 0.006486, 0.007326, 0.01534, 0.06798, 0.1837, 0.3016",\
                 "0.004385, 0.004596, 0.005048, 0.005752, 0.006396, 0.007813, 0.02534, 0.1024, 0.2148, 0.3075",\
                 "0.004178, 0.004353, 0.004839, 0.00546, 0.00623, 0.01167, 0.05553, 0.1486, 0.232, 0.2921",\
                 "0.00401, 0.004173, 0.004667, 0.005331, 0.008042, 0.03886, 0.1092, 0.1673, 0.2071, 0.2348",\
                 "0.003767, 0.003951, 0.004487, 0.01143, 0.04317, 0.07008, 0.08686, 0.09749, 0.1045, 0.1093",\
                 "-0.03946, -0.03946, -0.03946, -0.03946, -0.03946, -0.03946, -0.03946, -0.03946, -0.03946, -0.03946");
        }
      }

      internal_power() {
        related_pin : "A1" ;
        when : "A2&!A3" ;

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.05163, 0.05177, 0.0522, 0.05276, 0.05324, 0.05357, 0.05379, 0.05394, 0.05403, 0.05409",\
                 "0.05161, 0.05178, 0.0522, 0.05276, 0.05323, 0.05358, 0.0538, 0.05394, 0.05403, 0.05409",\
                 "0.05159, 0.05174, 0.05219, 0.05274, 0.05322, 0.05355, 0.05377, 0.05392, 0.05401, 0.05406",\
                 "0.05147, 0.05162, 0.05207, 0.05262, 0.0531, 0.05342, 0.05366, 0.0538, 0.05388, 0.05394",\
                 "0.05125, 0.05139, 0.05182, 0.05238, 0.05286, 0.05319, 0.05341, 0.05356, 0.05365, 0.05369",\
                 "0.05101, 0.05115, 0.05159, 0.05214, 0.0526, 0.05295, 0.05317, 0.05332, 0.05341, 0.0534",\
                 "0.05083, 0.05097, 0.0514, 0.05194, 0.05241, 0.05276, 0.05298, 0.05313, 0.05319, 0.05304",\
                 "0.05069, 0.05083, 0.05126, 0.0518, 0.05227, 0.05261, 0.05283, 0.05295, 0.05286, 0.05217",\
                 "0.0506, 0.05075, 0.05117, 0.0517, 0.05218, 0.0525, 0.05268, 0.05248, 0.05142, 0.04962",\
                 "0.05055, 0.05069, 0.05109, 0.05159, 0.05195, 0.05187, 0.05055, 0.04837, 0.04664, 0.04536");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.04764, 0.04779, 0.04814, 0.04862, 0.04913, 0.04974, 0.05087, 0.06333, 0.1282, 0.266",\
                 "0.04769, 0.04781, 0.04817, 0.04869, 0.04918, 0.04979, 0.05107, 0.06379, 0.1305, 0.269",\
                 "0.04752, 0.04767, 0.04799, 0.04851, 0.04901, 0.04961, 0.05091, 0.06569, 0.1377, 0.2781",\
                 "0.04726, 0.04742, 0.04776, 0.04825, 0.04876, 0.04938, 0.05113, 0.07052, 0.1531, 0.295",\
                 "0.04704, 0.04717, 0.04753, 0.04804, 0.04853, 0.04918, 0.05227, 0.08151, 0.1803, 0.3187",\
                 "0.04686, 0.04697, 0.04732, 0.04784, 0.04833, 0.04915, 0.05652, 0.1061, 0.2213, 0.342",\
                 "0.04669, 0.04683, 0.04718, 0.04768, 0.04819, 0.05012, 0.07199, 0.1549, 0.2633, 0.3486",\
                 "0.0465, 0.04664, 0.04699, 0.04748, 0.04833, 0.06107, 0.1236, 0.2072, 0.2695, 0.3133",\
                 "0.04596, 0.04609, 0.04638, 0.04766, 0.06676, 0.1156, 0.1529, 0.1772, 0.1933, 0.2045",\
                 "0.01244, 0.01243, 0.0124, 0.01236, 0.01234, 0.01233, 0.01232, 0.01231, 0.0123, 0.0123");
        }
      }

      internal_power() {
        related_pin : "A1" ;
        when : "A2&A3" ;

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.08502, 0.08519, 0.08565, 0.08618, 0.08659, 0.08687, 0.08705, 0.08717, 0.08724, 0.08728",\
                 "0.08506, 0.08524, 0.0857, 0.08622, 0.08664, 0.08692, 0.08709, 0.08721, 0.08729, 0.08732",\
                 "0.08488, 0.08508, 0.08554, 0.08606, 0.08648, 0.08673, 0.08692, 0.08705, 0.08712, 0.08716",\
                 "0.08463, 0.08481, 0.08528, 0.0858, 0.08621, 0.08649, 0.08668, 0.0868, 0.08685, 0.08687",\
                 "0.0844, 0.08458, 0.08505, 0.08557, 0.08598, 0.08627, 0.08645, 0.08657, 0.08663, 0.0866",\
                 "0.08422, 0.0844, 0.08486, 0.08538, 0.08579, 0.08608, 0.08625, 0.08637, 0.08641, 0.08621",\
                 "0.08404, 0.08422, 0.0847, 0.08522, 0.08563, 0.08591, 0.08609, 0.08618, 0.08602, 0.08517",\
                 "0.08385, 0.08402, 0.08448, 0.08499, 0.08541, 0.0857, 0.0858, 0.08534, 0.08375, 0.08177",\
                 "0.08326, 0.08345, 0.0839, 0.08436, 0.08427, 0.08235, 0.07983, 0.07807, 0.07687, 0.07601",\
                 "0.02479, 0.0248, 0.0248, 0.02479, 0.02479, 0.02478, 0.02477, 0.02477, 0.02477, 0.02477");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.05691, 0.0571, 0.05759, 0.05823, 0.05891, 0.05942, 0.06043, 0.06798, 0.1179, 0.2457",\
                 "0.0569, 0.0571, 0.0576, 0.05824, 0.05891, 0.05946, 0.06039, 0.06858, 0.1195, 0.2482",\
                 "0.05688, 0.05706, 0.05753, 0.0582, 0.05883, 0.0594, 0.06056, 0.06965, 0.1252, 0.2579",\
                 "0.05677, 0.05695, 0.05746, 0.05812, 0.05873, 0.05935, 0.06034, 0.07287, 0.138, 0.2758",\
                 "0.0566, 0.05678, 0.05727, 0.05794, 0.05852, 0.05916, 0.06075, 0.08002, 0.1608, 0.3026",\
                 "0.05641, 0.0566, 0.05704, 0.05776, 0.05833, 0.05898, 0.0624, 0.09437, 0.1957, 0.3328",\
                 "0.05625, 0.05643, 0.05694, 0.05761, 0.05818, 0.05909, 0.06808, 0.1239, 0.24, 0.3549",\
                 "0.0561, 0.05629, 0.05679, 0.05744, 0.05804, 0.06048, 0.08678, 0.1739, 0.2771, 0.3563",\
                 "0.05604, 0.05625, 0.0567, 0.05732, 0.05832, 0.07238, 0.1365, 0.2181, 0.278, 0.3202",\
                 "0.05623, 0.05638, 0.05685, 0.05798, 0.07363, 0.124, 0.1664, 0.1942, 0.2128, 0.2256");
        }
      }

      internal_power() {
        related_pin : "A2" ;
        when : "!A1&!A3" ;

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.0732, 0.07335, 0.07379, 0.07434, 0.07482, 0.07515, 0.07538, 0.07551, 0.0756, 0.07562",\
                 "0.07309, 0.07324, 0.07367, 0.07424, 0.07471, 0.07504, 0.07525, 0.0754, 0.07549, 0.07551",\
                 "0.07294, 0.07309, 0.07353, 0.07408, 0.07457, 0.07489, 0.07512, 0.07526, 0.07534, 0.07535",\
                 "0.07282, 0.07297, 0.07342, 0.07398, 0.07444, 0.07477, 0.07501, 0.07514, 0.07523, 0.0752",\
                 "0.07274, 0.0729, 0.07334, 0.07389, 0.07436, 0.07469, 0.07491, 0.07507, 0.07512, 0.075",\
                 "0.07264, 0.0728, 0.07324, 0.07379, 0.07427, 0.0746, 0.07482, 0.07495, 0.07494, 0.07451",\
                 "0.07253, 0.07269, 0.07313, 0.07367, 0.07417, 0.07449, 0.0747, 0.07472, 0.07425, 0.07291",\
                 "0.07241, 0.07256, 0.073, 0.07356, 0.07401, 0.07426, 0.07408, 0.07284, 0.07083, 0.06911",\
                 "0.06963, 0.06972, 0.07003, 0.07, 0.06804, 0.06577, 0.06429, 0.06332, 0.06266, 0.0622",\
                 "0.02541, 0.02541, 0.0254, 0.02538, 0.02535, 0.02533, 0.0253, 0.02529, 0.02527, 0.02526");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.05855, 0.0587, 0.05904, 0.05954, 0.06003, 0.06066, 0.06215, 0.0788, 0.1557, 0.2971",\
                 "0.05856, 0.0587, 0.05904, 0.05959, 0.06006, 0.0607, 0.06226, 0.07964, 0.158, 0.2998",\
                 "0.05856, 0.05869, 0.05902, 0.05952, 0.06009, 0.06063, 0.06248, 0.08245, 0.1661, 0.3084",\
                 "0.0584, 0.05855, 0.05887, 0.05939, 0.05993, 0.06046, 0.06325, 0.089, 0.1823, 0.3228",\
                 "0.05826, 0.05841, 0.05874, 0.05928, 0.05977, 0.06045, 0.06472, 0.1005, 0.2066, 0.3401",\
                 "0.05815, 0.05828, 0.0586, 0.05915, 0.0597, 0.06048, 0.06838, 0.121, 0.2371, 0.355",\
                 "0.05806, 0.05819, 0.05855, 0.05905, 0.05958, 0.06104, 0.07824, 0.1545, 0.2676, 0.361",\
                 "0.05798, 0.05809, 0.05844, 0.0589, 0.0595, 0.06414, 0.1038, 0.1971, 0.2852, 0.3491",\
                 "0.05789, 0.05803, 0.05834, 0.05877, 0.06031, 0.08116, 0.1509, 0.2223, 0.2724, 0.3074",\
                 "0.05778, 0.05794, 0.05824, 0.05934, 0.07711, 0.1266, 0.166, 0.1917, 0.2088, 0.2206");
        }
      }

      internal_power() {
        related_pin : "A2" ;
        when : "!A1&A3" ;

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.08609, 0.08627, 0.08674, 0.08726, 0.08767, 0.08795, 0.08813, 0.08825, 0.08833, 0.08835",\
                 "0.08613, 0.08631, 0.08677, 0.0873, 0.08771, 0.08799, 0.08818, 0.08829, 0.08837, 0.08839",\
                 "0.08609, 0.08628, 0.08675, 0.08728, 0.08769, 0.08798, 0.08815, 0.08827, 0.08834, 0.08835",\
                 "0.08596, 0.08614, 0.08661, 0.08713, 0.08754, 0.08783, 0.08801, 0.08812, 0.08819, 0.08817",\
                 "0.0858, 0.08598, 0.08645, 0.08697, 0.08738, 0.08767, 0.08785, 0.08797, 0.08803, 0.08795",\
                 "0.08568, 0.08585, 0.08632, 0.08684, 0.08725, 0.08753, 0.08771, 0.08782, 0.08785, 0.08762",\
                 "0.08555, 0.08574, 0.08621, 0.08673, 0.08713, 0.08742, 0.08759, 0.08769, 0.08761, 0.08696",\
                 "0.08546, 0.08563, 0.08611, 0.08663, 0.08705, 0.08733, 0.0875, 0.0875, 0.08689, 0.08534",\
                 "0.08536, 0.08554, 0.08601, 0.08653, 0.08695, 0.08721, 0.08718, 0.08614, 0.08408, 0.08223",\
                 "0.0853, 0.08547, 0.08595, 0.08641, 0.08644, 0.08476, 0.08219, 0.08036, 0.0791, 0.07821");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("-0.04655, -0.04635, -0.04588, -0.04522, -0.04463, -0.04397, -0.04173, -0.01824, 0.07134, 0.2121",\
                 "-0.04666, -0.04647, -0.04601, -0.04535, -0.04471, -0.0441, -0.04189, -0.01802, 0.07297, 0.214",\
                 "-0.04681, -0.04664, -0.04614, -0.04553, -0.04484, -0.04421, -0.04127, -0.01397, 0.08175, 0.2211",\
                 "-0.04693, -0.04677, -0.04627, -0.04559, -0.04496, -0.04438, -0.04001, -0.005205, 0.09972, 0.2337",\
                 "-0.047, -0.04683, -0.04634, -0.04567, -0.04504, -0.04427, -0.03712, 0.01322, 0.1286, 0.2485",\
                 "-0.0471, -0.04691, -0.04647, -0.0458, -0.04511, -0.04372, -0.02671, 0.04947, 0.1625, 0.256",\
                 "-0.04721, -0.04703, -0.04655, -0.04585, -0.04513, -0.0392, 0.006636, 0.09939, 0.1807, 0.2391",\
                 "-0.04731, -0.04713, -0.04664, -0.04595, -0.04206, -0.005777, 0.06186, 0.1136, 0.1487, 0.1731",\
                 "-0.04753, -0.04738, -0.04652, -0.03246, -0.008756, 0.006438, 0.01568, 0.02149, 0.02532, 0.02791",\
                 "-0.1001, -0.1001, -0.1001, -0.1001, -0.1001, -0.1001, -0.1001, -0.1001, -0.1001, -0.1001");
        }
      }

      internal_power() {
        related_pin : "A2" ;
        when : "A1&!A3" ;

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.05225, 0.0524, 0.05283, 0.05339, 0.05387, 0.0542, 0.05443, 0.05457, 0.05466, 0.05472",\
                 "0.05226, 0.05242, 0.05286, 0.0534, 0.05388, 0.05422, 0.05444, 0.05458, 0.05468, 0.05474",\
                 "0.05228, 0.05244, 0.05287, 0.05343, 0.0539, 0.05423, 0.05446, 0.0546, 0.05469, 0.05475",\
                 "0.0522, 0.05236, 0.05279, 0.05335, 0.05382, 0.05416, 0.05438, 0.05453, 0.05462, 0.05467",\
                 "0.05204, 0.05218, 0.05262, 0.05317, 0.05365, 0.05398, 0.05421, 0.05435, 0.05445, 0.05448",\
                 "0.05184, 0.05197, 0.0524, 0.05295, 0.05342, 0.05377, 0.05399, 0.05413, 0.05422, 0.05422",\
                 "0.05164, 0.05178, 0.05221, 0.05276, 0.05323, 0.05358, 0.05379, 0.05394, 0.05401, 0.05388",\
                 "0.05147, 0.05161, 0.05204, 0.05259, 0.05306, 0.0534, 0.05361, 0.05374, 0.05367, 0.05306",\
                 "0.05135, 0.05147, 0.05188, 0.05244, 0.05291, 0.05324, 0.05344, 0.05333, 0.05243, 0.0507",\
                 "0.05129, 0.05143, 0.05181, 0.05233, 0.05273, 0.05278, 0.05182, 0.04974, 0.04788, 0.0465");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.03617, 0.0363, 0.03665, 0.03716, 0.03765, 0.03825, 0.03945, 0.05321, 0.1227, 0.2623",\
                 "0.03602, 0.03615, 0.03651, 0.037, 0.03751, 0.0381, 0.03957, 0.05363, 0.1244, 0.2644",\
                 "0.03589, 0.03602, 0.03636, 0.03687, 0.03739, 0.03789, 0.03964, 0.05588, 0.132, 0.2733",\
                 "0.03573, 0.03586, 0.0362, 0.03671, 0.0372, 0.03777, 0.04007, 0.06171, 0.1484, 0.2901",\
                 "0.03557, 0.03568, 0.03602, 0.03656, 0.03705, 0.03769, 0.0413, 0.07382, 0.1766, 0.3127",\
                 "0.03542, 0.03555, 0.03589, 0.03637, 0.03689, 0.03778, 0.0462, 0.1007, 0.2173, 0.3333",\
                 "0.03526, 0.03539, 0.03571, 0.03625, 0.03677, 0.0391, 0.06479, 0.1514, 0.2556, 0.3356",\
                 "0.03505, 0.03519, 0.03554, 0.03602, 0.03708, 0.05327, 0.12, 0.1982, 0.2545, 0.294",\
                 "0.03428, 0.03441, 0.03477, 0.03679, 0.06234, 0.1056, 0.135, 0.154, 0.1666, 0.1752",\
                 "-0.004325, -0.00432, -0.004331, -0.004346, -0.004347, -0.004356, -0.00436, -0.004363, -0.004371, -0.004364");
        }
      }

      internal_power() {
        related_pin : "A2" ;
        when : "A1&A3" ;

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.08721, 0.08739, 0.08786, 0.08839, 0.0888, 0.08908, 0.08925, 0.08937, 0.08945, 0.08946",\
                 "0.08707, 0.08724, 0.08772, 0.08823, 0.08864, 0.08893, 0.08911, 0.08922, 0.0893, 0.08933",\
                 "0.08692, 0.08711, 0.08758, 0.0881, 0.0885, 0.08879, 0.08897, 0.08909, 0.08916, 0.08918",\
                 "0.08675, 0.08693, 0.08741, 0.08791, 0.08834, 0.08862, 0.08881, 0.08893, 0.089, 0.089",\
                 "0.08659, 0.08678, 0.08723, 0.08776, 0.08818, 0.08846, 0.08864, 0.08876, 0.08883, 0.08877",\
                 "0.08645, 0.08662, 0.0871, 0.08762, 0.08803, 0.08831, 0.08849, 0.08861, 0.08863, 0.08837",\
                 "0.08629, 0.08647, 0.08693, 0.08746, 0.08787, 0.08815, 0.08833, 0.08841, 0.08817, 0.08716",\
                 "0.08605, 0.08623, 0.0867, 0.08722, 0.08764, 0.08791, 0.08796, 0.08727, 0.08543, 0.08349",\
                 "0.08518, 0.08534, 0.08578, 0.0861, 0.0852, 0.08249, 0.08036, 0.07895, 0.07799, 0.07732",\
                 "0.02347, 0.02347, 0.02347, 0.02346, 0.02346, 0.02346, 0.02345, 0.02345, 0.02345, 0.02345");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.05761, 0.05777, 0.05827, 0.05893, 0.05956, 0.06015, 0.0611, 0.06876, 0.1198, 0.2475",\
                 "0.05763, 0.0578, 0.0583, 0.05898, 0.05954, 0.06022, 0.06092, 0.06931, 0.1208, 0.2503",\
                 "0.05764, 0.05781, 0.0583, 0.05896, 0.0596, 0.06015, 0.0612, 0.07082, 0.1269, 0.2596",\
                 "0.05757, 0.05776, 0.05823, 0.05887, 0.05956, 0.06012, 0.06108, 0.07382, 0.1388, 0.2776",\
                 "0.05743, 0.05762, 0.05806, 0.05875, 0.05946, 0.06, 0.06184, 0.08011, 0.1606, 0.3016",\
                 "0.05725, 0.05743, 0.05792, 0.05856, 0.05918, 0.05987, 0.06314, 0.09309, 0.1931, 0.3306",\
                 "0.05708, 0.05724, 0.05778, 0.0584, 0.0591, 0.05988, 0.068, 0.1208, 0.2364, 0.3542",\
                 "0.05693, 0.05709, 0.05759, 0.05819, 0.05895, 0.06094, 0.08454, 0.1684, 0.2752, 0.3584",\
                 "0.05683, 0.05698, 0.05752, 0.05813, 0.0589, 0.07066, 0.1312, 0.2166, 0.2812, 0.3267",\
                 "0.0569, 0.0571, 0.05757, 0.05847, 0.07044, 0.1205, 0.1691, 0.2013, 0.2229, 0.2378");
        }
      }

      internal_power() {
        related_pin : "A3" ;
        when : "!A1&!A2" ;

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.04912, 0.0493, 0.04972, 0.05027, 0.05074, 0.05106, 0.05127, 0.0514, 0.0515, 0.05156",\
                 "0.04893, 0.0491, 0.04955, 0.0501, 0.05057, 0.0509, 0.05111, 0.05124, 0.05134, 0.0514",\
                 "0.04844, 0.0486, 0.04905, 0.04963, 0.05009, 0.05042, 0.05063, 0.05077, 0.05085, 0.05091",\
                 "0.0479, 0.04807, 0.04851, 0.04905, 0.04952, 0.04985, 0.05007, 0.05021, 0.05031, 0.05037",\
                 "0.04753, 0.04768, 0.04808, 0.04858, 0.04904, 0.04939, 0.04963, 0.04979, 0.0499, 0.04996",\
                 "0.04727, 0.04739, 0.04775, 0.0482, 0.04865, 0.04902, 0.04929, 0.04948, 0.04961, 0.04967",\
                 "0.04716, 0.04726, 0.04756, 0.04797, 0.04842, 0.04879, 0.04908, 0.04929, 0.04942, 0.0494",\
                 "0.04715, 0.04721, 0.04748, 0.04788, 0.04828, 0.04865, 0.04894, 0.04915, 0.04916, 0.04861",\
                 "0.0472, 0.04727, 0.04748, 0.04783, 0.0482, 0.04854, 0.04878, 0.04852, 0.04727, 0.04546",\
                 "0.04507, 0.0451, 0.04526, 0.04545, 0.04532, 0.04385, 0.04168, 0.04014, 0.03909, 0.03834");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.02748, 0.02769, 0.02824, 0.02893, 0.02963, 0.03011, 0.03052, 0.03331, 0.05878, 0.154",\
                 "0.02752, 0.02772, 0.02827, 0.029, 0.02961, 0.03004, 0.0307, 0.03361, 0.05965, 0.1562",\
                 "0.02748, 0.02767, 0.02823, 0.02896, 0.02958, 0.03012, 0.03055, 0.03426, 0.06283, 0.1641",\
                 "0.02719, 0.02734, 0.02783, 0.02844, 0.02909, 0.02965, 0.03048, 0.03481, 0.07005, 0.181",\
                 "0.02678, 0.0269, 0.02729, 0.0279, 0.02849, 0.02909, 0.02983, 0.03686, 0.0829, 0.2077",\
                 "0.0264, 0.02651, 0.02688, 0.02741, 0.02793, 0.02852, 0.02973, 0.04204, 0.1059, 0.2433",\
                 "0.02617, 0.02628, 0.02652, 0.02695, 0.02767, 0.02803, 0.03038, 0.05378, 0.1431, 0.2839",\
                 "0.02603, 0.02614, 0.0264, 0.02672, 0.02715, 0.02814, 0.03444, 0.08014, 0.1938, 0.3182",\
                 "0.02602, 0.02611, 0.02632, 0.02664, 0.02696, 0.02871, 0.05091, 0.1331, 0.2419, 0.3278",\
                 "0.02646, 0.02654, 0.02677, 0.02706, 0.02794, 0.04066, 0.1038, 0.1869, 0.2488, 0.2924");
        }
      }

      internal_power() {
        related_pin : "A3" ;
        when : "!A1&A2" ;

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.05507, 0.05524, 0.05572, 0.05624, 0.05665, 0.05694, 0.05712, 0.05723, 0.05731, 0.05736",\
                 "0.05512, 0.05527, 0.05576, 0.05629, 0.05669, 0.05697, 0.05714, 0.05726, 0.05734, 0.05739",\
                 "0.05498, 0.05516, 0.05563, 0.05617, 0.05656, 0.05685, 0.05703, 0.05714, 0.05722, 0.05727",\
                 "0.05432, 0.05445, 0.05493, 0.05546, 0.05587, 0.05615, 0.05633, 0.05645, 0.05652, 0.05657",\
                 "0.05355, 0.05373, 0.05421, 0.05473, 0.05514, 0.05542, 0.05561, 0.05572, 0.0558, 0.05584",\
                 "0.05302, 0.0532, 0.05367, 0.05419, 0.05462, 0.0549, 0.05508, 0.05518, 0.05525, 0.05529",\
                 "0.05262, 0.05277, 0.05325, 0.05377, 0.05418, 0.05447, 0.05465, 0.05476, 0.05483, 0.05483",\
                 "0.05224, 0.05244, 0.05288, 0.05341, 0.05382, 0.05411, 0.0543, 0.05443, 0.05448, 0.05432",\
                 "0.05196, 0.05213, 0.05258, 0.05311, 0.05351, 0.05382, 0.05399, 0.05411, 0.05399, 0.05323",\
                 "0.0522, 0.05237, 0.05283, 0.05335, 0.05377, 0.05406, 0.05421, 0.05385, 0.0524, 0.05043");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.05972, 0.05988, 0.06033, 0.06093, 0.06155, 0.06208, 0.06254, 0.06836, 0.1064, 0.2224",\
                 "0.0596, 0.05979, 0.06023, 0.06081, 0.0614, 0.06198, 0.0626, 0.06839, 0.1074, 0.2249",\
                 "0.0596, 0.05978, 0.06021, 0.06078, 0.06139, 0.06196, 0.06265, 0.06929, 0.1133, 0.2351",\
                 "0.05951, 0.05966, 0.06012, 0.06073, 0.06129, 0.0619, 0.06268, 0.07166, 0.1242, 0.2551",\
                 "0.05927, 0.05944, 0.05989, 0.06047, 0.06106, 0.06164, 0.06286, 0.07718, 0.1462, 0.2862",\
                 "0.05893, 0.05911, 0.05957, 0.06017, 0.06072, 0.06133, 0.06403, 0.09022, 0.1844, 0.3245",\
                 "0.05866, 0.05883, 0.05926, 0.05986, 0.06043, 0.06124, 0.06918, 0.1218, 0.2375, 0.3555",\
                 "0.05839, 0.05857, 0.05896, 0.05962, 0.06013, 0.06282, 0.09139, 0.1806, 0.2813, 0.3572",\
                 "0.05809, 0.05825, 0.05868, 0.05919, 0.06086, 0.08347, 0.1538, 0.2227, 0.2707, 0.3043",\
                 "0.05668, 0.05683, 0.0573, 0.06386, 0.0955, 0.1234, 0.141, 0.1521, 0.1594, 0.1645");
        }
      }

      internal_power() {
        related_pin : "A3" ;
        when : "A1&!A2" ;

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.05507, 0.05525, 0.05573, 0.05625, 0.05666, 0.05693, 0.05711, 0.05722, 0.0573, 0.05736",\
                 "0.05512, 0.05528, 0.05576, 0.05629, 0.05669, 0.05697, 0.05715, 0.05726, 0.05734, 0.05739",\
                 "0.05497, 0.05516, 0.05563, 0.05617, 0.05657, 0.05684, 0.05702, 0.05715, 0.05722, 0.05727",\
                 "0.05428, 0.05445, 0.05493, 0.05546, 0.05588, 0.05615, 0.05633, 0.05644, 0.05652, 0.05657",\
                 "0.05355, 0.05372, 0.0542, 0.05472, 0.05515, 0.05543, 0.05561, 0.05572, 0.0558, 0.05585",\
                 "0.05302, 0.05319, 0.05367, 0.05419, 0.05462, 0.05489, 0.05507, 0.05518, 0.05526, 0.0553",\
                 "0.05259, 0.05277, 0.05324, 0.05378, 0.05419, 0.05447, 0.05465, 0.05476, 0.05483, 0.05483",\
                 "0.05225, 0.05241, 0.05289, 0.05341, 0.05382, 0.05411, 0.05429, 0.05443, 0.05447, 0.05433",\
                 "0.05196, 0.05213, 0.05258, 0.0531, 0.05351, 0.05382, 0.05399, 0.0541, 0.05399, 0.05323",\
                 "0.05223, 0.05237, 0.05282, 0.05335, 0.05376, 0.05406, 0.0542, 0.05386, 0.0524, 0.05043");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.05972, 0.05988, 0.06033, 0.06093, 0.06155, 0.06208, 0.06254, 0.06836, 0.1064, 0.2224",\
                 "0.0596, 0.0598, 0.06022, 0.06085, 0.0614, 0.06198, 0.0626, 0.06839, 0.1076, 0.2248",\
                 "0.0596, 0.05978, 0.06022, 0.06085, 0.06139, 0.06196, 0.06265, 0.06929, 0.1133, 0.2351",\
                 "0.0595, 0.0597, 0.06013, 0.06073, 0.06131, 0.06192, 0.06279, 0.07139, 0.1242, 0.2547",\
                 "0.05927, 0.05942, 0.05989, 0.06051, 0.06105, 0.06164, 0.06287, 0.07718, 0.146, 0.2863",\
                 "0.05894, 0.05909, 0.05953, 0.06017, 0.0608, 0.06135, 0.06416, 0.09023, 0.1844, 0.3245",\
                 "0.05867, 0.05882, 0.05929, 0.05986, 0.06043, 0.06124, 0.06928, 0.1218, 0.2375, 0.3555",\
                 "0.05839, 0.05855, 0.05896, 0.05962, 0.06014, 0.06284, 0.09143, 0.1806, 0.2812, 0.3572",\
                 "0.05807, 0.05824, 0.05865, 0.05924, 0.06087, 0.08342, 0.1539, 0.2228, 0.2708, 0.3043",\
                 "0.05669, 0.05685, 0.05726, 0.06381, 0.09553, 0.1235, 0.141, 0.1521, 0.1595, 0.1645");
        }
      }

      internal_power() {
        related_pin : "A3" ;
        when : "A1&A2" ;

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.04912, 0.04928, 0.04973, 0.05027, 0.05073, 0.05105, 0.05126, 0.05141, 0.0515, 0.05157",\
                 "0.04893, 0.0491, 0.04955, 0.05011, 0.05057, 0.0509, 0.05111, 0.05124, 0.05134, 0.0514",\
                 "0.04844, 0.0486, 0.04905, 0.04963, 0.05009, 0.05042, 0.05063, 0.05077, 0.05086, 0.05091",\
                 "0.04792, 0.04806, 0.0485, 0.04905, 0.04952, 0.04985, 0.05007, 0.05022, 0.05031, 0.05037",\
                 "0.04753, 0.04767, 0.04809, 0.04858, 0.04904, 0.04939, 0.04963, 0.04979, 0.0499, 0.04996",\
                 "0.04728, 0.04739, 0.04774, 0.04821, 0.04866, 0.04902, 0.04929, 0.04949, 0.04961, 0.04967",\
                 "0.04716, 0.04726, 0.04756, 0.04798, 0.04841, 0.04879, 0.04908, 0.0493, 0.04943, 0.0494",\
                 "0.04714, 0.04722, 0.04748, 0.04787, 0.04827, 0.04865, 0.04894, 0.04915, 0.04916, 0.04861",\
                 "0.04722, 0.04725, 0.04749, 0.04781, 0.04821, 0.04855, 0.04877, 0.04853, 0.04727, 0.04546",\
                 "0.04504, 0.0451, 0.04524, 0.04541, 0.04532, 0.04382, 0.04165, 0.04013, 0.03905, 0.03831");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.0275, 0.0277, 0.02822, 0.02894, 0.02962, 0.03011, 0.03054, 0.03343, 0.05878, 0.1538",\
                 "0.02753, 0.02772, 0.02828, 0.02901, 0.02962, 0.03026, 0.03072, 0.03394, 0.06004, 0.1556",\
                 "0.02749, 0.02768, 0.02821, 0.02891, 0.02955, 0.0301, 0.03054, 0.03445, 0.06288, 0.1643",\
                 "0.02719, 0.02736, 0.02783, 0.02846, 0.02907, 0.02964, 0.03021, 0.03491, 0.07, 0.1813",\
                 "0.02679, 0.02692, 0.02732, 0.02794, 0.02843, 0.02908, 0.02963, 0.03688, 0.08322, 0.2073",\
                 "0.0264, 0.02653, 0.02687, 0.02744, 0.0279, 0.02851, 0.0295, 0.04163, 0.1056, 0.2433",\
                 "0.02619, 0.02628, 0.02653, 0.02699, 0.02764, 0.02804, 0.03037, 0.05327, 0.1431, 0.2841",\
                 "0.02605, 0.02614, 0.0264, 0.02675, 0.02709, 0.02809, 0.03445, 0.0801, 0.1938, 0.3181",\
                 "0.02603, 0.02611, 0.02633, 0.02665, 0.02692, 0.02878, 0.05094, 0.1332, 0.242, 0.3278",\
                 "0.02647, 0.02659, 0.02674, 0.02706, 0.02795, 0.04073, 0.1035, 0.1869, 0.2488, 0.2925");
        }
      }

      timing() {
        related_pin : "A1" ;
        sdf_cond : "A2===1'b0 && A3===1'b1" ;
        timing_sense : negative_unate ;
        timing_type : combinational ;
        when : "!A2&A3" ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("8.776, 8.844, 9.035, 9.316, 9.681, 10.14, 10.72, 11.44, 12.31, 13.35",\
                 "8.837, 8.905, 9.096, 9.377, 9.741, 10.2, 10.78, 11.5, 12.37, 13.41",\
                 "9.022, 9.09, 9.281, 9.563, 9.926, 10.39, 10.97, 11.69, 12.56, 13.59",\
                 "9.329, 9.397, 9.588, 9.868, 10.23, 10.7, 11.28, 11.99, 12.86, 13.9",\
                 "9.694, 9.762, 9.953, 10.23, 10.6, 11.06, 11.64, 12.36, 13.23, 14.27",\
                 "10.04, 10.11, 10.3, 10.58, 10.95, 11.41, 11.99, 12.71, 13.58, 14.61",\
                 "10.35, 10.42, 10.61, 10.89, 11.26, 11.72, 12.3, 13.02, 13.89, 14.92",\
                 "10.61, 10.68, 10.87, 11.15, 11.52, 11.98, 12.56, 13.28, 14.15, 15.18",\
                 "10.82, 10.89, 11.08, 11.36, 11.72, 12.19, 12.76, 13.48, 14.35, 15.39",\
                 "10.96, 11.03, 11.22, 11.5, 11.86, 12.32, 12.9, 13.62, 14.49, 15.53");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("8.475, 8.581, 8.908, 9.474, 10.32, 11.5, 13.05, 14.99, 17.36, 20.19",\
                 "8.524, 8.629, 8.957, 9.522, 10.37, 11.55, 13.1, 15.04, 17.41, 20.24",\
                 "8.712, 8.818, 9.145, 9.711, 10.56, 11.74, 13.28, 15.23, 17.6, 20.42",\
                 "9.067, 9.174, 9.501, 10.07, 10.92, 12.1, 13.64, 15.58, 17.95, 20.78",\
                 "9.592, 9.698, 10.02, 10.59, 11.44, 12.62, 14.17, 16.11, 18.48, 21.3",\
                 "10.31, 10.42, 10.74, 11.31, 12.16, 13.34, 14.88, 16.83, 19.2, 22.02",\
                 "11.24, 11.34, 11.67, 12.24, 13.09, 14.26, 15.81, 17.75, 20.12, 22.95",\
                 "12.36, 12.46, 12.79, 13.36, 14.21, 15.38, 16.93, 18.87, 21.24, 24.07",\
                 "13.61, 13.71, 14.04, 14.61, 15.46, 16.63, 18.18, 20.12, 22.49, 25.31",\
                 "14.98, 15.09, 15.41, 15.98, 16.83, 18.01, 19.55, 21.5, 23.87, 26.69");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.4278, 0.4866, 0.6684, 0.9832, 1.457, 2.138, 3.062, 4.254, 5.73, 7.498",\
                 "0.4278, 0.486, 0.6674, 0.983, 1.458, 2.137, 3.06, 4.25, 5.726, 7.496",\
                 "0.4282, 0.4858, 0.6682, 0.9828, 1.457, 2.14, 3.06, 4.252, 5.73, 7.496",\
                 "0.426, 0.486, 0.668, 0.984, 1.456, 2.138, 3.06, 4.252, 5.732, 7.494",\
                 "0.426, 0.484, 0.666, 0.984, 1.458, 2.138, 3.06, 4.252, 5.728, 7.482",\
                 "0.428, 0.486, 0.67, 0.982, 1.46, 2.136, 3.058, 4.252, 5.726, 7.486",\
                 "0.428, 0.488, 0.668, 0.984, 1.456, 2.138, 3.06, 4.256, 5.718, 7.492",\
                 "0.428, 0.486, 0.668, 0.982, 1.458, 2.138, 3.06, 4.248, 5.728, 7.484",\
                 "0.426, 0.486, 0.668, 0.984, 1.458, 2.138, 3.058, 4.254, 5.722, 7.48",\
                 "0.428, 0.486, 0.668, 0.984, 1.458, 2.136, 3.064, 4.258, 5.718, 7.482");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.584, 0.7076, 1.141, 1.999, 3.39, 5.362, 7.95, 11.23, 15.23, 19.97",\
                 "0.5838, 0.7072, 1.141, 1.999, 3.388, 5.356, 7.962, 11.23, 15.25, 19.96",\
                 "0.5844, 0.708, 1.14, 1.999, 3.39, 5.362, 7.966, 11.23, 15.25, 19.96",\
                 "0.5848, 0.708, 1.14, 2, 3.39, 5.358, 7.948, 11.23, 15.24, 19.97",\
                 "0.582, 0.71, 1.142, 2, 3.386, 5.364, 7.954, 11.24, 15.22, 19.99",\
                 "0.584, 0.708, 1.142, 2.002, 3.388, 5.364, 7.95, 11.23, 15.21, 19.96",\
                 "0.584, 0.708, 1.142, 2, 3.388, 5.362, 7.966, 11.22, 15.22, 20",\
                 "0.584, 0.708, 1.142, 2, 3.39, 5.364, 7.95, 11.22, 15.2, 19.97",\
                 "0.586, 0.708, 1.142, 1.998, 3.386, 5.356, 7.954, 11.23, 15.22, 20.02",\
                 "0.584, 0.708, 1.14, 2, 3.39, 5.356, 7.95, 11.23, 15.22, 19.98");
        }
      }

      timing() {
        related_pin : "A1" ;
        sdf_cond : "A2===1'b1 && A3===1'b0" ;
        timing_sense : negative_unate ;
        timing_type : combinational ;
        when : "A2&!A3" ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("4.476, 4.573, 4.839, 5.213, 5.666, 6.204, 6.838, 7.588, 8.475, 9.517",\
                 "4.523, 4.62, 4.886, 5.26, 5.714, 6.252, 6.886, 7.636, 8.522, 9.564",\
                 "4.7, 4.798, 5.064, 5.437, 5.891, 6.428, 7.062, 7.813, 8.698, 9.741",\
                 "5.034, 5.132, 5.397, 5.772, 6.226, 6.763, 7.397, 8.147, 9.034, 10.08",\
                 "5.545, 5.643, 5.908, 6.283, 6.736, 7.274, 7.908, 8.658, 9.544, 10.59",\
                 "6.173, 6.271, 6.536, 6.909, 7.364, 7.901, 8.535, 9.285, 10.17, 11.21",\
                 "6.826, 6.923, 7.189, 7.563, 8.018, 8.555, 9.189, 9.939, 10.83, 11.87",\
                 "7.481, 7.579, 7.845, 8.22, 8.675, 9.212, 9.846, 10.6, 11.48, 12.53",\
                 "8.132, 8.23, 8.497, 8.871, 9.327, 9.865, 10.5, 11.25, 12.13, 13.18",\
                 "8.768, 8.868, 9.133, 9.507, 9.964, 10.5, 11.14, 11.89, 12.77, 13.81");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("6.059, 6.17, 6.506, 7.077, 7.931, 9.115, 10.66, 12.61, 14.98, 17.81",\
                 "6.124, 6.234, 6.571, 7.143, 7.996, 9.18, 10.73, 12.67, 15.05, 17.87",\
                 "6.301, 6.412, 6.748, 7.32, 8.174, 9.357, 10.91, 12.85, 15.22, 18.05",\
                 "6.659, 6.77, 7.106, 7.677, 8.531, 9.713, 11.26, 13.21, 15.58, 18.41",\
                 "7.246, 7.356, 7.693, 8.264, 9.118, 10.3, 11.85, 13.8, 16.17, 19",\
                 "8.096, 8.206, 8.543, 9.115, 9.968, 11.15, 12.7, 14.65, 17.02, 19.84",\
                 "9.228, 9.339, 9.676, 10.25, 11.1, 12.28, 13.83, 15.78, 18.15, 20.98",\
                 "10.63, 10.74, 11.08, 11.65, 12.5, 13.69, 15.24, 17.18, 19.55, 22.38",\
                 "12.22, 12.33, 12.67, 13.24, 14.09, 15.28, 16.83, 18.77, 21.15, 23.97",\
                 "13.92, 14.03, 14.37, 14.94, 15.79, 16.98, 18.53, 20.47, 22.85, 25.67");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.667, 0.7394, 0.9574, 1.311, 1.801, 2.459, 3.331, 4.459, 5.872, 7.592",\
                 "0.6668, 0.7394, 0.9574, 1.31, 1.801, 2.463, 3.332, 4.457, 5.871, 7.583",\
                 "0.6672, 0.7388, 0.958, 1.31, 1.801, 2.46, 3.331, 4.456, 5.872, 7.584",\
                 "0.667, 0.7392, 0.9576, 1.31, 1.799, 2.459, 3.332, 4.458, 5.867, 7.591",\
                 "0.6668, 0.7394, 0.9574, 1.31, 1.801, 2.459, 3.326, 4.459, 5.871, 7.59",\
                 "0.6666, 0.739, 0.9572, 1.309, 1.801, 2.462, 3.332, 4.458, 5.872, 7.592",\
                 "0.668, 0.74, 0.958, 1.31, 1.802, 2.462, 3.332, 4.456, 5.864, 7.596",\
                 "0.67, 0.74, 0.958, 1.312, 1.804, 2.46, 3.33, 4.46, 5.872, 7.596",\
                 "0.67, 0.742, 0.96, 1.31, 1.8, 2.462, 3.334, 4.454, 5.864, 7.588",\
                 "0.672, 0.744, 0.962, 1.314, 1.802, 2.462, 3.33, 4.46, 5.87, 7.582");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.6314, 0.752, 1.179, 2.03, 3.409, 5.378, 7.972, 11.24, 15.24, 19.99",\
                 "0.6306, 0.7526, 1.18, 2.029, 3.409, 5.379, 7.971, 11.23, 15.24, 20.01",\
                 "0.6314, 0.752, 1.18, 2.03, 3.408, 5.379, 7.97, 11.24, 15.24, 20.01",\
                 "0.6308, 0.7524, 1.179, 2.03, 3.411, 5.379, 7.962, 11.23, 15.24, 20.01",\
                 "0.6304, 0.753, 1.18, 2.029, 3.408, 5.38, 7.964, 11.23, 15.24, 19.99",\
                 "0.632, 0.752, 1.182, 2.03, 3.408, 5.378, 7.972, 11.24, 15.24, 19.99",\
                 "0.63, 0.754, 1.18, 2.03, 3.408, 5.38, 7.962, 11.23, 15.22, 20",\
                 "0.632, 0.754, 1.182, 2.032, 3.408, 5.382, 7.962, 11.24, 15.23, 20.01",\
                 "0.638, 0.76, 1.184, 2.03, 3.412, 5.372, 7.966, 11.23, 15.24, 20",\
                 "0.644, 0.766, 1.188, 2.032, 3.412, 5.372, 7.97, 11.24, 15.24, 20");
        }
      }

      timing() {
        related_pin : "A1" ;
        timing_sense : negative_unate ;
        timing_type : combinational ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("8.776, 8.844, 9.035, 9.316, 9.681, 10.14, 10.72, 11.44, 12.31, 13.35",\
                 "8.837, 8.905, 9.096, 9.377, 9.741, 10.2, 10.78, 11.5, 12.37, 13.41",\
                 "9.022, 9.09, 9.281, 9.563, 9.926, 10.39, 10.97, 11.69, 12.56, 13.59",\
                 "9.329, 9.397, 9.588, 9.868, 10.23, 10.7, 11.28, 11.99, 12.86, 13.9",\
                 "9.694, 9.762, 9.953, 10.23, 10.6, 11.06, 11.64, 12.36, 13.23, 14.27",\
                 "10.04, 10.11, 10.3, 10.58, 10.95, 11.41, 11.99, 12.71, 13.58, 14.61",\
                 "10.35, 10.42, 10.61, 10.89, 11.26, 11.72, 12.3, 13.02, 13.89, 14.92",\
                 "10.61, 10.68, 10.87, 11.15, 11.52, 11.98, 12.56, 13.28, 14.15, 15.18",\
                 "10.82, 10.89, 11.08, 11.36, 11.72, 12.19, 12.76, 13.48, 14.35, 15.39",\
                 "10.96, 11.03, 11.22, 11.5, 11.86, 12.32, 12.9, 13.62, 14.49, 15.53");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("8.475, 8.581, 8.908, 9.474, 10.32, 11.5, 13.05, 14.99, 17.36, 20.19",\
                 "8.524, 8.629, 8.957, 9.522, 10.37, 11.55, 13.1, 15.04, 17.41, 20.24",\
                 "8.712, 8.818, 9.145, 9.711, 10.56, 11.74, 13.28, 15.23, 17.6, 20.42",\
                 "9.067, 9.174, 9.501, 10.07, 10.92, 12.1, 13.64, 15.58, 17.95, 20.78",\
                 "9.592, 9.698, 10.02, 10.59, 11.44, 12.62, 14.17, 16.11, 18.48, 21.3",\
                 "10.31, 10.42, 10.74, 11.31, 12.16, 13.34, 14.88, 16.83, 19.2, 22.02",\
                 "11.24, 11.34, 11.67, 12.24, 13.09, 14.26, 15.81, 17.75, 20.12, 22.95",\
                 "12.36, 12.46, 12.79, 13.36, 14.21, 15.38, 16.93, 18.87, 21.24, 24.07",\
                 "13.61, 13.71, 14.04, 14.61, 15.46, 16.63, 18.18, 20.12, 22.49, 25.31",\
                 "14.98, 15.09, 15.41, 15.98, 16.83, 18.01, 19.55, 21.5, 23.87, 26.69");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.667, 0.7394, 0.9574, 1.311, 1.801, 2.459, 3.331, 4.459, 5.872, 7.592",\
                 "0.6668, 0.7394, 0.9574, 1.31, 1.801, 2.463, 3.332, 4.457, 5.871, 7.583",\
                 "0.6672, 0.7388, 0.958, 1.31, 1.801, 2.46, 3.331, 4.456, 5.872, 7.584",\
                 "0.667, 0.7392, 0.9576, 1.31, 1.799, 2.459, 3.332, 4.458, 5.867, 7.591",\
                 "0.6668, 0.7394, 0.9574, 1.31, 1.801, 2.459, 3.326, 4.459, 5.871, 7.59",\
                 "0.6666, 0.739, 0.9572, 1.309, 1.801, 2.462, 3.332, 4.458, 5.872, 7.592",\
                 "0.668, 0.74, 0.958, 1.31, 1.802, 2.462, 3.332, 4.456, 5.864, 7.596",\
                 "0.67, 0.74, 0.958, 1.312, 1.804, 2.46, 3.33, 4.46, 5.872, 7.596",\
                 "0.67, 0.742, 0.96, 1.31, 1.8, 2.462, 3.334, 4.454, 5.864, 7.588",\
                 "0.672, 0.744, 0.962, 1.314, 1.802, 2.462, 3.33, 4.46, 5.87, 7.582");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.584, 0.7076, 1.141, 1.999, 3.39, 5.362, 7.95, 11.23, 15.23, 19.97",\
                 "0.5838, 0.7072, 1.141, 1.999, 3.388, 5.356, 7.962, 11.23, 15.25, 19.96",\
                 "0.5844, 0.708, 1.14, 1.999, 3.39, 5.362, 7.966, 11.23, 15.25, 19.96",\
                 "0.5848, 0.708, 1.14, 2, 3.39, 5.358, 7.948, 11.23, 15.24, 19.97",\
                 "0.582, 0.71, 1.142, 2, 3.386, 5.364, 7.954, 11.24, 15.22, 19.99",\
                 "0.584, 0.708, 1.142, 2.002, 3.388, 5.364, 7.95, 11.23, 15.21, 19.96",\
                 "0.584, 0.708, 1.142, 2, 3.388, 5.362, 7.966, 11.22, 15.22, 20",\
                 "0.584, 0.708, 1.142, 2, 3.39, 5.364, 7.95, 11.22, 15.2, 19.97",\
                 "0.586, 0.708, 1.142, 1.998, 3.386, 5.356, 7.954, 11.23, 15.22, 20.02",\
                 "0.584, 0.708, 1.14, 2, 3.39, 5.356, 7.95, 11.23, 15.22, 19.98");
        }
      }

      timing() {
        related_pin : "A1" ;
        sdf_cond : "A2===1'b0 && A3===1'b0" ;
        timing_sense : positive_unate ;
        timing_type : combinational ;
        when : "!A2&!A3" ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("8.317, 8.415, 8.68, 9.054, 9.508, 10.04, 10.68, 11.43, 12.31, 13.36",\
                 "8.365, 8.463, 8.729, 9.102, 9.555, 10.09, 10.73, 11.48, 12.36, 13.4",\
                 "8.554, 8.651, 8.917, 9.29, 9.745, 10.28, 10.91, 11.66, 12.55, 13.59",\
                 "8.909, 9.007, 9.271, 9.645, 10.1, 10.64, 11.27, 12.02, 12.91, 13.95",\
                 "9.435, 9.533, 9.797, 10.17, 10.63, 11.16, 11.8, 12.55, 13.43, 14.47",\
                 "10.15, 10.25, 10.52, 10.89, 11.34, 11.88, 12.51, 13.26, 14.15, 15.19",\
                 "11.08, 11.18, 11.44, 11.82, 12.27, 12.81, 13.44, 14.19, 15.08, 16.12",\
                 "12.2, 12.29, 12.56, 12.93, 13.39, 13.92, 14.56, 15.31, 16.2, 17.24",\
                 "13.45, 13.54, 13.81, 14.18, 14.64, 15.17, 15.81, 16.56, 17.44, 18.49",\
                 "14.82, 14.91, 15.18, 15.55, 16.01, 16.55, 17.18, 17.93, 18.82, 19.86");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("7.414, 7.524, 7.862, 8.433, 9.287, 10.47, 12.02, 13.97, 16.34, 19.16",\
                 "7.474, 7.586, 7.922, 8.494, 9.348, 10.53, 12.08, 14.03, 16.4, 19.22",\
                 "7.659, 7.77, 8.107, 8.678, 9.532, 10.71, 12.26, 14.21, 16.58, 19.41",\
                 "7.966, 8.077, 8.414, 8.985, 9.839, 11.02, 12.57, 14.52, 16.89, 19.72",\
                 "8.331, 8.442, 8.778, 9.35, 10.2, 11.39, 12.94, 14.88, 17.25, 20.08",\
                 "8.679, 8.79, 9.127, 9.699, 10.55, 11.74, 13.28, 15.23, 17.6, 20.43",\
                 "8.991, 9.103, 9.438, 10.01, 10.86, 12.05, 13.6, 15.54, 17.92, 20.74",\
                 "9.249, 9.361, 9.697, 10.27, 11.12, 12.31, 13.85, 15.8, 18.17, 21",\
                 "9.455, 9.566, 9.902, 10.47, 11.33, 12.51, 14.06, 16, 18.38, 21.21",\
                 "9.594, 9.704, 10.04, 10.61, 11.47, 12.65, 14.2, 16.14, 18.52, 21.34");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.6654, 0.7382, 0.9562, 1.309, 1.798, 2.458, 3.329, 4.458, 5.864, 7.596",\
                 "0.6658, 0.7384, 0.9552, 1.307, 1.799, 2.455, 3.33, 4.458, 5.872, 7.588",\
                 "0.6656, 0.7386, 0.9556, 1.31, 1.8, 2.456, 3.328, 4.458, 5.872, 7.588",\
                 "0.6654, 0.739, 0.9558, 1.308, 1.8, 2.458, 3.328, 4.458, 5.862, 7.596",\
                 "0.666, 0.738, 0.958, 1.31, 1.8, 2.456, 3.328, 4.458, 5.872, 7.588",\
                 "0.666, 0.738, 0.958, 1.308, 1.802, 2.458, 3.326, 4.458, 5.872, 7.592",\
                 "0.664, 0.738, 0.956, 1.31, 1.8, 2.458, 3.33, 4.46, 5.87, 7.584",\
                 "0.666, 0.738, 0.958, 1.31, 1.8, 2.464, 3.326, 4.452, 5.864, 7.584",\
                 "0.666, 0.738, 0.958, 1.31, 1.8, 2.464, 3.33, 4.458, 5.862, 7.594",\
                 "0.666, 0.738, 0.956, 1.31, 1.798, 2.46, 3.328, 4.454, 5.872, 7.59");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.6318, 0.753, 1.179, 2.03, 3.408, 5.378, 7.972, 11.24, 15.24, 20.01",\
                 "0.6318, 0.7538, 1.181, 2.029, 3.412, 5.38, 7.972, 11.24, 15.24, 20.01",\
                 "0.6328, 0.753, 1.181, 2.03, 3.411, 5.382, 7.972, 11.24, 15.24, 19.98",\
                 "0.6316, 0.7536, 1.181, 2.031, 3.411, 5.378, 7.972, 11.24, 15.22, 19.98",\
                 "0.632, 0.754, 1.18, 2.03, 3.414, 5.38, 7.968, 11.24, 15.22, 19.98",\
                 "0.632, 0.754, 1.18, 2.03, 3.41, 5.376, 7.972, 11.24, 15.23, 20",\
                 "0.632, 0.754, 1.18, 2.028, 3.41, 5.38, 7.968, 11.24, 15.22, 19.98",\
                 "0.63, 0.754, 1.18, 2.03, 3.414, 5.382, 7.964, 11.23, 15.23, 20",\
                 "0.632, 0.754, 1.18, 2.03, 3.406, 5.37, 7.958, 11.24, 15.23, 20.01",\
                 "0.632, 0.752, 1.178, 2.03, 3.41, 5.368, 7.956, 11.22, 15.23, 20");
        }
      }

      timing() {
        related_pin : "A1" ;
        sdf_cond : "A2===1'b1 && A3===1'b1" ;
        timing_sense : positive_unate ;
        timing_type : combinational ;
        when : "A2&A3" ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("7.425, 7.493, 7.683, 7.964, 8.33, 8.791, 9.371, 10.09, 10.96, 11.99",\
                 "7.489, 7.558, 7.749, 8.029, 8.394, 8.856, 9.436, 10.15, 11.02, 12.06",\
                 "7.668, 7.735, 7.927, 8.208, 8.572, 9.033, 9.614, 10.33, 11.2, 12.24",\
                 "8.024, 8.093, 8.284, 8.565, 8.929, 9.391, 9.971, 10.69, 11.56, 12.59",\
                 "8.611, 8.68, 8.87, 9.151, 9.516, 9.978, 10.56, 11.28, 12.15, 13.18",\
                 "9.461, 9.529, 9.721, 10, 10.37, 10.83, 11.41, 12.13, 13, 14.03",\
                 "10.59, 10.66, 10.85, 11.13, 11.5, 11.96, 12.54, 13.26, 14.13, 15.16",\
                 "12, 12.07, 12.26, 12.54, 12.9, 13.36, 13.94, 14.66, 15.53, 16.57",\
                 "13.58, 13.65, 13.84, 14.13, 14.49, 14.95, 15.53, 16.25, 17.12, 18.16",\
                 "15.28, 15.35, 15.54, 15.82, 16.19, 16.65, 17.23, 17.95, 18.82, 19.85");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("4.665, 4.771, 5.099, 5.664, 6.513, 7.692, 9.239, 11.19, 13.56, 16.37",\
                 "4.713, 4.818, 5.146, 5.711, 6.56, 7.739, 9.285, 11.23, 13.6, 16.43",\
                 "4.89, 4.996, 5.322, 5.888, 6.737, 7.917, 9.463, 11.4, 13.77, 16.6",\
                 "5.225, 5.331, 5.658, 6.224, 7.073, 8.252, 9.798, 11.74, 14.12, 16.95",\
                 "5.74, 5.846, 6.173, 6.739, 7.587, 8.766, 10.31, 12.26, 14.63, 17.45",\
                 "6.376, 6.481, 6.808, 7.374, 8.223, 9.402, 10.95, 12.9, 15.27, 18.1",\
                 "7.041, 7.147, 7.475, 8.04, 8.888, 10.07, 11.61, 13.56, 15.93, 18.76",\
                 "7.709, 7.815, 8.143, 8.708, 9.557, 10.74, 12.28, 14.23, 16.6, 19.42",\
                 "8.375, 8.481, 8.809, 9.373, 10.22, 11.4, 12.95, 14.89, 17.26, 20.09",\
                 "9.028, 9.134, 9.461, 10.03, 10.88, 12.06, 13.6, 15.54, 17.91, 20.74");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.4278, 0.4862, 0.6686, 0.983, 1.458, 2.137, 3.06, 4.249, 5.73, 7.486",\
                 "0.4278, 0.4858, 0.6694, 0.9832, 1.459, 2.139, 3.058, 4.25, 5.729, 7.484",\
                 "0.428, 0.4864, 0.6678, 0.9818, 1.459, 2.138, 3.059, 4.255, 5.724, 7.498",\
                 "0.4278, 0.486, 0.6688, 0.983, 1.459, 2.139, 3.06, 4.256, 5.728, 7.492",\
                 "0.428, 0.486, 0.668, 0.984, 1.458, 2.138, 3.06, 4.256, 5.732, 7.498",\
                 "0.428, 0.486, 0.668, 0.984, 1.458, 2.136, 3.06, 4.248, 5.728, 7.482",\
                 "0.428, 0.488, 0.668, 0.984, 1.458, 2.136, 3.06, 4.254, 5.722, 7.49",\
                 "0.43, 0.486, 0.668, 0.982, 1.458, 2.136, 3.056, 4.25, 5.728, 7.482",\
                 "0.428, 0.486, 0.668, 0.984, 1.458, 2.138, 3.058, 4.256, 5.732, 7.496",\
                 "0.428, 0.486, 0.668, 0.984, 1.46, 2.136, 3.058, 4.252, 5.726, 7.482");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.5834, 0.7068, 1.142, 2.001, 3.389, 5.364, 7.956, 11.22, 15.22, 19.98",\
                 "0.5838, 0.7068, 1.141, 2, 3.39, 5.361, 7.963, 11.22, 15.2, 19.98",\
                 "0.584, 0.7084, 1.142, 1.999, 3.387, 5.356, 7.956, 11.22, 15.22, 19.97",\
                 "0.5844, 0.707, 1.14, 2.002, 3.387, 5.363, 7.952, 11.22, 15.21, 19.99",\
                 "0.584, 0.7082, 1.142, 2.001, 3.387, 5.363, 7.954, 11.25, 15.24, 19.99",\
                 "0.5838, 0.7086, 1.143, 1.998, 3.39, 5.364, 7.95, 11.23, 15.22, 19.99",\
                 "0.586, 0.71, 1.144, 2.002, 3.388, 5.364, 7.968, 11.25, 15.2, 19.99",\
                 "0.586, 0.708, 1.142, 2, 3.386, 5.358, 7.966, 11.25, 15.22, 19.98",\
                 "0.586, 0.708, 1.142, 2.002, 3.39, 5.356, 7.954, 11.24, 15.22, 20.02",\
                 "0.584, 0.708, 1.14, 2, 3.388, 5.362, 7.944, 11.21, 15.2, 19.97");
        }
      }

      timing() {
        related_pin : "A1" ;
        timing_sense : positive_unate ;
        timing_type : combinational ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("8.317, 8.415, 8.68, 9.054, 9.508, 10.04, 10.68, 11.43, 12.31, 13.36",\
                 "8.365, 8.463, 8.729, 9.102, 9.555, 10.09, 10.73, 11.48, 12.36, 13.4",\
                 "8.554, 8.651, 8.917, 9.29, 9.745, 10.28, 10.91, 11.66, 12.55, 13.59",\
                 "8.909, 9.007, 9.271, 9.645, 10.1, 10.64, 11.27, 12.02, 12.91, 13.95",\
                 "9.435, 9.533, 9.797, 10.17, 10.63, 11.16, 11.8, 12.55, 13.43, 14.47",\
                 "10.15, 10.25, 10.52, 10.89, 11.34, 11.88, 12.51, 13.26, 14.15, 15.19",\
                 "11.08, 11.18, 11.44, 11.82, 12.27, 12.81, 13.44, 14.19, 15.08, 16.12",\
                 "12.2, 12.29, 12.56, 12.93, 13.39, 13.92, 14.56, 15.31, 16.2, 17.24",\
                 "13.45, 13.54, 13.81, 14.18, 14.64, 15.17, 15.81, 16.56, 17.44, 18.49",\
                 "14.82, 14.91, 15.18, 15.55, 16.01, 16.55, 17.18, 17.93, 18.82, 19.86");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("7.414, 7.524, 7.862, 8.433, 9.287, 10.47, 12.02, 13.97, 16.34, 19.16",\
                 "7.474, 7.586, 7.922, 8.494, 9.348, 10.53, 12.08, 14.03, 16.4, 19.22",\
                 "7.659, 7.77, 8.107, 8.678, 9.532, 10.71, 12.26, 14.21, 16.58, 19.41",\
                 "7.966, 8.077, 8.414, 8.985, 9.839, 11.02, 12.57, 14.52, 16.89, 19.72",\
                 "8.331, 8.442, 8.778, 9.35, 10.2, 11.39, 12.94, 14.88, 17.25, 20.08",\
                 "8.679, 8.79, 9.127, 9.699, 10.55, 11.74, 13.28, 15.23, 17.6, 20.43",\
                 "8.991, 9.103, 9.438, 10.01, 10.86, 12.05, 13.6, 15.54, 17.92, 20.74",\
                 "9.249, 9.361, 9.697, 10.27, 11.12, 12.31, 13.85, 15.8, 18.17, 21",\
                 "9.455, 9.566, 9.902, 10.47, 11.33, 12.51, 14.06, 16, 18.38, 21.21",\
                 "9.594, 9.704, 10.04, 10.61, 11.47, 12.65, 14.2, 16.14, 18.52, 21.34");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.6654, 0.7382, 0.9562, 1.309, 1.798, 2.458, 3.329, 4.458, 5.864, 7.596",\
                 "0.6658, 0.7384, 0.9552, 1.307, 1.799, 2.455, 3.33, 4.458, 5.872, 7.588",\
                 "0.6656, 0.7386, 0.9556, 1.31, 1.8, 2.456, 3.328, 4.458, 5.872, 7.588",\
                 "0.6654, 0.739, 0.9558, 1.308, 1.8, 2.458, 3.328, 4.458, 5.862, 7.596",\
                 "0.666, 0.738, 0.958, 1.31, 1.8, 2.456, 3.328, 4.458, 5.872, 7.588",\
                 "0.666, 0.738, 0.958, 1.308, 1.802, 2.458, 3.326, 4.458, 5.872, 7.592",\
                 "0.664, 0.738, 0.956, 1.31, 1.8, 2.458, 3.33, 4.46, 5.87, 7.584",\
                 "0.666, 0.738, 0.958, 1.31, 1.8, 2.464, 3.326, 4.452, 5.864, 7.584",\
                 "0.666, 0.738, 0.958, 1.31, 1.8, 2.464, 3.33, 4.458, 5.862, 7.594",\
                 "0.666, 0.738, 0.956, 1.31, 1.798, 2.46, 3.328, 4.454, 5.872, 7.59");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.5834, 0.7068, 1.142, 2.001, 3.389, 5.364, 7.956, 11.22, 15.22, 19.98",\
                 "0.5838, 0.7068, 1.141, 2, 3.39, 5.361, 7.963, 11.22, 15.2, 19.98",\
                 "0.584, 0.7084, 1.142, 1.999, 3.387, 5.356, 7.956, 11.22, 15.22, 19.97",\
                 "0.5844, 0.707, 1.14, 2.002, 3.387, 5.363, 7.952, 11.22, 15.21, 19.99",\
                 "0.584, 0.7082, 1.142, 2.001, 3.387, 5.363, 7.954, 11.25, 15.24, 19.99",\
                 "0.5838, 0.7086, 1.143, 1.998, 3.39, 5.364, 7.95, 11.23, 15.22, 19.99",\
                 "0.586, 0.71, 1.144, 2.002, 3.388, 5.364, 7.968, 11.25, 15.2, 19.99",\
                 "0.586, 0.708, 1.142, 2, 3.386, 5.358, 7.966, 11.25, 15.22, 19.98",\
                 "0.586, 0.708, 1.142, 2.002, 3.39, 5.356, 7.954, 11.24, 15.22, 20.02",\
                 "0.584, 0.708, 1.14, 2, 3.388, 5.362, 7.944, 11.21, 15.2, 19.97");
        }
      }

      timing() {
        related_pin : "A2" ;
        sdf_cond : "A1===1'b0 && A3===1'b1" ;
        timing_sense : negative_unate ;
        timing_type : combinational ;
        when : "!A1&A3" ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("8.456, 8.524, 8.715, 8.996, 9.361, 9.823, 10.4, 11.12, 11.99, 13.03",\
                 "8.513, 8.581, 8.771, 9.053, 9.417, 9.879, 10.46, 11.18, 12.05, 13.08",\
                 "8.691, 8.759, 8.95, 9.231, 9.596, 10.06, 10.64, 11.36, 12.23, 13.26",\
                 "9.003, 9.072, 9.262, 9.543, 9.908, 10.37, 10.95, 11.67, 12.54, 13.57",\
                 "9.361, 9.429, 9.62, 9.901, 10.27, 10.73, 11.31, 12.02, 12.9, 13.93",\
                 "9.697, 9.765, 9.957, 10.24, 10.6, 11.06, 11.64, 12.36, 13.23, 14.27",\
                 "9.99, 10.06, 10.25, 10.53, 10.9, 11.36, 11.94, 12.66, 13.53, 14.56",\
                 "10.24, 10.31, 10.5, 10.78, 11.14, 11.61, 12.19, 12.91, 13.78, 14.81",\
                 "10.43, 10.5, 10.69, 10.97, 11.33, 11.8, 12.38, 13.09, 13.96, 15",\
                 "10.54, 10.61, 10.8, 11.09, 11.45, 11.91, 12.49, 13.21, 14.08, 15.12");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("8.254, 8.359, 8.687, 9.251, 10.1, 11.28, 12.83, 14.77, 17.14, 19.96",\
                 "8.286, 8.392, 8.719, 9.284, 10.13, 11.31, 12.86, 14.8, 17.17, 20",\
                 "8.436, 8.542, 8.869, 9.434, 10.28, 11.46, 13.01, 14.95, 17.32, 20.14",\
                 "8.79, 8.894, 9.223, 9.788, 10.64, 11.82, 13.36, 15.31, 17.68, 20.5",\
                 "9.384, 9.49, 9.816, 10.38, 11.23, 12.41, 13.96, 15.9, 18.27, 21.09",\
                 "10.24, 10.35, 10.67, 11.24, 12.09, 13.27, 14.81, 16.76, 19.13, 21.95",\
                 "11.37, 11.48, 11.81, 12.37, 13.22, 14.4, 15.95, 17.89, 20.26, 23.08",\
                 "12.75, 12.86, 13.19, 13.76, 14.6, 15.78, 17.33, 19.27, 21.64, 24.46",\
                 "14.29, 14.39, 14.72, 15.29, 16.14, 17.32, 18.86, 20.8, 23.17, 26",\
                 "15.94, 16.04, 16.37, 16.93, 17.78, 18.96, 20.51, 22.45, 24.82, 27.64");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.4282, 0.4866, 0.6688, 0.9828, 1.458, 2.138, 3.062, 4.254, 5.73, 7.498",\
                 "0.428, 0.4862, 0.6688, 0.9828, 1.458, 2.139, 3.059, 4.256, 5.73, 7.498",\
                 "0.4276, 0.4862, 0.6676, 0.9826, 1.459, 2.138, 3.06, 4.25, 5.728, 7.482",\
                 "0.4282, 0.4852, 0.668, 0.982, 1.456, 2.136, 3.06, 4.25, 5.728, 7.482",\
                 "0.428, 0.486, 0.67, 0.982, 1.458, 2.138, 3.06, 4.256, 5.73, 7.496",\
                 "0.428, 0.486, 0.668, 0.984, 1.46, 2.14, 3.058, 4.25, 5.728, 7.482",\
                 "0.428, 0.486, 0.668, 0.984, 1.46, 2.138, 3.058, 4.25, 5.728, 7.482",\
                 "0.428, 0.488, 0.668, 0.984, 1.458, 2.136, 3.062, 4.25, 5.73, 7.492",\
                 "0.428, 0.488, 0.668, 0.982, 1.458, 2.138, 3.062, 4.25, 5.722, 7.482",\
                 "0.428, 0.486, 0.668, 0.984, 1.46, 2.136, 3.058, 4.256, 5.72, 7.482");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.5842, 0.7074, 1.142, 2.001, 3.389, 5.362, 7.968, 11.25, 15.24, 19.97",\
                 "0.5838, 0.7084, 1.143, 1.999, 3.388, 5.364, 7.954, 11.23, 15.23, 19.97",\
                 "0.584, 0.708, 1.142, 2.001, 3.389, 5.364, 7.966, 11.24, 15.23, 19.99",\
                 "0.5838, 0.7086, 1.142, 2, 3.392, 5.362, 7.956, 11.23, 15.23, 19.97",\
                 "0.582, 0.708, 1.14, 2.002, 3.388, 5.364, 7.954, 11.25, 15.25, 19.98",\
                 "0.584, 0.708, 1.14, 1.998, 3.388, 5.362, 7.952, 11.24, 15.21, 19.98",\
                 "0.582, 0.708, 1.142, 2.002, 3.39, 5.358, 7.962, 11.23, 15.21, 20",\
                 "0.584, 0.708, 1.142, 2, 3.39, 5.356, 7.95, 11.22, 15.21, 20.02",\
                 "0.584, 0.708, 1.14, 2, 3.388, 5.362, 7.964, 11.24, 15.25, 19.96",\
                 "0.584, 0.708, 1.14, 2.002, 3.39, 5.362, 7.964, 11.23, 15.23, 20.01");
        }
      }

      timing() {
        related_pin : "A2" ;
        sdf_cond : "A1===1'b1 && A3===1'b0" ;
        timing_sense : negative_unate ;
        timing_type : combinational ;
        when : "A1&!A3" ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("4.527, 4.625, 4.889, 5.264, 5.718, 6.255, 6.889, 7.639, 8.526, 9.568",\
                 "4.586, 4.683, 4.948, 5.322, 5.776, 6.314, 6.948, 7.698, 8.585, 9.627",\
                 "4.755, 4.852, 5.118, 5.492, 5.946, 6.484, 7.117, 7.868, 8.754, 9.796",\
                 "5.041, 5.138, 5.404, 5.778, 6.232, 6.769, 7.403, 8.153, 9.04, 10.08",\
                 "5.466, 5.564, 5.829, 6.203, 6.657, 7.194, 7.828, 8.578, 9.465, 10.51",\
                 "5.997, 6.095, 6.36, 6.735, 7.188, 7.726, 8.36, 9.11, 9.996, 11.04",\
                 "6.577, 6.675, 6.94, 7.314, 7.769, 8.306, 8.94, 9.69, 10.58, 11.62",\
                 "7.186, 7.283, 7.55, 7.923, 8.379, 8.916, 9.55, 10.3, 11.19, 12.23",\
                 "7.809, 7.907, 8.174, 8.547, 9.001, 9.54, 10.17, 10.92, 11.81, 12.85",\
                 "8.432, 8.53, 8.796, 9.171, 9.624, 10.16, 10.8, 11.55, 12.43, 13.47");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("6.446, 6.557, 6.894, 7.466, 8.319, 9.503, 11.05, 13, 15.37, 18.2",\
                 "6.48, 6.591, 6.927, 7.499, 8.353, 9.536, 11.09, 13.03, 15.4, 18.23",\
                 "6.662, 6.774, 7.11, 7.682, 8.535, 9.719, 11.27, 13.21, 15.59, 18.41",\
                 "7.036, 7.147, 7.483, 8.055, 8.909, 10.09, 11.64, 13.59, 15.96, 18.79",\
                 "7.636, 7.746, 8.083, 8.655, 9.509, 10.69, 12.24, 14.19, 16.56, 19.39",\
                 "8.492, 8.603, 8.94, 9.512, 10.37, 11.55, 13.1, 15.04, 17.42, 20.24",\
                 "9.63, 9.741, 10.08, 10.65, 11.5, 12.69, 14.23, 16.18, 18.55, 21.38",\
                 "11.05, 11.16, 11.5, 12.07, 12.93, 14.11, 15.66, 17.6, 19.97, 22.8",\
                 "12.69, 12.8, 13.14, 13.71, 14.57, 15.75, 17.3, 19.24, 21.62, 24.44",\
                 "14.46, 14.57, 14.91, 15.48, 16.34, 17.52, 19.07, 21.01, 23.39, 26.21");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.6662, 0.7382, 0.9578, 1.31, 1.799, 2.459, 3.332, 4.458, 5.872, 7.591",\
                 "0.6662, 0.7398, 0.9578, 1.31, 1.801, 2.463, 3.331, 4.455, 5.872, 7.584",\
                 "0.667, 0.7394, 0.9572, 1.31, 1.801, 2.46, 3.331, 4.456, 5.872, 7.59",\
                 "0.6668, 0.7392, 0.957, 1.31, 1.799, 2.46, 3.328, 4.459, 5.872, 7.59",\
                 "0.6664, 0.7394, 0.9566, 1.311, 1.799, 2.46, 3.333, 4.459, 5.872, 7.59",\
                 "0.6666, 0.7394, 0.9576, 1.311, 1.799, 2.464, 3.332, 4.456, 5.87, 7.584",\
                 "0.668, 0.74, 0.958, 1.31, 1.8, 2.464, 3.332, 4.458, 5.864, 7.592",\
                 "0.668, 0.742, 0.958, 1.312, 1.8, 2.464, 3.326, 4.458, 5.872, 7.59",\
                 "0.67, 0.742, 0.96, 1.31, 1.8, 2.46, 3.334, 4.452, 5.872, 7.586",\
                 "0.67, 0.746, 0.962, 1.314, 1.804, 2.46, 3.33, 4.458, 5.87, 7.584");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.6312, 0.7536, 1.18, 2.03, 3.408, 5.382, 7.964, 11.24, 15.24, 20.01",\
                 "0.6318, 0.7536, 1.181, 2.03, 3.409, 5.38, 7.97, 11.23, 15.24, 20.01",\
                 "0.6312, 0.7538, 1.18, 2.028, 3.413, 5.374, 7.973, 11.23, 15.24, 20.01",\
                 "0.6314, 0.7538, 1.181, 2.03, 3.412, 5.38, 7.972, 11.24, 15.24, 19.98",\
                 "0.632, 0.7538, 1.183, 2.028, 3.41, 5.382, 7.964, 11.23, 15.24, 19.97",\
                 "0.632, 0.754, 1.18, 2.03, 3.412, 5.382, 7.966, 11.24, 15.24, 19.99",\
                 "0.632, 0.754, 1.18, 2.028, 3.41, 5.378, 7.972, 11.24, 15.22, 20",\
                 "0.632, 0.754, 1.182, 2.032, 3.408, 5.38, 7.97, 11.22, 15.24, 20.01",\
                 "0.636, 0.756, 1.186, 2.032, 3.41, 5.37, 7.97, 11.24, 15.23, 20",\
                 "0.642, 0.762, 1.188, 2.034, 3.414, 5.376, 7.97, 11.24, 15.24, 20.01");
        }
      }

      timing() {
        related_pin : "A2" ;
        timing_sense : negative_unate ;
        timing_type : combinational ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("8.456, 8.524, 8.715, 8.996, 9.361, 9.823, 10.4, 11.12, 11.99, 13.03",\
                 "8.513, 8.581, 8.771, 9.053, 9.417, 9.879, 10.46, 11.18, 12.05, 13.08",\
                 "8.691, 8.759, 8.95, 9.231, 9.596, 10.06, 10.64, 11.36, 12.23, 13.26",\
                 "9.003, 9.072, 9.262, 9.543, 9.908, 10.37, 10.95, 11.67, 12.54, 13.57",\
                 "9.361, 9.429, 9.62, 9.901, 10.27, 10.73, 11.31, 12.02, 12.9, 13.93",\
                 "9.697, 9.765, 9.957, 10.24, 10.6, 11.06, 11.64, 12.36, 13.23, 14.27",\
                 "9.99, 10.06, 10.25, 10.53, 10.9, 11.36, 11.94, 12.66, 13.53, 14.56",\
                 "10.24, 10.31, 10.5, 10.78, 11.14, 11.61, 12.19, 12.91, 13.78, 14.81",\
                 "10.43, 10.5, 10.69, 10.97, 11.33, 11.8, 12.38, 13.09, 13.96, 15",\
                 "10.54, 10.61, 10.8, 11.09, 11.45, 11.91, 12.49, 13.21, 14.08, 15.12");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("8.254, 8.359, 8.687, 9.251, 10.1, 11.28, 12.83, 14.77, 17.14, 19.96",\
                 "8.286, 8.392, 8.719, 9.284, 10.13, 11.31, 12.86, 14.8, 17.17, 20",\
                 "8.436, 8.542, 8.869, 9.434, 10.28, 11.46, 13.01, 14.95, 17.32, 20.14",\
                 "8.79, 8.894, 9.223, 9.788, 10.64, 11.82, 13.36, 15.31, 17.68, 20.5",\
                 "9.384, 9.49, 9.816, 10.38, 11.23, 12.41, 13.96, 15.9, 18.27, 21.09",\
                 "10.24, 10.35, 10.67, 11.24, 12.09, 13.27, 14.81, 16.76, 19.13, 21.95",\
                 "11.37, 11.48, 11.81, 12.37, 13.22, 14.4, 15.95, 17.89, 20.26, 23.08",\
                 "12.75, 12.86, 13.19, 13.76, 14.6, 15.78, 17.33, 19.27, 21.64, 24.46",\
                 "14.29, 14.39, 14.72, 15.29, 16.14, 17.32, 18.86, 20.8, 23.17, 26",\
                 "15.94, 16.04, 16.37, 16.93, 17.78, 18.96, 20.51, 22.45, 24.82, 27.64");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.6662, 0.7382, 0.9578, 1.31, 1.799, 2.459, 3.332, 4.458, 5.872, 7.591",\
                 "0.6662, 0.7398, 0.9578, 1.31, 1.801, 2.463, 3.331, 4.455, 5.872, 7.584",\
                 "0.667, 0.7394, 0.9572, 1.31, 1.801, 2.46, 3.331, 4.456, 5.872, 7.59",\
                 "0.6668, 0.7392, 0.957, 1.31, 1.799, 2.46, 3.328, 4.459, 5.872, 7.59",\
                 "0.6664, 0.7394, 0.9566, 1.311, 1.799, 2.46, 3.333, 4.459, 5.872, 7.59",\
                 "0.6666, 0.7394, 0.9576, 1.311, 1.799, 2.464, 3.332, 4.456, 5.87, 7.584",\
                 "0.668, 0.74, 0.958, 1.31, 1.8, 2.464, 3.332, 4.458, 5.864, 7.592",\
                 "0.668, 0.742, 0.958, 1.312, 1.8, 2.464, 3.326, 4.458, 5.872, 7.59",\
                 "0.67, 0.742, 0.96, 1.31, 1.8, 2.46, 3.334, 4.452, 5.872, 7.586",\
                 "0.67, 0.746, 0.962, 1.314, 1.804, 2.46, 3.33, 4.458, 5.87, 7.584");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.5842, 0.7074, 1.142, 2.001, 3.389, 5.362, 7.968, 11.25, 15.24, 19.97",\
                 "0.5838, 0.7084, 1.143, 1.999, 3.388, 5.364, 7.954, 11.23, 15.23, 19.97",\
                 "0.584, 0.708, 1.142, 2.001, 3.389, 5.364, 7.966, 11.24, 15.23, 19.99",\
                 "0.5838, 0.7086, 1.142, 2, 3.392, 5.362, 7.956, 11.23, 15.23, 19.97",\
                 "0.582, 0.708, 1.14, 2.002, 3.388, 5.364, 7.954, 11.25, 15.25, 19.98",\
                 "0.584, 0.708, 1.14, 1.998, 3.388, 5.362, 7.952, 11.24, 15.21, 19.98",\
                 "0.582, 0.708, 1.142, 2.002, 3.39, 5.358, 7.962, 11.23, 15.21, 20",\
                 "0.584, 0.708, 1.142, 2, 3.39, 5.356, 7.95, 11.22, 15.21, 20.02",\
                 "0.584, 0.708, 1.14, 2, 3.388, 5.362, 7.964, 11.24, 15.25, 19.96",\
                 "0.584, 0.708, 1.14, 2.002, 3.39, 5.362, 7.964, 11.23, 15.23, 20.01");
        }
      }

      timing() {
        related_pin : "A2" ;
        sdf_cond : "A1===1'b0 && A3===1'b0" ;
        timing_sense : positive_unate ;
        timing_type : combinational ;
        when : "!A1&!A3" ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("8.095, 8.193, 8.458, 8.832, 9.285, 9.824, 10.46, 11.21, 12.09, 13.13",\
                 "8.127, 8.225, 8.491, 8.864, 9.318, 9.855, 10.49, 11.24, 12.13, 13.17",\
                 "8.277, 8.375, 8.641, 9.014, 9.467, 10.01, 10.64, 11.39, 12.27, 13.32",\
                 "8.631, 8.729, 8.994, 9.367, 9.821, 10.36, 10.99, 11.74, 12.63, 13.67",\
                 "9.224, 9.323, 9.588, 9.962, 10.42, 10.95, 11.59, 12.34, 13.22, 14.26",\
                 "10.08, 10.18, 10.45, 10.82, 11.27, 11.81, 12.44, 13.19, 14.08, 15.12",\
                 "11.22, 11.31, 11.58, 11.95, 12.41, 12.94, 13.58, 14.33, 15.21, 16.25",\
                 "12.6, 12.69, 12.96, 13.33, 13.79, 14.32, 14.96, 15.71, 16.59, 17.64",\
                 "14.13, 14.22, 14.49, 14.86, 15.32, 15.86, 16.49, 17.24, 18.13, 19.17",\
                 "15.77, 15.87, 16.14, 16.51, 16.96, 17.5, 18.13, 18.88, 19.77, 20.81");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("7.091, 7.202, 7.538, 8.11, 8.963, 10.15, 11.7, 13.64, 16.01, 18.84",\
                 "7.147, 7.258, 7.594, 8.166, 9.019, 10.2, 11.75, 13.7, 16.07, 18.9",\
                 "7.326, 7.436, 7.772, 8.343, 9.198, 10.38, 11.93, 13.88, 16.25, 19.07",\
                 "7.637, 7.748, 8.084, 8.656, 9.509, 10.69, 12.24, 14.19, 16.56, 19.39",\
                 "7.995, 8.106, 8.442, 9.014, 9.867, 11.05, 12.6, 14.55, 16.92, 19.75",\
                 "8.331, 8.442, 8.779, 9.351, 10.2, 11.39, 12.94, 14.88, 17.26, 20.08",\
                 "8.625, 8.737, 9.074, 9.645, 10.5, 11.68, 13.23, 15.18, 17.55, 20.37",\
                 "8.875, 8.985, 9.322, 9.894, 10.75, 11.93, 13.48, 15.43, 17.8, 20.62",\
                 "9.063, 9.174, 9.51, 10.08, 10.93, 12.12, 13.67, 15.61, 17.99, 20.81",\
                 "9.178, 9.291, 9.625, 10.2, 11.05, 12.23, 13.78, 15.73, 18.1, 20.93");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.6652, 0.7376, 0.9564, 1.309, 1.798, 2.46, 3.331, 4.458, 5.866, 7.596",\
                 "0.6658, 0.7384, 0.9554, 1.31, 1.798, 2.459, 3.325, 4.458, 5.872, 7.59",\
                 "0.6658, 0.7384, 0.9554, 1.308, 1.798, 2.459, 3.332, 4.458, 5.87, 7.592",\
                 "0.6658, 0.7378, 0.9568, 1.309, 1.8, 2.458, 3.332, 4.456, 5.872, 7.59",\
                 "0.666, 0.738, 0.956, 1.31, 1.8, 2.456, 3.328, 4.456, 5.866, 7.59",\
                 "0.666, 0.738, 0.956, 1.308, 1.8, 2.458, 3.33, 4.456, 5.872, 7.59",\
                 "0.666, 0.738, 0.956, 1.306, 1.798, 2.458, 3.33, 4.46, 5.87, 7.59",\
                 "0.666, 0.74, 0.956, 1.308, 1.798, 2.458, 3.33, 4.456, 5.872, 7.592",\
                 "0.668, 0.74, 0.956, 1.31, 1.802, 2.458, 3.332, 4.458, 5.87, 7.584",\
                 "0.666, 0.74, 0.958, 1.31, 1.802, 2.458, 3.328, 4.454, 5.872, 7.594");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.6302, 0.7526, 1.179, 2.03, 3.408, 5.38, 7.97, 11.23, 15.24, 20.01",\
                 "0.631, 0.7524, 1.18, 2.03, 3.412, 5.377, 7.969, 11.23, 15.24, 20.01",\
                 "0.6316, 0.7516, 1.18, 2.031, 3.412, 5.378, 7.962, 11.24, 15.23, 19.99",\
                 "0.6318, 0.7518, 1.178, 2.03, 3.412, 5.376, 7.97, 11.24, 15.24, 19.98",\
                 "0.6304, 0.7508, 1.179, 2.03, 3.406, 5.382, 7.968, 11.23, 15.24, 19.97",\
                 "0.632, 0.754, 1.178, 2.03, 3.414, 5.382, 7.962, 11.24, 15.23, 19.99",\
                 "0.63, 0.756, 1.18, 2.03, 3.41, 5.38, 7.97, 11.23, 15.22, 19.99",\
                 "0.632, 0.754, 1.18, 2.03, 3.408, 5.38, 7.964, 11.23, 15.22, 19.98",\
                 "0.63, 0.752, 1.178, 2.03, 3.406, 5.368, 7.962, 11.24, 15.23, 19.98",\
                 "0.632, 0.752, 1.18, 2.03, 3.41, 5.374, 7.956, 11.22, 15.22, 19.99");
        }
      }

      timing() {
        related_pin : "A2" ;
        sdf_cond : "A1===1'b1 && A3===1'b1" ;
        timing_sense : positive_unate ;
        timing_type : combinational ;
        when : "A1&A3" ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("7.81, 7.878, 8.069, 8.35, 8.715, 9.177, 9.757, 10.47, 11.34, 12.38",\
                 "7.843, 7.911, 8.102, 8.383, 8.748, 9.21, 9.79, 10.51, 11.38, 12.41",\
                 "8.026, 8.094, 8.285, 8.566, 8.931, 9.392, 9.973, 10.69, 11.56, 12.6",\
                 "8.399, 8.467, 8.658, 8.939, 9.304, 9.766, 10.35, 11.06, 11.93, 12.97",\
                 "8.998, 9.067, 9.257, 9.54, 9.904, 10.37, 10.95, 11.66, 12.53, 13.57",\
                 "9.857, 9.924, 10.12, 10.4, 10.76, 11.22, 11.8, 12.52, 13.39, 14.43",\
                 "10.99, 11.06, 11.25, 11.53, 11.9, 12.36, 12.94, 13.66, 14.53, 15.56",\
                 "12.42, 12.48, 12.67, 12.96, 13.32, 13.78, 14.36, 15.08, 15.95, 16.99",\
                 "14.06, 14.12, 14.31, 14.6, 14.96, 15.42, 16, 16.72, 17.59, 18.62",\
                 "15.82, 15.89, 16.08, 16.36, 16.72, 17.19, 17.77, 18.49, 19.36, 20.39");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("4.717, 4.822, 5.15, 5.715, 6.564, 7.743, 9.29, 11.23, 13.6, 16.42",\
                 "4.775, 4.881, 5.209, 5.774, 6.623, 7.802, 9.347, 11.29, 13.66, 16.48",\
                 "4.945, 5.051, 5.378, 5.943, 6.793, 7.972, 9.518, 11.46, 13.83, 16.67",\
                 "5.231, 5.336, 5.664, 6.229, 7.078, 8.257, 9.803, 11.75, 14.13, 16.94",\
                 "5.66, 5.765, 6.092, 6.658, 7.507, 8.686, 10.23, 12.18, 14.55, 17.38",\
                 "6.202, 6.308, 6.635, 7.2, 8.049, 9.228, 10.77, 12.72, 15.08, 17.91",\
                 "6.795, 6.901, 7.229, 7.795, 8.644, 9.823, 11.37, 13.31, 15.68, 18.51",\
                 "7.417, 7.523, 7.851, 8.416, 9.265, 10.44, 11.99, 13.93, 16.3, 19.12",\
                 "8.053, 8.158, 8.486, 9.051, 9.9, 11.08, 12.62, 14.57, 16.94, 19.76",\
                 "8.688, 8.794, 9.122, 9.687, 10.54, 11.72, 13.26, 15.21, 17.57, 20.4");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.4282, 0.4864, 0.6688, 0.9832, 1.457, 2.139, 3.059, 4.254, 5.731, 7.496",\
                 "0.4284, 0.4868, 0.6692, 0.983, 1.458, 2.137, 3.063, 4.256, 5.728, 7.498",\
                 "0.4278, 0.4858, 0.668, 0.9832, 1.458, 2.135, 3.061, 4.254, 5.732, 7.496",\
                 "0.4276, 0.4862, 0.669, 0.9824, 1.457, 2.136, 3.06, 4.256, 5.732, 7.498",\
                 "0.428, 0.486, 0.668, 0.982, 1.458, 2.136, 3.06, 4.252, 5.732, 7.484",\
                 "0.428, 0.486, 0.668, 0.982, 1.46, 2.138, 3.058, 4.256, 5.728, 7.484",\
                 "0.426, 0.486, 0.668, 0.984, 1.456, 2.138, 3.062, 4.256, 5.728, 7.498",\
                 "0.428, 0.486, 0.67, 0.984, 1.46, 2.138, 3.058, 4.256, 5.722, 7.478",\
                 "0.428, 0.486, 0.668, 0.984, 1.458, 2.136, 3.064, 4.254, 5.73, 7.498",\
                 "0.428, 0.486, 0.67, 0.984, 1.458, 2.138, 3.058, 4.252, 5.73, 7.496");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.5842, 0.7074, 1.142, 2.001, 3.388, 5.364, 7.957, 11.22, 15.25, 19.99",\
                 "0.5844, 0.7076, 1.142, 2.001, 3.39, 5.359, 7.968, 11.22, 15.22, 19.97",\
                 "0.5836, 0.7068, 1.142, 1.999, 3.39, 5.357, 7.962, 11.22, 15.22, 19.99",\
                 "0.5844, 0.7076, 1.142, 2.001, 3.39, 5.363, 7.952, 11.25, 15.22, 20.02",\
                 "0.584, 0.7076, 1.142, 2, 3.391, 5.364, 7.962, 11.26, 15.25, 19.99",\
                 "0.584, 0.7076, 1.142, 2.001, 3.388, 5.36, 7.966, 11.22, 15.22, 19.96",\
                 "0.584, 0.708, 1.144, 2, 3.39, 5.364, 7.966, 11.22, 15.21, 19.99",\
                 "0.584, 0.71, 1.144, 2, 3.386, 5.358, 7.968, 11.22, 15.21, 19.97",\
                 "0.584, 0.708, 1.142, 2.002, 3.388, 5.35, 7.94, 11.22, 15.22, 20.01",\
                 "0.586, 0.708, 1.142, 2, 3.386, 5.352, 7.946, 11.21, 15.22, 19.98");
        }
      }

      timing() {
        related_pin : "A2" ;
        timing_sense : positive_unate ;
        timing_type : combinational ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("8.095, 8.193, 8.458, 8.832, 9.285, 9.824, 10.46, 11.21, 12.09, 13.13",\
                 "8.127, 8.225, 8.491, 8.864, 9.318, 9.855, 10.49, 11.24, 12.13, 13.17",\
                 "8.277, 8.375, 8.641, 9.014, 9.467, 10.01, 10.64, 11.39, 12.27, 13.32",\
                 "8.631, 8.729, 8.994, 9.367, 9.821, 10.36, 10.99, 11.74, 12.63, 13.67",\
                 "9.224, 9.323, 9.588, 9.962, 10.42, 10.95, 11.59, 12.34, 13.22, 14.26",\
                 "10.08, 10.18, 10.45, 10.82, 11.27, 11.81, 12.44, 13.19, 14.08, 15.12",\
                 "11.22, 11.31, 11.58, 11.95, 12.41, 12.94, 13.58, 14.33, 15.21, 16.25",\
                 "12.6, 12.69, 12.96, 13.33, 13.79, 14.32, 14.96, 15.71, 16.59, 17.64",\
                 "14.13, 14.22, 14.49, 14.86, 15.32, 15.86, 16.49, 17.24, 18.13, 19.17",\
                 "15.77, 15.87, 16.14, 16.51, 16.96, 17.5, 18.13, 18.88, 19.77, 20.81");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("7.091, 7.202, 7.538, 8.11, 8.963, 10.15, 11.7, 13.64, 16.01, 18.84",\
                 "7.147, 7.258, 7.594, 8.166, 9.019, 10.2, 11.75, 13.7, 16.07, 18.9",\
                 "7.326, 7.436, 7.772, 8.343, 9.198, 10.38, 11.93, 13.88, 16.25, 19.07",\
                 "7.637, 7.748, 8.084, 8.656, 9.509, 10.69, 12.24, 14.19, 16.56, 19.39",\
                 "7.995, 8.106, 8.442, 9.014, 9.867, 11.05, 12.6, 14.55, 16.92, 19.75",\
                 "8.331, 8.442, 8.779, 9.351, 10.2, 11.39, 12.94, 14.88, 17.26, 20.08",\
                 "8.625, 8.737, 9.074, 9.645, 10.5, 11.68, 13.23, 15.18, 17.55, 20.37",\
                 "8.875, 8.985, 9.322, 9.894, 10.75, 11.93, 13.48, 15.43, 17.8, 20.62",\
                 "9.063, 9.174, 9.51, 10.08, 10.93, 12.12, 13.67, 15.61, 17.99, 20.81",\
                 "9.178, 9.291, 9.625, 10.2, 11.05, 12.23, 13.78, 15.73, 18.1, 20.93");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.6652, 0.7376, 0.9564, 1.309, 1.798, 2.46, 3.331, 4.458, 5.866, 7.596",\
                 "0.6658, 0.7384, 0.9554, 1.31, 1.798, 2.459, 3.325, 4.458, 5.872, 7.59",\
                 "0.6658, 0.7384, 0.9554, 1.308, 1.798, 2.459, 3.332, 4.458, 5.87, 7.592",\
                 "0.6658, 0.7378, 0.9568, 1.309, 1.8, 2.458, 3.332, 4.456, 5.872, 7.59",\
                 "0.666, 0.738, 0.956, 1.31, 1.8, 2.456, 3.328, 4.456, 5.866, 7.59",\
                 "0.666, 0.738, 0.956, 1.308, 1.8, 2.458, 3.33, 4.456, 5.872, 7.59",\
                 "0.666, 0.738, 0.956, 1.306, 1.798, 2.458, 3.33, 4.46, 5.87, 7.59",\
                 "0.666, 0.74, 0.956, 1.308, 1.798, 2.458, 3.33, 4.456, 5.872, 7.592",\
                 "0.668, 0.74, 0.956, 1.31, 1.802, 2.458, 3.332, 4.458, 5.87, 7.584",\
                 "0.666, 0.74, 0.958, 1.31, 1.802, 2.458, 3.328, 4.454, 5.872, 7.594");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.5842, 0.7074, 1.142, 2.001, 3.388, 5.364, 7.957, 11.22, 15.25, 19.99",\
                 "0.5844, 0.7076, 1.142, 2.001, 3.39, 5.359, 7.968, 11.22, 15.22, 19.97",\
                 "0.5836, 0.7068, 1.142, 1.999, 3.39, 5.357, 7.962, 11.22, 15.22, 19.99",\
                 "0.5844, 0.7076, 1.142, 2.001, 3.39, 5.363, 7.952, 11.25, 15.22, 20.02",\
                 "0.584, 0.7076, 1.142, 2, 3.391, 5.364, 7.962, 11.26, 15.25, 19.99",\
                 "0.584, 0.7076, 1.142, 2.001, 3.388, 5.36, 7.966, 11.22, 15.22, 19.96",\
                 "0.584, 0.708, 1.144, 2, 3.39, 5.364, 7.966, 11.22, 15.21, 19.99",\
                 "0.584, 0.71, 1.144, 2, 3.386, 5.358, 7.968, 11.22, 15.21, 19.97",\
                 "0.584, 0.708, 1.142, 2.002, 3.388, 5.35, 7.94, 11.22, 15.22, 20.01",\
                 "0.586, 0.708, 1.142, 2, 3.386, 5.352, 7.946, 11.21, 15.22, 19.98");
        }
      }

      timing() {
        related_pin : "A3" ;
        sdf_cond : "A1===1'b0 && A2===1'b1" ;
        timing_sense : negative_unate ;
        timing_type : combinational ;
        when : "!A1&A2" ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("3.021, 3.089, 3.28, 3.561, 3.925, 4.387, 4.967, 5.684, 6.554, 7.589",\
                 "3.081, 3.149, 3.34, 3.621, 3.985, 4.447, 5.026, 5.744, 6.613, 7.648",\
                 "3.244, 3.312, 3.503, 3.783, 4.148, 4.61, 5.189, 5.907, 6.776, 7.812",\
                 "3.502, 3.57, 3.76, 4.041, 4.406, 4.867, 5.447, 6.164, 7.034, 8.07",\
                 "3.885, 3.954, 4.145, 4.426, 4.79, 5.251, 5.832, 6.548, 7.419, 8.453",\
                 "4.346, 4.414, 4.605, 4.886, 5.251, 5.714, 6.293, 7.009, 7.88, 8.916",\
                 "4.85, 4.918, 5.109, 5.389, 5.753, 6.214, 6.793, 7.51, 8.379, 9.414",\
                 "5.373, 5.442, 5.632, 5.914, 6.278, 6.739, 7.316, 8.031, 8.899, 9.932",\
                 "5.898, 5.966, 6.158, 6.441, 6.804, 7.266, 7.843, 8.559, 9.427, 10.46",\
                 "6.41, 6.478, 6.671, 6.953, 7.318, 7.779, 8.359, 9.074, 9.943, 10.98");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("3.317, 3.423, 3.755, 4.323, 5.176, 6.357, 7.905, 9.85, 12.22, 15.05",\
                 "3.372, 3.479, 3.81, 4.379, 5.231, 6.413, 7.96, 9.905, 12.28, 15.1",\
                 "3.594, 3.701, 4.032, 4.601, 5.453, 6.635, 8.182, 10.13, 12.5, 15.32",\
                 "4.027, 4.134, 4.465, 5.034, 5.886, 7.068, 8.615, 10.56, 12.93, 15.76",\
                 "4.707, 4.814, 5.146, 5.714, 6.567, 7.749, 9.296, 11.24, 13.61, 16.44",\
                 "5.64, 5.747, 6.079, 6.647, 7.499, 8.682, 10.23, 12.17, 14.54, 17.37",\
                 "6.737, 6.845, 7.176, 7.745, 8.598, 9.78, 11.33, 13.27, 15.64, 18.47",\
                 "7.932, 8.041, 8.373, 8.942, 9.795, 10.98, 12.53, 14.47, 16.84, 19.67",\
                 "9.225, 9.332, 9.666, 10.23, 11.09, 12.27, 13.82, 15.76, 18.14, 20.96",\
                 "10.61, 10.72, 11.05, 11.62, 12.47, 13.65, 15.2, 17.15, 19.52, 22.35");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.4276, 0.486, 0.6672, 0.9822, 1.455, 2.135, 3.059, 4.25, 5.723, 7.495",\
                 "0.4278, 0.486, 0.667, 0.9834, 1.459, 2.135, 3.06, 4.253, 5.721, 7.492",\
                 "0.4272, 0.4854, 0.6672, 0.9822, 1.457, 2.137, 3.058, 4.25, 5.722, 7.487",\
                 "0.428, 0.4862, 0.668, 0.982, 1.458, 2.137, 3.057, 4.249, 5.721, 7.485",\
                 "0.428, 0.4864, 0.6684, 0.9822, 1.456, 2.134, 3.06, 4.25, 5.727, 7.485",\
                 "0.4284, 0.4868, 0.668, 0.982, 1.459, 2.137, 3.058, 4.247, 5.729, 7.484",\
                 "0.4282, 0.486, 0.6672, 0.982, 1.452, 2.13, 3.056, 4.254, 5.726, 7.496",\
                 "0.43, 0.488, 0.67, 0.982, 1.454, 2.13, 3.048, 4.236, 5.708, 7.482",\
                 "0.432, 0.492, 0.672, 0.984, 1.456, 2.134, 3.054, 4.244, 5.704, 7.462",\
                 "0.436, 0.494, 0.674, 0.984, 1.458, 2.136, 3.056, 4.246, 5.71, 7.472");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.5962, 0.7202, 1.156, 2.016, 3.402, 5.375, 7.964, 11.25, 15.24, 20.02",\
                 "0.5962, 0.7204, 1.158, 2.012, 3.4, 5.373, 7.967, 11.25, 15.25, 20.01",\
                 "0.5966, 0.7206, 1.158, 2.013, 3.399, 5.373, 7.97, 11.25, 15.25, 20.01",\
                 "0.5958, 0.7192, 1.156, 2.015, 3.4, 5.374, 7.968, 11.25, 15.25, 20.02",\
                 "0.596, 0.7206, 1.158, 2.015, 3.399, 5.374, 7.967, 11.25, 15.24, 20.02",\
                 "0.5968, 0.7198, 1.158, 2.016, 3.398, 5.376, 7.966, 11.25, 15.24, 19.99",\
                 "0.598, 0.722, 1.16, 2.016, 3.402, 5.368, 7.974, 11.24, 15.25, 20",\
                 "0.604, 0.726, 1.158, 2.018, 3.402, 5.37, 7.974, 11.24, 15.23, 20",\
                 "0.606, 0.73, 1.162, 2.018, 3.4, 5.366, 7.962, 11.24, 15.23, 20.01",\
                 "0.61, 0.734, 1.164, 2.018, 3.398, 5.364, 7.964, 11.24, 15.23, 19.99");
        }
      }

      timing() {
        related_pin : "A3" ;
        sdf_cond : "A1===1'b1 && A2===1'b0" ;
        timing_sense : negative_unate ;
        timing_type : combinational ;
        when : "A1&!A2" ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("3.021, 3.089, 3.28, 3.561, 3.925, 4.387, 4.966, 5.683, 6.554, 7.589",\
                 "3.081, 3.149, 3.34, 3.621, 3.985, 4.447, 5.026, 5.743, 6.613, 7.648",\
                 "3.244, 3.311, 3.502, 3.784, 4.148, 4.61, 5.189, 5.907, 6.776, 7.812",\
                 "3.502, 3.569, 3.76, 4.041, 4.406, 4.867, 5.447, 6.164, 7.034, 8.07",\
                 "3.885, 3.953, 4.145, 4.426, 4.79, 5.251, 5.831, 6.548, 7.418, 8.453",\
                 "4.346, 4.415, 4.604, 4.886, 5.251, 5.713, 6.293, 7.009, 7.88, 8.915",\
                 "4.849, 4.918, 5.108, 5.39, 5.753, 6.214, 6.793, 7.509, 8.379, 9.414",\
                 "5.374, 5.441, 5.633, 5.914, 6.277, 6.739, 7.316, 8.032, 8.899, 9.933",\
                 "5.898, 5.966, 6.158, 6.441, 6.804, 7.266, 7.844, 8.56, 9.427, 10.46",\
                 "6.411, 6.478, 6.671, 6.953, 7.318, 7.779, 8.358, 9.074, 9.943, 10.98");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("3.316, 3.423, 3.755, 4.323, 5.175, 6.357, 7.905, 9.849, 12.22, 15.05",\
                 "3.372, 3.479, 3.81, 4.379, 5.23, 6.413, 7.96, 9.905, 12.28, 15.1",\
                 "3.594, 3.701, 4.032, 4.601, 5.453, 6.635, 8.182, 10.13, 12.5, 15.32",\
                 "4.026, 4.134, 4.465, 5.034, 5.886, 7.068, 8.616, 10.56, 12.93, 15.76",\
                 "4.707, 4.814, 5.146, 5.714, 6.566, 7.748, 9.295, 11.24, 13.61, 16.44",\
                 "5.64, 5.748, 6.079, 6.647, 7.499, 8.682, 10.23, 12.17, 14.54, 17.37",\
                 "6.737, 6.844, 7.176, 7.745, 8.597, 9.78, 11.33, 13.27, 15.64, 18.47",\
                 "7.933, 8.04, 8.372, 8.942, 9.796, 10.98, 12.53, 14.47, 16.84, 19.67",\
                 "9.224, 9.334, 9.666, 10.24, 11.09, 12.27, 13.82, 15.77, 18.14, 20.96",\
                 "10.61, 10.72, 11.05, 11.62, 12.47, 13.65, 15.2, 17.15, 19.52, 22.35");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.4276, 0.4862, 0.6674, 0.982, 1.456, 2.137, 3.056, 4.248, 5.726, 7.492",\
                 "0.4278, 0.4854, 0.6672, 0.9834, 1.459, 2.135, 3.06, 4.253, 5.721, 7.492",\
                 "0.4272, 0.4862, 0.6672, 0.981, 1.457, 2.137, 3.058, 4.251, 5.721, 7.485",\
                 "0.428, 0.4862, 0.6672, 0.9812, 1.458, 2.135, 3.057, 4.249, 5.725, 7.483",\
                 "0.428, 0.4864, 0.6674, 0.9822, 1.458, 2.137, 3.056, 4.252, 5.72, 7.489",\
                 "0.4292, 0.4866, 0.6686, 0.9818, 1.457, 2.137, 3.06, 4.255, 5.728, 7.494",\
                 "0.4282, 0.4858, 0.6672, 0.9796, 1.452, 2.132, 3.056, 4.252, 5.726, 7.494",\
                 "0.43, 0.488, 0.67, 0.982, 1.454, 2.13, 3.048, 4.234, 5.706, 7.476",\
                 "0.432, 0.492, 0.672, 0.984, 1.456, 2.134, 3.052, 4.24, 5.704, 7.462",\
                 "0.436, 0.492, 0.672, 0.986, 1.456, 2.134, 3.054, 4.246, 5.71, 7.472");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.5962, 0.7202, 1.156, 2.016, 3.402, 5.375, 7.964, 11.25, 15.24, 20.02",\
                 "0.596, 0.72, 1.156, 2.016, 3.399, 5.373, 7.967, 11.25, 15.25, 20.01",\
                 "0.5964, 0.7204, 1.158, 2.016, 3.399, 5.373, 7.97, 11.25, 15.25, 20.02",\
                 "0.5972, 0.7204, 1.156, 2.015, 3.399, 5.375, 7.965, 11.23, 15.25, 19.98",\
                 "0.5966, 0.7198, 1.158, 2.016, 3.4, 5.373, 7.968, 11.25, 15.25, 20.02",\
                 "0.5964, 0.721, 1.155, 2.015, 3.403, 5.37, 7.964, 11.25, 15.24, 19.99",\
                 "0.6, 0.722, 1.156, 2.014, 3.404, 5.368, 7.974, 11.24, 15.25, 19.98",\
                 "0.602, 0.726, 1.16, 2.018, 3.402, 5.37, 7.974, 11.25, 15.23, 20",\
                 "0.606, 0.728, 1.162, 2.018, 3.4, 5.366, 7.962, 11.24, 15.23, 20.01",\
                 "0.61, 0.734, 1.164, 2.018, 3.4, 5.362, 7.958, 11.24, 15.23, 20.01");
        }
      }

      timing() {
        related_pin : "A3" ;
        timing_sense : negative_unate ;
        timing_type : combinational ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("3.021, 3.089, 3.28, 3.561, 3.925, 4.387, 4.966, 5.683, 6.554, 7.589",\
                 "3.081, 3.149, 3.34, 3.621, 3.985, 4.447, 5.026, 5.743, 6.613, 7.648",\
                 "3.244, 3.311, 3.502, 3.784, 4.148, 4.61, 5.189, 5.907, 6.776, 7.812",\
                 "3.502, 3.569, 3.76, 4.041, 4.406, 4.867, 5.447, 6.164, 7.034, 8.07",\
                 "3.885, 3.953, 4.145, 4.426, 4.79, 5.251, 5.831, 6.548, 7.418, 8.453",\
                 "4.346, 4.415, 4.604, 4.886, 5.251, 5.713, 6.293, 7.009, 7.88, 8.915",\
                 "4.849, 4.918, 5.108, 5.39, 5.753, 6.214, 6.793, 7.509, 8.379, 9.414",\
                 "5.374, 5.441, 5.633, 5.914, 6.277, 6.739, 7.316, 8.032, 8.899, 9.933",\
                 "5.898, 5.966, 6.158, 6.441, 6.804, 7.266, 7.844, 8.56, 9.427, 10.46",\
                 "6.411, 6.478, 6.671, 6.953, 7.318, 7.779, 8.358, 9.074, 9.943, 10.98");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("3.316, 3.423, 3.755, 4.323, 5.175, 6.357, 7.905, 9.849, 12.22, 15.05",\
                 "3.372, 3.479, 3.81, 4.379, 5.23, 6.413, 7.96, 9.905, 12.28, 15.1",\
                 "3.594, 3.701, 4.032, 4.601, 5.453, 6.635, 8.182, 10.13, 12.5, 15.32",\
                 "4.026, 4.134, 4.465, 5.034, 5.886, 7.068, 8.616, 10.56, 12.93, 15.76",\
                 "4.707, 4.814, 5.146, 5.714, 6.566, 7.748, 9.295, 11.24, 13.61, 16.44",\
                 "5.64, 5.748, 6.079, 6.647, 7.499, 8.682, 10.23, 12.17, 14.54, 17.37",\
                 "6.737, 6.844, 7.176, 7.745, 8.597, 9.78, 11.33, 13.27, 15.64, 18.47",\
                 "7.933, 8.04, 8.372, 8.942, 9.796, 10.98, 12.53, 14.47, 16.84, 19.67",\
                 "9.224, 9.334, 9.666, 10.24, 11.09, 12.27, 13.82, 15.77, 18.14, 20.96",\
                 "10.61, 10.72, 11.05, 11.62, 12.47, 13.65, 15.2, 17.15, 19.52, 22.35");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.4276, 0.486, 0.6672, 0.9822, 1.455, 2.135, 3.059, 4.25, 5.723, 7.495",\
                 "0.4278, 0.486, 0.667, 0.9834, 1.459, 2.135, 3.06, 4.253, 5.721, 7.492",\
                 "0.4272, 0.4854, 0.6672, 0.9822, 1.457, 2.137, 3.058, 4.25, 5.722, 7.487",\
                 "0.428, 0.4862, 0.668, 0.982, 1.458, 2.137, 3.057, 4.249, 5.721, 7.485",\
                 "0.428, 0.4864, 0.6684, 0.9822, 1.456, 2.134, 3.06, 4.25, 5.727, 7.485",\
                 "0.4284, 0.4868, 0.668, 0.982, 1.459, 2.137, 3.058, 4.247, 5.729, 7.484",\
                 "0.4282, 0.486, 0.6672, 0.982, 1.452, 2.13, 3.056, 4.254, 5.726, 7.496",\
                 "0.43, 0.488, 0.67, 0.982, 1.454, 2.13, 3.048, 4.236, 5.708, 7.482",\
                 "0.432, 0.492, 0.672, 0.984, 1.456, 2.134, 3.054, 4.244, 5.704, 7.462",\
                 "0.436, 0.494, 0.674, 0.984, 1.458, 2.136, 3.056, 4.246, 5.71, 7.472");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.5962, 0.7202, 1.156, 2.016, 3.402, 5.375, 7.964, 11.25, 15.24, 20.02",\
                 "0.596, 0.72, 1.156, 2.016, 3.399, 5.373, 7.967, 11.25, 15.25, 20.01",\
                 "0.5964, 0.7204, 1.158, 2.016, 3.399, 5.373, 7.97, 11.25, 15.25, 20.02",\
                 "0.5972, 0.7204, 1.156, 2.015, 3.399, 5.375, 7.965, 11.23, 15.25, 19.98",\
                 "0.5966, 0.7198, 1.158, 2.016, 3.4, 5.373, 7.968, 11.25, 15.25, 20.02",\
                 "0.5964, 0.721, 1.155, 2.015, 3.403, 5.37, 7.964, 11.25, 15.24, 19.99",\
                 "0.6, 0.722, 1.156, 2.014, 3.404, 5.368, 7.974, 11.24, 15.25, 19.98",\
                 "0.602, 0.726, 1.16, 2.018, 3.402, 5.37, 7.974, 11.25, 15.23, 20",\
                 "0.606, 0.728, 1.162, 2.018, 3.4, 5.366, 7.962, 11.24, 15.23, 20.01",\
                 "0.61, 0.734, 1.164, 2.018, 3.4, 5.362, 7.958, 11.24, 15.23, 20.01");
        }
      }

      timing() {
        related_pin : "A3" ;
        sdf_cond : "A1===1'b0 && A2===1'b0" ;
        timing_sense : positive_unate ;
        timing_type : combinational ;
        when : "!A1&!A2" ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("2.754, 2.852, 3.117, 3.491, 3.944, 4.481, 5.115, 5.865, 6.751, 7.792",\
                 "2.806, 2.903, 3.169, 3.541, 3.995, 4.533, 5.167, 5.916, 6.803, 7.845",\
                 "2.971, 3.069, 3.335, 3.708, 4.162, 4.699, 5.333, 6.082, 6.969, 8.011",\
                 "3.327, 3.425, 3.691, 4.063, 4.517, 5.055, 5.688, 6.438, 7.324, 8.366",\
                 "3.924, 4.021, 4.286, 4.659, 5.114, 5.65, 6.284, 7.034, 7.92, 8.962",\
                 "4.784, 4.881, 5.147, 5.519, 5.973, 6.511, 7.145, 7.895, 8.781, 9.822",\
                 "5.875, 5.977, 6.25, 6.629, 7.089, 7.628, 8.265, 9.016, 9.902, 10.94",\
                 "7.078, 7.191, 7.487, 7.887, 8.362, 8.916, 9.56, 10.31, 11.2, 12.25",\
                 "8.362, 8.488, 8.814, 9.24, 9.734, 10.3, 10.96, 11.72, 12.62, 13.66",\
                 "9.723, 9.863, 10.22, 10.68, 11.2, 11.78, 12.45, 13.22, 14.12, 15.17");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("1.407, 1.513, 1.839, 2.404, 3.253, 4.431, 5.976, 7.917, 10.29, 13.11",\
                 "1.46, 1.565, 1.892, 2.457, 3.306, 4.484, 6.028, 7.973, 10.34, 13.18",\
                 "1.646, 1.751, 2.077, 2.642, 3.492, 4.67, 6.216, 8.161, 10.54, 13.36",\
                 "1.99, 2.095, 2.42, 2.984, 3.832, 5.011, 6.558, 8.501, 10.88, 13.71",\
                 "2.485, 2.591, 2.918, 3.481, 4.329, 5.51, 7.056, 9, 11.37, 14.2",\
                 "3.021, 3.132, 3.466, 4.036, 4.887, 6.065, 7.613, 9.556, 11.93, 14.76",\
                 "3.57, 3.685, 4.028, 4.602, 5.456, 6.639, 8.185, 10.13, 12.5, 15.32",\
                 "4.117, 4.239, 4.594, 5.173, 6.027, 7.209, 8.762, 10.71, 13.08, 15.91",\
                 "4.653, 4.784, 5.154, 5.742, 6.595, 7.778, 9.328, 11.28, 13.65, 16.48",\
                 "5.168, 5.311, 5.701, 6.3, 7.154, 8.334, 9.882, 11.83, 14.21, 17.04");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.6656, 0.7382, 0.9562, 1.31, 1.8, 2.463, 3.332, 4.457, 5.864, 7.595",\
                 "0.6646, 0.737, 0.9558, 1.309, 1.8, 2.461, 3.33, 4.451, 5.869, 7.589",\
                 "0.6654, 0.738, 0.9558, 1.31, 1.797, 2.459, 3.33, 4.458, 5.871, 7.591",\
                 "0.6652, 0.7378, 0.9562, 1.308, 1.8, 2.461, 3.329, 4.451, 5.87, 7.591",\
                 "0.6646, 0.7374, 0.9558, 1.308, 1.8, 2.462, 3.329, 4.453, 5.871, 7.585",\
                 "0.6696, 0.7416, 0.9598, 1.311, 1.802, 2.463, 3.332, 4.454, 5.87, 7.594",\
                 "0.724, 0.788, 0.996, 1.338, 1.82, 2.476, 3.338, 4.46, 5.87, 7.592",\
                 "0.828, 0.894, 1.09, 1.42, 1.89, 2.526, 3.374, 4.488, 5.882, 7.6",\
                 "0.944, 1.012, 1.208, 1.524, 1.978, 2.604, 3.446, 4.542, 5.926, 7.624",\
                 "1.064, 1.138, 1.338, 1.644, 2.078, 2.69, 3.516, 4.598, 5.978, 7.67");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.5758, 0.7, 1.137, 1.997, 3.39, 5.365, 7.969, 11.22, 15.22, 19.96",\
                 "0.5764, 0.7004, 1.137, 2, 3.388, 5.354, 7.968, 11.22, 15.21, 19.99",\
                 "0.577, 0.701, 1.139, 2, 3.39, 5.365, 7.947, 11.25, 15.22, 19.98",\
                 "0.5766, 0.7024, 1.138, 1.998, 3.389, 5.364, 7.958, 11.22, 15.22, 19.99",\
                 "0.594, 0.7146, 1.144, 2.002, 3.388, 5.358, 7.956, 11.22, 15.22, 19.96",\
                 "0.6306, 0.75, 1.175, 2.02, 3.394, 5.362, 7.97, 11.24, 15.2, 19.98",\
                 "0.679, 0.7936, 1.205, 2.04, 3.415, 5.368, 7.956, 11.24, 15.25, 19.96",\
                 "0.742, 0.85, 1.246, 2.06, 3.42, 5.384, 7.968, 11.24, 15.24, 19.97",\
                 "0.82, 0.924, 1.296, 2.092, 3.43, 5.392, 7.984, 11.24, 15.23, 19.97",\
                 "0.91, 1.01, 1.362, 2.122, 3.446, 5.392, 7.99, 11.25, 15.23, 20");
        }
      }

      timing() {
        related_pin : "A3" ;
        sdf_cond : "A1===1'b1 && A2===1'b1" ;
        timing_sense : positive_unate ;
        timing_type : combinational ;
        when : "A1&A2" ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("2.754, 2.852, 3.117, 3.489, 3.944, 4.482, 5.116, 5.866, 6.752, 7.794",\
                 "2.805, 2.903, 3.168, 3.541, 3.995, 4.534, 5.167, 5.917, 6.804, 7.845",\
                 "2.972, 3.069, 3.335, 3.709, 4.162, 4.7, 5.334, 6.084, 6.97, 8.012",\
                 "3.328, 3.425, 3.69, 4.063, 4.518, 5.055, 5.69, 6.44, 7.326, 8.368",\
                 "3.924, 4.022, 4.286, 4.659, 5.115, 5.652, 6.286, 7.036, 7.922, 8.964",\
                 "4.784, 4.882, 5.147, 5.52, 5.974, 6.512, 7.146, 7.896, 8.784, 9.825",\
                 "5.875, 5.977, 6.25, 6.63, 7.089, 7.629, 8.266, 9.017, 9.904, 10.95",\
                 "7.078, 7.192, 7.488, 7.888, 8.364, 8.916, 9.558, 10.31, 11.2, 12.25",\
                 "8.363, 8.488, 8.814, 9.24, 9.736, 10.3, 10.96, 11.72, 12.62, 13.67",\
                 "9.725, 9.864, 10.22, 10.68, 11.2, 11.79, 12.45, 13.22, 14.12, 15.18");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("1.407, 1.512, 1.839, 2.404, 3.253, 4.431, 5.976, 7.917, 10.29, 13.11",\
                 "1.46, 1.565, 1.892, 2.457, 3.306, 4.485, 6.029, 7.974, 10.34, 13.18",\
                 "1.646, 1.751, 2.077, 2.642, 3.491, 4.67, 6.216, 8.161, 10.54, 13.35",\
                 "1.99, 2.095, 2.42, 2.984, 3.833, 5.012, 6.559, 8.504, 10.88, 13.71",\
                 "2.485, 2.591, 2.918, 3.481, 4.33, 5.509, 7.056, 9.001, 11.38, 14.2",\
                 "3.021, 3.131, 3.466, 4.037, 4.886, 6.066, 7.613, 9.557, 11.94, 14.76",\
                 "3.57, 3.683, 4.028, 4.602, 5.456, 6.639, 8.185, 10.13, 12.51, 15.32",\
                 "4.117, 4.24, 4.594, 5.172, 6.026, 7.21, 8.762, 10.71, 13.08, 15.9",\
                 "4.654, 4.785, 5.154, 5.742, 6.595, 7.777, 9.328, 11.28, 13.65, 16.48",\
                 "5.168, 5.311, 5.701, 6.299, 7.154, 8.334, 9.883, 11.83, 14.21, 17.04");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.6654, 0.7372, 0.9572, 1.309, 1.801, 2.462, 3.33, 4.458, 5.87, 7.587",\
                 "0.6652, 0.7378, 0.9572, 1.31, 1.801, 2.462, 3.331, 4.452, 5.869, 7.59",\
                 "0.6652, 0.7388, 0.9566, 1.31, 1.799, 2.461, 3.331, 4.458, 5.872, 7.588",\
                 "0.666, 0.7384, 0.9564, 1.31, 1.801, 2.463, 3.331, 4.453, 5.871, 7.592",\
                 "0.6654, 0.7384, 0.9566, 1.309, 1.801, 2.463, 3.334, 4.457, 5.873, 7.592",\
                 "0.67, 0.7426, 0.9602, 1.313, 1.803, 2.466, 3.333, 4.458, 5.868, 7.596",\
                 "0.722, 0.79, 0.994, 1.338, 1.824, 2.478, 3.338, 4.464, 5.874, 7.598",\
                 "0.828, 0.894, 1.09, 1.418, 1.892, 2.53, 3.376, 4.488, 5.888, 7.602",\
                 "0.944, 1.012, 1.21, 1.522, 1.976, 2.604, 3.448, 4.548, 5.926, 7.626",\
                 "1.064, 1.138, 1.34, 1.644, 2.082, 2.696, 3.518, 4.6, 5.976, 7.67");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.5766, 0.7006, 1.139, 1.996, 3.39, 5.365, 7.956, 11.22, 15.22, 19.96",\
                 "0.5766, 0.7004, 1.137, 2, 3.386, 5.359, 7.967, 11.22, 15.21, 19.99",\
                 "0.5764, 0.701, 1.137, 1.997, 3.386, 5.356, 7.948, 11.23, 15.22, 19.97",\
                 "0.5772, 0.7018, 1.139, 1.999, 3.39, 5.36, 7.948, 11.22, 15.22, 20",\
                 "0.593, 0.7148, 1.144, 2.002, 3.39, 5.363, 7.949, 11.22, 15.22, 19.98",\
                 "0.6298, 0.75, 1.175, 2.02, 3.395, 5.363, 7.953, 11.22, 15.22, 19.96",\
                 "0.6786, 0.793, 1.207, 2.04, 3.415, 5.372, 7.958, 11.22, 15.27, 19.97",\
                 "0.744, 0.852, 1.246, 2.064, 3.426, 5.384, 7.97, 11.24, 15.24, 19.96",\
                 "0.818, 0.924, 1.296, 2.086, 3.432, 5.392, 7.978, 11.24, 15.22, 19.98",\
                 "0.91, 1.012, 1.366, 2.124, 3.444, 5.394, 7.988, 11.26, 15.23, 20");
        }
      }

      timing() {
        related_pin : "A3" ;
        timing_sense : positive_unate ;
        timing_type : combinational ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("2.754, 2.852, 3.117, 3.489, 3.944, 4.482, 5.116, 5.866, 6.752, 7.794",\
                 "2.805, 2.903, 3.168, 3.541, 3.995, 4.534, 5.167, 5.917, 6.804, 7.845",\
                 "2.972, 3.069, 3.335, 3.709, 4.162, 4.7, 5.334, 6.084, 6.97, 8.012",\
                 "3.328, 3.425, 3.69, 4.063, 4.518, 5.055, 5.69, 6.44, 7.326, 8.368",\
                 "3.924, 4.022, 4.286, 4.659, 5.115, 5.652, 6.286, 7.036, 7.922, 8.964",\
                 "4.784, 4.882, 5.147, 5.52, 5.974, 6.512, 7.146, 7.896, 8.784, 9.825",\
                 "5.875, 5.977, 6.25, 6.63, 7.089, 7.629, 8.266, 9.017, 9.904, 10.95",\
                 "7.078, 7.192, 7.488, 7.888, 8.364, 8.916, 9.558, 10.31, 11.2, 12.25",\
                 "8.363, 8.488, 8.814, 9.24, 9.736, 10.3, 10.96, 11.72, 12.62, 13.67",\
                 "9.725, 9.864, 10.22, 10.68, 11.2, 11.79, 12.45, 13.22, 14.12, 15.18");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("1.407, 1.512, 1.839, 2.404, 3.253, 4.431, 5.976, 7.917, 10.29, 13.11",\
                 "1.46, 1.565, 1.892, 2.457, 3.306, 4.485, 6.029, 7.974, 10.34, 13.18",\
                 "1.646, 1.751, 2.077, 2.642, 3.491, 4.67, 6.216, 8.161, 10.54, 13.35",\
                 "1.99, 2.095, 2.42, 2.984, 3.833, 5.012, 6.559, 8.504, 10.88, 13.71",\
                 "2.485, 2.591, 2.918, 3.481, 4.33, 5.509, 7.056, 9.001, 11.38, 14.2",\
                 "3.021, 3.131, 3.466, 4.037, 4.886, 6.066, 7.613, 9.557, 11.94, 14.76",\
                 "3.57, 3.683, 4.028, 4.602, 5.456, 6.639, 8.185, 10.13, 12.51, 15.32",\
                 "4.117, 4.24, 4.594, 5.172, 6.026, 7.21, 8.762, 10.71, 13.08, 15.9",\
                 "4.654, 4.785, 5.154, 5.742, 6.595, 7.777, 9.328, 11.28, 13.65, 16.48",\
                 "5.168, 5.311, 5.701, 6.299, 7.154, 8.334, 9.883, 11.83, 14.21, 17.04");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.6654, 0.7372, 0.9572, 1.309, 1.801, 2.462, 3.33, 4.458, 5.87, 7.587",\
                 "0.6652, 0.7378, 0.9572, 1.31, 1.801, 2.462, 3.331, 4.452, 5.869, 7.59",\
                 "0.6652, 0.7388, 0.9566, 1.31, 1.799, 2.461, 3.331, 4.458, 5.872, 7.588",\
                 "0.666, 0.7384, 0.9564, 1.31, 1.801, 2.463, 3.331, 4.453, 5.871, 7.592",\
                 "0.6654, 0.7384, 0.9566, 1.309, 1.801, 2.463, 3.334, 4.457, 5.873, 7.592",\
                 "0.67, 0.7426, 0.9602, 1.313, 1.803, 2.466, 3.333, 4.458, 5.868, 7.596",\
                 "0.722, 0.79, 0.994, 1.338, 1.824, 2.478, 3.338, 4.464, 5.874, 7.598",\
                 "0.828, 0.894, 1.09, 1.418, 1.892, 2.53, 3.376, 4.488, 5.888, 7.602",\
                 "0.944, 1.012, 1.21, 1.522, 1.976, 2.604, 3.448, 4.548, 5.926, 7.626",\
                 "1.064, 1.138, 1.34, 1.644, 2.082, 2.696, 3.518, 4.6, 5.976, 7.67");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.00424, 0.01561, 0.03733, 0.07117, 0.1186, 0.1811, 0.2598, 0.3559, 0.4704");
          values("0.5766, 0.7006, 1.139, 1.996, 3.39, 5.365, 7.956, 11.22, 15.22, 19.96",\
                 "0.5766, 0.7004, 1.137, 2, 3.386, 5.359, 7.967, 11.22, 15.21, 19.99",\
                 "0.5764, 0.701, 1.137, 1.997, 3.386, 5.356, 7.948, 11.23, 15.22, 19.97",\
                 "0.5772, 0.7018, 1.139, 1.999, 3.39, 5.36, 7.948, 11.22, 15.22, 20",\
                 "0.593, 0.7148, 1.144, 2.002, 3.39, 5.363, 7.949, 11.22, 15.22, 19.98",\
                 "0.6298, 0.75, 1.175, 2.02, 3.395, 5.363, 7.953, 11.22, 15.22, 19.96",\
                 "0.6786, 0.793, 1.207, 2.04, 3.415, 5.372, 7.958, 11.22, 15.27, 19.97",\
                 "0.744, 0.852, 1.246, 2.064, 3.426, 5.384, 7.97, 11.24, 15.24, 19.96",\
                 "0.818, 0.924, 1.296, 2.086, 3.432, 5.392, 7.978, 11.24, 15.22, 19.98",\
                 "0.91, 1.012, 1.366, 2.124, 3.444, 5.394, 7.988, 11.26, 15.23, 20");
        }
      }
    }
  }