/*
 * Copyright 2022 GlobalFoundries PDK Authors
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *      http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

  cell(gf180mcu_fd_sc_mcu7t5v0__xor3_1) {
    area : 50.489600 ;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    pin(Z) {
      direction : output ;
      function : "(A1^A2^A3)" ;
      max_capacitance : 0.08748 ;
      max_transition : 25 ;
      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.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("0.04135, 0.04134, 0.04129, 0.04118, 0.04102, 0.04084, 0.04066, 0.04049, 0.04035, 0.04024",\
                 "0.04128, 0.04127, 0.04122, 0.04111, 0.04094, 0.04076, 0.04058, 0.04042, 0.04028, 0.04016",\
                 "0.04115, 0.04114, 0.04109, 0.04097, 0.04081, 0.04062, 0.04044, 0.04028, 0.04014, 0.04002",\
                 "0.04104, 0.04102, 0.04098, 0.04086, 0.04071, 0.04051, 0.04033, 0.04017, 0.04003, 0.03991",\
                 "0.04093, 0.04092, 0.04086, 0.04075, 0.0406, 0.04041, 0.04022, 0.04006, 0.03991, 0.03979",\
                 "0.04076, 0.04075, 0.0407, 0.04059, 0.04043, 0.04023, 0.04005, 0.03988, 0.03972, 0.03955",\
                 "0.04054, 0.04054, 0.04048, 0.04036, 0.04019, 0.04, 0.03979, 0.03958, 0.03927, 0.03878",\
                 "0.03961, 0.03959, 0.03951, 0.03936, 0.03909, 0.0386, 0.03773, 0.03682, 0.03605, 0.03535",\
                 "0.02284, 0.02283, 0.02278, 0.02269, 0.02255, 0.02237, 0.02219, 0.02203, 0.02189, 0.02178",\
                 "0.005621, 0.005622, 0.005621, 0.005621, 0.005619, 0.00562, 0.005619, 0.00562, 0.005617, 0.005617");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("-0.0001887, -0.0001742, -0.0001327, -6.166e-05, 2.699e-05, 0.0002397, 0.00201, 0.01151, 0.03129, 0.05169",\
                 "-0.0001579, -0.000145, -0.0001052, -4.222e-05, 4.481e-05, 0.0002852, 0.002139, 0.01194, 0.03176, 0.05185",\
                 "-0.0001774, -0.0001596, -0.0001165, -4.384e-05, 3.637e-05, 0.0003018, 0.002545, 0.0133, 0.03316, 0.05219",\
                 "-0.0002924, -0.0002811, -0.0002315, -0.0001653, -6.963e-05, 0.0002799, 0.003346, 0.01574, 0.03521, 0.05229",\
                 "-0.0004058, -0.0003945, -0.0003482, -0.0002762, -0.0001839, 0.0004041, 0.005013, 0.01928, 0.03724, 0.05161",\
                 "-0.0004981, -0.0004868, -0.0004438, -0.0003612, -0.0002381, 0.0009403, 0.008144, 0.02342, 0.03824, 0.04935",\
                 "-0.0005662, -0.00055, -0.0005102, -0.0004353, -0.0001372, 0.002741, 0.01303, 0.02635, 0.03674, 0.04432",\
                 "-0.0006763, -0.0006602, -0.0006124, -0.0004788, 0.0006781, 0.006909, 0.01686, 0.02491, 0.03069, 0.03488",\
                 "-0.001111, -0.001112, -0.001096, -0.0004161, 0.003264, 0.008393, 0.01237, 0.01522, 0.01724, 0.01869",\
                 "-0.01027, -0.01024, -0.01009, -0.009811, -0.00954, -0.009339, -0.009195, -0.009099, -0.009046, -0.009002");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("0.03099, 0.03102, 0.03109, 0.0312, 0.03134, 0.03147, 0.03158, 0.03166, 0.03174, 0.03177",\
                 "0.03102, 0.03104, 0.03111, 0.03123, 0.03136, 0.03149, 0.0316, 0.03169, 0.03177, 0.03179",\
                 "0.03101, 0.03103, 0.0311, 0.03122, 0.03135, 0.03148, 0.03159, 0.03168, 0.03175, 0.03177",\
                 "0.0309, 0.03092, 0.03099, 0.03111, 0.03125, 0.03138, 0.03149, 0.03158, 0.03164, 0.03163",\
                 "0.03079, 0.03081, 0.03088, 0.031, 0.03113, 0.03126, 0.03137, 0.03146, 0.03151, 0.03147",\
                 "0.03069, 0.03071, 0.03079, 0.03091, 0.03105, 0.03117, 0.03128, 0.03136, 0.03138, 0.03125",\
                 "0.03062, 0.03064, 0.03072, 0.03084, 0.03097, 0.0311, 0.0312, 0.03125, 0.03117, 0.03086",\
                 "0.03046, 0.03049, 0.03056, 0.03068, 0.03082, 0.03093, 0.03099, 0.0309, 0.03054, 0.03004",\
                 "0.02983, 0.02986, 0.02993, 0.03003, 0.03013, 0.03014, 0.02987, 0.02933, 0.0288, 0.02839",\
                 "0.02618, 0.02618, 0.02609, 0.02566, 0.02501, 0.02454, 0.02423, 0.02404, 0.02391, 0.02383");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("0.004944, 0.004959, 0.005002, 0.005074, 0.005154, 0.005299, 0.006521, 0.01419, 0.03308, 0.05505",\
                 "0.00487, 0.004887, 0.004931, 0.005001, 0.005081, 0.005229, 0.006514, 0.01441, 0.03341, 0.05515",\
                 "0.004744, 0.00475, 0.004796, 0.004869, 0.004951, 0.005115, 0.006648, 0.01541, 0.03477, 0.05566",\
                 "0.004643, 0.004658, 0.004699, 0.004771, 0.004847, 0.005076, 0.007239, 0.01774, 0.03738, 0.05634",\
                 "0.004546, 0.004558, 0.004603, 0.004676, 0.004758, 0.00515, 0.008746, 0.02182, 0.04054, 0.05628",\
                 "0.004405, 0.004424, 0.00446, 0.004532, 0.004646, 0.00564, 0.01233, 0.02734, 0.04245, 0.05373",\
                 "0.00426, 0.004268, 0.00431, 0.004377, 0.004734, 0.008162, 0.01871, 0.03072, 0.03967, 0.04611",\
                 "0.004053, 0.004061, 0.004071, 0.004274, 0.00677, 0.01347, 0.01989, 0.02443, 0.02775, 0.03023",\
                 "-0.001477, -0.001575, -0.001533, -0.00119, -0.0006263, -4.712e-05, 0.0004183, 0.0007675, 0.001009, 0.001203",\
                 "-0.02338, -0.02337, -0.02338, -0.02338, -0.02338, -0.02338, -0.02338, -0.02338, -0.02338, -0.02338");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("0.0242, 0.02418, 0.02413, 0.02404, 0.02388, 0.02371, 0.02353, 0.02337, 0.02324, 0.02313",\
                 "0.02419, 0.02418, 0.02414, 0.02404, 0.02388, 0.02371, 0.02353, 0.02337, 0.02324, 0.02313",\
                 "0.02418, 0.02417, 0.02412, 0.02402, 0.02387, 0.02369, 0.02352, 0.02336, 0.02322, 0.02311",\
                 "0.02413, 0.02412, 0.02408, 0.02397, 0.02383, 0.02365, 0.02347, 0.02331, 0.02318, 0.02306",\
                 "0.02405, 0.02404, 0.024, 0.02389, 0.02375, 0.02357, 0.0234, 0.02324, 0.02309, 0.02298",\
                 "0.02395, 0.02393, 0.0239, 0.0238, 0.02366, 0.02349, 0.02332, 0.02316, 0.02302, 0.0229",\
                 "0.02385, 0.02384, 0.0238, 0.02371, 0.02358, 0.02343, 0.02325, 0.02309, 0.02296, 0.02282",\
                 "0.02377, 0.02376, 0.02372, 0.02364, 0.02352, 0.02337, 0.02319, 0.02303, 0.02286, 0.02261",\
                 "0.02366, 0.02365, 0.02361, 0.02353, 0.02339, 0.02322, 0.02299, 0.02261, 0.02198, 0.02123",\
                 "0.02071, 0.02055, 0.01993, 0.01905, 0.01815, 0.01719, 0.0163, 0.01556, 0.01497, 0.01451");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("0.01037, 0.01038, 0.01043, 0.0105, 0.01058, 0.01076, 0.01194, 0.01943, 0.03838, 0.06078",\
                 "0.01039, 0.01041, 0.01046, 0.01052, 0.01062, 0.0108, 0.01204, 0.01979, 0.03889, 0.06105",\
                 "0.01028, 0.01029, 0.01034, 0.01042, 0.01049, 0.01069, 0.0122, 0.02082, 0.04034, 0.06163",\
                 "0.01013, 0.01014, 0.01019, 0.01026, 0.01035, 0.01059, 0.01271, 0.02317, 0.04305, 0.06241",\
                 "0.01002, 0.01003, 0.01008, 0.01014, 0.01024, 0.01068, 0.01433, 0.02756, 0.04654, 0.06249",\
                 "0.009963, 0.009983, 0.01003, 0.0101, 0.01023, 0.01139, 0.01847, 0.03373, 0.0487, 0.05994",\
                 "0.009947, 0.009962, 0.01001, 0.01009, 0.01059, 0.01477, 0.0257, 0.03703, 0.04542, 0.05151",\
                 "0.009642, 0.009651, 0.009684, 0.01016, 0.01357, 0.01962, 0.02453, 0.02806, 0.03058, 0.03239",\
                 "-0.007078, -0.00708, -0.00709, -0.007099, -0.007106, -0.007106, -0.007106, -0.007109, -0.007108, -0.007111",\
                 "-0.02408, -0.02408, -0.02408, -0.02408, -0.02408, -0.02408, -0.02408, -0.02408, -0.02408, -0.02408");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("0.02811, 0.02814, 0.02822, 0.02834, 0.02848, 0.02861, 0.02872, 0.0288, 0.02887, 0.02891",\
                 "0.02814, 0.02817, 0.02825, 0.02837, 0.02851, 0.02864, 0.02875, 0.02884, 0.0289, 0.02894",\
                 "0.02803, 0.02805, 0.02813, 0.02826, 0.0284, 0.02853, 0.02864, 0.02872, 0.0288, 0.02882",\
                 "0.02788, 0.02791, 0.02798, 0.02811, 0.02825, 0.02838, 0.02849, 0.02858, 0.02864, 0.02866",\
                 "0.02778, 0.0278, 0.02788, 0.02799, 0.02813, 0.02826, 0.02837, 0.02846, 0.02851, 0.02849",\
                 "0.02772, 0.02775, 0.02782, 0.02793, 0.02806, 0.02818, 0.02829, 0.02837, 0.02839, 0.02827",\
                 "0.02767, 0.02769, 0.02775, 0.02785, 0.02797, 0.02809, 0.02818, 0.0282, 0.02804, 0.02765",\
                 "0.02714, 0.02715, 0.02721, 0.02729, 0.02738, 0.02741, 0.02724, 0.02678, 0.02624, 0.02581",\
                 "0.01994, 0.01978, 0.01931, 0.0188, 0.01845, 0.01826, 0.01816, 0.01813, 0.01813, 0.01814",\
                 "0.006719, 0.006726, 0.006756, 0.006807, 0.006873, 0.006949, 0.007023, 0.007091, 0.007148, 0.007196");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("0.01087, 0.01088, 0.01093, 0.01102, 0.01111, 0.01121, 0.01159, 0.01489, 0.02849, 0.05294",\
                 "0.01087, 0.01088, 0.01094, 0.01102, 0.01111, 0.01122, 0.01161, 0.01503, 0.02888, 0.05335",\
                 "0.01085, 0.01087, 0.01092, 0.01101, 0.01111, 0.0112, 0.01166, 0.01555, 0.03027, 0.05474",\
                 "0.0108, 0.01082, 0.01086, 0.01094, 0.01103, 0.01114, 0.01178, 0.01668, 0.03299, 0.05711",\
                 "0.0107, 0.01072, 0.01076, 0.01083, 0.01091, 0.01104, 0.01208, 0.01896, 0.03731, 0.06001",\
                 "0.01062, 0.01063, 0.01066, 0.01073, 0.01081, 0.01101, 0.013, 0.02306, 0.04268, 0.06218",\
                 "0.01054, 0.01055, 0.01059, 0.01067, 0.01074, 0.01122, 0.01545, 0.02925, 0.04732, 0.06198",\
                 "0.01052, 0.01053, 0.01056, 0.01059, 0.01076, 0.01243, 0.02092, 0.03555, 0.04826, 0.05749",\
                 "0.0106, 0.01061, 0.01064, 0.01069, 0.01155, 0.01704, 0.02724, 0.03593, 0.04209, 0.04664",\
                 "0.01071, 0.01068, 0.01058, 0.01128, 0.01475, 0.0188, 0.02179, 0.02405, 0.02575, 0.02701");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("0.04062, 0.04061, 0.04056, 0.04045, 0.04029, 0.04011, 0.03992, 0.03976, 0.03962, 0.0395",\
                 "0.04049, 0.04048, 0.04043, 0.04032, 0.04016, 0.03997, 0.03979, 0.03962, 0.03948, 0.03937",\
                 "0.04032, 0.0403, 0.04026, 0.04015, 0.03999, 0.0398, 0.03962, 0.03945, 0.03931, 0.03919",\
                 "0.04021, 0.04019, 0.04014, 0.04003, 0.03987, 0.03968, 0.0395, 0.03934, 0.0392, 0.03908",\
                 "0.04013, 0.04011, 0.04006, 0.03995, 0.03979, 0.0396, 0.03942, 0.03925, 0.03911, 0.03899",\
                 "0.04003, 0.04001, 0.03997, 0.03985, 0.0397, 0.0395, 0.03931, 0.03914, 0.03899, 0.03881",\
                 "0.03987, 0.03986, 0.03981, 0.0397, 0.03952, 0.03933, 0.03912, 0.03889, 0.03855, 0.038",\
                 "0.03853, 0.03851, 0.03842, 0.03824, 0.0378, 0.0369, 0.03593, 0.03509, 0.03429, 0.03348",\
                 "0.01915, 0.01913, 0.01904, 0.01889, 0.0187, 0.01851, 0.01834, 0.0182, 0.01809, 0.018",\
                 "0.004455, 0.004457, 0.004457, 0.004457, 0.004455, 0.004455, 0.004455, 0.004457, 0.004457, 0.004457");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("0.01201, 0.01203, 0.01207, 0.01213, 0.01223, 0.01243, 0.01405, 0.02311, 0.04276, 0.06365",\
                 "0.01205, 0.01206, 0.01211, 0.01217, 0.01225, 0.01248, 0.01418, 0.02352, 0.04323, 0.06383",\
                 "0.01203, 0.01204, 0.01209, 0.01217, 0.01226, 0.0125, 0.01454, 0.0248, 0.04465, 0.06424",\
                 "0.01194, 0.01196, 0.012, 0.01208, 0.01216, 0.0125, 0.01529, 0.0272, 0.04685, 0.06452",\
                 "0.01186, 0.01188, 0.01192, 0.01199, 0.01209, 0.01262, 0.01681, 0.03072, 0.04911, 0.0641",\
                 "0.01181, 0.01182, 0.01187, 0.01194, 0.01207, 0.01311, 0.01977, 0.03501, 0.0505, 0.0622",\
                 "0.01179, 0.0118, 0.01185, 0.01192, 0.01217, 0.01467, 0.02458, 0.03846, 0.04954, 0.05765",\
                 "0.01176, 0.01177, 0.01182, 0.01194, 0.0129, 0.01867, 0.02908, 0.03788, 0.04424, 0.04885",\
                 "0.01157, 0.01158, 0.0116, 0.01213, 0.01564, 0.02147, 0.02616, 0.02952, 0.0319, 0.03363",\
                 "0.005174, 0.00513, 0.005288, 0.005803, 0.006383, 0.006836, 0.007156, 0.007379, 0.007523, 0.007622");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("0.02939, 0.02942, 0.0295, 0.02962, 0.02976, 0.02989, 0.03, 0.03008, 0.03015, 0.03018",\
                 "0.02943, 0.02945, 0.02953, 0.02965, 0.02979, 0.02992, 0.03003, 0.03012, 0.03019, 0.03021",\
                 "0.02941, 0.02943, 0.02951, 0.02964, 0.02978, 0.02991, 0.03002, 0.0301, 0.03017, 0.03019",\
                 "0.02933, 0.02935, 0.02943, 0.02955, 0.0297, 0.02983, 0.02993, 0.03002, 0.03008, 0.03008",\
                 "0.02925, 0.02927, 0.02935, 0.02948, 0.02961, 0.02975, 0.02985, 0.02994, 0.02999, 0.02995",\
                 "0.02919, 0.02922, 0.02929, 0.02942, 0.02956, 0.02969, 0.02979, 0.02987, 0.02989, 0.02978",\
                 "0.02916, 0.02919, 0.02927, 0.02938, 0.02953, 0.02965, 0.02976, 0.02981, 0.02974, 0.02947",\
                 "0.02909, 0.02911, 0.0292, 0.02932, 0.02946, 0.02958, 0.02965, 0.02958, 0.02928, 0.02878",\
                 "0.02873, 0.02875, 0.02882, 0.02894, 0.02905, 0.02909, 0.02891, 0.02841, 0.02787, 0.02743",\
                 "0.02589, 0.0259, 0.02592, 0.02575, 0.02516, 0.02457, 0.02417, 0.0239, 0.02372, 0.0236");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("0.0134, 0.01342, 0.01346, 0.01353, 0.01361, 0.01374, 0.01489, 0.02223, 0.04094, 0.0632",\
                 "0.01327, 0.01329, 0.01333, 0.0134, 0.01348, 0.01362, 0.01481, 0.02235, 0.04116, 0.06325",\
                 "0.0131, 0.01312, 0.01316, 0.01323, 0.01331, 0.01346, 0.01487, 0.02318, 0.04239, 0.06373",\
                 "0.013, 0.01301, 0.01305, 0.01313, 0.0132, 0.01341, 0.01539, 0.02548, 0.0451, 0.06456",\
                 "0.01293, 0.01295, 0.01299, 0.01306, 0.01314, 0.01351, 0.01694, 0.0298, 0.04867, 0.06472",\
                 "0.01286, 0.01288, 0.01292, 0.01298, 0.0131, 0.01411, 0.02084, 0.03585, 0.05091, 0.06214",\
                 "0.01279, 0.01281, 0.01285, 0.01291, 0.01332, 0.01712, 0.02779, 0.03923, 0.04763, 0.05369",\
                 "0.01264, 0.01264, 0.01263, 0.01294, 0.01599, 0.02214, 0.02725, 0.03088, 0.03358, 0.03559",\
                 "0.001315, 0.001325, 0.001382, 0.001515, 0.001672, 0.001807, 0.001909, 0.001983, 0.002035, 0.002073",\
                 "-0.01535, -0.01535, -0.01535, -0.01535, -0.01535, -0.01535, -0.01535, -0.01535, -0.01535, -0.01535");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("0.02467, 0.02466, 0.02462, 0.02452, 0.02437, 0.02419, 0.02401, 0.02385, 0.02372, 0.02361",\
                 "0.02469, 0.02468, 0.02463, 0.02452, 0.02437, 0.0242, 0.02402, 0.02386, 0.02373, 0.02362",\
                 "0.02471, 0.02469, 0.02465, 0.02454, 0.02439, 0.02421, 0.02403, 0.02387, 0.02374, 0.02363",\
                 "0.02466, 0.02465, 0.02461, 0.0245, 0.02435, 0.02418, 0.024, 0.02384, 0.0237, 0.02359",\
                 "0.02459, 0.02458, 0.02453, 0.02442, 0.02428, 0.02411, 0.02393, 0.02377, 0.02363, 0.02352",\
                 "0.02448, 0.02447, 0.02442, 0.02432, 0.02418, 0.02401, 0.02384, 0.02368, 0.02354, 0.02342",\
                 "0.02436, 0.02434, 0.0243, 0.02423, 0.02409, 0.02392, 0.02376, 0.0236, 0.02345, 0.02333",\
                 "0.02425, 0.02424, 0.0242, 0.02412, 0.02399, 0.02383, 0.02366, 0.0235, 0.02333, 0.02312",\
                 "0.02413, 0.02412, 0.02408, 0.02399, 0.02386, 0.02369, 0.02349, 0.02319, 0.02269, 0.02199",\
                 "0.02234, 0.02231, 0.0222, 0.02173, 0.02074, 0.01978, 0.01888, 0.01795, 0.01713, 0.01648");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("0.01109, 0.0111, 0.01114, 0.01121, 0.01129, 0.01149, 0.01279, 0.02083, 0.04009, 0.062",\
                 "0.01099, 0.01101, 0.01105, 0.01113, 0.01122, 0.0114, 0.01278, 0.02104, 0.0404, 0.06208",\
                 "0.01091, 0.01092, 0.01097, 0.01103, 0.01112, 0.01133, 0.013, 0.02218, 0.04188, 0.06261",\
                 "0.01082, 0.01083, 0.01087, 0.01094, 0.01103, 0.01131, 0.01367, 0.02472, 0.04457, 0.06326",\
                 "0.01074, 0.01076, 0.01081, 0.01088, 0.01098, 0.01147, 0.01552, 0.02926, 0.04781, 0.06305",\
                 "0.0107, 0.01072, 0.01077, 0.01083, 0.01097, 0.01233, 0.02, 0.03521, 0.04943, 0.06002",\
                 "0.01066, 0.01067, 0.01072, 0.01081, 0.01142, 0.01612, 0.02703, 0.03757, 0.04528, 0.05087",\
                 "0.0102, 0.0102, 0.01021, 0.01084, 0.01448, 0.01981, 0.02396, 0.02694, 0.02905, 0.03057",\
                 "-0.01036, -0.01036, -0.01038, -0.01039, -0.01039, -0.0104, -0.0104, -0.01041, -0.01041, -0.01042",\
                 "-0.02484, -0.02484, -0.02484, -0.02484, -0.02484, -0.02484, -0.02484, -0.02484, -0.02484, -0.02484");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("0.02941, 0.02943, 0.0295, 0.02962, 0.02976, 0.02989, 0.03, 0.03009, 0.03017, 0.0302",\
                 "0.02931, 0.02934, 0.02941, 0.02953, 0.02966, 0.0298, 0.02991, 0.03, 0.03007, 0.03011",\
                 "0.02923, 0.02925, 0.02933, 0.02945, 0.02959, 0.02972, 0.02983, 0.02992, 0.02999, 0.03002",\
                 "0.02914, 0.02916, 0.02924, 0.02936, 0.02949, 0.02963, 0.02974, 0.02983, 0.0299, 0.02991",\
                 "0.02907, 0.0291, 0.02917, 0.02928, 0.02942, 0.02955, 0.02966, 0.02975, 0.02981, 0.02977",\
                 "0.02903, 0.02905, 0.02912, 0.02923, 0.02936, 0.02948, 0.02959, 0.02967, 0.02968, 0.02953",\
                 "0.02895, 0.02897, 0.02903, 0.02913, 0.02925, 0.02936, 0.02945, 0.02944, 0.02924, 0.02883",\
                 "0.02822, 0.02825, 0.02829, 0.02837, 0.02844, 0.02844, 0.02819, 0.02767, 0.02715, 0.02676",\
                 "0.01896, 0.01883, 0.01851, 0.01822, 0.01804, 0.01797, 0.01797, 0.01799, 0.01803, 0.01807",\
                 "0.006576, 0.006584, 0.006609, 0.006654, 0.006714, 0.00678, 0.006847, 0.006911, 0.006965, 0.007008");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("0.01215, 0.01216, 0.01221, 0.0123, 0.01239, 0.01249, 0.01287, 0.01622, 0.02989, 0.05435",\
                 "0.01216, 0.01217, 0.01223, 0.01231, 0.01241, 0.01251, 0.01291, 0.01638, 0.03031, 0.05479",\
                 "0.01217, 0.01219, 0.01224, 0.01233, 0.01243, 0.01252, 0.01298, 0.01691, 0.03165, 0.05612",\
                 "0.01213, 0.01215, 0.0122, 0.01228, 0.01237, 0.01248, 0.0131, 0.01797, 0.0342, 0.05835",\
                 "0.01205, 0.01207, 0.01211, 0.01218, 0.01227, 0.01241, 0.01338, 0.02004, 0.03822, 0.06109",\
                 "0.01196, 0.01197, 0.01201, 0.01208, 0.01216, 0.01235, 0.01417, 0.02377, 0.04334, 0.06334",\
                 "0.01186, 0.01187, 0.01191, 0.01198, 0.01207, 0.01249, 0.0163, 0.02962, 0.04814, 0.06353",\
                 "0.0118, 0.01181, 0.01183, 0.01188, 0.01201, 0.01342, 0.02125, 0.03615, 0.04977, 0.05974",\
                 "0.01182, 0.01183, 0.01185, 0.0119, 0.01254, 0.01741, 0.028, 0.03774, 0.04472, 0.04982",\
                 "0.01193, 0.01191, 0.01185, 0.01235, 0.01578, 0.02089, 0.02477, 0.02761, 0.02974, 0.03134");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("0.02611, 0.02609, 0.02602, 0.02586, 0.02563, 0.02537, 0.02511, 0.02488, 0.02469, 0.02454",\
                 "0.02605, 0.02603, 0.02596, 0.02581, 0.02559, 0.02533, 0.02508, 0.02486, 0.02466, 0.02451",\
                 "0.02593, 0.02592, 0.02586, 0.02572, 0.02551, 0.02526, 0.02501, 0.02478, 0.02459, 0.02443",\
                 "0.02579, 0.02577, 0.02573, 0.02559, 0.02541, 0.02517, 0.02493, 0.02471, 0.02452, 0.02436",\
                 "0.02556, 0.02555, 0.02551, 0.0254, 0.02525, 0.02505, 0.02484, 0.02463, 0.02445, 0.02429",\
                 "0.02519, 0.02518, 0.02515, 0.02508, 0.02499, 0.02484, 0.02469, 0.02451, 0.02435, 0.0242",\
                 "0.02487, 0.02487, 0.02485, 0.02482, 0.02476, 0.02466, 0.02454, 0.02441, 0.02426, 0.02412",\
                 "0.02458, 0.02459, 0.02458, 0.02456, 0.02453, 0.02447, 0.02439, 0.02427, 0.02411, 0.02385",\
                 "0.02374, 0.02375, 0.02372, 0.02371, 0.02365, 0.02354, 0.02322, 0.02259, 0.0218, 0.02112",\
                 "0.009778, 0.009771, 0.009736, 0.009722, 0.009686, 0.009658, 0.009614, 0.009558, 0.009484, 0.009409");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("0.01745, 0.01742, 0.0173, 0.01707, 0.01679, 0.0165, 0.01648, 0.01882, 0.03055, 0.05443",\
                 "0.01744, 0.01742, 0.01731, 0.0171, 0.01682, 0.01655, 0.01651, 0.01896, 0.03094, 0.0549",\
                 "0.01714, 0.01713, 0.01707, 0.01695, 0.01677, 0.01657, 0.01663, 0.01949, 0.0324, 0.05659",\
                 "0.0166, 0.0166, 0.01659, 0.01655, 0.0165, 0.0164, 0.01669, 0.02048, 0.03517, 0.05943",\
                 "0.01621, 0.01621, 0.01622, 0.01622, 0.01621, 0.01622, 0.01683, 0.02224, 0.03915, 0.06275",\
                 "0.01594, 0.01594, 0.01597, 0.01599, 0.016, 0.01607, 0.01732, 0.0253, 0.04428, 0.06573",\
                 "0.01575, 0.01576, 0.01577, 0.0158, 0.01587, 0.01608, 0.01875, 0.03036, 0.0497, 0.06719",\
                 "0.01562, 0.01562, 0.01564, 0.01567, 0.01574, 0.01655, 0.02237, 0.03712, 0.05322, 0.06547",\
                 "0.0156, 0.0156, 0.01562, 0.01565, 0.01592, 0.01886, 0.02909, 0.04187, 0.0517, 0.05873",\
                 "0.01603, 0.01603, 0.01605, 0.01619, 0.01819, 0.02503, 0.03253, 0.03813, 0.04211, 0.04495");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("0.0005425, 0.0005441, 0.0005476, 0.000543, 0.0005422, 0.0005443, 0.0005422, 0.0005411, 0.0005384, 0.0005357",\
                 "0.0004964, 0.0005079, 0.0005262, 0.0005411, 0.0005613, 0.0005736, 0.0005744, 0.0005796, 0.0005758, 0.0005796",\
                 "0.0003079, 0.000345, 0.0004162, 0.0004955, 0.0005544, 0.000595, 0.00062, 0.0006385, 0.0006485, 0.0006527",\
                 "7.306e-05, 0.0001124, 0.0002198, 0.0003457, 0.0004568, 0.0005361, 0.0005907, 0.0006297, 0.0006561, 0.0006725",\
                 "-0.0001232, -9.215e-05, 5.261e-06, 0.0001497, 0.0003001, 0.0004168, 0.000504, 0.0005688, 0.0006129, 0.0006379",\
                 "-0.0002428, -0.0002173, -0.0001398, -1.153e-05, 0.0001373, 0.0002759, 0.0003897, 0.0004763, 0.0005389, 0.0005677",\
                 "-0.0002722, -0.0002603, -0.0002096, -0.0001139, 1.093e-05, 0.0001471, 0.0002711, 0.0003721, 0.0004378, 0.0004386",\
                 "-0.0002316, -0.0002254, -0.0002029, -0.0001504, -5.869e-05, 5.284e-05, 0.0001643, 0.0002512, 0.0002505, 7.254e-05",\
                 "3.933e-06, 9.37e-07, -2.975e-06, 5.472e-06, 4.87e-05, 0.0001103, 0.0001358, -3.4e-05, -0.0004835, -0.0009896",\
                 "0.0006813, 0.0006722, 0.0006385, 0.0005899, 0.0005107, 0.0001043, -0.0006258, -0.001171, -0.001541, -0.001797");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("0.009815, 0.009828, 0.009843, 0.009866, 0.009898, 0.009921, 0.01008, 0.01203, 0.02219, 0.0455",\
                 "0.009684, 0.009714, 0.009791, 0.009888, 0.009973, 0.01003, 0.01022, 0.01227, 0.0227, 0.04623",\
                 "0.009211, 0.009259, 0.009399, 0.009568, 0.009727, 0.009866, 0.01016, 0.01257, 0.02395, 0.04799",\
                 "0.008922, 0.008955, 0.009056, 0.009223, 0.009407, 0.009601, 0.01002, 0.01319, 0.0265, 0.05113",\
                 "0.008809, 0.008825, 0.008887, 0.009004, 0.009164, 0.009353, 0.01003, 0.01482, 0.031, 0.05556",\
                 "0.008775, 0.008791, 0.008837, 0.008908, 0.009009, 0.009218, 0.01058, 0.0186, 0.03793, 0.05999",\
                 "0.00882, 0.008817, 0.008831, 0.008881, 0.008968, 0.009368, 0.01305, 0.02631, 0.04541, 0.06143",\
                 "0.008919, 0.008909, 0.008898, 0.00891, 0.009108, 0.01134, 0.02095, 0.03516, 0.04677, 0.05526",\
                 "0.008748, 0.008744, 0.008735, 0.00893, 0.01162, 0.01861, 0.025, 0.02967, 0.03302, 0.03544",\
                 "0.006911, 0.006666, 0.006603, 0.007615, 0.009007, 0.01022, 0.01111, 0.01175, 0.0122, 0.01253");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("0.0005425, 0.0005441, 0.000548, 0.000543, 0.0005419, 0.0005427, 0.0005422, 0.0005411, 0.0005378, 0.0005357",\
                 "0.0004964, 0.0005067, 0.0005262, 0.0005418, 0.0005613, 0.0005728, 0.0005738, 0.0005795, 0.0005778, 0.0005796",\
                 "0.0003077, 0.0003466, 0.0004136, 0.0004939, 0.0005538, 0.0005943, 0.0006199, 0.0006376, 0.0006447, 0.0006515",\
                 "7.346e-05, 0.0001119, 0.0002183, 0.0003451, 0.0004534, 0.0005353, 0.0005915, 0.0006301, 0.0006565, 0.0006687",\
                 "-0.0001232, -9.151e-05, 7.055e-06, 0.000151, 0.0002977, 0.0004154, 0.0005047, 0.0005687, 0.0006135, 0.0006384",\
                 "-0.000242, -0.0002173, -0.0001397, -1.285e-05, 0.0001365, 0.0002765, 0.0003891, 0.0004751, 0.0005377, 0.0005679",\
                 "-0.000273, -0.0002602, -0.0002096, -0.0001144, 1.09e-05, 0.0001466, 0.0002709, 0.0003703, 0.0004374, 0.0004383",\
                 "-0.0002287, -0.0002253, -0.0002036, -0.0001486, -5.912e-05, 5.289e-05, 0.0001636, 0.0002506, 0.0002504, 7.268e-05",\
                 "4.04e-06, 8.84e-07, -3.259e-06, 5.38e-06, 4.846e-05, 0.00011, 0.000136, -3.406e-05, -0.0004831, -0.0009901",\
                 "0.0006813, 0.000674, 0.0006383, 0.0005896, 0.0005103, 0.0001041, -0.000626, -0.001171, -0.001542, -0.001797");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("0.009816, 0.009834, 0.009844, 0.009867, 0.009898, 0.009923, 0.01009, 0.01203, 0.02219, 0.0455",\
                 "0.009685, 0.009717, 0.009793, 0.00989, 0.009966, 0.01003, 0.01022, 0.01228, 0.02271, 0.04623",\
                 "0.009218, 0.00926, 0.009394, 0.00957, 0.009725, 0.009872, 0.01016, 0.01255, 0.02397, 0.04798",\
                 "0.008928, 0.008956, 0.00906, 0.009227, 0.009414, 0.009604, 0.01003, 0.01321, 0.02648, 0.05113",\
                 "0.008807, 0.008826, 0.008889, 0.009008, 0.009167, 0.009354, 0.01004, 0.01482, 0.031, 0.05556",\
                 "0.008778, 0.008789, 0.008837, 0.008914, 0.009018, 0.009219, 0.01058, 0.0186, 0.03789, 0.05999",\
                 "0.008816, 0.008815, 0.008837, 0.00888, 0.008972, 0.009375, 0.01306, 0.02632, 0.04543, 0.06142",\
                 "0.008914, 0.00891, 0.0089, 0.008907, 0.009109, 0.01134, 0.02094, 0.03517, 0.04676, 0.05526",\
                 "0.008748, 0.008747, 0.008748, 0.008926, 0.0116, 0.01862, 0.02501, 0.02967, 0.03301, 0.03544",\
                 "0.006913, 0.006668, 0.006603, 0.007616, 0.009008, 0.01022, 0.01111, 0.01175, 0.01221, 0.01253");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("0.0261, 0.02609, 0.02602, 0.02585, 0.02563, 0.02537, 0.02511, 0.02488, 0.02469, 0.02454",\
                 "0.02604, 0.02603, 0.02596, 0.02581, 0.02559, 0.02533, 0.02508, 0.02486, 0.02466, 0.02451",\
                 "0.02592, 0.02591, 0.02585, 0.0257, 0.0255, 0.02526, 0.025, 0.02478, 0.02459, 0.02444",\
                 "0.02579, 0.02576, 0.02572, 0.02559, 0.02541, 0.02517, 0.02493, 0.02471, 0.02452, 0.02436",\
                 "0.02556, 0.02555, 0.0255, 0.0254, 0.02524, 0.02505, 0.02484, 0.02463, 0.02444, 0.02429",\
                 "0.02518, 0.02518, 0.02515, 0.02508, 0.02499, 0.02485, 0.02468, 0.02451, 0.02435, 0.0242",\
                 "0.02486, 0.02486, 0.02485, 0.02482, 0.02475, 0.02466, 0.02454, 0.02441, 0.02426, 0.02411",\
                 "0.02459, 0.02459, 0.02458, 0.02457, 0.02454, 0.02448, 0.02439, 0.02427, 0.02411, 0.02386",\
                 "0.02375, 0.02375, 0.02374, 0.02372, 0.02366, 0.02355, 0.02324, 0.02259, 0.02182, 0.02113",\
                 "0.009767, 0.009768, 0.009745, 0.009711, 0.009684, 0.009649, 0.009607, 0.009554, 0.00948, 0.009402");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("0.01741, 0.01738, 0.01725, 0.01703, 0.01674, 0.01646, 0.01644, 0.01879, 0.03056, 0.05443",\
                 "0.0174, 0.01737, 0.01726, 0.01705, 0.01678, 0.0165, 0.01648, 0.01893, 0.03094, 0.05493",\
                 "0.0171, 0.01708, 0.01703, 0.01691, 0.01672, 0.01652, 0.01659, 0.01947, 0.03243, 0.05659",\
                 "0.01655, 0.01655, 0.01654, 0.01651, 0.01645, 0.01636, 0.01665, 0.02049, 0.03517, 0.05942",\
                 "0.01616, 0.01616, 0.01617, 0.01618, 0.01617, 0.01616, 0.01679, 0.02223, 0.03918, 0.06274",\
                 "0.01589, 0.0159, 0.01592, 0.01594, 0.01595, 0.01602, 0.0173, 0.02531, 0.0443, 0.06571",\
                 "0.0157, 0.01571, 0.01572, 0.01576, 0.01582, 0.01604, 0.01873, 0.03039, 0.04972, 0.06715",\
                 "0.01558, 0.01559, 0.0156, 0.01562, 0.01568, 0.01652, 0.02237, 0.03714, 0.05319, 0.06539",\
                 "0.01555, 0.01555, 0.01557, 0.0156, 0.01587, 0.01884, 0.02909, 0.04183, 0.05161, 0.05862",\
                 "0.01598, 0.01599, 0.016, 0.01614, 0.01818, 0.025, 0.03246, 0.03802, 0.04199, 0.04483");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("6.874, 6.946, 7.174, 7.547, 8.048, 8.67, 9.42, 10.31, 11.35, 12.55",\
                 "6.952, 7.024, 7.252, 7.626, 8.127, 8.748, 9.498, 10.39, 11.43, 12.63",\
                 "7.188, 7.261, 7.488, 7.863, 8.363, 8.984, 9.734, 10.62, 11.66, 12.87",\
                 "7.542, 7.613, 7.842, 8.215, 8.716, 9.338, 10.09, 10.98, 12.02, 13.22",\
                 "7.89, 7.962, 8.191, 8.563, 9.065, 9.686, 10.44, 11.32, 12.36, 13.57",\
                 "8.198, 8.27, 8.498, 8.872, 9.372, 9.995, 10.74, 11.63, 12.67, 13.88",\
                 "8.449, 8.52, 8.749, 9.122, 9.623, 10.24, 10.99, 11.88, 12.92, 14.13",\
                 "8.622, 8.694, 8.922, 9.294, 9.794, 10.42, 11.17, 12.05, 13.09, 14.3",\
                 "8.715, 8.786, 9.014, 9.386, 9.885, 10.51, 11.26, 12.14, 13.18, 14.39",\
                 "8.707, 8.777, 9.005, 9.377, 9.877, 10.5, 11.25, 12.13, 13.17, 14.38");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("7.268, 7.37, 7.724, 8.396, 9.434, 10.88, 12.78, 15.16, 18.07, 21.53",\
                 "7.317, 7.418, 7.773, 8.445, 9.482, 10.93, 12.83, 15.21, 18.12, 21.58",\
                 "7.534, 7.635, 7.991, 8.661, 9.699, 11.15, 13.04, 15.43, 18.34, 21.8",\
                 "7.96, 8.061, 8.416, 9.088, 10.13, 11.57, 13.47, 15.86, 18.76, 22.23",\
                 "8.601, 8.703, 9.058, 9.729, 10.77, 12.21, 14.11, 16.5, 19.4, 22.87",\
                 "9.483, 9.584, 9.939, 10.61, 11.65, 13.1, 14.99, 17.38, 20.29, 23.75",\
                 "10.61, 10.72, 11.07, 11.74, 12.78, 14.23, 16.13, 18.51, 21.42, 24.88",\
                 "11.94, 12.04, 12.4, 13.07, 14.11, 15.55, 17.45, 19.84, 22.74, 26.21",\
                 "13.41, 13.51, 13.87, 14.54, 15.58, 17.02, 18.92, 21.31, 24.22, 27.68",\
                 "15.04, 15.14, 15.5, 16.17, 17.2, 18.65, 20.55, 22.94, 25.85, 29.31");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("1.213, 1.273, 1.472, 1.835, 2.387, 3.151, 4.153, 5.413, 6.977, 8.85",\
                 "1.214, 1.273, 1.472, 1.835, 2.385, 3.153, 4.154, 5.418, 6.973, 8.858",\
                 "1.213, 1.274, 1.472, 1.835, 2.385, 3.155, 4.156, 5.419, 6.978, 8.856",\
                 "1.212, 1.272, 1.472, 1.833, 2.385, 3.153, 4.156, 5.416, 6.976, 8.856",\
                 "1.213, 1.273, 1.472, 1.838, 2.384, 3.152, 4.156, 5.42, 6.978, 8.854",\
                 "1.214, 1.272, 1.472, 1.834, 2.394, 3.154, 4.15, 5.414, 6.984, 8.858",\
                 "1.21, 1.27, 1.47, 1.832, 2.388, 3.154, 4.16, 5.416, 6.978, 8.856",\
                 "1.204, 1.264, 1.466, 1.83, 2.38, 3.148, 4.154, 5.418, 6.978, 8.86",\
                 "1.202, 1.264, 1.466, 1.828, 2.382, 3.154, 4.154, 5.414, 6.968, 8.852",\
                 "1.204, 1.264, 1.462, 1.826, 2.38, 3.15, 4.152, 5.412, 6.972, 8.856");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("1.845, 2.006, 2.577, 3.667, 5.362, 7.733, 10.85, 14.78, 19.57, 25.28",\
                 "1.845, 2.008, 2.576, 3.667, 5.364, 7.737, 10.85, 14.78, 19.58, 25.29",\
                 "1.843, 2.007, 2.576, 3.667, 5.362, 7.737, 10.85, 14.78, 19.58, 25.29",\
                 "1.844, 2.005, 2.578, 3.667, 5.362, 7.732, 10.86, 14.78, 19.57, 25.27",\
                 "1.844, 2.006, 2.576, 3.666, 5.362, 7.734, 10.85, 14.78, 19.57, 25.28",\
                 "1.844, 2.006, 2.576, 3.668, 5.362, 7.734, 10.85, 14.78, 19.57, 25.28",\
                 "1.844, 2.008, 2.576, 3.666, 5.358, 7.734, 10.85, 14.78, 19.57, 25.29",\
                 "1.846, 2.006, 2.576, 3.666, 5.358, 7.732, 10.86, 14.78, 19.58, 25.29",\
                 "1.846, 2.006, 2.576, 3.668, 5.36, 7.738, 10.86, 14.78, 19.57, 25.29",\
                 "1.848, 2.014, 2.578, 3.666, 5.358, 7.732, 10.85, 14.79, 19.58, 25.28");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("5.723, 5.763, 5.892, 6.11, 6.406, 6.77, 7.198, 7.694, 8.262, 8.91",\
                 "5.777, 5.816, 5.946, 6.164, 6.46, 6.824, 7.253, 7.748, 8.316, 8.964",\
                 "5.973, 6.012, 6.142, 6.361, 6.656, 7.02, 7.448, 7.944, 8.512, 9.16",\
                 "6.345, 6.385, 6.514, 6.732, 7.028, 7.392, 7.82, 8.316, 8.883, 9.531",\
                 "6.899, 6.939, 7.068, 7.287, 7.582, 7.946, 8.375, 8.87, 9.438, 10.09",\
                 "7.525, 7.564, 7.695, 7.913, 8.21, 8.574, 9.003, 9.498, 10.07, 10.71",\
                 "8.122, 8.163, 8.291, 8.511, 8.809, 9.173, 9.601, 10.1, 10.67, 11.31",\
                 "8.666, 8.706, 8.836, 9.056, 9.352, 9.718, 10.15, 10.64, 11.21, 11.86",\
                 "9.146, 9.186, 9.314, 9.536, 9.834, 10.2, 10.63, 11.12, 11.69, 12.34",\
                 "9.549, 9.589, 9.719, 9.938, 10.24, 10.6, 11.03, 11.53, 12.1, 12.74");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("7.169, 7.268, 7.615, 8.276, 9.303, 10.74, 12.63, 15.01, 17.91, 21.37",\
                 "7.247, 7.347, 7.694, 8.355, 9.382, 10.82, 12.71, 15.09, 17.99, 21.45",\
                 "7.471, 7.57, 7.918, 8.578, 9.605, 11.04, 12.93, 15.31, 18.21, 21.67",\
                 "7.925, 8.024, 8.37, 9.03, 10.06, 11.5, 13.39, 15.77, 18.67, 22.13",\
                 "8.665, 8.764, 9.112, 9.772, 10.8, 12.24, 14.13, 16.51, 19.41, 22.87",\
                 "9.733, 9.833, 10.18, 10.84, 11.87, 13.31, 15.2, 17.58, 20.48, 23.94",\
                 "11.15, 11.25, 11.6, 12.26, 13.28, 14.72, 16.61, 18.99, 21.89, 25.35",\
                 "12.88, 12.98, 13.32, 13.98, 15.01, 16.45, 18.34, 20.72, 23.62, 27.08",\
                 "14.79, 14.89, 15.24, 15.9, 16.92, 18.36, 20.25, 22.63, 25.53, 28.99",\
                 "16.83, 16.93, 17.27, 17.93, 18.96, 20.4, 22.29, 24.66, 27.57, 31.03");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("0.8782, 0.9232, 1.065, 1.307, 1.641, 2.064, 2.59, 3.243, 4.037, 5.005",\
                 "0.8788, 0.9204, 1.065, 1.309, 1.642, 2.063, 2.591, 3.24, 4.04, 4.998",\
                 "0.8766, 0.923, 1.066, 1.305, 1.638, 2.063, 2.589, 3.243, 4.038, 5.004",\
                 "0.881, 0.9236, 1.065, 1.31, 1.64, 2.061, 2.592, 3.243, 4.041, 4.998",\
                 "0.8792, 0.9208, 1.066, 1.306, 1.64, 2.063, 2.589, 3.24, 4.04, 5",\
                 "0.878, 0.922, 1.066, 1.31, 1.638, 2.06, 2.592, 3.242, 4.04, 5",\
                 "0.88, 0.924, 1.066, 1.312, 1.638, 2.064, 2.592, 3.242, 4.04, 5.002",\
                 "0.882, 0.928, 1.07, 1.312, 1.642, 2.062, 2.59, 3.244, 4.042, 5.004",\
                 "0.884, 0.926, 1.07, 1.31, 1.64, 2.064, 2.59, 3.242, 4.04, 5.004",\
                 "0.884, 0.928, 1.07, 1.314, 1.642, 2.068, 2.592, 3.244, 4.042, 5.002");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("1.581, 1.738, 2.302, 3.381, 5.067, 7.45, 10.55, 14.49, 19.27, 24.97",\
                 "1.576, 1.738, 2.303, 3.379, 5.07, 7.449, 10.55, 14.49, 19.27, 24.97",\
                 "1.577, 1.738, 2.299, 3.387, 5.071, 7.444, 10.57, 14.49, 19.28, 24.97",\
                 "1.579, 1.738, 2.303, 3.386, 5.072, 7.446, 10.56, 14.48, 19.27, 24.97",\
                 "1.576, 1.738, 2.302, 3.38, 5.07, 7.444, 10.56, 14.49, 19.27, 25",\
                 "1.58, 1.738, 2.304, 3.378, 5.074, 7.45, 10.56, 14.48, 19.28, 24.98",\
                 "1.576, 1.736, 2.298, 3.38, 5.066, 7.45, 10.55, 14.48, 19.28, 25.01",\
                 "1.576, 1.738, 2.302, 3.382, 5.07, 7.442, 10.56, 14.49, 19.27, 25",\
                 "1.58, 1.74, 2.302, 3.376, 5.068, 7.438, 10.57, 14.48, 19.29, 25",\
                 "1.582, 1.738, 2.302, 3.378, 5.062, 7.434, 10.56, 14.48, 19.28, 24.99");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("6.874, 6.946, 7.174, 7.547, 8.048, 8.67, 9.42, 10.31, 11.35, 12.55",\
                 "6.952, 7.024, 7.252, 7.626, 8.127, 8.748, 9.498, 10.39, 11.43, 12.63",\
                 "7.188, 7.261, 7.488, 7.863, 8.363, 8.984, 9.734, 10.62, 11.66, 12.87",\
                 "7.542, 7.613, 7.842, 8.215, 8.716, 9.338, 10.09, 10.98, 12.02, 13.22",\
                 "7.89, 7.962, 8.191, 8.563, 9.065, 9.686, 10.44, 11.32, 12.36, 13.57",\
                 "8.198, 8.27, 8.498, 8.872, 9.372, 9.995, 10.74, 11.63, 12.67, 13.88",\
                 "8.449, 8.52, 8.749, 9.122, 9.623, 10.24, 10.99, 11.88, 12.92, 14.13",\
                 "8.622, 8.694, 8.922, 9.294, 9.794, 10.42, 11.17, 12.05, 13.09, 14.3",\
                 "8.715, 8.786, 9.014, 9.386, 9.885, 10.51, 11.26, 12.14, 13.18, 14.39",\
                 "8.707, 8.777, 9.005, 9.377, 9.877, 10.5, 11.25, 12.13, 13.17, 14.38");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("7.169, 7.268, 7.615, 8.276, 9.303, 10.74, 12.63, 15.01, 17.91, 21.37",\
                 "7.247, 7.347, 7.694, 8.355, 9.382, 10.82, 12.71, 15.09, 17.99, 21.45",\
                 "7.471, 7.57, 7.918, 8.578, 9.605, 11.04, 12.93, 15.31, 18.21, 21.67",\
                 "7.925, 8.024, 8.37, 9.03, 10.06, 11.5, 13.39, 15.77, 18.67, 22.13",\
                 "8.665, 8.764, 9.112, 9.772, 10.8, 12.24, 14.13, 16.51, 19.41, 22.87",\
                 "9.733, 9.833, 10.18, 10.84, 11.87, 13.31, 15.2, 17.58, 20.48, 23.94",\
                 "11.15, 11.25, 11.6, 12.26, 13.28, 14.72, 16.61, 18.99, 21.89, 25.35",\
                 "12.88, 12.98, 13.32, 13.98, 15.01, 16.45, 18.34, 20.72, 23.62, 27.08",\
                 "14.79, 14.89, 15.24, 15.9, 16.92, 18.36, 20.25, 22.63, 25.53, 28.99",\
                 "16.83, 16.93, 17.27, 17.93, 18.96, 20.4, 22.29, 24.66, 27.57, 31.03");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("1.213, 1.273, 1.472, 1.835, 2.387, 3.151, 4.153, 5.413, 6.977, 8.85",\
                 "1.214, 1.273, 1.472, 1.835, 2.385, 3.153, 4.154, 5.418, 6.973, 8.858",\
                 "1.213, 1.274, 1.472, 1.835, 2.385, 3.155, 4.156, 5.419, 6.978, 8.856",\
                 "1.212, 1.272, 1.472, 1.833, 2.385, 3.153, 4.156, 5.416, 6.976, 8.856",\
                 "1.213, 1.273, 1.472, 1.838, 2.384, 3.152, 4.156, 5.42, 6.978, 8.854",\
                 "1.214, 1.272, 1.472, 1.834, 2.394, 3.154, 4.15, 5.414, 6.984, 8.858",\
                 "1.21, 1.27, 1.47, 1.832, 2.388, 3.154, 4.16, 5.416, 6.978, 8.856",\
                 "1.204, 1.264, 1.466, 1.83, 2.38, 3.148, 4.154, 5.418, 6.978, 8.86",\
                 "1.202, 1.264, 1.466, 1.828, 2.382, 3.154, 4.154, 5.414, 6.968, 8.852",\
                 "1.204, 1.264, 1.462, 1.826, 2.38, 3.15, 4.152, 5.412, 6.972, 8.856");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("1.845, 2.006, 2.577, 3.667, 5.362, 7.733, 10.85, 14.78, 19.57, 25.28",\
                 "1.845, 2.008, 2.576, 3.667, 5.364, 7.737, 10.85, 14.78, 19.58, 25.29",\
                 "1.843, 2.007, 2.576, 3.667, 5.362, 7.737, 10.85, 14.78, 19.58, 25.29",\
                 "1.844, 2.005, 2.578, 3.667, 5.362, 7.732, 10.86, 14.78, 19.57, 25.27",\
                 "1.844, 2.006, 2.576, 3.666, 5.362, 7.734, 10.85, 14.78, 19.57, 25.28",\
                 "1.844, 2.006, 2.576, 3.668, 5.362, 7.734, 10.85, 14.78, 19.57, 25.28",\
                 "1.844, 2.008, 2.576, 3.666, 5.358, 7.734, 10.85, 14.78, 19.57, 25.29",\
                 "1.846, 2.006, 2.576, 3.666, 5.358, 7.732, 10.86, 14.78, 19.58, 25.29",\
                 "1.846, 2.006, 2.576, 3.668, 5.36, 7.738, 10.86, 14.78, 19.57, 25.29",\
                 "1.848, 2.014, 2.578, 3.666, 5.358, 7.732, 10.85, 14.79, 19.58, 25.28");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("9.704, 9.744, 9.873, 10.09, 10.39, 10.75, 11.18, 11.67, 12.24, 12.89",\
                 "9.753, 9.793, 9.922, 10.14, 10.44, 10.8, 11.23, 11.72, 12.29, 12.94",\
                 "9.971, 10.01, 10.14, 10.36, 10.65, 11.02, 11.44, 11.94, 12.51, 13.15",\
                 "10.4, 10.44, 10.56, 10.78, 11.08, 11.44, 11.87, 12.37, 12.93, 13.58",\
                 "11.04, 11.08, 11.21, 11.42, 11.72, 12.08, 12.51, 13.01, 13.57, 14.22",\
                 "11.92, 11.96, 12.09, 12.31, 12.6, 12.96, 13.39, 13.89, 14.46, 15.1",\
                 "13.05, 13.09, 13.22, 13.44, 13.73, 14.1, 14.53, 15.02, 15.59, 16.24",\
                 "14.38, 14.42, 14.55, 14.76, 15.06, 15.42, 15.85, 16.35, 16.91, 17.56",\
                 "15.85, 15.89, 16.02, 16.24, 16.53, 16.9, 17.32, 17.82, 18.39, 19.03",\
                 "17.48, 17.52, 17.65, 17.86, 18.16, 18.52, 18.95, 19.45, 20.02, 20.66");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("8.489, 8.589, 8.936, 9.597, 10.62, 12.06, 13.95, 16.33, 19.23, 22.69",\
                 "8.568, 8.668, 9.015, 9.675, 10.7, 12.14, 14.03, 16.41, 19.31, 22.77",\
                 "8.803, 8.903, 9.25, 9.91, 10.94, 12.37, 14.27, 16.64, 19.55, 23",\
                 "9.155, 9.255, 9.601, 10.26, 11.29, 12.73, 14.62, 17, 19.9, 23.36",\
                 "9.503, 9.602, 9.949, 10.61, 11.64, 13.07, 14.96, 17.34, 20.25, 23.7",\
                 "9.81, 9.909, 10.26, 10.92, 11.95, 13.38, 15.27, 17.65, 20.56, 24.01",\
                 "10.06, 10.16, 10.51, 11.17, 12.2, 13.64, 15.53, 17.9, 20.81, 24.27",\
                 "10.24, 10.34, 10.68, 11.34, 12.37, 13.81, 15.7, 18.08, 20.98, 24.44",\
                 "10.33, 10.43, 10.78, 11.44, 12.46, 13.9, 15.79, 18.17, 21.07, 24.53",\
                 "10.32, 10.42, 10.77, 11.43, 12.46, 13.89, 15.78, 18.16, 21.07, 24.52");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("0.8732, 0.92, 1.062, 1.308, 1.637, 2.064, 2.594, 3.242, 4.04, 5.006",\
                 "0.8726, 0.9168, 1.061, 1.305, 1.638, 2.06, 2.592, 3.244, 4.042, 5.006",\
                 "0.872, 0.918, 1.062, 1.304, 1.638, 2.062, 2.59, 3.242, 4.042, 5.006",\
                 "0.874, 0.92, 1.064, 1.304, 1.638, 2.062, 2.59, 3.244, 4.04, 5.002",\
                 "0.876, 0.92, 1.062, 1.304, 1.638, 2.062, 2.59, 3.242, 4.04, 5.006",\
                 "0.874, 0.918, 1.064, 1.304, 1.636, 2.06, 2.588, 3.24, 4.038, 5.006",\
                 "0.872, 0.918, 1.064, 1.304, 1.636, 2.06, 2.59, 3.242, 4.038, 4.998",\
                 "0.876, 0.92, 1.064, 1.304, 1.638, 2.062, 2.59, 3.24, 4.04, 5.006",\
                 "0.876, 0.918, 1.064, 1.306, 1.64, 2.064, 2.592, 3.24, 4.038, 5.004",\
                 "0.876, 0.918, 1.064, 1.308, 1.636, 2.062, 2.59, 3.24, 4.04, 5");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("1.577, 1.738, 2.298, 3.382, 5.065, 7.442, 10.57, 14.49, 19.29, 24.97",\
                 "1.582, 1.738, 2.303, 3.378, 5.069, 7.448, 10.55, 14.49, 19.27, 24.97",\
                 "1.579, 1.74, 2.302, 3.386, 5.07, 7.442, 10.56, 14.49, 19.27, 24.97",\
                 "1.58, 1.742, 2.302, 3.384, 5.07, 7.442, 10.56, 14.48, 19.27, 25",\
                 "1.578, 1.734, 2.296, 3.382, 5.068, 7.442, 10.57, 14.5, 19.26, 25",\
                 "1.58, 1.738, 2.298, 3.386, 5.07, 7.444, 10.56, 14.48, 19.28, 25",\
                 "1.58, 1.738, 2.302, 3.38, 5.064, 7.448, 10.55, 14.47, 19.29, 24.99",\
                 "1.578, 1.736, 2.296, 3.384, 5.07, 7.448, 10.55, 14.49, 19.27, 25.01",\
                 "1.58, 1.738, 2.3, 3.384, 5.07, 7.438, 10.55, 14.48, 19.29, 24.98",\
                 "1.58, 1.738, 2.302, 3.38, 5.068, 7.434, 10.56, 14.48, 19.27, 24.99");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("5.552, 5.623, 5.849, 6.22, 6.718, 7.337, 8.085, 8.97, 10.01, 11.21",\
                 "5.631, 5.702, 5.929, 6.299, 6.797, 7.417, 8.165, 9.05, 10.09, 11.29",\
                 "5.856, 5.927, 6.154, 6.525, 7.022, 7.642, 8.39, 9.275, 10.31, 11.52",\
                 "6.31, 6.381, 6.606, 6.976, 7.476, 8.095, 8.843, 9.728, 10.77, 11.97",\
                 "7.051, 7.121, 7.348, 7.717, 8.216, 8.835, 9.583, 10.47, 11.5, 12.71",\
                 "8.118, 8.189, 8.414, 8.785, 9.282, 9.902, 10.65, 11.54, 12.57, 13.78",\
                 "9.541, 9.611, 9.837, 10.21, 10.7, 11.32, 12.07, 12.96, 14, 15.2",\
                 "11.29, 11.37, 11.6, 11.97, 12.47, 13.1, 13.85, 14.73, 15.77, 16.98",\
                 "13.25, 13.33, 13.57, 13.97, 14.48, 15.12, 15.88, 16.77, 17.81, 19.02",\
                 "15.33, 15.42, 15.68, 16.1, 16.64, 17.3, 18.07, 18.98, 20.03, 21.24");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("3.27, 3.374, 3.735, 4.41, 5.448, 6.896, 8.792, 11.17, 14.08, 17.54",\
                 "3.324, 3.428, 3.789, 4.464, 5.503, 6.95, 8.846, 11.23, 14.13, 17.59",\
                 "3.52, 3.624, 3.984, 4.66, 5.698, 7.145, 9.042, 11.43, 14.33, 17.79",\
                 "3.892, 3.996, 4.356, 5.03, 6.068, 7.515, 9.412, 11.8, 14.7, 18.16",\
                 "4.445, 4.549, 4.908, 5.582, 6.619, 8.066, 9.964, 12.35, 15.25, 18.72",\
                 "5.062, 5.166, 5.527, 6.201, 7.237, 8.683, 10.58, 12.97, 15.88, 19.34",\
                 "5.644, 5.749, 6.113, 6.79, 7.83, 9.277, 11.17, 13.56, 16.47, 19.93",\
                 "6.171, 6.277, 6.643, 7.322, 8.361, 9.81, 11.71, 14.09, 17, 20.47",\
                 "6.63, 6.741, 7.11, 7.791, 8.831, 10.28, 12.18, 14.56, 17.47, 20.94",\
                 "7.008, 7.119, 7.493, 8.18, 9.22, 10.67, 12.56, 14.95, 17.86, 21.33");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("1.196, 1.257, 1.456, 1.82, 2.377, 3.141, 4.146, 5.405, 6.969, 8.849",\
                 "1.197, 1.256, 1.456, 1.819, 2.377, 3.144, 4.145, 5.41, 6.967, 8.845",\
                 "1.197, 1.256, 1.456, 1.819, 2.374, 3.144, 4.141, 5.408, 6.974, 8.848",\
                 "1.197, 1.256, 1.457, 1.819, 2.374, 3.141, 4.147, 5.41, 6.968, 8.842",\
                 "1.196, 1.256, 1.456, 1.818, 2.372, 3.142, 4.146, 5.406, 6.968, 8.842",\
                 "1.194, 1.256, 1.458, 1.822, 2.372, 3.142, 4.144, 5.404, 6.968, 8.842",\
                 "1.2, 1.26, 1.46, 1.828, 2.374, 3.144, 4.146, 5.406, 6.97, 8.842",\
                 "1.234, 1.296, 1.49, 1.846, 2.392, 3.162, 4.158, 5.414, 6.968, 8.842",\
                 "1.344, 1.402, 1.594, 1.936, 2.462, 3.212, 4.198, 5.448, 6.994, 8.862",\
                 "1.474, 1.532, 1.722, 2.056, 2.568, 3.296, 4.27, 5.508, 7.04, 8.898");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("1.901, 2.061, 2.618, 3.685, 5.368, 7.745, 10.86, 14.79, 19.58, 25.29",\
                 "1.901, 2.061, 2.618, 3.686, 5.369, 7.745, 10.86, 14.79, 19.58, 25.3",\
                 "1.899, 2.061, 2.618, 3.688, 5.368, 7.745, 10.87, 14.79, 19.58, 25.29",\
                 "1.903, 2.061, 2.618, 3.687, 5.373, 7.739, 10.86, 14.79, 19.58, 25.29",\
                 "1.906, 2.061, 2.618, 3.69, 5.374, 7.74, 10.86, 14.79, 19.58, 25.29",\
                 "1.925, 2.079, 2.632, 3.695, 5.376, 7.74, 10.86, 14.79, 19.58, 25.3",\
                 "1.958, 2.11, 2.658, 3.714, 5.384, 7.75, 10.86, 14.79, 19.58, 25.3",\
                 "1.988, 2.144, 2.682, 3.734, 5.398, 7.762, 10.88, 14.79, 19.58, 25.3",\
                 "2.038, 2.186, 2.714, 3.752, 5.406, 7.766, 10.88, 14.81, 19.59, 25.3",\
                 "2.088, 2.236, 2.758, 3.782, 5.418, 7.766, 10.88, 14.81, 19.6, 25.3");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("5.552, 5.623, 5.849, 6.22, 6.718, 7.337, 8.085, 8.97, 10.01, 11.21",\
                 "5.631, 5.702, 5.929, 6.299, 6.797, 7.417, 8.165, 9.05, 10.09, 11.29",\
                 "5.856, 5.927, 6.154, 6.525, 7.022, 7.642, 8.39, 9.275, 10.31, 11.52",\
                 "6.31, 6.381, 6.606, 6.976, 7.476, 8.095, 8.843, 9.728, 10.77, 11.97",\
                 "7.051, 7.121, 7.348, 7.717, 8.216, 8.835, 9.583, 10.47, 11.5, 12.71",\
                 "8.118, 8.189, 8.414, 8.785, 9.282, 9.902, 10.65, 11.54, 12.57, 13.78",\
                 "9.541, 9.611, 9.837, 10.21, 10.7, 11.32, 12.07, 12.96, 14, 15.2",\
                 "11.29, 11.37, 11.6, 11.97, 12.47, 13.1, 13.85, 14.73, 15.77, 16.98",\
                 "13.25, 13.33, 13.57, 13.97, 14.48, 15.12, 15.88, 16.77, 17.81, 19.02",\
                 "15.33, 15.42, 15.68, 16.1, 16.64, 17.3, 18.07, 18.98, 20.03, 21.24");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("8.489, 8.589, 8.936, 9.597, 10.62, 12.06, 13.95, 16.33, 19.23, 22.69",\
                 "8.568, 8.668, 9.015, 9.675, 10.7, 12.14, 14.03, 16.41, 19.31, 22.77",\
                 "8.803, 8.903, 9.25, 9.91, 10.94, 12.37, 14.27, 16.64, 19.55, 23",\
                 "9.155, 9.255, 9.601, 10.26, 11.29, 12.73, 14.62, 17, 19.9, 23.36",\
                 "9.503, 9.602, 9.949, 10.61, 11.64, 13.07, 14.96, 17.34, 20.25, 23.7",\
                 "9.81, 9.909, 10.26, 10.92, 11.95, 13.38, 15.27, 17.65, 20.56, 24.01",\
                 "10.06, 10.16, 10.51, 11.17, 12.2, 13.64, 15.53, 17.9, 20.81, 24.27",\
                 "10.24, 10.34, 10.68, 11.34, 12.37, 13.81, 15.7, 18.08, 20.98, 24.44",\
                 "10.33, 10.43, 10.78, 11.44, 12.46, 13.9, 15.79, 18.17, 21.07, 24.53",\
                 "10.32, 10.42, 10.77, 11.43, 12.46, 13.89, 15.78, 18.16, 21.07, 24.52");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("1.196, 1.257, 1.456, 1.82, 2.377, 3.141, 4.146, 5.405, 6.969, 8.849",\
                 "1.197, 1.256, 1.456, 1.819, 2.377, 3.144, 4.145, 5.41, 6.967, 8.845",\
                 "1.197, 1.256, 1.456, 1.819, 2.374, 3.144, 4.141, 5.408, 6.974, 8.848",\
                 "1.197, 1.256, 1.457, 1.819, 2.374, 3.141, 4.147, 5.41, 6.968, 8.842",\
                 "1.196, 1.256, 1.456, 1.818, 2.372, 3.142, 4.146, 5.406, 6.968, 8.842",\
                 "1.194, 1.256, 1.458, 1.822, 2.372, 3.142, 4.144, 5.404, 6.968, 8.842",\
                 "1.2, 1.26, 1.46, 1.828, 2.374, 3.144, 4.146, 5.406, 6.97, 8.842",\
                 "1.234, 1.296, 1.49, 1.846, 2.392, 3.162, 4.158, 5.414, 6.968, 8.842",\
                 "1.344, 1.402, 1.594, 1.936, 2.462, 3.212, 4.198, 5.448, 6.994, 8.862",\
                 "1.474, 1.532, 1.722, 2.056, 2.568, 3.296, 4.27, 5.508, 7.04, 8.898");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("1.901, 2.061, 2.618, 3.685, 5.368, 7.745, 10.86, 14.79, 19.58, 25.29",\
                 "1.901, 2.061, 2.618, 3.686, 5.369, 7.745, 10.86, 14.79, 19.58, 25.3",\
                 "1.899, 2.061, 2.618, 3.688, 5.368, 7.745, 10.87, 14.79, 19.58, 25.29",\
                 "1.903, 2.061, 2.618, 3.687, 5.373, 7.739, 10.86, 14.79, 19.58, 25.29",\
                 "1.906, 2.061, 2.618, 3.69, 5.374, 7.74, 10.86, 14.79, 19.58, 25.29",\
                 "1.925, 2.079, 2.632, 3.695, 5.376, 7.74, 10.86, 14.79, 19.58, 25.3",\
                 "1.958, 2.11, 2.658, 3.714, 5.384, 7.75, 10.86, 14.79, 19.58, 25.3",\
                 "1.988, 2.144, 2.682, 3.734, 5.398, 7.762, 10.88, 14.79, 19.58, 25.3",\
                 "2.038, 2.186, 2.714, 3.752, 5.406, 7.766, 10.88, 14.81, 19.59, 25.3",\
                 "2.088, 2.236, 2.758, 3.782, 5.418, 7.766, 10.88, 14.81, 19.6, 25.3");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("6.589, 6.66, 6.886, 7.257, 7.755, 8.375, 9.122, 10.01, 11.04, 12.25",\
                 "6.659, 6.73, 6.956, 7.327, 7.826, 8.445, 9.192, 10.08, 11.11, 12.32",\
                 "6.881, 6.951, 7.178, 7.548, 8.047, 8.665, 9.414, 10.3, 11.34, 12.54",\
                 "7.225, 7.295, 7.521, 7.893, 8.391, 9.01, 9.758, 10.64, 11.68, 12.89",\
                 "7.559, 7.63, 7.856, 8.227, 8.726, 9.345, 10.09, 10.98, 12.01, 13.22",\
                 "7.85, 7.921, 8.147, 8.518, 9.017, 9.635, 10.38, 11.27, 12.31, 13.51",\
                 "8.083, 8.154, 8.38, 8.75, 9.247, 9.866, 10.61, 11.5, 12.54, 13.74",\
                 "8.246, 8.316, 8.542, 8.912, 9.41, 10.03, 10.78, 11.66, 12.7, 13.9",\
                 "8.318, 8.389, 8.615, 8.985, 9.483, 10.1, 10.85, 11.73, 12.77, 13.97",\
                 "8.285, 8.356, 8.582, 8.95, 9.449, 10.07, 10.82, 11.7, 12.74, 13.94");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("7.04, 7.142, 7.497, 8.168, 9.206, 10.65, 12.55, 14.94, 17.84, 21.31",\
                 "7.068, 7.17, 7.524, 8.196, 9.233, 10.68, 12.58, 14.96, 17.87, 21.33",\
                 "7.244, 7.346, 7.701, 8.372, 9.41, 10.86, 12.76, 15.14, 18.05, 21.51",\
                 "7.688, 7.79, 8.144, 8.815, 9.853, 11.3, 13.2, 15.58, 18.49, 21.95",\
                 "8.436, 8.538, 8.892, 9.564, 10.6, 12.05, 13.95, 16.33, 19.24, 22.7",\
                 "9.509, 9.61, 9.965, 10.64, 11.67, 13.12, 15.02, 17.41, 20.31, 23.78",\
                 "10.91, 11.01, 11.37, 12.04, 13.08, 14.52, 16.42, 18.81, 21.72, 25.18",\
                 "12.56, 12.67, 13.02, 13.69, 14.73, 16.18, 18.08, 20.46, 23.37, 26.83",\
                 "14.37, 14.47, 14.82, 15.5, 16.53, 17.98, 19.88, 22.27, 25.17, 28.63",\
                 "16.31, 16.41, 16.76, 17.43, 18.47, 19.92, 21.82, 24.2, 27.11, 30.57");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("1.197, 1.256, 1.455, 1.819, 2.371, 3.141, 4.144, 5.406, 6.968, 8.846",\
                 "1.197, 1.256, 1.456, 1.82, 2.372, 3.144, 4.14, 5.409, 6.968, 8.848",\
                 "1.197, 1.256, 1.457, 1.818, 2.373, 3.143, 4.141, 5.405, 6.968, 8.844",\
                 "1.196, 1.255, 1.457, 1.82, 2.37, 3.142, 4.142, 5.406, 6.962, 8.842",\
                 "1.196, 1.257, 1.456, 1.82, 2.37, 3.138, 4.146, 5.402, 6.962, 8.848",\
                 "1.196, 1.256, 1.456, 1.822, 2.372, 3.14, 4.148, 5.412, 6.968, 8.85",\
                 "1.192, 1.254, 1.454, 1.816, 2.37, 3.14, 4.142, 5.41, 6.966, 8.85",\
                 "1.192, 1.254, 1.452, 1.816, 2.372, 3.138, 4.14, 5.404, 6.964, 8.848",\
                 "1.194, 1.254, 1.454, 1.818, 2.372, 3.14, 4.14, 5.404, 6.958, 8.836",\
                 "1.194, 1.254, 1.452, 1.816, 2.376, 3.142, 4.14, 5.406, 6.96, 8.84");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("1.845, 2.006, 2.575, 3.667, 5.362, 7.731, 10.85, 14.78, 19.57, 25.28",\
                 "1.845, 2.008, 2.576, 3.667, 5.364, 7.734, 10.86, 14.78, 19.58, 25.28",\
                 "1.844, 2.006, 2.577, 3.664, 5.362, 7.733, 10.85, 14.78, 19.58, 25.28",\
                 "1.843, 2.008, 2.576, 3.668, 5.357, 7.728, 10.86, 14.78, 19.57, 25.29",\
                 "1.842, 2.008, 2.574, 3.668, 5.364, 7.736, 10.85, 14.78, 19.57, 25.29",\
                 "1.846, 2.008, 2.576, 3.666, 5.356, 7.734, 10.85, 14.77, 19.57, 25.28",\
                 "1.846, 2.006, 2.578, 3.666, 5.356, 7.732, 10.85, 14.79, 19.57, 25.29",\
                 "1.848, 2.008, 2.58, 3.668, 5.362, 7.734, 10.85, 14.78, 19.58, 25.28",\
                 "1.848, 2.008, 2.576, 3.668, 5.362, 7.738, 10.85, 14.78, 19.58, 25.28",\
                 "1.85, 2.01, 2.576, 3.67, 5.36, 7.738, 10.85, 14.78, 19.58, 25.29");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("5.771, 5.81, 5.94, 6.158, 6.454, 6.818, 7.246, 7.742, 8.31, 8.958",\
                 "5.834, 5.874, 6.003, 6.222, 6.518, 6.881, 7.31, 7.805, 8.373, 9.021",\
                 "6.002, 6.042, 6.171, 6.39, 6.685, 7.049, 7.478, 7.973, 8.542, 9.189",\
                 "6.297, 6.336, 6.465, 6.684, 6.98, 7.344, 7.772, 8.268, 8.835, 9.483",\
                 "6.728, 6.767, 6.897, 7.116, 7.412, 7.775, 8.204, 8.699, 9.267, 9.915",\
                 "7.231, 7.271, 7.4, 7.619, 7.915, 8.279, 8.708, 9.203, 9.771, 10.42",\
                 "7.734, 7.773, 7.903, 8.122, 8.418, 8.783, 9.211, 9.706, 10.27, 10.92",\
                 "8.204, 8.243, 8.373, 8.593, 8.888, 9.253, 9.683, 10.18, 10.75, 11.4",\
                 "8.625, 8.663, 8.792, 9.014, 9.309, 9.675, 10.11, 10.6, 11.17, 11.82",\
                 "8.978, 9.016, 9.146, 9.367, 9.665, 10.03, 10.46, 10.96, 11.52, 12.17");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("7.542, 7.641, 7.989, 8.649, 9.676, 11.11, 13, 15.38, 18.29, 21.74",\
                 "7.589, 7.688, 8.036, 8.696, 9.723, 11.16, 13.05, 15.43, 18.33, 21.79",\
                 "7.822, 7.922, 8.269, 8.929, 9.956, 11.39, 13.28, 15.66, 18.57, 22.02",\
                 "8.293, 8.392, 8.739, 9.399, 10.43, 11.86, 13.75, 16.13, 19.04, 22.49",\
                 "9.045, 9.144, 9.492, 10.15, 11.18, 12.62, 14.51, 16.89, 19.79, 23.25",\
                 "10.12, 10.22, 10.57, 11.23, 12.25, 13.69, 15.58, 17.96, 20.86, 24.32",\
                 "11.54, 11.64, 11.99, 12.65, 13.68, 15.11, 17, 19.38, 22.29, 25.74",\
                 "13.3, 13.4, 13.75, 14.41, 15.43, 16.87, 18.76, 21.14, 24.04, 27.5",\
                 "15.28, 15.37, 15.72, 16.38, 17.41, 18.84, 20.73, 23.11, 26.02, 29.47",\
                 "17.38, 17.48, 17.83, 18.49, 19.51, 20.95, 22.84, 25.22, 28.12, 31.58");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("0.878, 0.9204, 1.066, 1.307, 1.642, 2.06, 2.589, 3.243, 4.038, 4.999",\
                 "0.8794, 0.9212, 1.066, 1.309, 1.64, 2.061, 2.592, 3.242, 4.04, 4.998",\
                 "0.8766, 0.9212, 1.066, 1.305, 1.637, 2.062, 2.589, 3.243, 4.038, 5.005",\
                 "0.8786, 0.9204, 1.066, 1.307, 1.642, 2.061, 2.589, 3.24, 4.038, 4.999",\
                 "0.8792, 0.9208, 1.066, 1.307, 1.642, 2.062, 2.59, 3.24, 4.038, 5",\
                 "0.88, 0.922, 1.066, 1.308, 1.64, 2.064, 2.592, 3.244, 4.04, 5",\
                 "0.88, 0.924, 1.066, 1.31, 1.638, 2.064, 2.592, 3.244, 4.04, 5.002",\
                 "0.88, 0.924, 1.066, 1.308, 1.642, 2.064, 2.59, 3.24, 4.036, 5",\
                 "0.882, 0.928, 1.072, 1.31, 1.646, 2.064, 2.592, 3.246, 4.04, 5.002",\
                 "0.884, 0.928, 1.072, 1.312, 1.64, 2.064, 2.592, 3.242, 4.038, 5.002");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("1.576, 1.738, 2.3, 3.381, 5.07, 7.449, 10.56, 14.48, 19.27, 24.97",\
                 "1.579, 1.738, 2.299, 3.387, 5.072, 7.45, 10.56, 14.48, 19.28, 24.97",\
                 "1.578, 1.738, 2.298, 3.379, 5.065, 7.44, 10.57, 14.48, 19.29, 24.97",\
                 "1.578, 1.737, 2.298, 3.382, 5.072, 7.44, 10.55, 14.48, 19.27, 24.97",\
                 "1.578, 1.734, 2.3, 3.38, 5.07, 7.444, 10.55, 14.48, 19.27, 24.99",\
                 "1.578, 1.742, 2.302, 3.38, 5.066, 7.448, 10.57, 14.48, 19.28, 25.01",\
                 "1.576, 1.736, 2.298, 3.38, 5.066, 7.45, 10.55, 14.49, 19.29, 25.01",\
                 "1.58, 1.738, 2.298, 3.386, 5.064, 7.442, 10.57, 14.48, 19.29, 24.98",\
                 "1.582, 1.738, 2.3, 3.38, 5.07, 7.448, 10.56, 14.48, 19.28, 25",\
                 "1.584, 1.74, 2.302, 3.38, 5.064, 7.434, 10.56, 14.49, 19.27, 25.01");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("6.589, 6.66, 6.886, 7.257, 7.755, 8.375, 9.122, 10.01, 11.04, 12.25",\
                 "6.659, 6.73, 6.956, 7.327, 7.826, 8.445, 9.192, 10.08, 11.11, 12.32",\
                 "6.881, 6.951, 7.178, 7.548, 8.047, 8.665, 9.414, 10.3, 11.34, 12.54",\
                 "7.225, 7.295, 7.521, 7.893, 8.391, 9.01, 9.758, 10.64, 11.68, 12.89",\
                 "7.559, 7.63, 7.856, 8.227, 8.726, 9.345, 10.09, 10.98, 12.01, 13.22",\
                 "7.85, 7.921, 8.147, 8.518, 9.017, 9.635, 10.38, 11.27, 12.31, 13.51",\
                 "8.083, 8.154, 8.38, 8.75, 9.247, 9.866, 10.61, 11.5, 12.54, 13.74",\
                 "8.246, 8.316, 8.542, 8.912, 9.41, 10.03, 10.78, 11.66, 12.7, 13.9",\
                 "8.318, 8.389, 8.615, 8.985, 9.483, 10.1, 10.85, 11.73, 12.77, 13.97",\
                 "8.285, 8.356, 8.582, 8.95, 9.449, 10.07, 10.82, 11.7, 12.74, 13.94");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("7.542, 7.641, 7.989, 8.649, 9.676, 11.11, 13, 15.38, 18.29, 21.74",\
                 "7.589, 7.688, 8.036, 8.696, 9.723, 11.16, 13.05, 15.43, 18.33, 21.79",\
                 "7.822, 7.922, 8.269, 8.929, 9.956, 11.39, 13.28, 15.66, 18.57, 22.02",\
                 "8.293, 8.392, 8.739, 9.399, 10.43, 11.86, 13.75, 16.13, 19.04, 22.49",\
                 "9.045, 9.144, 9.492, 10.15, 11.18, 12.62, 14.51, 16.89, 19.79, 23.25",\
                 "10.12, 10.22, 10.57, 11.23, 12.25, 13.69, 15.58, 17.96, 20.86, 24.32",\
                 "11.54, 11.64, 11.99, 12.65, 13.68, 15.11, 17, 19.38, 22.29, 25.74",\
                 "13.3, 13.4, 13.75, 14.41, 15.43, 16.87, 18.76, 21.14, 24.04, 27.5",\
                 "15.28, 15.37, 15.72, 16.38, 17.41, 18.84, 20.73, 23.11, 26.02, 29.47",\
                 "17.38, 17.48, 17.83, 18.49, 19.51, 20.95, 22.84, 25.22, 28.12, 31.58");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("1.197, 1.256, 1.455, 1.819, 2.371, 3.141, 4.144, 5.406, 6.968, 8.846",\
                 "1.197, 1.256, 1.456, 1.82, 2.372, 3.144, 4.14, 5.409, 6.968, 8.848",\
                 "1.197, 1.256, 1.457, 1.818, 2.373, 3.143, 4.141, 5.405, 6.968, 8.844",\
                 "1.196, 1.255, 1.457, 1.82, 2.37, 3.142, 4.142, 5.406, 6.962, 8.842",\
                 "1.196, 1.257, 1.456, 1.82, 2.37, 3.138, 4.146, 5.402, 6.962, 8.848",\
                 "1.196, 1.256, 1.456, 1.822, 2.372, 3.14, 4.148, 5.412, 6.968, 8.85",\
                 "1.192, 1.254, 1.454, 1.816, 2.37, 3.14, 4.142, 5.41, 6.966, 8.85",\
                 "1.192, 1.254, 1.452, 1.816, 2.372, 3.138, 4.14, 5.404, 6.964, 8.848",\
                 "1.194, 1.254, 1.454, 1.818, 2.372, 3.14, 4.14, 5.404, 6.958, 8.836",\
                 "1.194, 1.254, 1.452, 1.816, 2.376, 3.142, 4.14, 5.406, 6.96, 8.84");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("1.845, 2.006, 2.575, 3.667, 5.362, 7.731, 10.85, 14.78, 19.57, 25.28",\
                 "1.845, 2.008, 2.576, 3.667, 5.364, 7.734, 10.86, 14.78, 19.58, 25.28",\
                 "1.844, 2.006, 2.577, 3.664, 5.362, 7.733, 10.85, 14.78, 19.58, 25.28",\
                 "1.843, 2.008, 2.576, 3.668, 5.357, 7.728, 10.86, 14.78, 19.57, 25.29",\
                 "1.842, 2.008, 2.574, 3.668, 5.364, 7.736, 10.85, 14.78, 19.57, 25.29",\
                 "1.846, 2.008, 2.576, 3.666, 5.356, 7.734, 10.85, 14.77, 19.57, 25.28",\
                 "1.846, 2.006, 2.578, 3.666, 5.356, 7.732, 10.85, 14.79, 19.57, 25.29",\
                 "1.848, 2.008, 2.58, 3.668, 5.362, 7.734, 10.85, 14.78, 19.58, 25.28",\
                 "1.848, 2.008, 2.576, 3.668, 5.362, 7.738, 10.85, 14.78, 19.58, 25.28",\
                 "1.85, 2.01, 2.576, 3.67, 5.36, 7.738, 10.85, 14.78, 19.58, 25.29");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("9.476, 9.516, 9.645, 9.863, 10.16, 10.52, 10.95, 11.45, 12.01, 12.66",\
                 "9.504, 9.544, 9.673, 9.891, 10.19, 10.55, 10.98, 11.47, 12.04, 12.69",\
                 "9.68, 9.72, 9.849, 10.07, 10.36, 10.73, 11.15, 11.65, 12.22, 12.86",\
                 "10.12, 10.16, 10.29, 10.51, 10.81, 11.17, 11.6, 12.09, 12.66, 13.31",\
                 "10.87, 10.91, 11.04, 11.26, 11.55, 11.92, 12.35, 12.84, 13.41, 14.06",\
                 "11.95, 11.99, 12.11, 12.33, 12.63, 12.99, 13.42, 13.91, 14.48, 15.13",\
                 "13.35, 13.39, 13.52, 13.73, 14.03, 14.39, 14.82, 15.32, 15.89, 16.53",\
                 "15, 15.04, 15.17, 15.39, 15.68, 16.05, 16.48, 16.97, 17.54, 18.19",\
                 "16.81, 16.85, 16.98, 17.19, 17.49, 17.85, 18.28, 18.78, 19.34, 19.99",\
                 "18.75, 18.79, 18.92, 19.13, 19.43, 19.79, 20.22, 20.71, 21.28, 21.93");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("8.206, 8.305, 8.652, 9.313, 10.34, 11.78, 13.67, 16.05, 18.95, 22.41",\
                 "8.276, 8.375, 8.722, 9.382, 10.41, 11.85, 13.74, 16.12, 19.02, 22.48",\
                 "8.497, 8.597, 8.944, 9.604, 10.63, 12.07, 13.96, 16.34, 19.24, 22.7",\
                 "8.84, 8.94, 9.287, 9.948, 10.97, 12.41, 14.3, 16.68, 19.59, 23.04",\
                 "9.175, 9.274, 9.621, 10.28, 11.31, 12.75, 14.64, 17.02, 19.92, 23.38",\
                 "9.466, 9.565, 9.912, 10.57, 11.6, 13.04, 14.93, 17.31, 20.21, 23.67",\
                 "9.701, 9.8, 10.15, 10.81, 11.83, 13.27, 15.16, 17.54, 20.44, 23.9",\
                 "9.863, 9.962, 10.31, 10.97, 12, 13.44, 15.33, 17.71, 20.61, 24.07",\
                 "9.935, 10.03, 10.38, 11.04, 12.07, 13.51, 15.4, 17.78, 20.68, 24.14",\
                 "9.901, 10, 10.35, 11.01, 12.03, 13.47, 15.36, 17.74, 20.64, 24.1");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("0.8756, 0.92, 1.064, 1.307, 1.636, 2.063, 2.59, 3.242, 4.038, 5.002",\
                 "0.877, 0.9204, 1.061, 1.307, 1.636, 2.062, 2.592, 3.242, 4.04, 5.004",\
                 "0.8758, 0.919, 1.064, 1.306, 1.636, 2.062, 2.59, 3.242, 4.04, 5",\
                 "0.874, 0.92, 1.064, 1.308, 1.638, 2.062, 2.592, 3.242, 4.042, 5.008",\
                 "0.874, 0.918, 1.062, 1.304, 1.638, 2.06, 2.592, 3.246, 4.04, 5.004",\
                 "0.874, 0.918, 1.062, 1.304, 1.638, 2.06, 2.59, 3.24, 4.042, 5.004",\
                 "0.876, 0.922, 1.064, 1.308, 1.638, 2.064, 2.594, 3.242, 4.042, 5",\
                 "0.876, 0.918, 1.062, 1.308, 1.64, 2.06, 2.59, 3.242, 4.04, 5.002",\
                 "0.874, 0.92, 1.064, 1.308, 1.636, 2.06, 2.588, 3.242, 4.038, 5.004",\
                 "0.874, 0.918, 1.064, 1.302, 1.638, 2.062, 2.59, 3.24, 4.038, 5.002");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("1.578, 1.738, 2.301, 3.379, 5.072, 7.441, 10.56, 14.49, 19.27, 24.96",\
                 "1.581, 1.737, 2.299, 3.381, 5.07, 7.448, 10.55, 14.5, 19.29, 24.96",\
                 "1.578, 1.737, 2.298, 3.386, 5.071, 7.45, 10.56, 14.48, 19.28, 24.96",\
                 "1.577, 1.738, 2.3, 3.388, 5.072, 7.45, 10.56, 14.49, 19.27, 24.99",\
                 "1.58, 1.738, 2.298, 3.382, 5.064, 7.45, 10.55, 14.49, 19.26, 25",\
                 "1.576, 1.74, 2.3, 3.382, 5.072, 7.45, 10.56, 14.48, 19.27, 24.99",\
                 "1.578, 1.74, 2.302, 3.378, 5.07, 7.442, 10.57, 14.48, 19.27, 25",\
                 "1.578, 1.736, 2.298, 3.382, 5.066, 7.438, 10.55, 14.48, 19.29, 25.01",\
                 "1.578, 1.738, 2.3, 3.378, 5.068, 7.434, 10.55, 14.48, 19.29, 24.99",\
                 "1.58, 1.738, 2.298, 3.386, 5.074, 7.44, 10.55, 14.47, 19.26, 25");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("5.93, 6.002, 6.23, 6.605, 7.105, 7.727, 8.477, 9.365, 10.4, 11.61",\
                 "5.977, 6.049, 6.277, 6.651, 7.152, 7.774, 8.524, 9.411, 10.45, 11.66",\
                 "6.211, 6.283, 6.511, 6.885, 7.387, 8.008, 8.758, 9.645, 10.69, 11.89",\
                 "6.681, 6.752, 6.981, 7.355, 7.857, 8.478, 9.228, 10.12, 11.16, 12.36",\
                 "7.434, 7.506, 7.733, 8.108, 8.609, 9.231, 9.981, 10.87, 11.91, 13.11",\
                 "8.508, 8.579, 8.808, 9.182, 9.682, 10.3, 11.05, 11.94, 12.98, 14.19",\
                 "9.935, 10.01, 10.23, 10.61, 11.11, 11.73, 12.48, 13.37, 14.41, 15.61",\
                 "11.71, 11.78, 12.01, 12.39, 12.89, 13.52, 14.27, 15.16, 16.2, 17.4",\
                 "13.73, 13.81, 14.05, 14.44, 14.95, 15.59, 16.34, 17.24, 18.28, 19.49",\
                 "15.88, 15.97, 16.23, 16.64, 17.18, 17.83, 18.6, 19.51, 20.56, 21.77");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("3.317, 3.422, 3.782, 4.457, 5.496, 6.943, 8.84, 11.22, 14.13, 17.59",\
                 "3.381, 3.485, 3.846, 4.521, 5.56, 7.007, 8.903, 11.29, 14.19, 17.65",\
                 "3.55, 3.654, 4.014, 4.69, 5.728, 7.175, 9.072, 11.46, 14.36, 17.82",\
                 "3.844, 3.948, 4.308, 4.982, 6.021, 7.468, 9.365, 11.75, 14.66, 18.12",\
                 "4.275, 4.378, 4.738, 5.413, 6.45, 7.898, 9.795, 12.18, 15.09, 18.55",\
                 "4.77, 4.874, 5.236, 5.91, 6.948, 8.394, 10.29, 12.68, 15.58, 19.05",\
                 "5.259, 5.365, 5.729, 6.406, 7.446, 8.893, 10.79, 13.17, 16.08, 19.54",\
                 "5.716, 5.822, 6.19, 6.868, 7.908, 9.356, 11.25, 13.64, 16.55, 20.01",\
                 "6.119, 6.228, 6.599, 7.282, 8.323, 9.77, 11.67, 14.06, 16.96, 20.43",\
                 "6.451, 6.561, 6.936, 7.624, 8.667, 10.11, 12.01, 14.4, 17.31, 20.77");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("1.212, 1.273, 1.471, 1.835, 2.385, 3.155, 4.154, 5.418, 6.977, 8.855",\
                 "1.212, 1.274, 1.472, 1.835, 2.384, 3.154, 4.157, 5.421, 6.976, 8.857",\
                 "1.214, 1.274, 1.472, 1.835, 2.385, 3.153, 4.153, 5.416, 6.977, 8.856",\
                 "1.214, 1.273, 1.471, 1.837, 2.385, 3.151, 4.152, 5.419, 6.974, 8.85",\
                 "1.214, 1.273, 1.472, 1.834, 2.386, 3.154, 4.152, 5.416, 6.972, 8.852",\
                 "1.214, 1.272, 1.472, 1.836, 2.388, 3.154, 4.158, 5.42, 6.978, 8.856",\
                 "1.216, 1.274, 1.474, 1.836, 2.388, 3.154, 4.156, 5.416, 6.972, 8.85",\
                 "1.24, 1.298, 1.494, 1.854, 2.398, 3.162, 4.164, 5.422, 6.976, 8.858",\
                 "1.332, 1.388, 1.578, 1.924, 2.454, 3.204, 4.192, 5.45, 6.998, 8.872",\
                 "1.46, 1.514, 1.7, 2.036, 2.554, 3.288, 4.26, 5.508, 7.042, 8.898");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("1.902, 2.061, 2.615, 3.688, 5.369, 7.745, 10.87, 14.79, 19.58, 25.29",\
                 "1.9, 2.061, 2.618, 3.686, 5.37, 7.741, 10.86, 14.79, 19.58, 25.3",\
                 "1.902, 2.061, 2.617, 3.689, 5.368, 7.745, 10.87, 14.79, 19.59, 25.29",\
                 "1.903, 2.059, 2.618, 3.689, 5.373, 7.741, 10.86, 14.79, 19.58, 25.29",\
                 "1.904, 2.062, 2.617, 3.689, 5.37, 7.745, 10.87, 14.79, 19.58, 25.29",\
                 "1.926, 2.08, 2.63, 3.694, 5.373, 7.74, 10.86, 14.79, 19.58, 25.29",\
                 "1.952, 2.11, 2.658, 3.714, 5.38, 7.744, 10.86, 14.79, 19.58, 25.3",\
                 "1.99, 2.142, 2.684, 3.73, 5.392, 7.75, 10.86, 14.79, 19.59, 25.3",\
                 "2.024, 2.176, 2.716, 3.75, 5.404, 7.762, 10.88, 14.79, 19.58, 25.29",\
                 "2.076, 2.222, 2.756, 3.778, 5.416, 7.766, 10.87, 14.8, 19.59, 25.31");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("9.476, 9.516, 9.645, 9.863, 10.16, 10.52, 10.95, 11.45, 12.01, 12.66",\
                 "9.504, 9.544, 9.673, 9.891, 10.19, 10.55, 10.98, 11.47, 12.04, 12.69",\
                 "9.68, 9.72, 9.849, 10.07, 10.36, 10.73, 11.15, 11.65, 12.22, 12.86",\
                 "10.12, 10.16, 10.29, 10.51, 10.81, 11.17, 11.6, 12.09, 12.66, 13.31",\
                 "10.87, 10.91, 11.04, 11.26, 11.55, 11.92, 12.35, 12.84, 13.41, 14.06",\
                 "11.95, 11.99, 12.11, 12.33, 12.63, 12.99, 13.42, 13.91, 14.48, 15.13",\
                 "13.35, 13.39, 13.52, 13.73, 14.03, 14.39, 14.82, 15.32, 15.89, 16.53",\
                 "15, 15.04, 15.17, 15.39, 15.68, 16.05, 16.48, 16.97, 17.54, 18.19",\
                 "16.81, 16.85, 16.98, 17.19, 17.49, 17.85, 18.28, 18.78, 19.34, 19.99",\
                 "18.75, 18.79, 18.92, 19.13, 19.43, 19.79, 20.22, 20.71, 21.28, 21.93");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("8.206, 8.305, 8.652, 9.313, 10.34, 11.78, 13.67, 16.05, 18.95, 22.41",\
                 "8.276, 8.375, 8.722, 9.382, 10.41, 11.85, 13.74, 16.12, 19.02, 22.48",\
                 "8.497, 8.597, 8.944, 9.604, 10.63, 12.07, 13.96, 16.34, 19.24, 22.7",\
                 "8.84, 8.94, 9.287, 9.948, 10.97, 12.41, 14.3, 16.68, 19.59, 23.04",\
                 "9.175, 9.274, 9.621, 10.28, 11.31, 12.75, 14.64, 17.02, 19.92, 23.38",\
                 "9.466, 9.565, 9.912, 10.57, 11.6, 13.04, 14.93, 17.31, 20.21, 23.67",\
                 "9.701, 9.8, 10.15, 10.81, 11.83, 13.27, 15.16, 17.54, 20.44, 23.9",\
                 "9.863, 9.962, 10.31, 10.97, 12, 13.44, 15.33, 17.71, 20.61, 24.07",\
                 "9.935, 10.03, 10.38, 11.04, 12.07, 13.51, 15.4, 17.78, 20.68, 24.14",\
                 "9.901, 10, 10.35, 11.01, 12.03, 13.47, 15.36, 17.74, 20.64, 24.1");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("1.212, 1.273, 1.471, 1.835, 2.385, 3.155, 4.154, 5.418, 6.977, 8.855",\
                 "1.212, 1.274, 1.472, 1.835, 2.384, 3.154, 4.157, 5.421, 6.976, 8.857",\
                 "1.214, 1.274, 1.472, 1.835, 2.385, 3.153, 4.153, 5.416, 6.977, 8.856",\
                 "1.214, 1.273, 1.471, 1.837, 2.385, 3.151, 4.152, 5.419, 6.974, 8.85",\
                 "1.214, 1.273, 1.472, 1.834, 2.386, 3.154, 4.152, 5.416, 6.972, 8.852",\
                 "1.214, 1.272, 1.472, 1.836, 2.388, 3.154, 4.158, 5.42, 6.978, 8.856",\
                 "1.216, 1.274, 1.474, 1.836, 2.388, 3.154, 4.156, 5.416, 6.972, 8.85",\
                 "1.24, 1.298, 1.494, 1.854, 2.398, 3.162, 4.164, 5.422, 6.976, 8.858",\
                 "1.332, 1.388, 1.578, 1.924, 2.454, 3.204, 4.192, 5.45, 6.998, 8.872",\
                 "1.46, 1.514, 1.7, 2.036, 2.554, 3.288, 4.26, 5.508, 7.042, 8.898");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("1.902, 2.061, 2.615, 3.688, 5.369, 7.745, 10.87, 14.79, 19.58, 25.29",\
                 "1.9, 2.061, 2.618, 3.686, 5.37, 7.741, 10.86, 14.79, 19.58, 25.3",\
                 "1.902, 2.061, 2.617, 3.689, 5.368, 7.745, 10.87, 14.79, 19.59, 25.29",\
                 "1.903, 2.059, 2.618, 3.689, 5.373, 7.741, 10.86, 14.79, 19.58, 25.29",\
                 "1.904, 2.062, 2.617, 3.689, 5.37, 7.745, 10.87, 14.79, 19.58, 25.29",\
                 "1.926, 2.08, 2.63, 3.694, 5.373, 7.74, 10.86, 14.79, 19.58, 25.29",\
                 "1.952, 2.11, 2.658, 3.714, 5.38, 7.744, 10.86, 14.79, 19.58, 25.3",\
                 "1.99, 2.142, 2.684, 3.73, 5.392, 7.75, 10.86, 14.79, 19.59, 25.3",\
                 "2.024, 2.176, 2.716, 3.75, 5.404, 7.762, 10.88, 14.79, 19.58, 25.29",\
                 "2.076, 2.222, 2.756, 3.778, 5.416, 7.766, 10.87, 14.8, 19.59, 25.31");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("0.4181, 0.4512, 0.5669, 0.7882, 1.133, 1.616, 2.253, 3.055, 4.036, 5.203",\
                 "0.4767, 0.5103, 0.6271, 0.8492, 1.194, 1.678, 2.314, 3.117, 4.099, 5.264",\
                 "0.6962, 0.7305, 0.8491, 1.073, 1.42, 1.906, 2.544, 3.347, 4.328, 5.497",\
                 "1.027, 1.077, 1.235, 1.494, 1.847, 2.334, 2.973, 3.777, 4.758, 5.928",\
                 "1.355, 1.423, 1.647, 2.005, 2.462, 2.996, 3.64, 4.445, 5.425, 6.595",\
                 "1.664, 1.759, 2.051, 2.518, 3.108, 3.793, 4.548, 5.381, 6.363, 7.531",\
                 "1.949, 2.063, 2.435, 3.021, 3.759, 4.604, 5.53, 6.527, 7.586, 8.768",\
                 "2.196, 2.338, 2.791, 3.503, 4.397, 5.412, 6.526, 7.713, 8.967, 10.28",\
                 "2.394, 2.565, 3.104, 3.954, 5.017, 6.22, 7.527, 8.917, 10.38, 11.9",\
                 "2.534, 2.736, 3.369, 4.365, 5.604, 7.003, 8.516, 10.12, 11.8, 13.54");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("1.126, 1.225, 1.57, 2.228, 3.248, 4.684, 6.567, 8.943, 11.84, 15.3",\
                 "1.179, 1.281, 1.635, 2.3, 3.327, 4.767, 6.651, 9.03, 11.93, 15.39",\
                 "1.38, 1.483, 1.842, 2.517, 3.557, 5.002, 6.899, 9.278, 12.18, 15.64",\
                 "1.846, 1.946, 2.3, 2.974, 4.016, 5.468, 7.369, 9.755, 12.66, 16.13",\
                 "2.582, 2.695, 3.059, 3.726, 4.764, 6.217, 8.12, 10.51, 13.42, 16.88",\
                 "3.43, 3.576, 4.042, 4.795, 5.839, 7.284, 9.188, 11.58, 14.49, 17.96",\
                 "4.366, 4.546, 5.122, 6.051, 7.245, 8.711, 10.61, 12.99, 15.9, 19.37",\
                 "5.381, 5.598, 6.291, 7.408, 8.831, 10.48, 12.41, 14.79, 17.7, 21.17",\
                 "6.475, 6.736, 7.553, 8.862, 10.53, 12.46, 14.58, 17, 19.9, 23.37",\
                 "7.657, 7.955, 8.902, 10.41, 12.34, 14.55, 16.98, 19.59, 22.54, 26");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("0.5428, 0.5987, 0.7957, 1.17, 1.751, 2.572, 3.644, 5.001, 6.658, 8.631",\
                 "0.5428, 0.5991, 0.795, 1.169, 1.75, 2.572, 3.646, 5.004, 6.659, 8.629",\
                 "0.5594, 0.6098, 0.7974, 1.169, 1.753, 2.572, 3.644, 5.004, 6.66, 8.622",\
                 "0.8094, 0.8556, 1.007, 1.276, 1.776, 2.571, 3.642, 5.002, 6.659, 8.618",\
                 "1.148, 1.206, 1.395, 1.707, 2.13, 2.738, 3.681, 5.005, 6.664, 8.624",\
                 "1.544, 1.616, 1.846, 2.228, 2.734, 3.35, 4.101, 5.181, 6.689, 8.629",\
                 "1.989, 2.08, 2.356, 2.815, 3.411, 4.128, 4.949, 5.882, 7.11, 8.79",\
                 "2.487, 2.59, 2.926, 3.46, 4.156, 4.98, 5.916, 6.962, 8.114, 9.506",\
                 "3.038, 3.158, 3.546, 4.166, 4.966, 5.906, 6.966, 8.136, 9.42, 10.8",\
                 "3.628, 3.778, 4.224, 4.924, 5.838, 6.908, 8.092, 9.4, 10.83, 12.34");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("1.572, 1.733, 2.305, 3.391, 5.078, 7.446, 10.57, 14.49, 19.28, 25",\
                 "1.573, 1.737, 2.305, 3.389, 5.079, 7.447, 10.57, 14.49, 19.27, 24.98",\
                 "1.57, 1.734, 2.307, 3.399, 5.076, 7.452, 10.57, 14.5, 19.29, 25.01",\
                 "1.557, 1.718, 2.295, 3.394, 5.083, 7.452, 10.57, 14.49, 19.27, 24.98",\
                 "1.843, 1.958, 2.397, 3.393, 5.083, 7.449, 10.57, 14.48, 19.27, 24.98",\
                 "2.385, 2.511, 2.92, 3.686, 5.13, 7.455, 10.56, 14.49, 19.27, 24.98",\
                 "2.985, 3.136, 3.615, 4.416, 5.596, 7.568, 10.58, 14.49, 19.26, 25",\
                 "3.634, 3.812, 4.374, 5.302, 6.53, 8.18, 10.77, 14.51, 19.29, 25",\
                 "4.324, 4.532, 5.184, 6.248, 7.636, 9.314, 11.5, 14.77, 19.33, 25",\
                 "5.052, 5.29, 6.04, 7.262, 8.81, 10.68, 12.8, 15.63, 19.66, 25.05");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("0.4181, 0.4512, 0.5672, 0.7882, 1.133, 1.616, 2.253, 3.055, 4.033, 5.203",\
                 "0.4767, 0.5102, 0.6271, 0.849, 1.194, 1.678, 2.316, 3.117, 4.1, 5.264",\
                 "0.6961, 0.7305, 0.8491, 1.073, 1.42, 1.905, 2.543, 3.348, 4.329, 5.497",\
                 "1.027, 1.076, 1.236, 1.494, 1.848, 2.334, 2.973, 3.776, 4.76, 5.926",\
                 "1.355, 1.423, 1.647, 2.004, 2.462, 2.997, 3.64, 4.445, 5.425, 6.595",\
                 "1.664, 1.759, 2.051, 2.518, 3.109, 3.793, 4.548, 5.381, 6.363, 7.53",\
                 "1.949, 2.063, 2.435, 3.021, 3.759, 4.603, 5.531, 6.526, 7.586, 8.768",\
                 "2.194, 2.338, 2.791, 3.503, 4.396, 5.415, 6.526, 7.714, 8.967, 10.28",\
                 "2.394, 2.565, 3.104, 3.954, 5.017, 6.22, 7.527, 8.915, 10.37, 11.9",\
                 "2.533, 2.737, 3.369, 4.365, 5.604, 7.004, 8.516, 10.12, 11.79, 13.55");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("1.126, 1.225, 1.57, 2.227, 3.251, 4.681, 6.566, 8.944, 11.84, 15.3",\
                 "1.179, 1.281, 1.635, 2.3, 3.327, 4.767, 6.652, 9.03, 11.93, 15.39",\
                 "1.38, 1.483, 1.842, 2.517, 3.556, 5.002, 6.899, 9.275, 12.18, 15.63",\
                 "1.846, 1.946, 2.3, 2.974, 4.018, 5.47, 7.37, 9.756, 12.66, 16.13",\
                 "2.582, 2.695, 3.059, 3.726, 4.764, 6.216, 8.117, 10.51, 13.42, 16.88",\
                 "3.431, 3.577, 4.041, 4.796, 5.84, 7.284, 9.188, 11.58, 14.49, 17.96",\
                 "4.365, 4.545, 5.123, 6.049, 7.245, 8.712, 10.61, 12.99, 15.91, 19.37",\
                 "5.382, 5.599, 6.291, 7.406, 8.832, 10.48, 12.41, 14.79, 17.7, 21.17",\
                 "6.476, 6.736, 7.553, 8.861, 10.53, 12.46, 14.58, 17, 19.9, 23.37",\
                 "7.657, 7.954, 8.902, 10.41, 12.34, 14.55, 16.98, 19.59, 22.54, 25.99");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("0.5428, 0.5987, 0.7955, 1.17, 1.752, 2.572, 3.644, 5.001, 6.656, 8.631",\
                 "0.5428, 0.5988, 0.795, 1.169, 1.75, 2.57, 3.644, 5.004, 6.649, 8.628",\
                 "0.5594, 0.6092, 0.7976, 1.169, 1.753, 2.571, 3.647, 4.997, 6.649, 8.618",\
                 "0.8092, 0.8566, 1.005, 1.277, 1.774, 2.57, 3.646, 5.002, 6.651, 8.629",\
                 "1.147, 1.206, 1.394, 1.707, 2.13, 2.737, 3.681, 5.005, 6.664, 8.627",\
                 "1.544, 1.616, 1.846, 2.228, 2.736, 3.349, 4.102, 5.177, 6.692, 8.627",\
                 "1.99, 2.08, 2.356, 2.815, 3.411, 4.126, 4.949, 5.882, 7.112, 8.792",\
                 "2.486, 2.59, 2.926, 3.46, 4.164, 4.98, 5.922, 6.968, 8.106, 9.506",\
                 "3.038, 3.158, 3.546, 4.166, 4.968, 5.906, 6.968, 8.144, 9.412, 10.8",\
                 "3.628, 3.776, 4.224, 4.924, 5.838, 6.898, 8.092, 9.4, 10.82, 12.34");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("1.573, 1.736, 2.305, 3.392, 5.086, 7.444, 10.57, 14.49, 19.28, 25",\
                 "1.573, 1.737, 2.305, 3.393, 5.08, 7.448, 10.57, 14.48, 19.27, 24.98",\
                 "1.568, 1.735, 2.307, 3.399, 5.081, 7.449, 10.57, 14.49, 19.28, 25",\
                 "1.558, 1.718, 2.296, 3.394, 5.077, 7.448, 10.56, 14.5, 19.27, 24.98",\
                 "1.843, 1.958, 2.397, 3.39, 5.085, 7.452, 10.57, 14.49, 19.28, 24.97",\
                 "2.383, 2.512, 2.921, 3.687, 5.129, 7.455, 10.57, 14.48, 19.29, 24.98",\
                 "2.986, 3.141, 3.616, 4.416, 5.598, 7.574, 10.57, 14.49, 19.28, 24.98",\
                 "3.636, 3.814, 4.376, 5.3, 6.526, 8.18, 10.77, 14.5, 19.28, 24.98",\
                 "4.33, 4.532, 5.186, 6.246, 7.632, 9.298, 11.5, 14.77, 19.33, 25",\
                 "5.052, 5.294, 6.044, 7.246, 8.81, 10.68, 12.8, 15.63, 19.66, 25.06");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("0.4181, 0.4512, 0.5672, 0.7882, 1.133, 1.616, 2.253, 3.055, 4.033, 5.203",\
                 "0.4767, 0.5102, 0.6271, 0.849, 1.194, 1.678, 2.316, 3.117, 4.1, 5.264",\
                 "0.6961, 0.7305, 0.8491, 1.073, 1.42, 1.905, 2.543, 3.348, 4.329, 5.497",\
                 "1.027, 1.076, 1.236, 1.494, 1.848, 2.334, 2.973, 3.776, 4.76, 5.926",\
                 "1.355, 1.423, 1.647, 2.004, 2.462, 2.997, 3.64, 4.445, 5.425, 6.595",\
                 "1.664, 1.759, 2.051, 2.518, 3.109, 3.793, 4.548, 5.381, 6.363, 7.53",\
                 "1.949, 2.063, 2.435, 3.021, 3.759, 4.603, 5.531, 6.526, 7.586, 8.768",\
                 "2.194, 2.338, 2.791, 3.503, 4.396, 5.415, 6.526, 7.714, 8.967, 10.28",\
                 "2.394, 2.565, 3.104, 3.954, 5.017, 6.22, 7.527, 8.915, 10.37, 11.9",\
                 "2.533, 2.737, 3.369, 4.365, 5.604, 7.004, 8.516, 10.12, 11.79, 13.55");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("1.126, 1.225, 1.57, 2.228, 3.248, 4.684, 6.567, 8.943, 11.84, 15.3",\
                 "1.179, 1.281, 1.635, 2.3, 3.327, 4.767, 6.651, 9.03, 11.93, 15.39",\
                 "1.38, 1.483, 1.842, 2.517, 3.557, 5.002, 6.899, 9.278, 12.18, 15.64",\
                 "1.846, 1.946, 2.3, 2.974, 4.016, 5.468, 7.369, 9.755, 12.66, 16.13",\
                 "2.582, 2.695, 3.059, 3.726, 4.764, 6.217, 8.12, 10.51, 13.42, 16.88",\
                 "3.43, 3.576, 4.042, 4.795, 5.839, 7.284, 9.188, 11.58, 14.49, 17.96",\
                 "4.366, 4.546, 5.122, 6.051, 7.245, 8.711, 10.61, 12.99, 15.9, 19.37",\
                 "5.381, 5.598, 6.291, 7.408, 8.831, 10.48, 12.41, 14.79, 17.7, 21.17",\
                 "6.475, 6.736, 7.553, 8.862, 10.53, 12.46, 14.58, 17, 19.9, 23.37",\
                 "7.657, 7.955, 8.902, 10.41, 12.34, 14.55, 16.98, 19.59, 22.54, 26");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("0.5428, 0.5987, 0.7955, 1.17, 1.752, 2.572, 3.644, 5.001, 6.656, 8.631",\
                 "0.5428, 0.5988, 0.795, 1.169, 1.75, 2.57, 3.644, 5.004, 6.649, 8.628",\
                 "0.5594, 0.6092, 0.7976, 1.169, 1.753, 2.571, 3.647, 4.997, 6.649, 8.618",\
                 "0.8092, 0.8566, 1.005, 1.277, 1.774, 2.57, 3.646, 5.002, 6.651, 8.629",\
                 "1.147, 1.206, 1.394, 1.707, 2.13, 2.737, 3.681, 5.005, 6.664, 8.627",\
                 "1.544, 1.616, 1.846, 2.228, 2.736, 3.349, 4.102, 5.177, 6.692, 8.627",\
                 "1.99, 2.08, 2.356, 2.815, 3.411, 4.126, 4.949, 5.882, 7.112, 8.792",\
                 "2.486, 2.59, 2.926, 3.46, 4.164, 4.98, 5.922, 6.968, 8.106, 9.506",\
                 "3.038, 3.158, 3.546, 4.166, 4.968, 5.906, 6.968, 8.144, 9.412, 10.8",\
                 "3.628, 3.776, 4.224, 4.924, 5.838, 6.898, 8.092, 9.4, 10.82, 12.34");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("1.573, 1.736, 2.305, 3.392, 5.086, 7.444, 10.57, 14.49, 19.28, 25",\
                 "1.573, 1.737, 2.305, 3.393, 5.08, 7.448, 10.57, 14.48, 19.27, 24.98",\
                 "1.568, 1.735, 2.307, 3.399, 5.081, 7.449, 10.57, 14.49, 19.28, 25",\
                 "1.558, 1.718, 2.296, 3.394, 5.077, 7.448, 10.56, 14.5, 19.27, 24.98",\
                 "1.843, 1.958, 2.397, 3.39, 5.085, 7.452, 10.57, 14.49, 19.28, 24.97",\
                 "2.383, 2.512, 2.921, 3.687, 5.129, 7.455, 10.57, 14.48, 19.29, 24.98",\
                 "2.986, 3.141, 3.616, 4.416, 5.598, 7.574, 10.57, 14.49, 19.28, 24.98",\
                 "3.636, 3.814, 4.376, 5.3, 6.526, 8.18, 10.77, 14.5, 19.28, 24.98",\
                 "4.33, 4.532, 5.186, 6.246, 7.632, 9.298, 11.5, 14.77, 19.33, 25",\
                 "5.052, 5.294, 6.044, 7.246, 8.81, 10.68, 12.8, 15.63, 19.66, 25.06");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("4.055, 4.095, 4.221, 4.436, 4.728, 5.088, 5.516, 6.009, 6.575, 7.222",\
                 "4.12, 4.159, 4.286, 4.501, 4.793, 5.154, 5.58, 6.075, 6.64, 7.287",\
                 "4.357, 4.396, 4.524, 4.74, 5.033, 5.394, 5.82, 6.313, 6.882, 7.528",\
                 "4.784, 4.823, 4.952, 5.169, 5.463, 5.825, 6.251, 6.745, 7.31, 7.958",\
                 "5.424, 5.463, 5.592, 5.811, 6.106, 6.469, 6.896, 7.39, 7.957, 8.604",\
                 "6.302, 6.342, 6.472, 6.693, 6.991, 7.356, 7.785, 8.28, 8.847, 9.494",\
                 "7.403, 7.445, 7.581, 7.81, 8.115, 8.488, 8.922, 9.42, 9.99, 10.64",\
                 "8.647, 8.693, 8.838, 9.081, 9.402, 9.789, 10.24, 10.75, 11.33, 11.98",\
                 "10.04, 10.09, 10.24, 10.5, 10.83, 11.24, 11.7, 12.22, 12.82, 13.48",\
                 "11.58, 11.63, 11.79, 12.05, 12.41, 12.83, 13.31, 13.84, 14.45, 15.12");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("2.481, 2.576, 2.909, 3.543, 4.533, 5.933, 7.79, 10.14, 13.02, 16.47",\
                 "2.548, 2.644, 2.979, 3.615, 4.606, 6.006, 7.863, 10.21, 13.09, 16.53",\
                 "2.746, 2.843, 3.184, 3.83, 4.833, 6.243, 8.103, 10.46, 13.33, 16.77",\
                 "3.089, 3.188, 3.535, 4.192, 5.209, 6.632, 8.505, 10.86, 13.75, 17.19",\
                 "3.486, 3.587, 3.935, 4.597, 5.621, 7.052, 8.932, 11.3, 14.19, 17.63",\
                 "3.859, 3.959, 4.309, 4.973, 6, 7.437, 9.323, 11.7, 14.59, 18.04",\
                 "4.186, 4.287, 4.637, 5.302, 6.331, 7.772, 9.661, 12.04, 14.93, 18.39",\
                 "4.449, 4.55, 4.901, 5.567, 6.598, 8.039, 9.93, 12.31, 15.21, 18.66",\
                 "4.638, 4.739, 5.092, 5.758, 6.789, 8.23, 10.12, 12.5, 15.41, 18.86",\
                 "4.737, 4.84, 5.194, 5.86, 6.891, 8.334, 10.23, 12.61, 15.51, 18.97");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("0.8742, 0.9182, 1.063, 1.307, 1.643, 2.064, 2.596, 3.246, 4.043, 5.007",\
                 "0.8736, 0.9164, 1.063, 1.306, 1.643, 2.063, 2.593, 3.243, 4.043, 5",\
                 "0.872, 0.9158, 1.062, 1.306, 1.642, 2.066, 2.592, 3.246, 4.043, 5.003",\
                 "0.8712, 0.918, 1.061, 1.302, 1.641, 2.065, 2.595, 3.245, 4.042, 5.002",\
                 "0.8754, 0.9224, 1.065, 1.309, 1.64, 2.063, 2.591, 3.246, 4.039, 5.005",\
                 "0.8884, 0.9304, 1.074, 1.314, 1.648, 2.07, 2.596, 3.246, 4.04, 5",\
                 "0.922, 0.966, 1.112, 1.348, 1.676, 2.094, 2.618, 3.26, 4.052, 5.01",\
                 "0.97, 1.018, 1.164, 1.412, 1.744, 2.16, 2.682, 3.32, 4.104, 5.05",\
                 "1.034, 1.084, 1.238, 1.484, 1.824, 2.244, 2.766, 3.402, 4.178, 5.11",\
                 "1.104, 1.156, 1.308, 1.572, 1.914, 2.34, 2.862, 3.492, 4.254, 5.186");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("1.83, 1.991, 2.566, 3.653, 5.347, 7.719, 10.84, 14.77, 19.57, 25.28",\
                 "1.83, 1.993, 2.565, 3.655, 5.352, 7.722, 10.84, 14.77, 19.57, 25.28",\
                 "1.83, 1.993, 2.566, 3.653, 5.352, 7.725, 10.84, 14.77, 19.57, 25.28",\
                 "1.831, 1.993, 2.564, 3.655, 5.352, 7.726, 10.85, 14.78, 19.57, 25.27",\
                 "1.82, 1.985, 2.56, 3.656, 5.347, 7.722, 10.85, 14.78, 19.56, 25.27",\
                 "1.715, 1.88, 2.457, 3.578, 5.32, 7.715, 10.84, 14.77, 19.57, 25.27",\
                 "1.69, 1.848, 2.413, 3.506, 5.21, 7.624, 10.8, 14.77, 19.56, 25.28",\
                 "1.686, 1.846, 2.408, 3.486, 5.178, 7.554, 10.7, 14.68, 19.53, 25.28",\
                 "1.692, 1.846, 2.406, 3.486, 5.17, 7.546, 10.66, 14.61, 19.45, 25.2",\
                 "1.704, 1.858, 2.416, 3.49, 5.168, 7.536, 10.66, 14.59, 19.38, 25.12");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("4.067, 4.106, 4.232, 4.447, 4.739, 5.098, 5.526, 6.019, 6.585, 7.232",\
                 "4.131, 4.17, 4.298, 4.512, 4.804, 5.164, 5.59, 6.086, 6.651, 7.299",\
                 "4.369, 4.409, 4.536, 4.753, 5.045, 5.405, 5.832, 6.328, 6.893, 7.54",\
                 "4.796, 4.836, 4.964, 5.181, 5.474, 5.836, 6.263, 6.757, 7.324, 7.971",\
                 "5.433, 5.473, 5.602, 5.82, 6.115, 6.478, 6.906, 7.4, 7.966, 8.614",\
                 "6.308, 6.348, 6.479, 6.7, 6.998, 7.363, 7.792, 8.287, 8.854, 9.502",\
                 "7.406, 7.448, 7.585, 7.814, 8.12, 8.493, 8.927, 9.425, 9.996, 10.64",\
                 "8.651, 8.696, 8.842, 9.083, 9.406, 9.794, 10.24, 10.75, 11.33, 11.99",\
                 "10.04, 10.09, 10.24, 10.5, 10.83, 11.24, 11.7, 12.23, 12.82, 13.48",\
                 "11.58, 11.63, 11.79, 12.06, 12.41, 12.83, 13.31, 13.85, 14.45, 15.13");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("2.492, 2.588, 2.922, 3.557, 4.548, 5.949, 7.807, 10.16, 13.04, 16.48",\
                 "2.559, 2.656, 2.992, 3.629, 4.621, 6.022, 7.879, 10.23, 13.11, 16.55",\
                 "2.757, 2.855, 3.197, 3.844, 4.849, 6.259, 8.12, 10.47, 13.35, 16.79",\
                 "3.102, 3.202, 3.55, 4.208, 5.228, 6.652, 8.524, 10.88, 13.77, 17.21",\
                 "3.501, 3.601, 3.952, 4.615, 5.641, 7.073, 8.954, 11.32, 14.21, 17.66",\
                 "3.874, 3.975, 4.326, 4.992, 6.023, 7.459, 9.346, 11.72, 14.61, 18.06",\
                 "4.202, 4.303, 4.656, 5.322, 6.353, 7.795, 9.685, 12.06, 14.96, 18.41",\
                 "4.465, 4.567, 4.92, 5.587, 6.619, 8.062, 9.954, 12.33, 15.24, 18.69",\
                 "4.653, 4.755, 5.11, 5.777, 6.809, 8.253, 10.15, 12.53, 15.43, 18.89",\
                 "4.753, 4.856, 5.211, 5.879, 6.912, 8.356, 10.25, 12.63, 15.54, 19");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("0.8762, 0.9202, 1.063, 1.306, 1.642, 2.067, 2.596, 3.243, 4.039, 5.003",\
                 "0.8778, 0.9178, 1.062, 1.306, 1.643, 2.063, 2.594, 3.243, 4.042, 5.005",\
                 "0.8766, 0.9196, 1.063, 1.306, 1.642, 2.063, 2.595, 3.244, 4.04, 5.002",\
                 "0.8766, 0.9218, 1.062, 1.304, 1.64, 2.065, 2.592, 3.244, 4.04, 5.005",\
                 "0.881, 0.923, 1.065, 1.31, 1.642, 2.061, 2.593, 3.244, 4.043, 5.003",\
                 "0.8896, 0.9322, 1.075, 1.314, 1.648, 2.068, 2.598, 3.246, 4.04, 5.002",\
                 "0.922, 0.97, 1.11, 1.348, 1.676, 2.09, 2.618, 3.26, 4.052, 5.014",\
                 "0.974, 1.02, 1.168, 1.412, 1.742, 2.16, 2.68, 3.322, 4.1, 5.05",\
                 "1.038, 1.084, 1.238, 1.484, 1.822, 2.248, 2.764, 3.398, 4.176, 5.108",\
                 "1.106, 1.158, 1.314, 1.568, 1.912, 2.336, 2.854, 3.49, 4.256, 5.186");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("1.845, 2.011, 2.584, 3.674, 5.364, 7.741, 10.86, 14.79, 19.58, 25.3",\
                 "1.847, 2.01, 2.582, 3.674, 5.37, 7.737, 10.86, 14.79, 19.59, 25.3",\
                 "1.848, 2.011, 2.581, 3.675, 5.37, 7.742, 10.86, 14.79, 19.58, 25.3",\
                 "1.849, 2.012, 2.584, 3.671, 5.367, 7.738, 10.87, 14.78, 19.58, 25.29",\
                 "1.842, 2.005, 2.582, 3.672, 5.365, 7.744, 10.86, 14.79, 19.59, 25.29",\
                 "1.733, 1.897, 2.479, 3.598, 5.339, 7.736, 10.86, 14.79, 19.59, 25.29",\
                 "1.704, 1.869, 2.435, 3.522, 5.228, 7.644, 10.82, 14.79, 19.58, 25.29",\
                 "1.698, 1.86, 2.422, 3.506, 5.194, 7.57, 10.72, 14.7, 19.56, 25.3",\
                 "1.704, 1.862, 2.424, 3.502, 5.184, 7.562, 10.68, 14.62, 19.47, 25.23",\
                 "1.718, 1.874, 2.428, 3.504, 5.182, 7.562, 10.66, 14.6, 19.4, 25.14");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("4.067, 4.106, 4.232, 4.447, 4.739, 5.098, 5.526, 6.019, 6.585, 7.232",\
                 "4.131, 4.17, 4.298, 4.512, 4.804, 5.164, 5.59, 6.086, 6.651, 7.299",\
                 "4.369, 4.409, 4.536, 4.753, 5.045, 5.405, 5.832, 6.328, 6.893, 7.54",\
                 "4.796, 4.836, 4.964, 5.181, 5.474, 5.836, 6.263, 6.757, 7.324, 7.971",\
                 "5.433, 5.473, 5.602, 5.82, 6.115, 6.478, 6.906, 7.4, 7.966, 8.614",\
                 "6.308, 6.348, 6.479, 6.7, 6.998, 7.363, 7.792, 8.287, 8.854, 9.502",\
                 "7.406, 7.448, 7.585, 7.814, 8.12, 8.493, 8.927, 9.425, 9.996, 10.64",\
                 "8.651, 8.696, 8.842, 9.083, 9.406, 9.794, 10.24, 10.75, 11.33, 11.99",\
                 "10.04, 10.09, 10.24, 10.5, 10.83, 11.24, 11.7, 12.23, 12.82, 13.48",\
                 "11.58, 11.63, 11.79, 12.06, 12.41, 12.83, 13.31, 13.85, 14.45, 15.13");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("2.492, 2.588, 2.922, 3.557, 4.548, 5.949, 7.807, 10.16, 13.04, 16.48",\
                 "2.559, 2.656, 2.992, 3.629, 4.621, 6.022, 7.879, 10.23, 13.11, 16.55",\
                 "2.757, 2.855, 3.197, 3.844, 4.849, 6.259, 8.12, 10.47, 13.35, 16.79",\
                 "3.102, 3.202, 3.55, 4.208, 5.228, 6.652, 8.524, 10.88, 13.77, 17.21",\
                 "3.501, 3.601, 3.952, 4.615, 5.641, 7.073, 8.954, 11.32, 14.21, 17.66",\
                 "3.874, 3.975, 4.326, 4.992, 6.023, 7.459, 9.346, 11.72, 14.61, 18.06",\
                 "4.202, 4.303, 4.656, 5.322, 6.353, 7.795, 9.685, 12.06, 14.96, 18.41",\
                 "4.465, 4.567, 4.92, 5.587, 6.619, 8.062, 9.954, 12.33, 15.24, 18.69",\
                 "4.653, 4.755, 5.11, 5.777, 6.809, 8.253, 10.15, 12.53, 15.43, 18.89",\
                 "4.753, 4.856, 5.211, 5.879, 6.912, 8.356, 10.25, 12.63, 15.54, 19");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("0.8762, 0.9202, 1.063, 1.306, 1.642, 2.067, 2.596, 3.243, 4.039, 5.003",\
                 "0.8778, 0.9178, 1.062, 1.306, 1.643, 2.063, 2.594, 3.243, 4.042, 5.005",\
                 "0.8766, 0.9196, 1.063, 1.306, 1.642, 2.063, 2.595, 3.244, 4.04, 5.002",\
                 "0.8766, 0.9218, 1.062, 1.304, 1.64, 2.065, 2.592, 3.244, 4.04, 5.005",\
                 "0.881, 0.923, 1.065, 1.31, 1.642, 2.061, 2.593, 3.244, 4.043, 5.003",\
                 "0.8896, 0.9322, 1.075, 1.314, 1.648, 2.068, 2.598, 3.246, 4.04, 5.002",\
                 "0.922, 0.97, 1.11, 1.348, 1.676, 2.09, 2.618, 3.26, 4.052, 5.014",\
                 "0.974, 1.02, 1.168, 1.412, 1.742, 2.16, 2.68, 3.322, 4.1, 5.05",\
                 "1.038, 1.084, 1.238, 1.484, 1.822, 2.248, 2.764, 3.398, 4.176, 5.108",\
                 "1.106, 1.158, 1.314, 1.568, 1.912, 2.336, 2.854, 3.49, 4.256, 5.186");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.001597, 0.003692, 0.007694, 0.01393, 0.02267, 0.03418, 0.04868, 0.06638, 0.08748");
          values("1.845, 2.011, 2.584, 3.674, 5.364, 7.741, 10.86, 14.79, 19.58, 25.3",\
                 "1.847, 2.01, 2.582, 3.674, 5.37, 7.737, 10.86, 14.79, 19.59, 25.3",\
                 "1.848, 2.011, 2.581, 3.675, 5.37, 7.742, 10.86, 14.79, 19.58, 25.3",\
                 "1.849, 2.012, 2.584, 3.671, 5.367, 7.738, 10.87, 14.78, 19.58, 25.29",\
                 "1.842, 2.005, 2.582, 3.672, 5.365, 7.744, 10.86, 14.79, 19.59, 25.29",\
                 "1.733, 1.897, 2.479, 3.598, 5.339, 7.736, 10.86, 14.79, 19.59, 25.29",\
                 "1.704, 1.869, 2.435, 3.522, 5.228, 7.644, 10.82, 14.79, 19.58, 25.29",\
                 "1.698, 1.86, 2.422, 3.506, 5.194, 7.57, 10.72, 14.7, 19.56, 25.3",\
                 "1.704, 1.862, 2.424, 3.502, 5.184, 7.562, 10.68, 14.62, 19.47, 25.23",\
                 "1.718, 1.874, 2.428, 3.504, 5.182, 7.562, 10.66, 14.6, 19.4, 25.14");
        }
      }
    }
  }