  cell(gf180mcu_fd_sc_mcu9t5v0__xnor3_2) {
    area : 79.027200 ;

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

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

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

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

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

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

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

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

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

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

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

    pin(A1) {
      capacitance : 0.005829 ;
      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.006522 ;
      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.00931 ;
      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(ZN) {
      direction : output ;
      function : "(!(A1^A2^A3))" ;
      max_capacitance : 0.4708 ;
      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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.08677, 0.08693, 0.08737, 0.08792, 0.08838, 0.0887, 0.08891, 0.08906, 0.08914, 0.08913",\
                 "0.0868, 0.08695, 0.08739, 0.08796, 0.08841, 0.08872, 0.08894, 0.08908, 0.08916, 0.08914",\
                 "0.08676, 0.08691, 0.08737, 0.08792, 0.08838, 0.0887, 0.08892, 0.08905, 0.08913, 0.08909",\
                 "0.08653, 0.08669, 0.08713, 0.08769, 0.08816, 0.08847, 0.08868, 0.08882, 0.08889, 0.0888",\
                 "0.0863, 0.08645, 0.0869, 0.08745, 0.08791, 0.08823, 0.08844, 0.08858, 0.08862, 0.08839",\
                 "0.08611, 0.08627, 0.08673, 0.08727, 0.08774, 0.08806, 0.08827, 0.08839, 0.08834, 0.0878",\
                 "0.08598, 0.08614, 0.08659, 0.08714, 0.0876, 0.08791, 0.08811, 0.08817, 0.0878, 0.08661",\
                 "0.08588, 0.08603, 0.08648, 0.08703, 0.08749, 0.0878, 0.08792, 0.08754, 0.08619, 0.0843",\
                 "0.08564, 0.08581, 0.08625, 0.08679, 0.08718, 0.08722, 0.08628, 0.08421, 0.08231, 0.08091",\
                 "0.08224, 0.08235, 0.08259, 0.08218, 0.07971, 0.07775, 0.0765, 0.07568, 0.07514, 0.07476");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("-0.08793, -0.08779, -0.0874, -0.08684, -0.0862, -0.08573, -0.08157, -0.04673, 0.05861, 0.1927",\
                 "-0.08798, -0.08783, -0.08742, -0.08689, -0.08632, -0.08575, -0.08146, -0.04542, 0.06118, 0.1943",\
                 "-0.0881, -0.0879, -0.08756, -0.08701, -0.08639, -0.08579, -0.08063, -0.03975, 0.07081, 0.1998",\
                 "-0.08818, -0.08803, -0.08767, -0.0871, -0.0865, -0.08581, -0.07816, -0.02695, 0.08849, 0.2078",\
                 "-0.0883, -0.08816, -0.08775, -0.0872, -0.08659, -0.08557, -0.07199, -0.003849, 0.1125, 0.2142",\
                 "-0.08851, -0.08836, -0.08797, -0.08739, -0.08677, -0.0842, -0.05546, 0.03348, 0.1343, 0.2102",\
                 "-0.0888, -0.08864, -0.08824, -0.08772, -0.0868, -0.07559, -0.01517, 0.07053, 0.1354, 0.1811",\
                 "-0.08914, -0.08898, -0.08858, -0.08796, -0.07992, -0.03308, 0.02353, 0.06207, 0.08791, 0.1058",\
                 "-0.09085, -0.09077, -0.08827, -0.07346, -0.06093, -0.0534, -0.04892, -0.0461, -0.04424, -0.04301",\
                 "-0.1437, -0.1437, -0.1437, -0.1437, -0.1437, -0.1437, -0.1437, -0.1437, -0.1437, -0.1437");
        }
      }

      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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.07456, 0.07469, 0.07509, 0.0756, 0.07608, 0.07642, 0.07667, 0.07683, 0.07694, 0.07697",\
                 "0.07452, 0.07465, 0.07504, 0.07557, 0.07603, 0.07638, 0.07663, 0.07679, 0.0769, 0.07692",\
                 "0.07442, 0.07455, 0.07495, 0.07547, 0.07594, 0.07628, 0.07653, 0.0767, 0.07681, 0.07682",\
                 "0.07433, 0.07446, 0.07485, 0.07537, 0.07584, 0.07619, 0.07643, 0.0766, 0.0767, 0.07667",\
                 "0.07421, 0.07434, 0.07473, 0.07525, 0.07572, 0.07607, 0.07631, 0.07648, 0.07656, 0.07642",\
                 "0.07401, 0.07415, 0.07455, 0.07507, 0.07553, 0.07588, 0.07613, 0.07628, 0.07626, 0.0758",\
                 "0.07376, 0.0739, 0.07429, 0.07481, 0.07528, 0.07563, 0.07585, 0.07591, 0.07545, 0.07412",\
                 "0.07346, 0.07361, 0.074, 0.07451, 0.07496, 0.07525, 0.07518, 0.07417, 0.07226, 0.0705",\
                 "0.07145, 0.07155, 0.07186, 0.07213, 0.0715, 0.0692, 0.06724, 0.06591, 0.065, 0.06435",\
                 "0.03241, 0.0325, 0.03275, 0.03309, 0.03336, 0.03356, 0.03368, 0.03376, 0.03382, 0.03386");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.05543, 0.05559, 0.05592, 0.05647, 0.0571, 0.05771, 0.0594, 0.07683, 0.1553, 0.2975",\
                 "0.05546, 0.05558, 0.05596, 0.05652, 0.05708, 0.05774, 0.05936, 0.07806, 0.1583, 0.3002",\
                 "0.05542, 0.05558, 0.05592, 0.05644, 0.05712, 0.05767, 0.05982, 0.08072, 0.1666, 0.3085",\
                 "0.0552, 0.05532, 0.05569, 0.05624, 0.05681, 0.05751, 0.06049, 0.08721, 0.1829, 0.3227",\
                 "0.05498, 0.05514, 0.05551, 0.05606, 0.0566, 0.0573, 0.062, 0.0995, 0.2072, 0.3392",\
                 "0.05479, 0.05495, 0.05532, 0.05582, 0.05639, 0.05727, 0.06606, 0.1212, 0.2376, 0.3531",\
                 "0.05467, 0.0548, 0.05518, 0.05572, 0.05636, 0.05792, 0.07679, 0.1554, 0.267, 0.3576",\
                 "0.05454, 0.0547, 0.0551, 0.05564, 0.05629, 0.06149, 0.1042, 0.1975, 0.2823, 0.3435",\
                 "0.05441, 0.05455, 0.0549, 0.05542, 0.05722, 0.08084, 0.1515, 0.219, 0.266, 0.2988",\
                 "0.05399, 0.05413, 0.05452, 0.056, 0.07736, 0.1247, 0.1595, 0.1821, 0.1971, 0.2074");
        }
      }

      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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.08313, 0.0833, 0.08375, 0.08429, 0.08475, 0.08507, 0.08528, 0.08542, 0.08551, 0.08554",\
                 "0.08317, 0.08332, 0.08378, 0.08433, 0.08479, 0.08511, 0.08532, 0.08546, 0.08555, 0.08557",\
                 "0.08301, 0.08316, 0.08361, 0.08417, 0.08464, 0.08495, 0.08517, 0.0853, 0.08539, 0.0854",\
                 "0.08277, 0.08292, 0.08337, 0.08392, 0.08438, 0.0847, 0.08492, 0.08506, 0.08514, 0.08512",\
                 "0.08256, 0.08271, 0.08316, 0.08371, 0.08417, 0.08449, 0.0847, 0.08484, 0.08491, 0.0848",\
                 "0.08241, 0.08256, 0.08302, 0.08356, 0.08403, 0.08435, 0.08456, 0.0847, 0.08469, 0.08426",\
                 "0.0823, 0.08246, 0.08292, 0.08347, 0.08393, 0.08424, 0.08444, 0.08448, 0.08404, 0.08274",\
                 "0.08222, 0.08238, 0.08283, 0.08337, 0.08382, 0.08406, 0.08391, 0.08273, 0.08074, 0.079",\
                 "0.07951, 0.07964, 0.07994, 0.07996, 0.07815, 0.07581, 0.07427, 0.07325, 0.07256, 0.07209",\
                 "0.03188, 0.03188, 0.03186, 0.03185, 0.03183, 0.0318, 0.03178, 0.03177, 0.03176, 0.03176");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.04939, 0.04955, 0.04994, 0.0505, 0.0511, 0.05158, 0.05266, 0.06427, 0.1273, 0.265",\
                 "0.04939, 0.04955, 0.04999, 0.05054, 0.05116, 0.05155, 0.05286, 0.06487, 0.1292, 0.2676",\
                 "0.04939, 0.04955, 0.04995, 0.05048, 0.05106, 0.0516, 0.05294, 0.06708, 0.1365, 0.2769",\
                 "0.0493, 0.04946, 0.04985, 0.05045, 0.051, 0.05146, 0.05317, 0.07168, 0.1516, 0.2938",\
                 "0.04912, 0.04929, 0.04969, 0.05028, 0.05088, 0.05134, 0.05436, 0.08154, 0.1773, 0.3171",\
                 "0.04894, 0.04912, 0.04952, 0.05007, 0.05069, 0.05124, 0.0572, 0.1021, 0.2147, 0.3402",\
                 "0.04874, 0.04888, 0.0493, 0.04985, 0.05045, 0.05166, 0.06715, 0.1396, 0.2544, 0.3517",\
                 "0.04854, 0.04871, 0.04913, 0.04968, 0.05027, 0.0552, 0.09709, 0.1904, 0.2761, 0.338",\
                 "0.04836, 0.0485, 0.0489, 0.04947, 0.05193, 0.08071, 0.1515, 0.2119, 0.2533, 0.282",\
                 "0.04802, 0.04814, 0.04862, 0.05376, 0.08532, 0.1164, 0.1361, 0.1485, 0.1568, 0.1624");
        }
      }

      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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.05216, 0.05229, 0.05268, 0.05319, 0.05366, 0.05401, 0.05426, 0.05443, 0.05455, 0.05462",\
                 "0.05215, 0.05229, 0.05267, 0.05318, 0.05365, 0.05401, 0.05426, 0.05443, 0.05454, 0.05461",\
                 "0.05214, 0.05228, 0.05267, 0.05318, 0.05364, 0.054, 0.05425, 0.05442, 0.05454, 0.05461",\
                 "0.05205, 0.05219, 0.05257, 0.05308, 0.05355, 0.0539, 0.05415, 0.05432, 0.05444, 0.0545",\
                 "0.05185, 0.05198, 0.05236, 0.05287, 0.05334, 0.05369, 0.05394, 0.05411, 0.05423, 0.05428",\
                 "0.05163, 0.05176, 0.05215, 0.05265, 0.05312, 0.05347, 0.05373, 0.0539, 0.054, 0.054",\
                 "0.05143, 0.05156, 0.05193, 0.05244, 0.0529, 0.05327, 0.05352, 0.05368, 0.05376, 0.05359",\
                 "0.05127, 0.05139, 0.05177, 0.05227, 0.05274, 0.05309, 0.05334, 0.05348, 0.05335, 0.05259",\
                 "0.05112, 0.05125, 0.05161, 0.05209, 0.05255, 0.0529, 0.05308, 0.05282, 0.0516, 0.04977",\
                 "0.0508, 0.05091, 0.05127, 0.05168, 0.05198, 0.0517, 0.05002, 0.0479, 0.04633, 0.04518");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.04767, 0.04785, 0.04822, 0.04878, 0.04932, 0.04996, 0.05118, 0.06287, 0.1262, 0.2638",\
                 "0.04772, 0.04787, 0.04825, 0.04883, 0.04936, 0.05001, 0.0513, 0.06349, 0.1284, 0.2668",\
                 "0.04757, 0.04773, 0.04809, 0.04865, 0.0492, 0.04985, 0.05122, 0.0656, 0.1359, 0.2759",\
                 "0.04732, 0.04746, 0.04786, 0.04842, 0.04894, 0.04963, 0.0515, 0.06989, 0.1508, 0.2931",\
                 "0.04711, 0.04728, 0.04765, 0.04815, 0.04881, 0.0494, 0.05258, 0.08065, 0.1781, 0.3171",\
                 "0.04695, 0.0471, 0.04744, 0.04805, 0.04859, 0.04943, 0.05643, 0.1046, 0.2192, 0.3412",\
                 "0.04682, 0.04696, 0.04736, 0.04791, 0.04847, 0.05026, 0.07137, 0.1527, 0.2622, 0.3492",\
                 "0.04668, 0.04683, 0.04719, 0.04774, 0.04861, 0.06056, 0.1216, 0.2066, 0.2706, 0.3157",\
                 "0.04616, 0.04628, 0.04659, 0.0478, 0.06567, 0.1151, 0.1542, 0.1798, 0.1968, 0.2085",\
                 "0.01294, 0.01292, 0.01286, 0.01283, 0.01279, 0.01278, 0.01276, 0.01275, 0.01274, 0.01274");
        }
      }

      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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.08413, 0.08428, 0.08473, 0.08528, 0.08573, 0.08605, 0.08626, 0.0864, 0.08649, 0.08649",\
                 "0.08415, 0.08431, 0.08476, 0.08532, 0.08577, 0.08609, 0.0863, 0.08644, 0.08653, 0.08652",\
                 "0.08414, 0.08429, 0.08475, 0.08529, 0.08576, 0.08607, 0.08628, 0.08643, 0.0865, 0.08649",\
                 "0.08401, 0.08417, 0.08462, 0.08517, 0.08564, 0.08595, 0.08616, 0.0863, 0.08637, 0.0863",\
                 "0.08388, 0.08403, 0.08448, 0.08503, 0.0855, 0.08581, 0.08603, 0.08616, 0.08622, 0.08603",\
                 "0.08378, 0.08393, 0.08438, 0.08494, 0.0854, 0.08572, 0.08591, 0.08604, 0.08602, 0.08557",\
                 "0.08372, 0.08387, 0.08432, 0.08488, 0.08535, 0.08566, 0.08586, 0.08594, 0.08566, 0.08461",\
                 "0.08372, 0.08385, 0.0843, 0.08485, 0.08532, 0.08563, 0.08578, 0.08553, 0.08437, 0.08253",\
                 "0.08364, 0.08379, 0.08425, 0.08478, 0.0852, 0.08535, 0.08473, 0.08289, 0.08089, 0.07938",\
                 "0.08166, 0.0818, 0.08211, 0.08223, 0.08074, 0.07831, 0.07665, 0.07555, 0.07481, 0.07428");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("-0.07292, -0.07279, -0.07236, -0.07178, -0.07121, -0.07075, -0.06687, -0.03421, 0.06898, 0.2048",\
                 "-0.07303, -0.07289, -0.07249, -0.07193, -0.0713, -0.0707, -0.06695, -0.03321, 0.07124, 0.2061",\
                 "-0.0732, -0.07301, -0.07262, -0.07211, -0.07144, -0.07093, -0.06625, -0.02803, 0.08, 0.2115",\
                 "-0.07331, -0.07315, -0.07275, -0.0722, -0.07164, -0.07098, -0.06414, -0.01659, 0.09789, 0.2205",\
                 "-0.07342, -0.07327, -0.07283, -0.07233, -0.07168, -0.07077, -0.0586, 0.007145, 0.1239, 0.2286",\
                 "-0.07358, -0.07341, -0.07303, -0.07245, -0.07186, -0.06944, -0.04174, 0.04688, 0.1487, 0.2256",\
                 "-0.07375, -0.07359, -0.07319, -0.07259, -0.07172, -0.05965, 0.002217, 0.08655, 0.1496, 0.194",\
                 "-0.07405, -0.07388, -0.0735, -0.07271, -0.06159, -0.01188, 0.038, 0.07113, 0.0933, 0.1086",\
                 "-0.07873, -0.07891, -0.07521, -0.06994, -0.06662, -0.06472, -0.06361, -0.06293, -0.06245, -0.06213",\
                 "-0.1345, -0.1345, -0.1345, -0.1345, -0.1345, -0.1345, -0.1345, -0.1345, -0.1345, -0.1345");
        }
      }

      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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.07354, 0.07368, 0.07407, 0.07459, 0.07506, 0.07541, 0.07566, 0.07582, 0.07592, 0.07596",\
                 "0.07343, 0.07358, 0.07396, 0.07448, 0.07495, 0.0753, 0.07555, 0.07572, 0.07582, 0.07585",\
                 "0.07328, 0.07341, 0.07381, 0.07433, 0.0748, 0.07515, 0.07539, 0.07557, 0.07567, 0.07568",\
                 "0.07315, 0.0733, 0.07368, 0.0742, 0.07468, 0.07502, 0.07526, 0.07543, 0.07553, 0.07552",\
                 "0.07306, 0.07319, 0.07359, 0.07411, 0.07457, 0.07492, 0.07516, 0.07533, 0.07541, 0.0753",\
                 "0.07293, 0.07307, 0.07347, 0.07397, 0.07444, 0.0748, 0.07504, 0.07519, 0.07519, 0.07475",\
                 "0.07277, 0.0729, 0.0733, 0.07382, 0.07429, 0.07463, 0.07486, 0.0749, 0.0744, 0.07303",\
                 "0.07256, 0.07268, 0.07308, 0.07359, 0.07404, 0.0743, 0.07408, 0.07279, 0.07079, 0.06912",\
                 "0.06901, 0.0691, 0.06933, 0.06916, 0.06699, 0.06488, 0.06352, 0.06264, 0.06204, 0.06163",\
                 "0.02274, 0.02275, 0.0228, 0.02283, 0.02285, 0.02285, 0.02285, 0.02284, 0.02284, 0.02283");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.05712, 0.05726, 0.05759, 0.05819, 0.05878, 0.05948, 0.06075, 0.07679, 0.1515, 0.293",\
                 "0.05716, 0.05731, 0.05767, 0.05824, 0.05875, 0.05942, 0.06108, 0.07779, 0.1543, 0.2957",\
                 "0.05713, 0.05729, 0.05763, 0.05823, 0.05879, 0.05943, 0.06118, 0.08063, 0.1622, 0.3044",\
                 "0.05701, 0.05716, 0.05753, 0.0581, 0.05865, 0.05929, 0.06173, 0.08623, 0.1783, 0.3193",\
                 "0.05687, 0.057, 0.0574, 0.05792, 0.05852, 0.0592, 0.06338, 0.09766, 0.2024, 0.337",\
                 "0.05678, 0.05694, 0.0573, 0.05787, 0.05841, 0.05923, 0.06693, 0.1174, 0.233, 0.3527",\
                 "0.05673, 0.05687, 0.05723, 0.05779, 0.05838, 0.05978, 0.07602, 0.1503, 0.2644, 0.3599",\
                 "0.05668, 0.05684, 0.05722, 0.05772, 0.05839, 0.06257, 0.1004, 0.1933, 0.2836, 0.3495",\
                 "0.05666, 0.05682, 0.05716, 0.05766, 0.05907, 0.07832, 0.1472, 0.2209, 0.2731, 0.3096",\
                 "0.05662, 0.05678, 0.05714, 0.05817, 0.07396, 0.1243, 0.1663, 0.1939, 0.2123, 0.2251");
        }
      }

      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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.08535, 0.0855, 0.08595, 0.0865, 0.08696, 0.08728, 0.08749, 0.08763, 0.08772, 0.08773",\
                 "0.08518, 0.08535, 0.0858, 0.08636, 0.08682, 0.08714, 0.08733, 0.08749, 0.08758, 0.08759",\
                 "0.08505, 0.08521, 0.08566, 0.08621, 0.08668, 0.087, 0.08721, 0.08735, 0.08743, 0.08743",\
                 "0.0849, 0.08506, 0.08551, 0.08607, 0.08653, 0.08685, 0.08705, 0.08719, 0.08727, 0.08723",\
                 "0.08476, 0.08491, 0.08537, 0.08593, 0.08639, 0.08671, 0.08692, 0.08706, 0.08712, 0.08697",\
                 "0.08466, 0.08481, 0.08527, 0.0858, 0.08628, 0.08659, 0.0868, 0.08693, 0.0869, 0.0864",\
                 "0.08457, 0.08473, 0.08516, 0.08573, 0.08619, 0.08651, 0.0867, 0.0867, 0.08612, 0.08466",\
                 "0.08443, 0.08458, 0.08503, 0.08557, 0.08601, 0.08621, 0.08587, 0.08438, 0.08233, 0.0807",\
                 "0.08002, 0.0801, 0.08031, 0.07936, 0.07679, 0.07508, 0.074, 0.07332, 0.07285, 0.07254",\
                 "0.02821, 0.0282, 0.02819, 0.02817, 0.02816, 0.02814, 0.02814, 0.02812, 0.02812, 0.02811");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.05386, 0.054, 0.05442, 0.05497, 0.0556, 0.05607, 0.05708, 0.06894, 0.133, 0.2704",\
                 "0.05388, 0.05406, 0.05448, 0.055, 0.0556, 0.0561, 0.05734, 0.06985, 0.1347, 0.2734",\
                 "0.05389, 0.05404, 0.05448, 0.055, 0.05563, 0.05604, 0.05757, 0.07161, 0.1419, 0.2825",\
                 "0.05384, 0.05399, 0.05442, 0.05495, 0.05555, 0.05601, 0.05778, 0.07598, 0.1562, 0.2985",\
                 "0.05371, 0.05387, 0.05431, 0.05487, 0.05547, 0.05591, 0.05888, 0.08517, 0.1803, 0.3204",\
                 "0.05355, 0.05368, 0.05414, 0.05468, 0.05528, 0.05595, 0.06136, 0.1042, 0.2156, 0.343",\
                 "0.05334, 0.05349, 0.05393, 0.05445, 0.0551, 0.05607, 0.07004, 0.1391, 0.2552, 0.356",\
                 "0.05313, 0.05328, 0.05368, 0.05423, 0.05484, 0.05903, 0.09665, 0.1896, 0.28, 0.3458",\
                 "0.0529, 0.05306, 0.05344, 0.05401, 0.05584, 0.08021, 0.1511, 0.2173, 0.2632, 0.2952",\
                 "0.0526, 0.05276, 0.05315, 0.05626, 0.08513, 0.1235, 0.1485, 0.1645, 0.1751, 0.1824");
        }
      }

      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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.05281, 0.05293, 0.05332, 0.05382, 0.0543, 0.05465, 0.05489, 0.05506, 0.05518, 0.05525",\
                 "0.05283, 0.05294, 0.05332, 0.05384, 0.0543, 0.05466, 0.05491, 0.05508, 0.05519, 0.05526",\
                 "0.05284, 0.05298, 0.05336, 0.05388, 0.05435, 0.05469, 0.05494, 0.05511, 0.05523, 0.0553",\
                 "0.05277, 0.05292, 0.05329, 0.05381, 0.05427, 0.05463, 0.05487, 0.05505, 0.05516, 0.05522",\
                 "0.05262, 0.05274, 0.05313, 0.05365, 0.05411, 0.05446, 0.05471, 0.05488, 0.055, 0.05504",\
                 "0.05242, 0.05255, 0.05294, 0.05345, 0.05391, 0.05428, 0.05452, 0.05469, 0.0548, 0.05481",\
                 "0.05222, 0.05235, 0.05273, 0.05324, 0.0537, 0.05406, 0.05431, 0.05448, 0.05456, 0.05443",\
                 "0.05204, 0.05216, 0.05253, 0.05304, 0.0535, 0.05386, 0.05411, 0.05425, 0.05417, 0.0535",\
                 "0.05185, 0.05197, 0.05236, 0.05284, 0.05329, 0.05364, 0.05385, 0.05368, 0.05265, 0.05088",\
                 "0.05158, 0.05169, 0.05203, 0.05249, 0.05284, 0.05277, 0.0515, 0.04937, 0.04764, 0.04639");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.0379, 0.03804, 0.03838, 0.03894, 0.03955, 0.04015, 0.0415, 0.0549, 0.1226, 0.2617",\
                 "0.03772, 0.03788, 0.03828, 0.03881, 0.03936, 0.03999, 0.04125, 0.05509, 0.124, 0.2639",\
                 "0.03761, 0.03774, 0.03809, 0.03869, 0.03921, 0.03984, 0.04147, 0.05709, 0.1319, 0.2729",\
                 "0.03745, 0.03761, 0.03794, 0.03853, 0.03913, 0.03972, 0.04172, 0.06278, 0.148, 0.2899",\
                 "0.03731, 0.03745, 0.03786, 0.03835, 0.03894, 0.03961, 0.04315, 0.07452, 0.1761, 0.313",\
                 "0.0372, 0.03734, 0.03774, 0.03829, 0.03882, 0.03965, 0.04764, 0.101, 0.2169, 0.3345",\
                 "0.03708, 0.03724, 0.03759, 0.03817, 0.03871, 0.04096, 0.06528, 0.1508, 0.2565, 0.3381",\
                 "0.03691, 0.03706, 0.03744, 0.03796, 0.03902, 0.05404, 0.1197, 0.1995, 0.2576, 0.2985",\
                 "0.03613, 0.03628, 0.03662, 0.03847, 0.06256, 0.1074, 0.1386, 0.1588, 0.1722, 0.1814",\
                 "-0.002174, -0.002186, -0.002189, -0.002197, -0.002211, -0.002219, -0.002227, -0.00223, -0.002232, -0.002232");
        }
      }

      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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.05432, 0.05445, 0.05484, 0.05535, 0.0558, 0.05614, 0.05638, 0.05655, 0.05667, 0.05674",\
                 "0.05438, 0.05452, 0.05491, 0.05543, 0.05588, 0.05622, 0.05646, 0.05663, 0.05674, 0.05681",\
                 "0.05427, 0.05443, 0.0548, 0.05531, 0.05577, 0.05611, 0.05635, 0.05651, 0.05663, 0.0567",\
                 "0.05365, 0.0538, 0.05419, 0.05471, 0.05518, 0.0555, 0.05574, 0.05591, 0.05602, 0.05609",\
                 "0.05308, 0.05324, 0.05361, 0.05413, 0.0546, 0.05495, 0.05518, 0.05535, 0.05546, 0.05552",\
                 "0.05266, 0.0528, 0.05319, 0.05371, 0.05417, 0.05452, 0.05476, 0.05491, 0.05502, 0.05505",\
                 "0.05231, 0.05244, 0.05286, 0.05338, 0.05385, 0.05419, 0.05442, 0.05457, 0.05465, 0.05458",\
                 "0.05199, 0.05215, 0.05256, 0.0531, 0.05355, 0.05389, 0.05412, 0.05425, 0.05425, 0.05383",\
                 "0.05171, 0.05185, 0.05227, 0.0528, 0.05326, 0.05359, 0.0538, 0.05382, 0.05328, 0.05186",\
                 "0.05168, 0.05182, 0.05224, 0.05275, 0.05317, 0.05342, 0.05314, 0.05178, 0.04976, 0.04811");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.05843, 0.05858, 0.05898, 0.05958, 0.06013, 0.06063, 0.06148, 0.06925, 0.1177, 0.245",\
                 "0.05836, 0.05854, 0.05896, 0.0595, 0.06008, 0.0606, 0.06146, 0.06954, 0.1192, 0.2477",\
                 "0.05818, 0.05835, 0.05877, 0.05934, 0.05991, 0.06036, 0.06126, 0.07052, 0.1255, 0.2575",\
                 "0.05802, 0.05818, 0.05858, 0.05914, 0.05978, 0.06018, 0.06128, 0.07373, 0.1376, 0.2758",\
                 "0.05776, 0.05791, 0.05835, 0.05887, 0.05948, 0.05993, 0.0616, 0.07994, 0.1605, 0.3026",\
                 "0.05727, 0.05742, 0.05784, 0.05841, 0.05901, 0.05954, 0.06313, 0.0948, 0.1968, 0.3334",\
                 "0.05678, 0.05694, 0.05737, 0.05793, 0.05846, 0.05929, 0.06933, 0.1284, 0.2453, 0.3568",\
                 "0.05641, 0.05653, 0.05694, 0.05756, 0.05813, 0.06137, 0.09429, 0.186, 0.2817, 0.3523",\
                 "0.05596, 0.05612, 0.05649, 0.05705, 0.05901, 0.08502, 0.156, 0.2202, 0.2644, 0.2951",\
                 "0.05431, 0.05444, 0.05492, 0.06327, 0.09395, 0.118, 0.1329, 0.1423, 0.1485, 0.1526");
        }
      }

      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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.04825, 0.0484, 0.04886, 0.04942, 0.04987, 0.05019, 0.0504, 0.05053, 0.05062, 0.05069",\
                 "0.04828, 0.04845, 0.0489, 0.04947, 0.04992, 0.05024, 0.05044, 0.05058, 0.05067, 0.05073",\
                 "0.04774, 0.04791, 0.04838, 0.04895, 0.04941, 0.04974, 0.04994, 0.05007, 0.05016, 0.05022",\
                 "0.0472, 0.04737, 0.04781, 0.04837, 0.04883, 0.04917, 0.04938, 0.04951, 0.04961, 0.04967",\
                 "0.04685, 0.04699, 0.04739, 0.0479, 0.04836, 0.0487, 0.04893, 0.04908, 0.04919, 0.04925",\
                 "0.04659, 0.0467, 0.04705, 0.04752, 0.04798, 0.04835, 0.04861, 0.0488, 0.04892, 0.04898",\
                 "0.04646, 0.04657, 0.04686, 0.04731, 0.04774, 0.04811, 0.0484, 0.04861, 0.04874, 0.04872",\
                 "0.04645, 0.04653, 0.0468, 0.04718, 0.04759, 0.04798, 0.04826, 0.04847, 0.04848, 0.04797",\
                 "0.04652, 0.04661, 0.04679, 0.04714, 0.04753, 0.04788, 0.04812, 0.04791, 0.04673, 0.04494",\
                 "0.04465, 0.04469, 0.04485, 0.04506, 0.04503, 0.04379, 0.04159, 0.03997, 0.03883, 0.03804");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.02733, 0.02752, 0.02805, 0.02877, 0.02943, 0.02984, 0.0306, 0.0338, 0.05903, 0.154",\
                 "0.02731, 0.02751, 0.02807, 0.02881, 0.02941, 0.02995, 0.0305, 0.03372, 0.06018, 0.156",\
                 "0.02723, 0.02742, 0.02796, 0.02869, 0.02935, 0.02979, 0.03028, 0.03407, 0.063, 0.1651",\
                 "0.02692, 0.02709, 0.02756, 0.02821, 0.02881, 0.02939, 0.02994, 0.0348, 0.0695, 0.1816",\
                 "0.02648, 0.02666, 0.02702, 0.02766, 0.02818, 0.02874, 0.02977, 0.03679, 0.08341, 0.2079",\
                 "0.02611, 0.02624, 0.0266, 0.02717, 0.02764, 0.02828, 0.02957, 0.04172, 0.1058, 0.2426",\
                 "0.0259, 0.02599, 0.02628, 0.02669, 0.02737, 0.02785, 0.03008, 0.05276, 0.1417, 0.2836",\
                 "0.02576, 0.02584, 0.02613, 0.02644, 0.02682, 0.02784, 0.03405, 0.07913, 0.1927, 0.3175",\
                 "0.02573, 0.02585, 0.02605, 0.02638, 0.0267, 0.02819, 0.04996, 0.1315, 0.2408, 0.3277",\
                 "0.02618, 0.02625, 0.02648, 0.0268, 0.02754, 0.03991, 0.1021, 0.1861, 0.2491, 0.2936");
        }
      }

      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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.04825, 0.0484, 0.04886, 0.04942, 0.04987, 0.05019, 0.0504, 0.05053, 0.05062, 0.05069",\
                 "0.04828, 0.04845, 0.04891, 0.04946, 0.04992, 0.05024, 0.05044, 0.05058, 0.05067, 0.05073",\
                 "0.04774, 0.04791, 0.04838, 0.04895, 0.04941, 0.04974, 0.04995, 0.05007, 0.05016, 0.05021",\
                 "0.0472, 0.04736, 0.04782, 0.04837, 0.04884, 0.04917, 0.04938, 0.04952, 0.04961, 0.04967",\
                 "0.04684, 0.04698, 0.0474, 0.04789, 0.04835, 0.0487, 0.04893, 0.04909, 0.0492, 0.04926",\
                 "0.04656, 0.04671, 0.04707, 0.04753, 0.04799, 0.04835, 0.04861, 0.0488, 0.04892, 0.04898",\
                 "0.04647, 0.04657, 0.04687, 0.04728, 0.04773, 0.0481, 0.0484, 0.04861, 0.04874, 0.04872",\
                 "0.04645, 0.04653, 0.04681, 0.04718, 0.04759, 0.04797, 0.04826, 0.04847, 0.04848, 0.04797",\
                 "0.04652, 0.04663, 0.04684, 0.04714, 0.04753, 0.04789, 0.04812, 0.04791, 0.04673, 0.04495",\
                 "0.04466, 0.0447, 0.04486, 0.04506, 0.04503, 0.04378, 0.0416, 0.03996, 0.03884, 0.03804");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.02732, 0.02752, 0.02804, 0.02876, 0.02942, 0.02983, 0.03059, 0.03378, 0.05902, 0.154",\
                 "0.02731, 0.0275, 0.02806, 0.0288, 0.0294, 0.02995, 0.03049, 0.03372, 0.06017, 0.156",\
                 "0.02722, 0.02741, 0.02793, 0.02866, 0.02932, 0.02978, 0.03026, 0.03402, 0.06263, 0.165",\
                 "0.02691, 0.02711, 0.02756, 0.02817, 0.02877, 0.02933, 0.02987, 0.03484, 0.06986, 0.1808",\
                 "0.02648, 0.02665, 0.02704, 0.0276, 0.02824, 0.0288, 0.02932, 0.03678, 0.08289, 0.2079",\
                 "0.02613, 0.02624, 0.02662, 0.02717, 0.02772, 0.02824, 0.02963, 0.0418, 0.1058, 0.2427",\
                 "0.0259, 0.02598, 0.02627, 0.02667, 0.02735, 0.02784, 0.03008, 0.05275, 0.1417, 0.2836",\
                 "0.02575, 0.02583, 0.02613, 0.02649, 0.02679, 0.02783, 0.03403, 0.07915, 0.1926, 0.3175",\
                 "0.02573, 0.02584, 0.02608, 0.0264, 0.02669, 0.02815, 0.05, 0.1315, 0.2408, 0.3277",\
                 "0.02617, 0.02624, 0.02648, 0.02679, 0.02753, 0.0399, 0.1021, 0.1861, 0.2491, 0.2937");
        }
      }

      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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.0543, 0.05444, 0.05483, 0.05535, 0.05579, 0.05614, 0.05638, 0.05654, 0.05666, 0.05673",\
                 "0.05437, 0.05452, 0.0549, 0.05542, 0.05587, 0.05622, 0.05645, 0.05662, 0.05673, 0.0568",\
                 "0.05426, 0.0544, 0.05478, 0.0553, 0.05576, 0.0561, 0.05635, 0.05651, 0.05662, 0.05669",\
                 "0.05366, 0.05381, 0.05418, 0.05469, 0.05515, 0.0555, 0.05574, 0.0559, 0.05601, 0.05608",\
                 "0.05306, 0.0532, 0.0536, 0.05411, 0.05458, 0.05493, 0.05517, 0.05533, 0.05545, 0.0555",\
                 "0.05265, 0.05276, 0.05317, 0.05369, 0.05416, 0.0545, 0.05474, 0.0549, 0.055, 0.05503",\
                 "0.05229, 0.05242, 0.05283, 0.05335, 0.05383, 0.05417, 0.05439, 0.05454, 0.05464, 0.05456",\
                 "0.05198, 0.05212, 0.05255, 0.05308, 0.05355, 0.05387, 0.0541, 0.05423, 0.05423, 0.05381",\
                 "0.0517, 0.05183, 0.05225, 0.05279, 0.05325, 0.05356, 0.05378, 0.0538, 0.05326, 0.05183",\
                 "0.05165, 0.05179, 0.05222, 0.05273, 0.05316, 0.05339, 0.05312, 0.05172, 0.0497, 0.04807");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.05833, 0.05848, 0.05889, 0.05943, 0.06006, 0.06057, 0.0612, 0.06894, 0.118, 0.2452",\
                 "0.05827, 0.05846, 0.05882, 0.05938, 0.06003, 0.06045, 0.06118, 0.06939, 0.1197, 0.2478",\
                 "0.05808, 0.05828, 0.05865, 0.05922, 0.05982, 0.06027, 0.06135, 0.07081, 0.1251, 0.2576",\
                 "0.05791, 0.0581, 0.05851, 0.05906, 0.05969, 0.06008, 0.0614, 0.07361, 0.1377, 0.2761",\
                 "0.05765, 0.05783, 0.05824, 0.05878, 0.05935, 0.05981, 0.06171, 0.08022, 0.1603, 0.3026",\
                 "0.05717, 0.05733, 0.05775, 0.0583, 0.05891, 0.05944, 0.06322, 0.09468, 0.1969, 0.3334",\
                 "0.0567, 0.05683, 0.05727, 0.05781, 0.05836, 0.05914, 0.0691, 0.1281, 0.2454, 0.3567",\
                 "0.05631, 0.05644, 0.05682, 0.05742, 0.05801, 0.06126, 0.09423, 0.186, 0.2816, 0.3522",\
                 "0.05587, 0.05603, 0.05642, 0.05694, 0.05893, 0.08499, 0.156, 0.2201, 0.2642, 0.295",\
                 "0.05422, 0.05435, 0.05484, 0.06316, 0.09396, 0.1179, 0.1327, 0.1421, 0.1483, 0.1525");
        }
      }

      timing() {
        related_pin : "A1" ;
        sdf_cond : "A2===1'b0 && 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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("9.287, 9.382, 9.642, 10.01, 10.46, 11, 11.63, 12.38, 13.27, 14.31",\
                 "9.346, 9.442, 9.703, 10.07, 10.52, 11.06, 11.69, 12.44, 13.33, 14.37",\
                 "9.531, 9.626, 9.887, 10.26, 10.71, 11.24, 11.88, 12.63, 13.51, 14.56",\
                 "9.835, 9.93, 10.19, 10.56, 11.01, 11.55, 12.18, 12.93, 13.82, 14.86",\
                 "10.2, 10.29, 10.55, 10.92, 11.37, 11.91, 12.54, 13.29, 14.18, 15.22",\
                 "10.54, 10.64, 10.9, 11.27, 11.72, 12.26, 12.89, 13.64, 14.53, 15.57",\
                 "10.85, 10.95, 11.21, 11.58, 12.03, 12.57, 13.2, 13.95, 14.84, 15.88",\
                 "11.11, 11.21, 11.47, 11.84, 12.29, 12.83, 13.46, 14.21, 15.1, 16.14",\
                 "11.32, 11.41, 11.67, 12.04, 12.49, 13.03, 13.67, 14.42, 15.3, 16.35",\
                 "11.46, 11.55, 11.81, 12.18, 12.63, 13.17, 13.8, 14.55, 15.44, 16.48");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("9.774, 9.866, 10.17, 10.72, 11.57, 12.75, 14.29, 16.24, 18.61, 21.44",\
                 "9.823, 9.916, 10.22, 10.77, 11.62, 12.8, 14.34, 16.29, 18.66, 21.49",\
                 "10.01, 10.1, 10.41, 10.96, 11.8, 12.98, 14.53, 16.48, 18.85, 21.68",\
                 "10.37, 10.46, 10.76, 11.31, 12.16, 13.34, 14.89, 16.84, 19.21, 22.04",\
                 "10.9, 10.99, 11.29, 11.84, 12.69, 13.87, 15.42, 17.36, 19.74, 22.56",\
                 "11.61, 11.71, 12.01, 12.56, 13.41, 14.59, 16.14, 18.08, 20.46, 23.28",\
                 "12.54, 12.64, 12.94, 13.49, 14.34, 15.52, 17.06, 19.01, 21.38, 24.21",\
                 "13.66, 13.76, 14.06, 14.61, 15.46, 16.64, 18.18, 20.13, 22.5, 25.33",\
                 "14.91, 15.01, 15.31, 15.86, 16.71, 17.89, 19.44, 21.38, 23.75, 26.58",\
                 "16.29, 16.38, 16.68, 17.24, 18.08, 19.26, 20.81, 22.76, 25.13, 27.96");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.6566, 0.7288, 0.9464, 1.301, 1.794, 2.456, 3.332, 4.464, 5.874, 7.602",\
                 "0.6568, 0.7286, 0.9456, 1.3, 1.796, 2.458, 3.33, 4.462, 5.87, 7.602",\
                 "0.6564, 0.7274, 0.946, 1.3, 1.796, 2.458, 3.33, 4.462, 5.876, 7.594",\
                 "0.658, 0.73, 0.948, 1.3, 1.794, 2.458, 3.332, 4.46, 5.872, 7.6",\
                 "0.656, 0.728, 0.946, 1.302, 1.796, 2.456, 3.332, 4.46, 5.87, 7.602",\
                 "0.656, 0.728, 0.948, 1.3, 1.798, 2.458, 3.334, 4.462, 5.874, 7.602",\
                 "0.654, 0.73, 0.946, 1.302, 1.796, 2.46, 3.332, 4.46, 5.872, 7.6",\
                 "0.654, 0.728, 0.948, 1.302, 1.796, 2.462, 3.332, 4.46, 5.87, 7.598",\
                 "0.656, 0.728, 0.944, 1.3, 1.792, 2.456, 3.33, 4.458, 5.87, 7.592",\
                 "0.656, 0.728, 0.948, 1.3, 1.796, 2.458, 3.336, 4.454, 5.874, 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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.5144, 0.6376, 1.081, 1.974, 3.376, 5.346, 7.95, 11.21, 15.22, 19.98",\
                 "0.513, 0.6374, 1.084, 1.972, 3.38, 5.346, 7.942, 11.22, 15.23, 19.98",\
                 "0.512, 0.636, 1.082, 1.972, 3.376, 5.352, 7.942, 11.22, 15.23, 19.98",\
                 "0.514, 0.636, 1.082, 1.972, 3.382, 5.346, 7.95, 11.23, 15.23, 19.98",\
                 "0.514, 0.638, 1.082, 1.974, 3.382, 5.348, 7.95, 11.22, 15.21, 19.96",\
                 "0.514, 0.636, 1.082, 1.974, 3.382, 5.35, 7.948, 11.22, 15.22, 19.98",\
                 "0.514, 0.636, 1.08, 1.972, 3.382, 5.346, 7.95, 11.21, 15.23, 19.97",\
                 "0.516, 0.636, 1.082, 1.974, 3.38, 5.352, 7.946, 11.23, 15.21, 20",\
                 "0.514, 0.636, 1.082, 1.972, 3.382, 5.352, 7.95, 11.22, 15.22, 20.01",\
                 "0.512, 0.638, 1.082, 1.972, 3.376, 5.348, 7.944, 11.23, 15.22, 20.01");
        }
      }

      timing() {
        related_pin : "A1" ;
        sdf_cond : "A2===1'b1 && 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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("4.613, 4.71, 4.976, 5.351, 5.809, 6.351, 6.989, 7.744, 8.635, 9.679",\
                 "4.66, 4.758, 5.023, 5.398, 5.857, 6.398, 7.037, 7.792, 8.682, 9.727",\
                 "4.838, 4.935, 5.2, 5.576, 6.034, 6.575, 7.214, 7.969, 8.859, 9.904",\
                 "5.175, 5.272, 5.537, 5.913, 6.37, 6.912, 7.551, 8.305, 9.196, 10.24",\
                 "5.691, 5.788, 6.053, 6.429, 6.887, 7.429, 8.067, 8.822, 9.712, 10.76",\
                 "6.34, 6.438, 6.703, 7.078, 7.536, 8.077, 8.717, 9.472, 10.36, 11.41",\
                 "7.027, 7.124, 7.39, 7.765, 8.222, 8.764, 9.403, 10.16, 11.05, 12.09",\
                 "7.718, 7.815, 8.082, 8.457, 8.916, 9.456, 10.1, 10.85, 11.74, 12.79",\
                 "8.41, 8.507, 8.773, 9.147, 9.605, 10.15, 10.79, 11.54, 12.43, 13.48",\
                 "9.086, 9.183, 9.451, 9.825, 10.29, 10.83, 11.47, 12.22, 13.11, 14.16");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("5.946, 6.055, 6.389, 6.958, 7.809, 8.99, 10.54, 12.48, 14.86, 17.68",\
                 "6.01, 6.12, 6.454, 7.022, 7.873, 9.055, 10.6, 12.55, 14.92, 17.75",\
                 "6.188, 6.297, 6.631, 7.199, 8.05, 9.232, 10.78, 12.72, 15.1, 17.92",\
                 "6.544, 6.653, 6.987, 7.556, 8.406, 9.588, 11.13, 13.08, 15.45, 18.28",\
                 "7.13, 7.241, 7.574, 8.142, 8.993, 10.18, 11.72, 13.67, 16.04, 18.87",\
                 "7.979, 8.089, 8.423, 8.991, 9.843, 11.02, 12.57, 14.52, 16.89, 19.72",\
                 "9.114, 9.223, 9.557, 10.12, 10.98, 12.16, 13.7, 15.65, 18.02, 20.85",\
                 "10.52, 10.63, 10.97, 11.53, 12.38, 13.57, 15.11, 17.06, 19.43, 22.26",\
                 "12.12, 12.23, 12.57, 13.14, 13.99, 15.17, 16.72, 18.66, 21.04, 23.86",\
                 "13.83, 13.94, 14.28, 14.85, 15.7, 16.88, 18.43, 20.38, 22.75, 25.58");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.6776, 0.7498, 0.9688, 1.322, 1.82, 2.482, 3.353, 4.484, 5.889, 7.618",\
                 "0.6778, 0.7498, 0.9686, 1.323, 1.819, 2.487, 3.355, 4.479, 5.897, 7.608",\
                 "0.6778, 0.7502, 0.9686, 1.324, 1.817, 2.482, 3.355, 4.479, 5.896, 7.61",\
                 "0.678, 0.7502, 0.9684, 1.325, 1.817, 2.482, 3.355, 4.479, 5.895, 7.61",\
                 "0.6774, 0.75, 0.9688, 1.324, 1.818, 2.483, 3.357, 4.48, 5.896, 7.608",\
                 "0.6778, 0.7502, 0.9682, 1.323, 1.818, 2.486, 3.356, 4.482, 5.896, 7.61",\
                 "0.678, 0.748, 0.97, 1.324, 1.822, 2.486, 3.36, 4.486, 5.89, 7.618",\
                 "0.68, 0.752, 0.97, 1.324, 1.824, 2.482, 3.358, 4.484, 5.892, 7.618",\
                 "0.68, 0.754, 0.97, 1.324, 1.82, 2.486, 3.36, 4.482, 5.888, 7.614",\
                 "0.68, 0.754, 0.972, 1.326, 1.82, 2.486, 3.36, 4.478, 5.898, 7.606");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.6276, 0.7494, 1.175, 2.023, 3.404, 5.377, 7.973, 11.23, 15.24, 20",\
                 "0.628, 0.7498, 1.176, 2.023, 3.404, 5.378, 7.972, 11.23, 15.24, 19.99",\
                 "0.6282, 0.749, 1.175, 2.023, 3.405, 5.375, 7.974, 11.25, 15.25, 20.02",\
                 "0.6288, 0.749, 1.175, 2.024, 3.406, 5.379, 7.974, 11.24, 15.23, 20",\
                 "0.6292, 0.7492, 1.175, 2.022, 3.407, 5.374, 7.974, 11.24, 15.23, 19.99",\
                 "0.628, 0.748, 1.176, 2.024, 3.404, 5.378, 7.974, 11.24, 15.24, 19.99",\
                 "0.628, 0.75, 1.176, 2.024, 3.408, 5.372, 7.972, 11.23, 15.23, 20",\
                 "0.632, 0.75, 1.176, 2.024, 3.406, 5.38, 7.974, 11.24, 15.25, 20.02",\
                 "0.636, 0.756, 1.178, 2.026, 3.408, 5.368, 7.966, 11.23, 15.23, 20.02",\
                 "0.644, 0.764, 1.188, 2.03, 3.408, 5.37, 7.968, 11.25, 15.24, 20.02");
        }
      }

      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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("9.287, 9.382, 9.642, 10.01, 10.46, 11, 11.63, 12.38, 13.27, 14.31",\
                 "9.346, 9.442, 9.703, 10.07, 10.52, 11.06, 11.69, 12.44, 13.33, 14.37",\
                 "9.531, 9.626, 9.887, 10.26, 10.71, 11.24, 11.88, 12.63, 13.51, 14.56",\
                 "9.835, 9.93, 10.19, 10.56, 11.01, 11.55, 12.18, 12.93, 13.82, 14.86",\
                 "10.2, 10.29, 10.55, 10.92, 11.37, 11.91, 12.54, 13.29, 14.18, 15.22",\
                 "10.54, 10.64, 10.9, 11.27, 11.72, 12.26, 12.89, 13.64, 14.53, 15.57",\
                 "10.85, 10.95, 11.21, 11.58, 12.03, 12.57, 13.2, 13.95, 14.84, 15.88",\
                 "11.11, 11.21, 11.47, 11.84, 12.29, 12.83, 13.46, 14.21, 15.1, 16.14",\
                 "11.32, 11.41, 11.67, 12.04, 12.49, 13.03, 13.67, 14.42, 15.3, 16.35",\
                 "11.46, 11.55, 11.81, 12.18, 12.63, 13.17, 13.8, 14.55, 15.44, 16.48");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("9.774, 9.866, 10.17, 10.72, 11.57, 12.75, 14.29, 16.24, 18.61, 21.44",\
                 "9.823, 9.916, 10.22, 10.77, 11.62, 12.8, 14.34, 16.29, 18.66, 21.49",\
                 "10.01, 10.1, 10.41, 10.96, 11.8, 12.98, 14.53, 16.48, 18.85, 21.68",\
                 "10.37, 10.46, 10.76, 11.31, 12.16, 13.34, 14.89, 16.84, 19.21, 22.04",\
                 "10.9, 10.99, 11.29, 11.84, 12.69, 13.87, 15.42, 17.36, 19.74, 22.56",\
                 "11.61, 11.71, 12.01, 12.56, 13.41, 14.59, 16.14, 18.08, 20.46, 23.28",\
                 "12.54, 12.64, 12.94, 13.49, 14.34, 15.52, 17.06, 19.01, 21.38, 24.21",\
                 "13.66, 13.76, 14.06, 14.61, 15.46, 16.64, 18.18, 20.13, 22.5, 25.33",\
                 "14.91, 15.01, 15.31, 15.86, 16.71, 17.89, 19.44, 21.38, 23.75, 26.58",\
                 "16.29, 16.38, 16.68, 17.24, 18.08, 19.26, 20.81, 22.76, 25.13, 27.96");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.6776, 0.7498, 0.9688, 1.322, 1.82, 2.482, 3.353, 4.484, 5.889, 7.618",\
                 "0.6778, 0.7498, 0.9686, 1.323, 1.819, 2.487, 3.355, 4.479, 5.897, 7.608",\
                 "0.6778, 0.7502, 0.9686, 1.324, 1.817, 2.482, 3.355, 4.479, 5.896, 7.61",\
                 "0.678, 0.7502, 0.9684, 1.325, 1.817, 2.482, 3.355, 4.479, 5.895, 7.61",\
                 "0.6774, 0.75, 0.9688, 1.324, 1.818, 2.483, 3.357, 4.48, 5.896, 7.608",\
                 "0.6778, 0.7502, 0.9682, 1.323, 1.818, 2.486, 3.356, 4.482, 5.896, 7.61",\
                 "0.678, 0.748, 0.97, 1.324, 1.822, 2.486, 3.36, 4.486, 5.89, 7.618",\
                 "0.68, 0.752, 0.97, 1.324, 1.824, 2.482, 3.358, 4.484, 5.892, 7.618",\
                 "0.68, 0.754, 0.97, 1.324, 1.82, 2.486, 3.36, 4.482, 5.888, 7.614",\
                 "0.68, 0.754, 0.972, 1.326, 1.82, 2.486, 3.36, 4.478, 5.898, 7.606");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.6276, 0.7494, 1.175, 2.023, 3.404, 5.377, 7.973, 11.23, 15.24, 20",\
                 "0.628, 0.7498, 1.176, 2.023, 3.404, 5.378, 7.972, 11.23, 15.24, 19.99",\
                 "0.6282, 0.749, 1.175, 2.023, 3.405, 5.375, 7.974, 11.25, 15.25, 20.02",\
                 "0.6288, 0.749, 1.175, 2.024, 3.406, 5.379, 7.974, 11.24, 15.23, 20",\
                 "0.6292, 0.7492, 1.175, 2.022, 3.407, 5.374, 7.974, 11.24, 15.23, 19.99",\
                 "0.628, 0.748, 1.176, 2.024, 3.404, 5.378, 7.974, 11.24, 15.24, 19.99",\
                 "0.628, 0.75, 1.176, 2.024, 3.408, 5.372, 7.972, 11.23, 15.23, 20",\
                 "0.632, 0.75, 1.176, 2.024, 3.406, 5.38, 7.974, 11.24, 15.25, 20.02",\
                 "0.636, 0.756, 1.178, 2.026, 3.408, 5.368, 7.966, 11.23, 15.23, 20.02",\
                 "0.644, 0.764, 1.188, 2.03, 3.408, 5.37, 7.968, 11.25, 15.24, 20.02");
        }
      }

      timing() {
        related_pin : "A1" ;
        sdf_cond : "A2===1'b0 && 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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("8.404, 8.501, 8.767, 9.141, 9.599, 10.14, 10.78, 11.53, 12.42, 13.47",\
                 "8.452, 8.549, 8.815, 9.19, 9.648, 10.19, 10.83, 11.58, 12.47, 13.52",\
                 "8.641, 8.738, 9.003, 9.378, 9.836, 10.38, 11.01, 11.77, 12.66, 13.71",\
                 "8.998, 9.095, 9.36, 9.735, 10.19, 10.73, 11.37, 12.13, 13.02, 14.06",\
                 "9.525, 9.622, 9.886, 10.26, 10.72, 11.26, 11.9, 12.65, 13.54, 14.59",\
                 "10.24, 10.34, 10.61, 10.98, 11.44, 11.98, 12.62, 13.37, 14.26, 15.31",\
                 "11.17, 11.27, 11.53, 11.91, 12.37, 12.91, 13.55, 14.3, 15.19, 16.24",\
                 "12.29, 12.39, 12.66, 13.03, 13.49, 14.03, 14.67, 15.42, 16.31, 17.36",\
                 "13.54, 13.64, 13.9, 14.28, 14.74, 15.28, 15.92, 16.67, 17.56, 18.61",\
                 "14.92, 15.01, 15.28, 15.65, 16.11, 16.65, 17.29, 18.04, 18.94, 19.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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("7.275, 7.385, 7.719, 8.288, 9.138, 10.32, 11.87, 13.81, 16.19, 19.01",\
                 "7.336, 7.445, 7.78, 8.348, 9.199, 10.38, 11.93, 13.87, 16.25, 19.07",\
                 "7.52, 7.629, 7.964, 8.532, 9.384, 10.56, 12.11, 14.06, 16.43, 19.26",\
                 "7.827, 7.937, 8.271, 8.84, 9.69, 10.87, 12.42, 14.37, 16.74, 19.56",\
                 "8.191, 8.3, 8.635, 9.203, 10.05, 11.24, 12.78, 14.73, 17.1, 19.93",\
                 "8.539, 8.647, 8.982, 9.551, 10.4, 11.58, 13.13, 15.08, 17.45, 20.28",\
                 "8.849, 8.959, 9.294, 9.862, 10.71, 11.89, 13.44, 15.39, 17.76, 20.59",\
                 "9.107, 9.217, 9.552, 10.12, 10.97, 12.15, 13.7, 15.64, 18.02, 20.84",\
                 "9.313, 9.422, 9.757, 10.32, 11.17, 12.36, 13.9, 15.85, 18.22, 21.05",\
                 "9.45, 9.559, 9.894, 10.46, 11.31, 12.5, 14.04, 15.99, 18.36, 21.19");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.6764, 0.7484, 0.9674, 1.322, 1.818, 2.479, 3.352, 4.476, 5.892, 7.61",\
                 "0.6766, 0.7486, 0.9668, 1.323, 1.817, 2.481, 3.356, 4.484, 5.896, 7.606",\
                 "0.6758, 0.7486, 0.967, 1.323, 1.816, 2.48, 3.354, 4.482, 5.894, 7.608",\
                 "0.6766, 0.749, 0.968, 1.322, 1.816, 2.48, 3.352, 4.48, 5.89, 7.606",\
                 "0.676, 0.748, 0.968, 1.322, 1.818, 2.48, 3.352, 4.478, 5.892, 7.608",\
                 "0.676, 0.748, 0.968, 1.322, 1.818, 2.482, 3.354, 4.484, 5.894, 7.606",\
                 "0.676, 0.748, 0.968, 1.322, 1.818, 2.482, 3.354, 4.48, 5.892, 7.614",\
                 "0.676, 0.75, 0.968, 1.322, 1.816, 2.48, 3.354, 4.478, 5.894, 7.612",\
                 "0.676, 0.75, 0.966, 1.322, 1.82, 2.484, 3.352, 4.484, 5.894, 7.612",\
                 "0.676, 0.748, 0.966, 1.32, 1.816, 2.48, 3.352, 4.476, 5.892, 7.616");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.6294, 0.7504, 1.176, 2.023, 3.407, 5.379, 7.972, 11.23, 15.24, 20.02",\
                 "0.6288, 0.75, 1.176, 2.023, 3.407, 5.379, 7.966, 11.24, 15.25, 20.01",\
                 "0.6298, 0.7504, 1.175, 2.023, 3.408, 5.374, 7.972, 11.24, 15.23, 20",\
                 "0.6288, 0.7504, 1.175, 2.024, 3.404, 5.38, 7.974, 11.24, 15.23, 19.99",\
                 "0.6298, 0.7492, 1.176, 2.024, 3.404, 5.376, 7.972, 11.24, 15.24, 19.99",\
                 "0.628, 0.75, 1.176, 2.022, 3.406, 5.372, 7.974, 11.24, 15.23, 20.01",\
                 "0.63, 0.75, 1.176, 2.022, 3.406, 5.376, 7.97, 11.24, 15.22, 20",\
                 "0.63, 0.752, 1.178, 2.022, 3.408, 5.376, 7.974, 11.23, 15.24, 19.99",\
                 "0.628, 0.75, 1.174, 2.024, 3.402, 5.368, 7.96, 11.23, 15.25, 20.02",\
                 "0.628, 0.75, 1.176, 2.024, 3.408, 5.372, 7.962, 11.23, 15.23, 20.01");
        }
      }

      timing() {
        related_pin : "A1" ;
        sdf_cond : "A2===1'b1 && 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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("7.954, 8.049, 8.309, 8.679, 9.131, 9.667, 10.3, 11.05, 11.94, 12.98",\
                 "8.017, 8.112, 8.373, 8.741, 9.193, 9.729, 10.36, 11.11, 12, 13.04",\
                 "8.193, 8.289, 8.55, 8.918, 9.369, 9.907, 10.54, 11.29, 12.18, 13.22",\
                 "8.549, 8.644, 8.904, 9.273, 9.724, 10.26, 10.9, 11.65, 12.53, 13.58",\
                 "9.136, 9.231, 9.491, 9.86, 10.31, 10.85, 11.48, 12.23, 13.12, 14.16",\
                 "9.986, 10.08, 10.34, 10.71, 11.16, 11.7, 12.33, 13.08, 13.97, 15.01",\
                 "11.12, 11.21, 11.47, 11.84, 12.29, 12.83, 13.47, 14.22, 15.1, 16.15",\
                 "12.52, 12.61, 12.87, 13.24, 13.69, 14.23, 14.86, 15.61, 16.5, 17.54",\
                 "14.08, 14.18, 14.44, 14.81, 15.26, 15.79, 16.43, 17.18, 18.07, 19.11",\
                 "15.75, 15.84, 16.1, 16.47, 16.92, 17.46, 18.09, 18.84, 19.73, 20.77");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("5.991, 6.084, 6.386, 6.937, 7.784, 8.964, 10.51, 12.46, 14.83, 17.66",\
                 "6.038, 6.131, 6.433, 6.985, 7.832, 9.012, 10.56, 12.51, 14.88, 17.71",\
                 "6.216, 6.309, 6.611, 7.162, 8.009, 9.19, 10.74, 12.68, 15.06, 17.88",\
                 "6.553, 6.646, 6.948, 7.5, 8.346, 9.526, 11.07, 13.02, 15.39, 18.22",\
                 "7.071, 7.164, 7.465, 8.017, 8.864, 10.04, 11.59, 13.54, 15.91, 18.74",\
                 "7.724, 7.818, 8.12, 8.672, 9.519, 10.7, 12.25, 14.19, 16.56, 19.39",\
                 "8.419, 8.512, 8.814, 9.366, 10.21, 11.39, 12.94, 14.89, 17.26, 20.09",\
                 "9.119, 9.213, 9.514, 10.06, 10.91, 12.09, 13.64, 15.59, 17.96, 20.79",\
                 "9.821, 9.914, 10.22, 10.77, 11.61, 12.79, 14.34, 16.29, 18.66, 21.49",\
                 "10.51, 10.6, 10.9, 11.46, 12.3, 13.48, 15.03, 16.97, 19.35, 22.18");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.6556, 0.7292, 0.9472, 1.301, 1.793, 2.459, 3.334, 4.457, 5.874, 7.598",\
                 "0.6566, 0.7286, 0.9472, 1.3, 1.796, 2.458, 3.333, 4.46, 5.87, 7.602",\
                 "0.6564, 0.729, 0.9458, 1.301, 1.796, 2.458, 3.332, 4.458, 5.874, 7.598",\
                 "0.6568, 0.7288, 0.9464, 1.299, 1.794, 2.458, 3.33, 4.458, 5.878, 7.592",\
                 "0.656, 0.728, 0.946, 1.302, 1.798, 2.456, 3.332, 4.458, 5.872, 7.6",\
                 "0.658, 0.728, 0.946, 1.3, 1.794, 2.458, 3.332, 4.46, 5.878, 7.602",\
                 "0.656, 0.728, 0.946, 1.3, 1.796, 2.456, 3.33, 4.456, 5.876, 7.596",\
                 "0.656, 0.728, 0.948, 1.302, 1.794, 2.458, 3.332, 4.46, 5.87, 7.6",\
                 "0.658, 0.728, 0.946, 1.302, 1.796, 2.458, 3.332, 4.454, 5.87, 7.6",\
                 "0.656, 0.728, 0.948, 1.302, 1.796, 2.458, 3.334, 4.46, 5.876, 7.602");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.5142, 0.6364, 1.082, 1.973, 3.381, 5.352, 7.947, 11.22, 15.21, 20.01",\
                 "0.5154, 0.6354, 1.081, 1.974, 3.377, 5.346, 7.948, 11.23, 15.21, 20.01",\
                 "0.5138, 0.636, 1.082, 1.972, 3.38, 5.348, 7.951, 11.23, 15.23, 20.01",\
                 "0.5136, 0.6368, 1.082, 1.973, 3.378, 5.35, 7.95, 11.23, 15.22, 20.01",\
                 "0.514, 0.6346, 1.081, 1.974, 3.381, 5.348, 7.952, 11.23, 15.23, 19.99",\
                 "0.514, 0.634, 1.08, 1.972, 3.382, 5.346, 7.942, 11.23, 15.22, 19.97",\
                 "0.514, 0.638, 1.08, 1.974, 3.378, 5.35, 7.952, 11.23, 15.21, 19.97",\
                 "0.514, 0.636, 1.082, 1.974, 3.376, 5.35, 7.95, 11.21, 15.22, 20",\
                 "0.514, 0.636, 1.082, 1.974, 3.374, 5.342, 7.942, 11.22, 15.24, 19.99",\
                 "0.516, 0.636, 1.082, 1.974, 3.376, 5.35, 7.94, 11.21, 15.22, 20");
        }
      }

      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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("7.954, 8.049, 8.309, 8.679, 9.131, 9.667, 10.3, 11.05, 11.94, 12.98",\
                 "8.017, 8.112, 8.373, 8.741, 9.193, 9.729, 10.36, 11.11, 12, 13.04",\
                 "8.193, 8.289, 8.55, 8.918, 9.369, 9.907, 10.54, 11.29, 12.18, 13.22",\
                 "8.549, 8.644, 8.904, 9.273, 9.724, 10.26, 10.9, 11.65, 12.53, 13.58",\
                 "9.136, 9.231, 9.491, 9.86, 10.31, 10.85, 11.48, 12.23, 13.12, 14.16",\
                 "9.986, 10.08, 10.34, 10.71, 11.16, 11.7, 12.33, 13.08, 13.97, 15.01",\
                 "11.12, 11.21, 11.47, 11.84, 12.29, 12.83, 13.47, 14.22, 15.1, 16.15",\
                 "12.52, 12.61, 12.87, 13.24, 13.69, 14.23, 14.86, 15.61, 16.5, 17.54",\
                 "14.08, 14.18, 14.44, 14.81, 15.26, 15.79, 16.43, 17.18, 18.07, 19.11",\
                 "15.75, 15.84, 16.1, 16.47, 16.92, 17.46, 18.09, 18.84, 19.73, 20.77");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("5.991, 6.084, 6.386, 6.937, 7.784, 8.964, 10.51, 12.46, 14.83, 17.66",\
                 "6.038, 6.131, 6.433, 6.985, 7.832, 9.012, 10.56, 12.51, 14.88, 17.71",\
                 "6.216, 6.309, 6.611, 7.162, 8.009, 9.19, 10.74, 12.68, 15.06, 17.88",\
                 "6.553, 6.646, 6.948, 7.5, 8.346, 9.526, 11.07, 13.02, 15.39, 18.22",\
                 "7.071, 7.164, 7.465, 8.017, 8.864, 10.04, 11.59, 13.54, 15.91, 18.74",\
                 "7.724, 7.818, 8.12, 8.672, 9.519, 10.7, 12.25, 14.19, 16.56, 19.39",\
                 "8.419, 8.512, 8.814, 9.366, 10.21, 11.39, 12.94, 14.89, 17.26, 20.09",\
                 "9.119, 9.213, 9.514, 10.06, 10.91, 12.09, 13.64, 15.59, 17.96, 20.79",\
                 "9.821, 9.914, 10.22, 10.77, 11.61, 12.79, 14.34, 16.29, 18.66, 21.49",\
                 "10.51, 10.6, 10.9, 11.46, 12.3, 13.48, 15.03, 16.97, 19.35, 22.18");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.6764, 0.7484, 0.9674, 1.322, 1.818, 2.479, 3.352, 4.476, 5.892, 7.61",\
                 "0.6766, 0.7486, 0.9668, 1.323, 1.817, 2.481, 3.356, 4.484, 5.896, 7.606",\
                 "0.6758, 0.7486, 0.967, 1.323, 1.816, 2.48, 3.354, 4.482, 5.894, 7.608",\
                 "0.6766, 0.749, 0.968, 1.322, 1.816, 2.48, 3.352, 4.48, 5.89, 7.606",\
                 "0.676, 0.748, 0.968, 1.322, 1.818, 2.48, 3.352, 4.478, 5.892, 7.608",\
                 "0.676, 0.748, 0.968, 1.322, 1.818, 2.482, 3.354, 4.484, 5.894, 7.606",\
                 "0.676, 0.748, 0.968, 1.322, 1.818, 2.482, 3.354, 4.48, 5.892, 7.614",\
                 "0.676, 0.75, 0.968, 1.322, 1.816, 2.48, 3.354, 4.478, 5.894, 7.612",\
                 "0.676, 0.75, 0.966, 1.322, 1.82, 2.484, 3.352, 4.484, 5.894, 7.612",\
                 "0.676, 0.748, 0.966, 1.32, 1.816, 2.48, 3.352, 4.476, 5.892, 7.616");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.6294, 0.7504, 1.176, 2.023, 3.407, 5.379, 7.972, 11.23, 15.24, 20.02",\
                 "0.6288, 0.75, 1.176, 2.023, 3.407, 5.379, 7.966, 11.24, 15.25, 20.01",\
                 "0.6298, 0.7504, 1.175, 2.023, 3.408, 5.374, 7.972, 11.24, 15.23, 20",\
                 "0.6288, 0.7504, 1.175, 2.024, 3.404, 5.38, 7.974, 11.24, 15.23, 19.99",\
                 "0.6298, 0.7492, 1.176, 2.024, 3.404, 5.376, 7.972, 11.24, 15.24, 19.99",\
                 "0.628, 0.75, 1.176, 2.022, 3.406, 5.372, 7.974, 11.24, 15.23, 20.01",\
                 "0.63, 0.75, 1.176, 2.022, 3.406, 5.376, 7.97, 11.24, 15.22, 20",\
                 "0.63, 0.752, 1.178, 2.022, 3.408, 5.376, 7.974, 11.23, 15.24, 19.99",\
                 "0.628, 0.75, 1.174, 2.024, 3.402, 5.368, 7.96, 11.23, 15.25, 20.02",\
                 "0.628, 0.75, 1.176, 2.024, 3.408, 5.372, 7.962, 11.23, 15.23, 20.01");
        }
      }

      timing() {
        related_pin : "A2" ;
        sdf_cond : "A1===1'b0 && 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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("8.961, 9.056, 9.316, 9.685, 10.14, 10.67, 11.31, 12.06, 12.95, 13.99",\
                 "9.016, 9.112, 9.373, 9.741, 10.19, 10.73, 11.36, 12.11, 13, 14.04",\
                 "9.194, 9.289, 9.55, 9.92, 10.37, 10.91, 11.54, 12.29, 13.18, 14.22",\
                 "9.506, 9.601, 9.861, 10.23, 10.68, 11.22, 11.85, 12.6, 13.49, 14.53",\
                 "9.862, 9.957, 10.22, 10.59, 11.04, 11.58, 12.21, 12.96, 13.85, 14.89",\
                 "10.2, 10.29, 10.55, 10.92, 11.37, 11.91, 12.54, 13.29, 14.18, 15.22",\
                 "10.49, 10.59, 10.85, 11.22, 11.67, 12.2, 12.84, 13.59, 14.47, 15.52",\
                 "10.74, 10.84, 11.09, 11.47, 11.92, 12.45, 13.09, 13.84, 14.72, 15.77",\
                 "10.93, 11.02, 11.28, 11.65, 12.1, 12.64, 13.27, 14.02, 14.91, 15.95",\
                 "11.04, 11.13, 11.39, 11.76, 12.21, 12.75, 13.38, 14.13, 15.02, 16.06");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("9.544, 9.638, 9.94, 10.49, 11.34, 12.52, 14.07, 16.01, 18.38, 21.21",\
                 "9.577, 9.671, 9.972, 10.52, 11.37, 12.55, 14.1, 16.04, 18.42, 21.25",\
                 "9.728, 9.821, 10.12, 10.67, 11.52, 12.7, 14.25, 16.19, 18.57, 21.4",\
                 "10.08, 10.17, 10.48, 11.03, 11.87, 13.05, 14.6, 16.55, 18.92, 21.75",\
                 "10.68, 10.77, 11.07, 11.62, 12.47, 13.65, 15.2, 17.14, 19.52, 22.35",\
                 "11.53, 11.63, 11.93, 12.48, 13.33, 14.51, 16.05, 18, 20.37, 23.2",\
                 "12.67, 12.76, 13.06, 13.61, 14.46, 15.64, 17.19, 19.14, 21.51, 24.33",\
                 "14.05, 14.14, 14.44, 15, 15.84, 17.02, 18.57, 20.52, 22.89, 25.72",\
                 "15.58, 15.68, 15.98, 16.53, 17.38, 18.56, 20.11, 22.05, 24.42, 27.25",\
                 "17.23, 17.32, 17.62, 18.18, 19.02, 20.21, 21.75, 23.7, 26.07, 28.9");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.6558, 0.7274, 0.9472, 1.301, 1.795, 2.458, 3.33, 4.456, 5.874, 7.598",\
                 "0.6566, 0.7288, 0.946, 1.3, 1.795, 2.458, 3.33, 4.46, 5.87, 7.604",\
                 "0.657, 0.7282, 0.9466, 1.302, 1.796, 2.458, 3.332, 4.462, 5.872, 7.602",\
                 "0.656, 0.728, 0.946, 1.3, 1.794, 2.456, 3.332, 4.462, 5.876, 7.592",\
                 "0.658, 0.73, 0.948, 1.3, 1.794, 2.458, 3.332, 4.458, 5.876, 7.594",\
                 "0.658, 0.728, 0.948, 1.3, 1.794, 2.46, 3.33, 4.462, 5.874, 7.602",\
                 "0.658, 0.73, 0.946, 1.302, 1.794, 2.458, 3.332, 4.456, 5.872, 7.602",\
                 "0.656, 0.73, 0.946, 1.3, 1.794, 2.464, 3.33, 4.458, 5.878, 7.596",\
                 "0.656, 0.728, 0.948, 1.3, 1.798, 2.456, 3.33, 4.458, 5.868, 7.604",\
                 "0.658, 0.728, 0.946, 1.302, 1.796, 2.456, 3.336, 4.462, 5.87, 7.588");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.5142, 0.6354, 1.084, 1.974, 3.38, 5.348, 7.946, 11.22, 15.22, 19.97",\
                 "0.514, 0.6352, 1.081, 1.972, 3.376, 5.352, 7.948, 11.22, 15.23, 19.97",\
                 "0.5132, 0.636, 1.082, 1.974, 3.378, 5.344, 7.944, 11.23, 15.21, 19.97",\
                 "0.514, 0.636, 1.084, 1.972, 3.38, 5.35, 7.952, 11.22, 15.22, 19.98",\
                 "0.514, 0.636, 1.082, 1.972, 3.376, 5.352, 7.942, 11.21, 15.21, 19.98",\
                 "0.514, 0.636, 1.082, 1.974, 3.382, 5.348, 7.942, 11.22, 15.21, 19.99",\
                 "0.514, 0.636, 1.082, 1.974, 3.38, 5.346, 7.942, 11.23, 15.21, 20.01",\
                 "0.514, 0.636, 1.082, 1.972, 3.376, 5.346, 7.938, 11.23, 15.23, 20.01",\
                 "0.514, 0.636, 1.084, 1.974, 3.376, 5.346, 7.95, 11.23, 15.22, 20",\
                 "0.514, 0.636, 1.082, 1.97, 3.376, 5.35, 7.948, 11.23, 15.22, 20");
        }
      }

      timing() {
        related_pin : "A2" ;
        sdf_cond : "A1===1'b1 && 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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("4.664, 4.761, 5.026, 5.402, 5.86, 6.401, 7.04, 7.795, 8.685, 9.73",\
                 "4.723, 4.82, 5.085, 5.461, 5.919, 6.46, 7.099, 7.854, 8.744, 9.789",\
                 "4.893, 4.99, 5.255, 5.631, 6.089, 6.631, 7.269, 8.024, 8.914, 9.959",\
                 "5.18, 5.278, 5.543, 5.919, 6.376, 6.918, 7.556, 8.311, 9.201, 10.25",\
                 "5.61, 5.707, 5.972, 6.348, 6.806, 7.348, 7.987, 8.74, 9.631, 10.68",\
                 "6.16, 6.256, 6.522, 6.897, 7.355, 7.897, 8.535, 9.29, 10.18, 11.22",\
                 "6.766, 6.863, 7.129, 7.504, 7.962, 8.504, 9.142, 9.897, 10.79, 11.83",\
                 "7.406, 7.502, 7.768, 8.144, 8.602, 9.144, 9.783, 10.54, 11.43, 12.47",\
                 "8.062, 8.159, 8.426, 8.801, 9.259, 9.801, 10.44, 11.2, 12.09, 13.13",\
                 "8.723, 8.82, 9.087, 9.461, 9.92, 10.46, 11.1, 11.86, 12.75, 13.79");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("6.332, 6.442, 6.776, 7.345, 8.196, 9.377, 10.92, 12.87, 15.24, 18.07",\
                 "6.365, 6.474, 6.809, 7.378, 8.228, 9.41, 10.96, 12.9, 15.28, 18.1",\
                 "6.548, 6.657, 6.991, 7.56, 8.411, 9.592, 11.14, 13.09, 15.46, 18.28",\
                 "6.92, 7.03, 7.364, 7.933, 8.784, 9.964, 11.51, 13.46, 15.83, 18.66",\
                 "7.52, 7.63, 7.964, 8.533, 9.383, 10.57, 12.11, 14.06, 16.43, 19.26",\
                 "8.376, 8.486, 8.821, 9.389, 10.24, 11.42, 12.97, 14.91, 17.29, 20.11",\
                 "9.514, 9.623, 9.957, 10.53, 11.38, 12.56, 14.11, 16.05, 18.42, 21.25",\
                 "10.94, 11.05, 11.38, 11.95, 12.8, 13.98, 15.53, 17.48, 19.85, 22.67",\
                 "12.59, 12.7, 13.04, 13.6, 14.46, 15.64, 17.18, 19.13, 21.5, 24.33",\
                 "14.37, 14.48, 14.82, 15.39, 16.24, 17.42, 18.97, 20.91, 23.29, 26.11");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.6778, 0.7498, 0.9686, 1.323, 1.819, 2.481, 3.355, 4.48, 5.896, 7.608",\
                 "0.6778, 0.75, 0.9686, 1.323, 1.819, 2.487, 3.355, 4.48, 5.896, 7.607",\
                 "0.6774, 0.7498, 0.9686, 1.324, 1.819, 2.483, 3.356, 4.48, 5.896, 7.606",\
                 "0.6782, 0.7502, 0.9686, 1.324, 1.817, 2.482, 3.356, 4.479, 5.896, 7.609",\
                 "0.6774, 0.7496, 0.9686, 1.325, 1.818, 2.487, 3.356, 4.482, 5.896, 7.608",\
                 "0.6776, 0.75, 0.968, 1.324, 1.818, 2.486, 3.358, 4.482, 5.888, 7.616",\
                 "0.678, 0.75, 0.968, 1.322, 1.82, 2.484, 3.358, 4.484, 5.896, 7.61",\
                 "0.68, 0.75, 0.972, 1.326, 1.822, 2.484, 3.352, 4.482, 5.898, 7.616",\
                 "0.68, 0.752, 0.968, 1.326, 1.82, 2.484, 3.362, 4.478, 5.89, 7.614",\
                 "0.68, 0.752, 0.972, 1.324, 1.822, 2.484, 3.36, 4.482, 5.89, 7.604");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.6292, 0.7502, 1.175, 2.022, 3.408, 5.373, 7.973, 11.25, 15.25, 20.01",\
                 "0.6302, 0.75, 1.176, 2.025, 3.404, 5.373, 7.971, 11.24, 15.23, 20.01",\
                 "0.629, 0.75, 1.175, 2.025, 3.407, 5.376, 7.974, 11.24, 15.24, 19.99",\
                 "0.6298, 0.7504, 1.175, 2.022, 3.409, 5.379, 7.964, 11.25, 15.25, 20",\
                 "0.6306, 0.75, 1.175, 2.022, 3.402, 5.374, 7.97, 11.24, 15.23, 19.99",\
                 "0.63, 0.752, 1.176, 2.022, 3.406, 5.374, 7.97, 11.24, 15.25, 20.03",\
                 "0.63, 0.75, 1.176, 2.024, 3.406, 5.374, 7.964, 11.24, 15.23, 19.99",\
                 "0.63, 0.754, 1.178, 2.022, 3.406, 5.374, 7.974, 11.23, 15.22, 20.01",\
                 "0.634, 0.754, 1.178, 2.024, 3.408, 5.368, 7.966, 11.25, 15.24, 20.02",\
                 "0.642, 0.764, 1.186, 2.028, 3.41, 5.374, 7.972, 11.24, 15.25, 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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("8.961, 9.056, 9.316, 9.685, 10.14, 10.67, 11.31, 12.06, 12.95, 13.99",\
                 "9.016, 9.112, 9.373, 9.741, 10.19, 10.73, 11.36, 12.11, 13, 14.04",\
                 "9.194, 9.289, 9.55, 9.92, 10.37, 10.91, 11.54, 12.29, 13.18, 14.22",\
                 "9.506, 9.601, 9.861, 10.23, 10.68, 11.22, 11.85, 12.6, 13.49, 14.53",\
                 "9.862, 9.957, 10.22, 10.59, 11.04, 11.58, 12.21, 12.96, 13.85, 14.89",\
                 "10.2, 10.29, 10.55, 10.92, 11.37, 11.91, 12.54, 13.29, 14.18, 15.22",\
                 "10.49, 10.59, 10.85, 11.22, 11.67, 12.2, 12.84, 13.59, 14.47, 15.52",\
                 "10.74, 10.84, 11.09, 11.47, 11.92, 12.45, 13.09, 13.84, 14.72, 15.77",\
                 "10.93, 11.02, 11.28, 11.65, 12.1, 12.64, 13.27, 14.02, 14.91, 15.95",\
                 "11.04, 11.13, 11.39, 11.76, 12.21, 12.75, 13.38, 14.13, 15.02, 16.06");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("9.544, 9.638, 9.94, 10.49, 11.34, 12.52, 14.07, 16.01, 18.38, 21.21",\
                 "9.577, 9.671, 9.972, 10.52, 11.37, 12.55, 14.1, 16.04, 18.42, 21.25",\
                 "9.728, 9.821, 10.12, 10.67, 11.52, 12.7, 14.25, 16.19, 18.57, 21.4",\
                 "10.08, 10.17, 10.48, 11.03, 11.87, 13.05, 14.6, 16.55, 18.92, 21.75",\
                 "10.68, 10.77, 11.07, 11.62, 12.47, 13.65, 15.2, 17.14, 19.52, 22.35",\
                 "11.53, 11.63, 11.93, 12.48, 13.33, 14.51, 16.05, 18, 20.37, 23.2",\
                 "12.67, 12.76, 13.06, 13.61, 14.46, 15.64, 17.19, 19.14, 21.51, 24.33",\
                 "14.05, 14.14, 14.44, 15, 15.84, 17.02, 18.57, 20.52, 22.89, 25.72",\
                 "15.58, 15.68, 15.98, 16.53, 17.38, 18.56, 20.11, 22.05, 24.42, 27.25",\
                 "17.23, 17.32, 17.62, 18.18, 19.02, 20.21, 21.75, 23.7, 26.07, 28.9");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.6778, 0.7498, 0.9686, 1.323, 1.819, 2.481, 3.355, 4.48, 5.896, 7.608",\
                 "0.6778, 0.75, 0.9686, 1.323, 1.819, 2.487, 3.355, 4.48, 5.896, 7.607",\
                 "0.6774, 0.7498, 0.9686, 1.324, 1.819, 2.483, 3.356, 4.48, 5.896, 7.606",\
                 "0.6782, 0.7502, 0.9686, 1.324, 1.817, 2.482, 3.356, 4.479, 5.896, 7.609",\
                 "0.6774, 0.7496, 0.9686, 1.325, 1.818, 2.487, 3.356, 4.482, 5.896, 7.608",\
                 "0.6776, 0.75, 0.968, 1.324, 1.818, 2.486, 3.358, 4.482, 5.888, 7.616",\
                 "0.678, 0.75, 0.968, 1.322, 1.82, 2.484, 3.358, 4.484, 5.896, 7.61",\
                 "0.68, 0.75, 0.972, 1.326, 1.822, 2.484, 3.352, 4.482, 5.898, 7.616",\
                 "0.68, 0.752, 0.968, 1.326, 1.82, 2.484, 3.362, 4.478, 5.89, 7.614",\
                 "0.68, 0.752, 0.972, 1.324, 1.822, 2.484, 3.36, 4.482, 5.89, 7.604");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.6292, 0.7502, 1.175, 2.022, 3.408, 5.373, 7.973, 11.25, 15.25, 20.01",\
                 "0.6302, 0.75, 1.176, 2.025, 3.404, 5.373, 7.971, 11.24, 15.23, 20.01",\
                 "0.629, 0.75, 1.175, 2.025, 3.407, 5.376, 7.974, 11.24, 15.24, 19.99",\
                 "0.6298, 0.7504, 1.175, 2.022, 3.409, 5.379, 7.964, 11.25, 15.25, 20",\
                 "0.6306, 0.75, 1.175, 2.022, 3.402, 5.374, 7.97, 11.24, 15.23, 19.99",\
                 "0.63, 0.752, 1.176, 2.022, 3.406, 5.374, 7.97, 11.24, 15.25, 20.03",\
                 "0.63, 0.75, 1.176, 2.024, 3.406, 5.374, 7.964, 11.24, 15.23, 19.99",\
                 "0.63, 0.754, 1.178, 2.022, 3.406, 5.374, 7.974, 11.23, 15.22, 20.01",\
                 "0.634, 0.754, 1.178, 2.024, 3.408, 5.368, 7.966, 11.25, 15.24, 20.02",\
                 "0.642, 0.764, 1.186, 2.028, 3.41, 5.374, 7.972, 11.24, 15.25, 20.01");
        }
      }

      timing() {
        related_pin : "A2" ;
        sdf_cond : "A1===1'b0 && 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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("8.175, 8.272, 8.536, 8.912, 9.37, 9.911, 10.55, 11.3, 12.19, 13.24",\
                 "8.207, 8.304, 8.569, 8.945, 9.402, 9.944, 10.58, 11.34, 12.23, 13.27",\
                 "8.358, 8.454, 8.72, 9.094, 9.552, 10.09, 10.73, 11.49, 12.38, 13.42",\
                 "8.711, 8.808, 9.072, 9.448, 9.905, 10.45, 11.08, 11.84, 12.73, 13.77",\
                 "9.306, 9.403, 9.668, 10.04, 10.5, 11.04, 11.68, 12.43, 13.33, 14.37",\
                 "10.16, 10.26, 10.53, 10.9, 11.36, 11.9, 12.54, 13.29, 14.18, 15.23",\
                 "11.3, 11.39, 11.66, 12.03, 12.49, 13.03, 13.67, 14.43, 15.32, 16.36",\
                 "12.68, 12.78, 13.04, 13.42, 13.87, 14.41, 15.05, 15.81, 16.7, 17.74",\
                 "14.21, 14.31, 14.57, 14.95, 15.41, 15.95, 16.59, 17.34, 18.23, 19.28",\
                 "15.86, 15.96, 16.22, 16.6, 17.05, 17.59, 18.23, 18.99, 19.88, 20.92");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("6.953, 7.063, 7.396, 7.965, 8.815, 9.997, 11.54, 13.49, 15.86, 18.69",\
                 "7.009, 7.118, 7.452, 8.021, 8.871, 10.05, 11.6, 13.55, 15.92, 18.75",\
                 "7.187, 7.295, 7.63, 8.199, 9.049, 10.23, 11.78, 13.72, 16.1, 18.92",\
                 "7.499, 7.608, 7.942, 8.511, 9.361, 10.54, 12.09, 14.04, 16.41, 19.23",\
                 "7.855, 7.965, 8.299, 8.867, 9.718, 10.9, 12.45, 14.39, 16.77, 19.59",\
                 "8.188, 8.298, 8.632, 9.2, 10.05, 11.23, 12.78, 14.73, 17.1, 19.92",\
                 "8.483, 8.593, 8.927, 9.496, 10.35, 11.53, 13.08, 15.02, 17.39, 20.22",\
                 "8.732, 8.841, 9.175, 9.743, 10.59, 11.78, 13.32, 15.27, 17.64, 20.47",\
                 "8.919, 9.028, 9.362, 9.93, 10.78, 11.96, 13.51, 15.45, 17.83, 20.65",\
                 "9.032, 9.143, 9.476, 10.04, 10.9, 12.08, 13.62, 15.57, 17.94, 20.77");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.6762, 0.7486, 0.9672, 1.323, 1.816, 2.48, 3.355, 4.484, 5.892, 7.616",\
                 "0.6762, 0.7484, 0.9672, 1.323, 1.817, 2.481, 3.356, 4.484, 5.892, 7.618",\
                 "0.676, 0.7484, 0.9658, 1.322, 1.818, 2.48, 3.352, 4.482, 5.892, 7.616",\
                 "0.676, 0.7486, 0.9662, 1.322, 1.816, 2.48, 3.352, 4.478, 5.892, 7.608",\
                 "0.678, 0.75, 0.968, 1.322, 1.816, 2.48, 3.354, 4.478, 5.894, 7.61",\
                 "0.676, 0.75, 0.968, 1.322, 1.818, 2.48, 3.354, 4.476, 5.89, 7.616",\
                 "0.676, 0.748, 0.966, 1.322, 1.818, 2.482, 3.352, 4.478, 5.894, 7.606",\
                 "0.676, 0.748, 0.966, 1.324, 1.816, 2.48, 3.354, 4.482, 5.894, 7.606",\
                 "0.678, 0.75, 0.966, 1.322, 1.82, 2.48, 3.358, 4.478, 5.894, 7.608",\
                 "0.676, 0.748, 0.968, 1.324, 1.816, 2.478, 3.352, 4.48, 5.896, 7.618");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.6276, 0.7486, 1.174, 2.024, 3.406, 5.374, 7.966, 11.24, 15.23, 20.01",\
                 "0.6282, 0.749, 1.175, 2.023, 3.407, 5.372, 7.975, 11.24, 15.25, 20.01",\
                 "0.6278, 0.7492, 1.174, 2.024, 3.406, 5.38, 7.966, 11.25, 15.24, 20.02",\
                 "0.6284, 0.749, 1.175, 2.023, 3.405, 5.374, 7.972, 11.24, 15.23, 19.99",\
                 "0.6282, 0.7492, 1.174, 2.022, 3.408, 5.374, 7.974, 11.23, 15.24, 19.99",\
                 "0.628, 0.75, 1.174, 2.024, 3.406, 5.376, 7.972, 11.24, 15.23, 19.98",\
                 "0.63, 0.75, 1.172, 2.022, 3.404, 5.38, 7.964, 11.25, 15.22, 20",\
                 "0.63, 0.75, 1.176, 2.022, 3.406, 5.378, 7.966, 11.24, 15.24, 20",\
                 "0.628, 0.748, 1.174, 2.022, 3.402, 5.37, 7.962, 11.24, 15.26, 20.02",\
                 "0.628, 0.748, 1.174, 2.024, 3.406, 5.372, 7.958, 11.23, 15.22, 19.99");
        }
      }

      timing() {
        related_pin : "A2" ;
        sdf_cond : "A1===1'b1 && 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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("8.338, 8.433, 8.693, 9.063, 9.515, 10.05, 10.68, 11.43, 12.32, 13.36",\
                 "8.371, 8.466, 8.727, 9.096, 9.547, 10.08, 10.72, 11.47, 12.35, 13.4",\
                 "8.552, 8.648, 8.909, 9.278, 9.73, 10.27, 10.9, 11.65, 12.54, 13.58",\
                 "8.927, 9.022, 9.281, 9.65, 10.1, 10.64, 11.27, 12.02, 12.91, 13.95",\
                 "9.525, 9.619, 9.88, 10.25, 10.7, 11.24, 11.87, 12.62, 13.51, 14.55",\
                 "10.38, 10.48, 10.74, 11.1, 11.56, 12.09, 12.73, 13.48, 14.37, 15.41",\
                 "11.52, 11.61, 11.87, 12.24, 12.69, 13.23, 13.87, 14.62, 15.5, 16.54",\
                 "12.93, 13.03, 13.29, 13.66, 14.11, 14.65, 15.28, 16.03, 16.92, 17.96",\
                 "14.56, 14.66, 14.92, 15.29, 15.74, 16.27, 16.91, 17.66, 18.55, 19.59",\
                 "16.3, 16.4, 16.66, 17.03, 17.48, 18.01, 18.65, 19.4, 20.29, 21.33");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("6.041, 6.135, 6.437, 6.988, 7.835, 9.015, 10.56, 12.51, 14.88, 17.71",\
                 "6.1, 6.194, 6.496, 7.047, 7.894, 9.074, 10.62, 12.57, 14.94, 17.77",\
                 "6.27, 6.364, 6.666, 7.217, 8.064, 9.244, 10.79, 12.74, 15.11, 17.94",\
                 "6.558, 6.651, 6.953, 7.504, 8.352, 9.531, 11.08, 13.03, 15.4, 18.23",\
                 "6.989, 7.082, 7.384, 7.935, 8.782, 9.962, 11.51, 13.46, 15.83, 18.66",\
                 "7.54, 7.633, 7.935, 8.487, 9.334, 10.51, 12.06, 14.01, 16.38, 19.21",\
                 "8.153, 8.246, 8.548, 9.099, 9.946, 11.13, 12.67, 14.62, 16.99, 19.82",\
                 "8.798, 8.891, 9.193, 9.744, 10.59, 11.77, 13.32, 15.26, 17.64, 20.47",\
                 "9.462, 9.555, 9.856, 10.41, 11.26, 12.44, 13.98, 15.93, 18.3, 21.13",\
                 "10.13, 10.22, 10.52, 11.08, 11.92, 13.1, 14.65, 16.59, 18.97, 21.79");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.6572, 0.729, 0.9472, 1.3, 1.794, 2.458, 3.333, 4.462, 5.87, 7.602",\
                 "0.6562, 0.7286, 0.9472, 1.302, 1.795, 2.457, 3.333, 4.462, 5.878, 7.59",\
                 "0.6564, 0.7282, 0.946, 1.3, 1.796, 2.458, 3.33, 4.458, 5.87, 7.598",\
                 "0.6572, 0.7276, 0.9472, 1.298, 1.794, 2.458, 3.33, 4.458, 5.876, 7.594",\
                 "0.656, 0.73, 0.946, 1.302, 1.794, 2.458, 3.33, 4.456, 5.874, 7.602",\
                 "0.656, 0.728, 0.948, 1.302, 1.794, 2.458, 3.332, 4.462, 5.874, 7.594",\
                 "0.656, 0.728, 0.946, 1.3, 1.794, 2.456, 3.33, 4.458, 5.876, 7.594",\
                 "0.658, 0.728, 0.948, 1.3, 1.796, 2.458, 3.328, 4.458, 5.87, 7.592",\
                 "0.656, 0.728, 0.946, 1.3, 1.796, 2.46, 3.334, 4.462, 5.874, 7.6",\
                 "0.658, 0.726, 0.946, 1.3, 1.794, 2.456, 3.332, 4.458, 5.874, 7.598");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.514, 0.635, 1.081, 1.971, 3.377, 5.352, 7.942, 11.21, 15.23, 19.99",\
                 "0.514, 0.6372, 1.082, 1.972, 3.379, 5.35, 7.951, 11.23, 15.23, 20.01",\
                 "0.5134, 0.635, 1.081, 1.972, 3.381, 5.347, 7.949, 11.23, 15.21, 20.01",\
                 "0.5134, 0.635, 1.082, 1.972, 3.379, 5.349, 7.946, 11.22, 15.22, 20.01",\
                 "0.5142, 0.637, 1.082, 1.974, 3.377, 5.348, 7.948, 11.22, 15.22, 19.98",\
                 "0.514, 0.638, 1.082, 1.974, 3.38, 5.352, 7.946, 11.23, 15.23, 19.96",\
                 "0.514, 0.636, 1.082, 1.97, 3.378, 5.348, 7.948, 11.23, 15.21, 19.99",\
                 "0.514, 0.636, 1.082, 1.972, 3.38, 5.354, 7.95, 11.21, 15.23, 19.99",\
                 "0.514, 0.636, 1.082, 1.974, 3.374, 5.344, 7.938, 11.22, 15.23, 20",\
                 "0.514, 0.636, 1.082, 1.974, 3.378, 5.348, 7.938, 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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("8.338, 8.433, 8.693, 9.063, 9.515, 10.05, 10.68, 11.43, 12.32, 13.36",\
                 "8.371, 8.466, 8.727, 9.096, 9.547, 10.08, 10.72, 11.47, 12.35, 13.4",\
                 "8.552, 8.648, 8.909, 9.278, 9.73, 10.27, 10.9, 11.65, 12.54, 13.58",\
                 "8.927, 9.022, 9.281, 9.65, 10.1, 10.64, 11.27, 12.02, 12.91, 13.95",\
                 "9.525, 9.619, 9.88, 10.25, 10.7, 11.24, 11.87, 12.62, 13.51, 14.55",\
                 "10.38, 10.48, 10.74, 11.1, 11.56, 12.09, 12.73, 13.48, 14.37, 15.41",\
                 "11.52, 11.61, 11.87, 12.24, 12.69, 13.23, 13.87, 14.62, 15.5, 16.54",\
                 "12.93, 13.03, 13.29, 13.66, 14.11, 14.65, 15.28, 16.03, 16.92, 17.96",\
                 "14.56, 14.66, 14.92, 15.29, 15.74, 16.27, 16.91, 17.66, 18.55, 19.59",\
                 "16.3, 16.4, 16.66, 17.03, 17.48, 18.01, 18.65, 19.4, 20.29, 21.33");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("6.041, 6.135, 6.437, 6.988, 7.835, 9.015, 10.56, 12.51, 14.88, 17.71",\
                 "6.1, 6.194, 6.496, 7.047, 7.894, 9.074, 10.62, 12.57, 14.94, 17.77",\
                 "6.27, 6.364, 6.666, 7.217, 8.064, 9.244, 10.79, 12.74, 15.11, 17.94",\
                 "6.558, 6.651, 6.953, 7.504, 8.352, 9.531, 11.08, 13.03, 15.4, 18.23",\
                 "6.989, 7.082, 7.384, 7.935, 8.782, 9.962, 11.51, 13.46, 15.83, 18.66",\
                 "7.54, 7.633, 7.935, 8.487, 9.334, 10.51, 12.06, 14.01, 16.38, 19.21",\
                 "8.153, 8.246, 8.548, 9.099, 9.946, 11.13, 12.67, 14.62, 16.99, 19.82",\
                 "8.798, 8.891, 9.193, 9.744, 10.59, 11.77, 13.32, 15.26, 17.64, 20.47",\
                 "9.462, 9.555, 9.856, 10.41, 11.26, 12.44, 13.98, 15.93, 18.3, 21.13",\
                 "10.13, 10.22, 10.52, 11.08, 11.92, 13.1, 14.65, 16.59, 18.97, 21.79");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.6762, 0.7486, 0.9672, 1.323, 1.816, 2.48, 3.355, 4.484, 5.892, 7.616",\
                 "0.6762, 0.7484, 0.9672, 1.323, 1.817, 2.481, 3.356, 4.484, 5.892, 7.618",\
                 "0.676, 0.7484, 0.9658, 1.322, 1.818, 2.48, 3.352, 4.482, 5.892, 7.616",\
                 "0.676, 0.7486, 0.9662, 1.322, 1.816, 2.48, 3.352, 4.478, 5.892, 7.608",\
                 "0.678, 0.75, 0.968, 1.322, 1.816, 2.48, 3.354, 4.478, 5.894, 7.61",\
                 "0.676, 0.75, 0.968, 1.322, 1.818, 2.48, 3.354, 4.476, 5.89, 7.616",\
                 "0.676, 0.748, 0.966, 1.322, 1.818, 2.482, 3.352, 4.478, 5.894, 7.606",\
                 "0.676, 0.748, 0.966, 1.324, 1.816, 2.48, 3.354, 4.482, 5.894, 7.606",\
                 "0.678, 0.75, 0.966, 1.322, 1.82, 2.48, 3.358, 4.478, 5.894, 7.608",\
                 "0.676, 0.748, 0.968, 1.324, 1.816, 2.478, 3.352, 4.48, 5.896, 7.618");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.6276, 0.7486, 1.174, 2.024, 3.406, 5.374, 7.966, 11.24, 15.23, 20.01",\
                 "0.6282, 0.749, 1.175, 2.023, 3.407, 5.372, 7.975, 11.24, 15.25, 20.01",\
                 "0.6278, 0.7492, 1.174, 2.024, 3.406, 5.38, 7.966, 11.25, 15.24, 20.02",\
                 "0.6284, 0.749, 1.175, 2.023, 3.405, 5.374, 7.972, 11.24, 15.23, 19.99",\
                 "0.6282, 0.7492, 1.174, 2.022, 3.408, 5.374, 7.974, 11.23, 15.24, 19.99",\
                 "0.628, 0.75, 1.174, 2.024, 3.406, 5.376, 7.972, 11.24, 15.23, 19.98",\
                 "0.63, 0.75, 1.172, 2.022, 3.404, 5.38, 7.964, 11.25, 15.22, 20",\
                 "0.63, 0.75, 1.176, 2.022, 3.406, 5.378, 7.966, 11.24, 15.24, 20",\
                 "0.628, 0.748, 1.174, 2.022, 3.402, 5.37, 7.962, 11.24, 15.26, 20.02",\
                 "0.628, 0.748, 1.174, 2.024, 3.406, 5.372, 7.958, 11.23, 15.22, 19.99");
        }
      }

      timing() {
        related_pin : "A3" ;
        sdf_cond : "A1===1'b0 && 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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("3.91, 4.007, 4.272, 4.646, 5.104, 5.645, 6.283, 7.037, 7.927, 8.972",\
                 "3.977, 4.074, 4.339, 4.714, 5.171, 5.712, 6.35, 7.104, 7.994, 9.039",\
                 "4.175, 4.272, 4.537, 4.911, 5.369, 5.911, 6.549, 7.303, 8.193, 9.238",\
                 "4.513, 4.611, 4.875, 5.25, 5.708, 6.249, 6.887, 7.642, 8.532, 9.576",\
                 "4.964, 5.062, 5.327, 5.702, 6.16, 6.7, 7.339, 8.092, 8.982, 10.03",\
                 "5.446, 5.542, 5.808, 6.183, 6.639, 7.181, 7.819, 8.574, 9.463, 10.51",\
                 "5.937, 6.032, 6.297, 6.672, 7.13, 7.672, 8.311, 9.065, 9.956, 11",\
                 "6.431, 6.528, 6.793, 7.166, 7.622, 8.163, 8.801, 9.556, 10.45, 11.49",\
                 "6.922, 7.018, 7.283, 7.657, 8.113, 8.654, 9.291, 10.04, 10.93, 11.98",\
                 "7.394, 7.49, 7.754, 8.128, 8.584, 9.124, 9.762, 10.52, 11.41, 12.45");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("4.575, 4.668, 4.97, 5.521, 6.369, 7.549, 9.096, 11.04, 13.42, 16.24",\
                 "4.626, 4.719, 5.021, 5.572, 6.42, 7.599, 9.147, 11.09, 13.47, 16.29",\
                 "4.818, 4.911, 5.213, 5.765, 6.612, 7.792, 9.34, 11.29, 13.66, 16.49",\
                 "5.173, 5.267, 5.569, 6.12, 6.967, 8.148, 9.695, 11.64, 14.01, 16.84",\
                 "5.7, 5.793, 6.096, 6.647, 7.494, 8.674, 10.22, 12.17, 14.54, 17.37",\
                 "6.421, 6.514, 6.816, 7.368, 8.215, 9.395, 10.94, 12.89, 15.26, 18.09",\
                 "7.342, 7.436, 7.738, 8.289, 9.136, 10.32, 11.86, 13.81, 16.18, 19.01",\
                 "8.411, 8.504, 8.807, 9.359, 10.21, 11.39, 12.93, 14.88, 17.25, 20.08",\
                 "9.593, 9.687, 9.991, 10.54, 11.39, 12.57, 14.12, 16.06, 18.43, 21.26",\
                 "10.88, 10.98, 11.28, 11.83, 12.68, 13.86, 15.4, 17.35, 19.72, 22.55");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.6754, 0.7478, 0.9666, 1.32, 1.817, 2.481, 3.353, 4.479, 5.895, 7.607",\
                 "0.6756, 0.7482, 0.9664, 1.322, 1.815, 2.48, 3.353, 4.477, 5.894, 7.614",\
                 "0.6754, 0.7478, 0.9666, 1.321, 1.816, 2.484, 3.354, 4.48, 5.895, 7.608",\
                 "0.6756, 0.748, 0.9664, 1.321, 1.819, 2.48, 3.349, 4.482, 5.893, 7.616",\
                 "0.6754, 0.7476, 0.9668, 1.321, 1.818, 2.482, 3.35, 4.478, 5.894, 7.616",\
                 "0.6744, 0.7468, 0.9656, 1.321, 1.817, 2.482, 3.354, 4.476, 5.892, 7.608",\
                 "0.67, 0.744, 0.964, 1.32, 1.82, 2.48, 3.356, 4.482, 5.896, 7.618",\
                 "0.67, 0.742, 0.962, 1.316, 1.814, 2.474, 3.352, 4.478, 5.892, 7.622",\
                 "0.668, 0.742, 0.962, 1.318, 1.812, 2.48, 3.346, 4.474, 5.882, 7.604",\
                 "0.668, 0.742, 0.96, 1.318, 1.812, 2.478, 3.35, 4.474, 5.892, 7.604");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.514, 0.6362, 1.081, 1.974, 3.378, 5.348, 7.952, 11.23, 15.23, 20.01",\
                 "0.5138, 0.6368, 1.083, 1.974, 3.38, 5.352, 7.951, 11.23, 15.23, 20.01",\
                 "0.5146, 0.6372, 1.083, 1.974, 3.38, 5.35, 7.945, 11.22, 15.22, 20.01",\
                 "0.5134, 0.6348, 1.083, 1.972, 3.381, 5.345, 7.941, 11.23, 15.21, 20.01",\
                 "0.5144, 0.6364, 1.083, 1.973, 3.382, 5.348, 7.944, 11.21, 15.23, 19.99",\
                 "0.5146, 0.6358, 1.081, 1.973, 3.382, 5.352, 7.946, 11.21, 15.23, 19.98",\
                 "0.516, 0.638, 1.084, 1.974, 3.38, 5.35, 7.95, 11.23, 15.21, 20",\
                 "0.52, 0.642, 1.088, 1.974, 3.376, 5.348, 7.944, 11.23, 15.2, 19.99",\
                 "0.526, 0.646, 1.086, 1.974, 3.374, 5.344, 7.942, 11.22, 15.23, 20.01",\
                 "0.534, 0.652, 1.09, 1.976, 3.376, 5.346, 7.94, 11.2, 15.22, 20");
        }
      }

      timing() {
        related_pin : "A3" ;
        sdf_cond : "A1===1'b1 && 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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("3.925, 4.022, 4.287, 4.663, 5.12, 5.662, 6.301, 7.055, 7.946, 8.991",\
                 "3.992, 4.089, 4.354, 4.73, 5.187, 5.729, 6.368, 7.123, 8.013, 9.058",\
                 "4.191, 4.288, 4.553, 4.929, 5.386, 5.928, 6.567, 7.321, 8.212, 9.256",\
                 "4.53, 4.627, 4.893, 5.269, 5.726, 6.268, 6.906, 7.661, 8.551, 9.596",\
                 "4.983, 5.081, 5.345, 5.721, 6.179, 6.72, 7.359, 8.114, 9.004, 10.05",\
                 "5.466, 5.563, 5.829, 6.205, 6.662, 7.203, 7.842, 8.596, 9.486, 10.53",\
                 "5.957, 6.054, 6.318, 6.694, 7.152, 7.694, 8.334, 9.09, 9.98, 11.02",\
                 "6.452, 6.549, 6.813, 7.188, 7.645, 8.185, 8.823, 9.579, 10.47, 11.52",\
                 "6.942, 7.038, 7.303, 7.677, 8.134, 8.674, 9.313, 10.07, 10.96, 12",\
                 "7.412, 7.509, 7.774, 8.148, 8.606, 9.145, 9.782, 10.54, 11.43, 12.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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("4.586, 4.679, 4.982, 5.533, 6.38, 7.56, 9.108, 11.05, 13.43, 16.26",\
                 "4.637, 4.731, 5.032, 5.584, 6.431, 7.611, 9.159, 11.11, 13.48, 16.31",\
                 "4.831, 4.924, 5.226, 5.778, 6.624, 7.805, 9.353, 11.3, 13.67, 16.5",\
                 "5.187, 5.28, 5.582, 6.133, 6.981, 8.16, 9.708, 11.65, 14.03, 16.86",\
                 "5.711, 5.805, 6.106, 6.657, 7.504, 8.685, 10.23, 12.18, 14.55, 17.38",\
                 "6.428, 6.521, 6.823, 7.375, 8.221, 9.402, 10.95, 12.9, 15.27, 18.1",\
                 "7.347, 7.44, 7.742, 8.294, 9.14, 10.32, 11.87, 13.81, 16.19, 19.01",\
                 "8.414, 8.508, 8.811, 9.361, 10.21, 11.39, 12.94, 14.88, 17.26, 20.08",\
                 "9.595, 9.69, 9.993, 10.54, 11.39, 12.57, 14.12, 16.06, 18.44, 21.27",\
                 "10.88, 10.98, 11.28, 11.83, 12.68, 13.86, 15.41, 17.35, 19.73, 22.56");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.6774, 0.75, 0.9684, 1.324, 1.818, 2.483, 3.355, 4.481, 5.897, 7.607",\
                 "0.6774, 0.75, 0.9684, 1.324, 1.818, 2.481, 3.356, 4.484, 5.897, 7.611",\
                 "0.678, 0.7496, 0.968, 1.324, 1.818, 2.487, 3.355, 4.482, 5.897, 7.606",\
                 "0.6772, 0.7498, 0.9684, 1.323, 1.817, 2.487, 3.356, 4.482, 5.896, 7.606",\
                 "0.6776, 0.7498, 0.9684, 1.324, 1.819, 2.487, 3.355, 4.48, 5.897, 7.61",\
                 "0.6764, 0.749, 0.9674, 1.323, 1.818, 2.485, 3.356, 4.48, 5.898, 7.608",\
                 "0.672, 0.744, 0.966, 1.322, 1.822, 2.488, 3.36, 4.486, 5.898, 7.61",\
                 "0.672, 0.742, 0.964, 1.32, 1.816, 2.476, 3.358, 4.482, 5.898, 7.618",\
                 "0.672, 0.744, 0.962, 1.318, 1.818, 2.478, 3.352, 4.474, 5.886, 7.608",\
                 "0.672, 0.744, 0.962, 1.318, 1.814, 2.478, 3.354, 4.478, 5.894, 7.604");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.5136, 0.6362, 1.083, 1.973, 3.381, 5.352, 7.945, 11.22, 15.23, 19.99",\
                 "0.5144, 0.6374, 1.082, 1.971, 3.377, 5.35, 7.945, 11.22, 15.23, 20.01",\
                 "0.5142, 0.6368, 1.083, 1.973, 3.381, 5.346, 7.949, 11.23, 15.21, 19.99",\
                 "0.5146, 0.6356, 1.081, 1.973, 3.38, 5.35, 7.95, 11.23, 15.23, 19.99",\
                 "0.5142, 0.6358, 1.083, 1.971, 3.375, 5.345, 7.95, 11.23, 15.22, 20.01",\
                 "0.5148, 0.6378, 1.082, 1.973, 3.382, 5.352, 7.95, 11.22, 15.23, 19.97",\
                 "0.516, 0.638, 1.084, 1.972, 3.38, 5.35, 7.942, 11.22, 15.22, 20",\
                 "0.52, 0.642, 1.084, 1.974, 3.378, 5.354, 7.946, 11.22, 15.2, 19.99",\
                 "0.526, 0.646, 1.086, 1.974, 3.372, 5.344, 7.94, 11.22, 15.23, 20.01",\
                 "0.532, 0.65, 1.09, 1.974, 3.382, 5.348, 7.942, 11.22, 15.22, 20");
        }
      }

      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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("3.925, 4.022, 4.287, 4.663, 5.12, 5.662, 6.301, 7.055, 7.946, 8.991",\
                 "3.992, 4.089, 4.354, 4.73, 5.187, 5.729, 6.368, 7.123, 8.013, 9.058",\
                 "4.191, 4.288, 4.553, 4.929, 5.386, 5.928, 6.567, 7.321, 8.212, 9.256",\
                 "4.53, 4.627, 4.893, 5.269, 5.726, 6.268, 6.906, 7.661, 8.551, 9.596",\
                 "4.983, 5.081, 5.345, 5.721, 6.179, 6.72, 7.359, 8.114, 9.004, 10.05",\
                 "5.466, 5.563, 5.829, 6.205, 6.662, 7.203, 7.842, 8.596, 9.486, 10.53",\
                 "5.957, 6.054, 6.318, 6.694, 7.152, 7.694, 8.334, 9.09, 9.98, 11.02",\
                 "6.452, 6.549, 6.813, 7.188, 7.645, 8.185, 8.823, 9.579, 10.47, 11.52",\
                 "6.942, 7.038, 7.303, 7.677, 8.134, 8.674, 9.313, 10.07, 10.96, 12",\
                 "7.412, 7.509, 7.774, 8.148, 8.606, 9.145, 9.782, 10.54, 11.43, 12.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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("4.586, 4.679, 4.982, 5.533, 6.38, 7.56, 9.108, 11.05, 13.43, 16.26",\
                 "4.637, 4.731, 5.032, 5.584, 6.431, 7.611, 9.159, 11.11, 13.48, 16.31",\
                 "4.831, 4.924, 5.226, 5.778, 6.624, 7.805, 9.353, 11.3, 13.67, 16.5",\
                 "5.187, 5.28, 5.582, 6.133, 6.981, 8.16, 9.708, 11.65, 14.03, 16.86",\
                 "5.711, 5.805, 6.106, 6.657, 7.504, 8.685, 10.23, 12.18, 14.55, 17.38",\
                 "6.428, 6.521, 6.823, 7.375, 8.221, 9.402, 10.95, 12.9, 15.27, 18.1",\
                 "7.347, 7.44, 7.742, 8.294, 9.14, 10.32, 11.87, 13.81, 16.19, 19.01",\
                 "8.414, 8.508, 8.811, 9.361, 10.21, 11.39, 12.94, 14.88, 17.26, 20.08",\
                 "9.595, 9.69, 9.993, 10.54, 11.39, 12.57, 14.12, 16.06, 18.44, 21.27",\
                 "10.88, 10.98, 11.28, 11.83, 12.68, 13.86, 15.41, 17.35, 19.73, 22.56");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.6754, 0.7478, 0.9666, 1.32, 1.817, 2.481, 3.353, 4.479, 5.895, 7.607",\
                 "0.6756, 0.7482, 0.9664, 1.322, 1.815, 2.48, 3.353, 4.477, 5.894, 7.614",\
                 "0.6754, 0.7478, 0.9666, 1.321, 1.816, 2.484, 3.354, 4.48, 5.895, 7.608",\
                 "0.6756, 0.748, 0.9664, 1.321, 1.819, 2.48, 3.349, 4.482, 5.893, 7.616",\
                 "0.6754, 0.7476, 0.9668, 1.321, 1.818, 2.482, 3.35, 4.478, 5.894, 7.616",\
                 "0.6744, 0.7468, 0.9656, 1.321, 1.817, 2.482, 3.354, 4.476, 5.892, 7.608",\
                 "0.67, 0.744, 0.964, 1.32, 1.82, 2.48, 3.356, 4.482, 5.896, 7.618",\
                 "0.67, 0.742, 0.962, 1.316, 1.814, 2.474, 3.352, 4.478, 5.892, 7.622",\
                 "0.668, 0.742, 0.962, 1.318, 1.812, 2.48, 3.346, 4.474, 5.882, 7.604",\
                 "0.668, 0.742, 0.96, 1.318, 1.812, 2.478, 3.35, 4.474, 5.892, 7.604");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.5136, 0.6362, 1.083, 1.973, 3.381, 5.352, 7.945, 11.22, 15.23, 19.99",\
                 "0.5144, 0.6374, 1.082, 1.971, 3.377, 5.35, 7.945, 11.22, 15.23, 20.01",\
                 "0.5142, 0.6368, 1.083, 1.973, 3.381, 5.346, 7.949, 11.23, 15.21, 19.99",\
                 "0.5146, 0.6356, 1.081, 1.973, 3.38, 5.35, 7.95, 11.23, 15.23, 19.99",\
                 "0.5142, 0.6358, 1.083, 1.971, 3.375, 5.345, 7.95, 11.23, 15.22, 20.01",\
                 "0.5148, 0.6378, 1.082, 1.973, 3.382, 5.352, 7.95, 11.22, 15.23, 19.97",\
                 "0.516, 0.638, 1.084, 1.972, 3.38, 5.35, 7.942, 11.22, 15.22, 20",\
                 "0.52, 0.642, 1.084, 1.974, 3.378, 5.354, 7.946, 11.22, 15.2, 19.99",\
                 "0.526, 0.646, 1.086, 1.974, 3.372, 5.344, 7.94, 11.22, 15.23, 20.01",\
                 "0.532, 0.65, 1.09, 1.974, 3.382, 5.348, 7.942, 11.22, 15.22, 20");
        }
      }

      timing() {
        related_pin : "A3" ;
        sdf_cond : "A1===1'b0 && 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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("2.653, 2.748, 3.009, 3.378, 3.83, 4.367, 5.001, 5.751, 6.639, 7.68",\
                 "2.709, 2.804, 3.065, 3.435, 3.886, 4.423, 5.057, 5.808, 6.696, 7.738",\
                 "2.873, 2.969, 3.23, 3.6, 4.051, 4.588, 5.222, 5.973, 6.86, 7.902",\
                 "3.229, 3.325, 3.586, 3.955, 4.407, 4.944, 5.578, 6.328, 7.216, 8.259",\
                 "3.827, 3.923, 4.183, 4.552, 5.005, 5.541, 6.175, 6.926, 7.813, 8.855",\
                 "4.689, 4.784, 5.045, 5.414, 5.865, 6.402, 7.037, 7.788, 8.676, 9.718",\
                 "5.775, 5.875, 6.144, 6.52, 6.977, 7.516, 8.152, 8.903, 9.793, 10.83",\
                 "6.968, 7.079, 7.37, 7.765, 8.238, 8.788, 9.434, 10.19, 11.08, 12.12",\
                 "8.241, 8.365, 8.684, 9.105, 9.595, 10.16, 10.81, 11.58, 12.48, 13.52",\
                 "9.592, 9.728, 10.08, 10.53, 11.04, 11.62, 12.29, 13.06, 13.96, 15.01");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("1.398, 1.501, 1.823, 2.385, 3.234, 4.413, 5.96, 7.904, 10.28, 13.1",\
                 "1.447, 1.549, 1.872, 2.434, 3.283, 4.462, 6.007, 7.951, 10.32, 13.15",\
                 "1.627, 1.73, 2.052, 2.614, 3.463, 4.643, 6.19, 8.133, 10.5, 13.33",\
                 "1.969, 2.071, 2.392, 2.953, 3.802, 4.982, 6.53, 8.475, 10.85, 13.67",\
                 "2.459, 2.563, 2.886, 3.447, 4.295, 5.476, 7.024, 8.97, 11.34, 14.17",\
                 "2.987, 3.095, 3.426, 3.995, 4.844, 6.024, 7.572, 9.518, 11.89, 14.72",\
                 "3.526, 3.639, 3.978, 4.55, 5.403, 6.587, 8.135, 10.08, 12.46, 15.28",\
                 "4.062, 4.183, 4.534, 5.109, 5.961, 7.147, 8.7, 10.65, 13.02, 15.85",\
                 "4.589, 4.717, 5.083, 5.667, 6.52, 7.701, 9.252, 11.2, 13.58, 16.41",\
                 "5.092, 5.233, 5.618, 6.213, 7.065, 8.246, 9.795, 11.74, 14.12, 16.95");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.6578, 0.7302, 0.9476, 1.303, 1.796, 2.461, 3.335, 4.464, 5.878, 7.603",\
                 "0.6568, 0.7292, 0.948, 1.302, 1.798, 2.463, 3.337, 4.462, 5.877, 7.591",\
                 "0.6578, 0.729, 0.9476, 1.303, 1.797, 2.465, 3.334, 4.464, 5.875, 7.602",\
                 "0.6572, 0.7288, 0.9474, 1.302, 1.797, 2.464, 3.333, 4.461, 5.876, 7.594",\
                 "0.6572, 0.7292, 0.9476, 1.303, 1.798, 2.463, 3.337, 4.465, 5.873, 7.602",\
                 "0.6618, 0.7334, 0.9524, 1.306, 1.798, 2.465, 3.334, 4.464, 5.878, 7.598",\
                 "0.718, 0.784, 0.988, 1.332, 1.818, 2.476, 3.346, 4.468, 5.882, 7.602",\
                 "0.824, 0.888, 1.082, 1.408, 1.884, 2.53, 3.382, 4.496, 5.892, 7.606",\
                 "0.936, 1.004, 1.198, 1.51, 1.97, 2.6, 3.448, 4.55, 5.934, 7.638",\
                 "1.06, 1.132, 1.33, 1.63, 2.064, 2.68, 3.514, 4.604, 5.982, 7.678");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.5712, 0.695, 1.134, 2, 3.395, 5.363, 7.972, 11.24, 15.25, 20.04",\
                 "0.5704, 0.6932, 1.132, 2.001, 3.397, 5.375, 7.982, 11.26, 15.26, 19.99",\
                 "0.571, 0.6938, 1.133, 2, 3.397, 5.361, 7.978, 11.24, 15.24, 20.03",\
                 "0.5718, 0.695, 1.133, 2.002, 3.396, 5.375, 7.961, 11.25, 15.24, 20.04",\
                 "0.5908, 0.7106, 1.141, 2.003, 3.394, 5.364, 7.97, 11.25, 15.24, 20.04",\
                 "0.6294, 0.7498, 1.175, 2.023, 3.4, 5.373, 7.982, 11.26, 15.26, 19.99",\
                 "0.6778, 0.791, 1.203, 2.043, 3.42, 5.378, 7.966, 11.24, 15.24, 20.01",\
                 "0.742, 0.848, 1.242, 2.062, 3.428, 5.394, 7.982, 11.24, 15.26, 19.99",\
                 "0.818, 0.924, 1.294, 2.086, 3.436, 5.4, 7.998, 11.26, 15.24, 19.99",\
                 "0.912, 1.01, 1.358, 2.12, 3.454, 5.406, 7.994, 11.27, 15.25, 20.01");
        }
      }

      timing() {
        related_pin : "A3" ;
        sdf_cond : "A1===1'b1 && 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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("2.653, 2.748, 3.009, 3.378, 3.83, 4.367, 5.001, 5.751, 6.639, 7.68",\
                 "2.709, 2.804, 3.064, 3.434, 3.886, 4.423, 5.057, 5.808, 6.696, 7.738",\
                 "2.873, 2.969, 3.229, 3.6, 4.052, 4.589, 5.222, 5.973, 6.861, 7.903",\
                 "3.23, 3.325, 3.586, 3.956, 4.407, 4.944, 5.578, 6.328, 7.216, 8.259",\
                 "3.827, 3.922, 4.182, 4.551, 5.004, 5.54, 6.175, 6.926, 7.813, 8.855",\
                 "4.689, 4.783, 5.044, 5.413, 5.865, 6.402, 7.037, 7.788, 8.675, 9.718",\
                 "5.775, 5.875, 6.144, 6.518, 6.976, 7.515, 8.153, 8.904, 9.792, 10.83",\
                 "6.968, 7.079, 7.37, 7.765, 8.236, 8.787, 9.435, 10.19, 11.08, 12.12",\
                 "8.242, 8.364, 8.683, 9.105, 9.595, 10.16, 10.81, 11.58, 12.48, 13.52",\
                 "9.591, 9.727, 10.08, 10.53, 11.04, 11.62, 12.29, 13.06, 13.96, 15.01");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("1.398, 1.501, 1.823, 2.385, 3.234, 4.413, 5.96, 7.904, 10.28, 13.1",\
                 "1.447, 1.549, 1.872, 2.434, 3.283, 4.462, 6.007, 7.951, 10.32, 13.15",\
                 "1.627, 1.73, 2.052, 2.614, 3.463, 4.643, 6.19, 8.134, 10.5, 13.33",\
                 "1.969, 2.072, 2.392, 2.953, 3.802, 4.981, 6.53, 8.474, 10.85, 13.67",\
                 "2.459, 2.564, 2.887, 3.446, 4.295, 5.475, 7.025, 8.97, 11.34, 14.17",\
                 "2.988, 3.095, 3.427, 3.994, 4.844, 6.023, 7.572, 9.518, 11.89, 14.72",\
                 "3.526, 3.639, 3.978, 4.549, 5.403, 6.587, 8.135, 10.08, 12.46, 15.28",\
                 "4.062, 4.183, 4.534, 5.109, 5.961, 7.147, 8.7, 10.65, 13.02, 15.85",\
                 "4.589, 4.717, 5.084, 5.667, 6.52, 7.701, 9.252, 11.2, 13.58, 16.41",\
                 "5.092, 5.233, 5.618, 6.213, 7.065, 8.245, 9.795, 11.74, 14.12, 16.96");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.6578, 0.7302, 0.9478, 1.303, 1.796, 2.461, 3.335, 4.464, 5.878, 7.603",\
                 "0.6568, 0.7292, 0.9484, 1.302, 1.798, 2.463, 3.337, 4.462, 5.877, 7.591",\
                 "0.6582, 0.729, 0.9482, 1.303, 1.798, 2.464, 3.333, 4.462, 5.871, 7.597",\
                 "0.6576, 0.7292, 0.9476, 1.302, 1.797, 2.462, 3.332, 4.461, 5.879, 7.594",\
                 "0.657, 0.729, 0.9482, 1.302, 1.797, 2.464, 3.333, 4.463, 5.871, 7.603",\
                 "0.6606, 0.7336, 0.9536, 1.306, 1.797, 2.464, 3.336, 4.461, 5.878, 7.6",\
                 "0.718, 0.784, 0.988, 1.332, 1.82, 2.476, 3.344, 4.47, 5.878, 7.602",\
                 "0.824, 0.888, 1.08, 1.408, 1.884, 2.532, 3.38, 4.494, 5.892, 7.606",\
                 "0.936, 1.004, 1.196, 1.508, 1.966, 2.6, 3.452, 4.546, 5.934, 7.636",\
                 "1.06, 1.128, 1.332, 1.63, 2.064, 2.682, 3.514, 4.6, 5.982, 7.678");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.5698, 0.6948, 1.134, 2, 3.395, 5.363, 7.973, 11.24, 15.25, 20.04",\
                 "0.5704, 0.6932, 1.132, 2.001, 3.397, 5.375, 7.982, 11.26, 15.26, 19.99",\
                 "0.571, 0.6934, 1.134, 2.001, 3.397, 5.36, 7.961, 11.25, 15.24, 20.04",\
                 "0.5716, 0.6986, 1.134, 2.001, 3.396, 5.376, 7.964, 11.26, 15.24, 20.01",\
                 "0.591, 0.7104, 1.141, 2.003, 3.397, 5.374, 7.964, 11.25, 15.25, 20.03",\
                 "0.6302, 0.7478, 1.171, 2.023, 3.402, 5.372, 7.981, 11.26, 15.26, 20.01",\
                 "0.6776, 0.791, 1.203, 2.042, 3.422, 5.378, 7.966, 11.24, 15.24, 20.01",\
                 "0.742, 0.848, 1.242, 2.06, 3.43, 5.394, 7.982, 11.25, 15.26, 20",\
                 "0.818, 0.924, 1.294, 2.084, 3.436, 5.408, 7.992, 11.25, 15.24, 20.01",\
                 "0.912, 1.01, 1.358, 2.12, 3.454, 5.406, 7.994, 11.27, 15.25, 20.03");
        }
      }

      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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("2.653, 2.748, 3.009, 3.378, 3.83, 4.367, 5.001, 5.751, 6.639, 7.68",\
                 "2.709, 2.804, 3.064, 3.434, 3.886, 4.423, 5.057, 5.808, 6.696, 7.738",\
                 "2.873, 2.969, 3.229, 3.6, 4.052, 4.589, 5.222, 5.973, 6.861, 7.903",\
                 "3.23, 3.325, 3.586, 3.956, 4.407, 4.944, 5.578, 6.328, 7.216, 8.259",\
                 "3.827, 3.922, 4.182, 4.551, 5.004, 5.54, 6.175, 6.926, 7.813, 8.855",\
                 "4.689, 4.783, 5.044, 5.413, 5.865, 6.402, 7.037, 7.788, 8.675, 9.718",\
                 "5.775, 5.875, 6.144, 6.518, 6.976, 7.515, 8.153, 8.904, 9.792, 10.83",\
                 "6.968, 7.079, 7.37, 7.765, 8.236, 8.787, 9.435, 10.19, 11.08, 12.12",\
                 "8.242, 8.364, 8.683, 9.105, 9.595, 10.16, 10.81, 11.58, 12.48, 13.52",\
                 "9.591, 9.727, 10.08, 10.53, 11.04, 11.62, 12.29, 13.06, 13.96, 15.01");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("1.398, 1.501, 1.823, 2.385, 3.234, 4.413, 5.96, 7.904, 10.28, 13.1",\
                 "1.447, 1.549, 1.872, 2.434, 3.283, 4.462, 6.007, 7.951, 10.32, 13.15",\
                 "1.627, 1.73, 2.052, 2.614, 3.463, 4.643, 6.19, 8.134, 10.5, 13.33",\
                 "1.969, 2.072, 2.392, 2.953, 3.802, 4.981, 6.53, 8.474, 10.85, 13.67",\
                 "2.459, 2.564, 2.887, 3.446, 4.295, 5.475, 7.025, 8.97, 11.34, 14.17",\
                 "2.988, 3.095, 3.427, 3.994, 4.844, 6.023, 7.572, 9.518, 11.89, 14.72",\
                 "3.526, 3.639, 3.978, 4.549, 5.403, 6.587, 8.135, 10.08, 12.46, 15.28",\
                 "4.062, 4.183, 4.534, 5.109, 5.961, 7.147, 8.7, 10.65, 13.02, 15.85",\
                 "4.589, 4.717, 5.084, 5.667, 6.52, 7.701, 9.252, 11.2, 13.58, 16.41",\
                 "5.092, 5.233, 5.618, 6.213, 7.065, 8.245, 9.795, 11.74, 14.12, 16.96");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.6578, 0.7302, 0.9478, 1.303, 1.796, 2.461, 3.335, 4.464, 5.878, 7.603",\
                 "0.6568, 0.7292, 0.9484, 1.302, 1.798, 2.463, 3.337, 4.462, 5.877, 7.591",\
                 "0.6582, 0.729, 0.9482, 1.303, 1.798, 2.464, 3.333, 4.462, 5.871, 7.597",\
                 "0.6576, 0.7292, 0.9476, 1.302, 1.797, 2.462, 3.332, 4.461, 5.879, 7.594",\
                 "0.657, 0.729, 0.9482, 1.302, 1.797, 2.464, 3.333, 4.463, 5.871, 7.603",\
                 "0.6606, 0.7336, 0.9536, 1.306, 1.797, 2.464, 3.336, 4.461, 5.878, 7.6",\
                 "0.718, 0.784, 0.988, 1.332, 1.82, 2.476, 3.344, 4.47, 5.878, 7.602",\
                 "0.824, 0.888, 1.08, 1.408, 1.884, 2.532, 3.38, 4.494, 5.892, 7.606",\
                 "0.936, 1.004, 1.196, 1.508, 1.966, 2.6, 3.452, 4.546, 5.934, 7.636",\
                 "1.06, 1.128, 1.332, 1.63, 2.064, 2.682, 3.514, 4.6, 5.982, 7.678");
        }

        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.004243, 0.01562, 0.03736, 0.07122, 0.1187, 0.1813, 0.26, 0.3562, 0.4708");
          values("0.5712, 0.695, 1.134, 2, 3.395, 5.363, 7.972, 11.24, 15.25, 20.04",\
                 "0.5704, 0.6932, 1.132, 2.001, 3.397, 5.375, 7.982, 11.26, 15.26, 19.99",\
                 "0.571, 0.6938, 1.133, 2, 3.397, 5.361, 7.978, 11.24, 15.24, 20.03",\
                 "0.5718, 0.695, 1.133, 2.002, 3.396, 5.375, 7.961, 11.25, 15.24, 20.04",\
                 "0.5908, 0.7106, 1.141, 2.003, 3.394, 5.364, 7.97, 11.25, 15.24, 20.04",\
                 "0.6294, 0.7498, 1.175, 2.023, 3.4, 5.373, 7.982, 11.26, 15.26, 19.99",\
                 "0.6778, 0.791, 1.203, 2.043, 3.42, 5.378, 7.966, 11.24, 15.24, 20.01",\
                 "0.742, 0.848, 1.242, 2.062, 3.428, 5.394, 7.982, 11.24, 15.26, 19.99",\
                 "0.818, 0.924, 1.294, 2.086, 3.436, 5.4, 7.998, 11.26, 15.24, 19.99",\
                 "0.912, 1.01, 1.358, 2.12, 3.454, 5.406, 7.994, 11.27, 15.25, 20.01");
        }
      }
    }
  }