/*
 * 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_4) {
    area : 72.441600 ;

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

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

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

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

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

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

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

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

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

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

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

    pin(A1) {
      capacitance : 0.004194 ;
      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.004888 ;
      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.006128 ;
      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.7661 ;
      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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.05524, 0.05533, 0.0557, 0.05629, 0.05689, 0.05739, 0.05773, 0.0579, 0.05768, 0.05662",\
                 "0.05515, 0.05524, 0.05562, 0.05621, 0.05682, 0.05732, 0.05765, 0.05781, 0.05756, 0.05646",\
                 "0.05501, 0.05512, 0.05549, 0.05608, 0.05668, 0.05717, 0.05751, 0.05764, 0.05727, 0.05598",\
                 "0.05493, 0.05504, 0.0554, 0.05597, 0.0566, 0.05708, 0.05738, 0.05741, 0.05674, 0.05507",\
                 "0.05484, 0.05493, 0.05531, 0.05588, 0.05649, 0.05694, 0.05718, 0.05687, 0.05552, 0.05345",\
                 "0.05461, 0.0547, 0.05507, 0.05564, 0.05619, 0.05654, 0.05633, 0.05494, 0.05272, 0.05079",\
                 "0.0534, 0.05347, 0.05381, 0.05425, 0.05452, 0.0538, 0.0515, 0.04931, 0.04773, 0.04657",\
                 "0.04426, 0.04429, 0.04342, 0.04044, 0.03867, 0.03776, 0.03726, 0.03697, 0.03678, 0.03666",\
                 "0.01078, 0.01087, 0.01118, 0.0116, 0.01197, 0.01223, 0.01241, 0.01252, 0.01259, 0.01265",\
                 "-0.009501, -0.009501, -0.009502, -0.009502, -0.009503, -0.009503, -0.009504, -0.009504, -0.009505, -0.009505");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("-0.1522, -0.1521, -0.1518, -0.1512, -0.1506, -0.146, -0.09727, 0.05039, 0.2123, 0.3332",\
                 "-0.1522, -0.1521, -0.1517, -0.1512, -0.1504, -0.1457, -0.09414, 0.05509, 0.2139, 0.3316",\
                 "-0.1523, -0.1521, -0.1517, -0.1512, -0.1505, -0.1443, -0.08321, 0.06925, 0.2173, 0.3252",\
                 "-0.1524, -0.1522, -0.1519, -0.1514, -0.1505, -0.1403, -0.061, 0.09021, 0.2186, 0.3102",\
                 "-0.1525, -0.1524, -0.152, -0.1516, -0.1503, -0.1301, -0.0269, 0.1096, 0.2108, 0.2819",\
                 "-0.1528, -0.1526, -0.1523, -0.1518, -0.1485, -0.1035, 0.01315, 0.1145, 0.184, 0.2323",\
                 "-0.1531, -0.153, -0.1527, -0.1519, -0.1357, -0.05432, 0.0301, 0.08628, 0.1238, 0.1497",\
                 "-0.1541, -0.1539, -0.1536, -0.1432, -0.09057, -0.04584, -0.01809, -0.0005265, 0.01101, 0.01886",\
                 "-0.1718, -0.1712, -0.1685, -0.1663, -0.1651, -0.1645, -0.1641, -0.1639, -0.1638, -0.1637",\
                 "-0.2024, -0.2024, -0.2024, -0.2024, -0.2024, -0.2024, -0.2024, -0.2024, -0.2024, -0.2024");
        }
      }

      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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.07277, 0.07297, 0.07353, 0.07423, 0.07482, 0.07524, 0.07551, 0.07565, 0.07528, 0.0739",\
                 "0.0728, 0.07298, 0.07353, 0.07425, 0.07484, 0.07526, 0.07555, 0.07565, 0.07523, 0.07378",\
                 "0.07275, 0.07295, 0.07351, 0.07421, 0.0748, 0.07522, 0.07551, 0.07556, 0.07499, 0.0733",\
                 "0.07261, 0.07281, 0.07337, 0.07407, 0.07466, 0.07508, 0.07535, 0.07529, 0.0743, 0.07225",\
                 "0.07245, 0.07265, 0.07321, 0.07392, 0.07451, 0.07492, 0.07512, 0.07467, 0.07295, 0.07065",\
                 "0.07225, 0.07244, 0.07301, 0.07371, 0.07431, 0.07468, 0.07453, 0.07302, 0.07057, 0.06851",\
                 "0.07195, 0.07213, 0.07269, 0.07337, 0.07387, 0.07368, 0.07175, 0.06908, 0.06707, 0.06562",\
                 "0.06991, 0.07007, 0.07048, 0.07053, 0.06838, 0.06547, 0.06356, 0.06231, 0.06147, 0.06089",\
                 "0.03409, 0.03432, 0.03496, 0.03574, 0.03639, 0.03685, 0.03715, 0.03735, 0.03749, 0.03759",\
                 "0.006408, 0.006408, 0.006403, 0.0064, 0.006397, 0.006395, 0.006395, 0.006394, 0.006394, 0.006394");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("-0.03543, -0.03523, -0.03471, -0.03407, -0.03314, -0.03057, 0.0009612, 0.1321, 0.3129, 0.4581",\
                 "-0.03551, -0.03527, -0.03481, -0.0341, -0.03322, -0.03052, 0.00265, 0.1353, 0.3151, 0.4576",\
                 "-0.03561, -0.03545, -0.0349, -0.03419, -0.03337, -0.02997, 0.01023, 0.1507, 0.3225, 0.455",\
                 "-0.0357, -0.03548, -0.035, -0.03429, -0.03341, -0.0279, 0.02753, 0.1785, 0.3325, 0.446",\
                 "-0.03577, -0.03555, -0.0351, -0.03434, -0.0333, -0.02108, 0.06403, 0.2132, 0.3349, 0.4212",\
                 "-0.03586, -0.03565, -0.03513, -0.03435, -0.03188, 0.005132, 0.1216, 0.2329, 0.3102, 0.3642",\
                 "-0.03592, -0.03572, -0.03519, -0.03408, -0.01218, 0.07106, 0.1457, 0.1945, 0.227, 0.2493",\
                 "-0.0366, -0.0365, -0.03283, -0.007022, 0.01449, 0.02716, 0.03467, 0.03931, 0.04229, 0.04432",\
                 "-0.0825, -0.08249, -0.08249, -0.0825, -0.08249, -0.0825, -0.08249, -0.0825, -0.0825, -0.0825",\
                 "-0.1018, -0.1018, -0.1018, -0.1018, -0.1018, -0.1018, -0.1017, -0.1017, -0.1017, -0.1017");
        }
      }

      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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.05334, 0.05344, 0.0538, 0.05439, 0.055, 0.0555, 0.05586, 0.0561, 0.0562, 0.05598",\
                 "0.05334, 0.05344, 0.0538, 0.05439, 0.05501, 0.0555, 0.05587, 0.05611, 0.0562, 0.05595",\
                 "0.05332, 0.05343, 0.05379, 0.05437, 0.05498, 0.05548, 0.05584, 0.05609, 0.05616, 0.05582",\
                 "0.05324, 0.05334, 0.0537, 0.05429, 0.0549, 0.0554, 0.05575, 0.05598, 0.056, 0.05548",\
                 "0.05313, 0.05323, 0.05358, 0.05417, 0.05478, 0.05527, 0.05562, 0.05581, 0.05566, 0.05473",\
                 "0.053, 0.05311, 0.05346, 0.05405, 0.05465, 0.05514, 0.05547, 0.05552, 0.0549, 0.05331",\
                 "0.05289, 0.05298, 0.05333, 0.05389, 0.05449, 0.05493, 0.05512, 0.05462, 0.05299, 0.05087",\
                 "0.05249, 0.05258, 0.05292, 0.05346, 0.05397, 0.05414, 0.05335, 0.05125, 0.04908, 0.04744",\
                 "0.04965, 0.04972, 0.04996, 0.0502, 0.04954, 0.04705, 0.04495, 0.04353, 0.04255, 0.04186",\
                 "0.02696, 0.02628, 0.02546, 0.02539, 0.02568, 0.02603, 0.02632, 0.02653, 0.02668, 0.02679");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.01215, 0.01226, 0.01265, 0.01323, 0.01382, 0.01617, 0.04604, 0.1741, 0.3572, 0.5057",\
                 "0.01217, 0.01228, 0.01265, 0.01326, 0.0138, 0.01615, 0.04814, 0.1791, 0.3601, 0.5054",\
                 "0.01206, 0.01218, 0.01256, 0.01302, 0.01376, 0.01664, 0.05496, 0.1939, 0.368, 0.5031",\
                 "0.01189, 0.01203, 0.01238, 0.01285, 0.01365, 0.01845, 0.07198, 0.222, 0.3788, 0.4946",\
                 "0.01174, 0.01187, 0.01224, 0.01272, 0.01367, 0.02546, 0.1095, 0.2593, 0.3821, 0.4694",\
                 "0.01155, 0.01168, 0.01205, 0.01252, 0.01506, 0.05377, 0.1706, 0.2797, 0.3552, 0.4078",\
                 "0.01101, 0.01114, 0.01149, 0.0127, 0.04085, 0.1228, 0.1881, 0.2305, 0.2587, 0.2781",\
                 "0.00515, 0.004864, 0.01204, 0.02221, 0.02862, 0.03224, 0.03434, 0.03561, 0.03643, 0.03697",\
                 "-0.04098, -0.04098, -0.04098, -0.04098, -0.04098, -0.04098, -0.04098, -0.04098, -0.04098, -0.04098",\
                 "-0.04858, -0.04858, -0.04858, -0.04858, -0.04858, -0.04858, -0.04858, -0.04858, -0.04858, -0.04858");
        }
      }

      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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.06753, 0.06773, 0.06829, 0.06899, 0.06958, 0.07, 0.07029, 0.07046, 0.07035, 0.06951",\
                 "0.06755, 0.06774, 0.0683, 0.06902, 0.06961, 0.07003, 0.07032, 0.07046, 0.07034, 0.06945",\
                 "0.06743, 0.06761, 0.06819, 0.0689, 0.06949, 0.06991, 0.07018, 0.07033, 0.07012, 0.06904",\
                 "0.06728, 0.06747, 0.06804, 0.06873, 0.06933, 0.06975, 0.07003, 0.07011, 0.06965, 0.06815",\
                 "0.06711, 0.0673, 0.06786, 0.06856, 0.06916, 0.06957, 0.06985, 0.06973, 0.06858, 0.06646",\
                 "0.06696, 0.06714, 0.0677, 0.06841, 0.06899, 0.06939, 0.06935, 0.06809, 0.06571, 0.06359",\
                 "0.06645, 0.06664, 0.0672, 0.06784, 0.06815, 0.06714, 0.0644, 0.06201, 0.06034, 0.05915",\
                 "0.04065, 0.04001, 0.03941, 0.0395, 0.03981, 0.04009, 0.04029, 0.04043, 0.04053, 0.0406",\
                 "-0.001091, -0.001091, -0.001089, -0.001093, -0.00109, -0.00109, -0.001094, -0.001095, -0.001093, -0.001093",\
                 "-0.008642, -0.008642, -0.008643, -0.008642, -0.008642, -0.008642, -0.008642, -0.008641, -0.008641, -0.008641");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("-0.09242, -0.0922, -0.09171, -0.09097, -0.09023, -0.0891, -0.08016, -0.009036, 0.173, 0.3805",\
                 "-0.09243, -0.0922, -0.09172, -0.09091, -0.09016, -0.08907, -0.07963, -0.006361, 0.1769, 0.3825",\
                 "-0.09243, -0.09222, -0.09174, -0.09096, -0.09018, -0.08902, -0.07739, 0.003978, 0.1911, 0.3887",\
                 "-0.09247, -0.09226, -0.09173, -0.09096, -0.09024, -0.08901, -0.07253, 0.02558, 0.217, 0.3974",\
                 "-0.09253, -0.09234, -0.09179, -0.09108, -0.09027, -0.08818, -0.06014, 0.06485, 0.2493, 0.4017",\
                 "-0.09258, -0.09239, -0.09192, -0.09113, -0.09032, -0.08532, -0.0316, 0.1182, 0.2749, 0.3904",\
                 "-0.09261, -0.0924, -0.09194, -0.09115, -0.09002, -0.07291, 0.02466, 0.1663, 0.2743, 0.3503",\
                 "-0.09263, -0.0924, -0.09187, -0.09115, -0.08521, -0.02445, 0.08608, 0.1692, 0.2254, 0.2643",\
                 "-0.09252, -0.0923, -0.09183, -0.08601, -0.03571, 0.02281, 0.05995, 0.08356, 0.09912, 0.1097",\
                 "-0.1174, -0.117, -0.1164, -0.116, -0.1159, -0.1158, -0.1158, -0.1158, -0.1158, -0.1158");
        }
      }

      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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.05534, 0.05543, 0.05579, 0.05639, 0.057, 0.0575, 0.05785, 0.05802, 0.05783, 0.05684",\
                 "0.05522, 0.05532, 0.05569, 0.05628, 0.05689, 0.05739, 0.05772, 0.05789, 0.05769, 0.05666",\
                 "0.05504, 0.05515, 0.05551, 0.0561, 0.05671, 0.05721, 0.05754, 0.05768, 0.05738, 0.05618",\
                 "0.05495, 0.05504, 0.05542, 0.05601, 0.05661, 0.0571, 0.05741, 0.05747, 0.05687, 0.05531",\
                 "0.05488, 0.05497, 0.05534, 0.05593, 0.05653, 0.057, 0.05723, 0.05697, 0.05569, 0.05364",\
                 "0.05469, 0.0548, 0.05515, 0.05573, 0.05628, 0.05662, 0.05641, 0.05501, 0.05278, 0.05085",\
                 "0.05331, 0.0534, 0.05369, 0.05412, 0.05432, 0.0533, 0.05086, 0.04879, 0.04732, 0.04626",\
                 "0.04136, 0.04061, 0.03762, 0.03561, 0.03471, 0.03439, 0.03425, 0.03419, 0.03417, 0.03416",\
                 "0.006734, 0.006796, 0.006968, 0.007151, 0.007272, 0.007339, 0.007373, 0.00739, 0.0074, 0.007407",\
                 "-0.009907, -0.009907, -0.009908, -0.009908, -0.009908, -0.009909, -0.009909, -0.009909, -0.009909, -0.009909");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("-0.109, -0.1089, -0.1085, -0.108, -0.1074, -0.1038, -0.06048, 0.08302, 0.2516, 0.3797",\
                 "-0.109, -0.1089, -0.1085, -0.108, -0.1073, -0.1033, -0.05798, 0.08746, 0.2534, 0.3785",\
                 "-0.1091, -0.1089, -0.1085, -0.108, -0.1073, -0.1022, -0.04848, 0.1018, 0.258, 0.3734",\
                 "-0.1091, -0.109, -0.1086, -0.1081, -0.1075, -0.09926, -0.0281, 0.1244, 0.2619, 0.3607",\
                 "-0.1093, -0.1091, -0.1087, -0.1082, -0.1074, -0.0912, 0.00442, 0.1477, 0.2579, 0.3357",\
                 "-0.1094, -0.1093, -0.1089, -0.1084, -0.106, -0.06899, 0.04719, 0.1588, 0.2364, 0.2905",\
                 "-0.1097, -0.1096, -0.1092, -0.1086, -0.0974, -0.02176, 0.07382, 0.1395, 0.1835, 0.2139",\
                 "-0.1104, -0.1103, -0.1099, -0.1043, -0.05396, 0.004036, 0.0409, 0.06438, 0.07984, 0.09041",\
                 "-0.1174, -0.1176, -0.1116, -0.104, -0.09949, -0.09687, -0.09546, -0.09457, -0.09401, -0.09364",\
                 "-0.1567, -0.1567, -0.1567, -0.1567, -0.1567, -0.1567, -0.1567, -0.1567, -0.1567, -0.1567");
        }
      }

      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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.07289, 0.07308, 0.07364, 0.07433, 0.07495, 0.07537, 0.07566, 0.07579, 0.07549, 0.07425",\
                 "0.07292, 0.07312, 0.07368, 0.07436, 0.07497, 0.07538, 0.07566, 0.07579, 0.07547, 0.07418",\
                 "0.07289, 0.07307, 0.07364, 0.07434, 0.07493, 0.07536, 0.07564, 0.07574, 0.07528, 0.07377",\
                 "0.07277, 0.07296, 0.07353, 0.07422, 0.07481, 0.07525, 0.07552, 0.07552, 0.07472, 0.07281",\
                 "0.07264, 0.07283, 0.07339, 0.07409, 0.07469, 0.0751, 0.07534, 0.07505, 0.07357, 0.07132",\
                 "0.07252, 0.07271, 0.07327, 0.07397, 0.07455, 0.07493, 0.07493, 0.07375, 0.0714, 0.06925",\
                 "0.07229, 0.07247, 0.07305, 0.07373, 0.07427, 0.07433, 0.07293, 0.0703, 0.06812, 0.06653",\
                 "0.07107, 0.07124, 0.07171, 0.07209, 0.07111, 0.06813, 0.06577, 0.06419, 0.06311, 0.06236",\
                 "0.04256, 0.04231, 0.04228, 0.04271, 0.04319, 0.04356, 0.04381, 0.04398, 0.0441, 0.04418",\
                 "0.008458, 0.008457, 0.008454, 0.008447, 0.008442, 0.008439, 0.008436, 0.008434, 0.008434, 0.008434");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("-0.05679, -0.05659, -0.0561, -0.05531, -0.05454, -0.0523, -0.02284, 0.1048, 0.288, 0.4372",\
                 "-0.05689, -0.05671, -0.05624, -0.05551, -0.05467, -0.05221, -0.02154, 0.1081, 0.29, 0.4369",\
                 "-0.05705, -0.05689, -0.05635, -0.0556, -0.0548, -0.05178, -0.01533, 0.1219, 0.2975, 0.435",\
                 "-0.05718, -0.05696, -0.05644, -0.05568, -0.05491, -0.05005, 0.001365, 0.1506, 0.3092, 0.4272",\
                 "-0.05719, -0.057, -0.05651, -0.0558, -0.0548, -0.04342, 0.03875, 0.1892, 0.3139, 0.4027",\
                 "-0.05721, -0.05703, -0.05653, -0.05579, -0.05319, -0.0155, 0.1008, 0.2115, 0.2884, 0.3419",\
                 "-0.05721, -0.05703, -0.0565, -0.0551, -0.02862, 0.05408, 0.1216, 0.1654, 0.1945, 0.2145",\
                 "-0.05919, -0.05936, -0.0516, -0.03712, -0.02777, -0.02246, -0.01939, -0.01752, -0.01632, -0.01547",\
                 "-0.1075, -0.1075, -0.1075, -0.1075, -0.1075, -0.1075, -0.1075, -0.1075, -0.1075, -0.1075",\
                 "-0.1236, -0.1236, -0.1236, -0.1236, -0.1236, -0.1236, -0.1236, -0.1236, -0.1236, -0.1236");
        }
      }

      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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.05401, 0.05411, 0.05445, 0.05505, 0.05567, 0.05616, 0.05652, 0.05676, 0.05687, 0.05663",\
                 "0.05403, 0.05411, 0.05448, 0.05506, 0.05567, 0.05618, 0.05654, 0.05678, 0.05688, 0.05661",\
                 "0.05403, 0.05413, 0.05448, 0.05508, 0.05569, 0.05619, 0.05655, 0.05678, 0.05686, 0.05652",\
                 "0.05399, 0.05408, 0.05444, 0.05503, 0.05564, 0.05614, 0.05649, 0.05672, 0.05674, 0.05623",\
                 "0.05389, 0.05399, 0.05434, 0.05494, 0.05554, 0.05604, 0.05639, 0.05658, 0.05645, 0.05558",\
                 "0.05378, 0.05387, 0.05423, 0.05481, 0.05542, 0.0559, 0.05624, 0.05632, 0.05578, 0.05428",\
                 "0.05364, 0.05372, 0.05409, 0.05466, 0.05526, 0.05572, 0.05594, 0.05556, 0.0541, 0.052",\
                 "0.05331, 0.0534, 0.05376, 0.05429, 0.05482, 0.05507, 0.05453, 0.05266, 0.05041, 0.04866",\
                 "0.05109, 0.05116, 0.05144, 0.05177, 0.05156, 0.04954, 0.04717, 0.0455, 0.04434, 0.04351",\
                 "0.0337, 0.03245, 0.03052, 0.02966, 0.02951, 0.02962, 0.02976, 0.02988, 0.02997, 0.03004");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.02002, 0.02016, 0.02053, 0.02102, 0.02169, 0.0246, 0.06057, 0.1969, 0.3736, 0.5119",\
                 "0.01993, 0.02007, 0.02044, 0.021, 0.02161, 0.02467, 0.06259, 0.2006, 0.3753, 0.5112",\
                 "0.01984, 0.01997, 0.02037, 0.02091, 0.02149, 0.02518, 0.07035, 0.2155, 0.3819, 0.5076",\
                 "0.01974, 0.01983, 0.02024, 0.02071, 0.02154, 0.02796, 0.09048, 0.2431, 0.3896, 0.4961",\
                 "0.0196, 0.01971, 0.02012, 0.02061, 0.02156, 0.03708, 0.1318, 0.2757, 0.3872, 0.4659",\
                 "0.01938, 0.01953, 0.01985, 0.02046, 0.02411, 0.07309, 0.1892, 0.2855, 0.3513, 0.397",\
                 "0.01873, 0.01884, 0.01921, 0.02155, 0.06027, 0.1349, 0.1868, 0.2201, 0.2421, 0.2572",\
                 "0.002486, 0.002984, 0.006181, 0.009004, 0.01055, 0.01139, 0.01184, 0.01211, 0.01228, 0.01239",\
                 "-0.03483, -0.03483, -0.03483, -0.03483, -0.03483, -0.03483, -0.03483, -0.03483, -0.03483, -0.03483",\
                 "-0.04216, -0.04216, -0.04216, -0.04216, -0.04216, -0.04216, -0.04216, -0.04216, -0.04216, -0.04216");
        }
      }

      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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.06668, 0.06686, 0.06743, 0.06813, 0.06872, 0.06915, 0.06943, 0.06959, 0.06941, 0.0684",\
                 "0.06657, 0.06677, 0.06733, 0.06803, 0.06863, 0.06906, 0.06934, 0.06949, 0.06929, 0.06824",\
                 "0.06649, 0.06669, 0.06724, 0.06795, 0.06854, 0.06895, 0.06924, 0.06938, 0.06907, 0.0678",\
                 "0.06638, 0.06657, 0.06713, 0.06783, 0.06843, 0.06885, 0.06913, 0.06919, 0.06857, 0.06686",\
                 "0.06626, 0.06645, 0.06701, 0.06771, 0.06831, 0.06872, 0.06896, 0.0687, 0.06727, 0.06503",\
                 "0.06608, 0.06628, 0.06683, 0.06753, 0.06812, 0.06848, 0.06823, 0.06654, 0.06407, 0.06208",\
                 "0.06532, 0.06552, 0.06604, 0.06662, 0.06663, 0.06473, 0.06188, 0.05981, 0.05838, 0.05736",\
                 "0.02934, 0.02953, 0.03015, 0.03089, 0.03156, 0.03201, 0.0323, 0.03251, 0.03264, 0.03274",\
                 "-0.003521, -0.003519, -0.003521, -0.003518, -0.003519, -0.003519, -0.00352, -0.003519, -0.003519, -0.003519",\
                 "-0.01097, -0.01097, -0.01097, -0.01097, -0.01097, -0.01097, -0.01097, -0.01097, -0.01097, -0.01097");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("-0.0931, -0.09288, -0.09238, -0.09161, -0.09081, -0.0898, -0.08065, -0.008886, 0.1733, 0.3804",\
                 "-0.09306, -0.09286, -0.09237, -0.09162, -0.09088, -0.08995, -0.07999, -0.0064, 0.1782, 0.3823",\
                 "-0.09308, -0.09286, -0.09236, -0.09158, -0.09081, -0.08965, -0.07813, 0.003054, 0.1914, 0.3884",\
                 "-0.0931, -0.09287, -0.09237, -0.09164, -0.0908, -0.08967, -0.07348, 0.02341, 0.2158, 0.3964",\
                 "-0.09313, -0.09294, -0.09242, -0.09162, -0.09087, -0.08898, -0.06236, 0.05987, 0.2462, 0.4011",\
                 "-0.09321, -0.09297, -0.09248, -0.09167, -0.09096, -0.0865, -0.03691, 0.1114, 0.2722, 0.3924",\
                 "-0.09324, -0.09304, -0.09252, -0.09183, -0.09079, -0.07642, 0.0151, 0.1611, 0.2759, 0.3571",\
                 "-0.09325, -0.09305, -0.09252, -0.0919, -0.0873, -0.03443, 0.08022, 0.1722, 0.2347, 0.2782",\
                 "-0.09322, -0.093, -0.09254, -0.0891, -0.04565, 0.02404, 0.07045, 0.1001, 0.1197, 0.1332",\
                 "-0.1054, -0.105, -0.1018, -0.09893, -0.09738, -0.09658, -0.09612, -0.09584, -0.0957, -0.09559");
        }
      }

      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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.0523, 0.05237, 0.05275, 0.05335, 0.05395, 0.05444, 0.05479, 0.05504, 0.05519, 0.05514",\
                 "0.05223, 0.05232, 0.05269, 0.05328, 0.05389, 0.05438, 0.05474, 0.05498, 0.05512, 0.05506",\
                 "0.05201, 0.0521, 0.05248, 0.05308, 0.05368, 0.05418, 0.05453, 0.05478, 0.05491, 0.05481",\
                 "0.0517, 0.0518, 0.05218, 0.05276, 0.05338, 0.05386, 0.05422, 0.05446, 0.05457, 0.05435",\
                 "0.05143, 0.05153, 0.0519, 0.05246, 0.05305, 0.05354, 0.05391, 0.05415, 0.05417, 0.05367",\
                 "0.05127, 0.05135, 0.05169, 0.05221, 0.05275, 0.05323, 0.0536, 0.05377, 0.05348, 0.0523",\
                 "0.05116, 0.05122, 0.05147, 0.05193, 0.05243, 0.05286, 0.05311, 0.05276, 0.05131, 0.04925",\
                 "0.05051, 0.05053, 0.05068, 0.05099, 0.05126, 0.05108, 0.04957, 0.04725, 0.04543, 0.0441",\
                 "0.03878, 0.03864, 0.0363, 0.03352, 0.03198, 0.03128, 0.03099, 0.03089, 0.03087, 0.03089",\
                 "0.008923, 0.008978, 0.009142, 0.009409, 0.009728, 0.01005, 0.01035, 0.0106, 0.01081, 0.01096");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.01433, 0.01454, 0.01509, 0.01592, 0.01682, 0.01763, 0.01977, 0.04426, 0.1649, 0.3937",\
                 "0.01436, 0.01458, 0.01513, 0.01602, 0.01685, 0.01771, 0.01972, 0.0456, 0.1686, 0.3978",\
                 "0.0144, 0.01461, 0.01515, 0.01594, 0.0168, 0.01763, 0.02055, 0.04987, 0.1821, 0.4127",\
                 "0.0143, 0.01452, 0.01505, 0.01584, 0.01661, 0.0173, 0.02118, 0.05966, 0.2073, 0.438",\
                 "0.01409, 0.01424, 0.01471, 0.01531, 0.01605, 0.01691, 0.02342, 0.08102, 0.252, 0.4713",\
                 "0.01388, 0.01404, 0.01447, 0.01505, 0.01578, 0.01682, 0.03087, 0.1211, 0.312, 0.5003",\
                 "0.01376, 0.01387, 0.01413, 0.01474, 0.01546, 0.01822, 0.05383, 0.1896, 0.367, 0.5059",\
                 "0.01371, 0.01382, 0.01406, 0.0145, 0.01532, 0.02887, 0.117, 0.2647, 0.383, 0.4668",\
                 "0.01383, 0.01394, 0.0142, 0.01456, 0.02254, 0.09052, 0.1949, 0.2698, 0.3203, 0.3553",\
                 "0.01385, 0.01386, 0.01466, 0.03796, 0.07668, 0.1018, 0.1173, 0.127, 0.1334, 0.1377");
        }
      }

      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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.05777, 0.05796, 0.05853, 0.05924, 0.05982, 0.06024, 0.06053, 0.06073, 0.06086, 0.06088",\
                 "0.05782, 0.05802, 0.05858, 0.05928, 0.05987, 0.0603, 0.06059, 0.06077, 0.0609, 0.06091",\
                 "0.05772, 0.0579, 0.05848, 0.05918, 0.05977, 0.06019, 0.06048, 0.06068, 0.06081, 0.0608",\
                 "0.05735, 0.05753, 0.05809, 0.05879, 0.05939, 0.05982, 0.06009, 0.0603, 0.0604, 0.06036",\
                 "0.05699, 0.05721, 0.05777, 0.05849, 0.05909, 0.05951, 0.05979, 0.05998, 0.06009, 0.05995",\
                 "0.05677, 0.05696, 0.05753, 0.05823, 0.05884, 0.05926, 0.05955, 0.05973, 0.05978, 0.05942",\
                 "0.05652, 0.05673, 0.05729, 0.05802, 0.05861, 0.05902, 0.0593, 0.05946, 0.05932, 0.0584",\
                 "0.05637, 0.05656, 0.05713, 0.05784, 0.05842, 0.05885, 0.05913, 0.05911, 0.05827, 0.05633",\
                 "0.05643, 0.05664, 0.05717, 0.05787, 0.05845, 0.05885, 0.05879, 0.05748, 0.05509, 0.05298",\
                 "0.05676, 0.05697, 0.05747, 0.05804, 0.05812, 0.05641, 0.05356, 0.05144, 0.04997, 0.04893");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.0306, 0.03075, 0.03123, 0.03191, 0.03265, 0.03356, 0.03941, 0.09223, 0.2603, 0.4824",\
                 "0.03051, 0.0307, 0.03117, 0.03186, 0.03261, 0.03343, 0.03996, 0.09436, 0.2646, 0.4851",\
                 "0.03048, 0.03066, 0.03114, 0.03183, 0.03257, 0.03355, 0.04109, 0.1042, 0.2813, 0.4952",\
                 "0.03044, 0.03064, 0.03111, 0.03179, 0.03252, 0.03351, 0.0449, 0.125, 0.3129, 0.5109",\
                 "0.03037, 0.03055, 0.03104, 0.0317, 0.03259, 0.03407, 0.05577, 0.167, 0.3571, 0.5236",\
                 "0.03024, 0.03045, 0.03094, 0.03154, 0.03239, 0.03682, 0.08754, 0.2357, 0.3959, 0.5153",\
                 "0.03011, 0.03031, 0.03076, 0.03143, 0.03295, 0.05707, 0.165, 0.2955, 0.3901, 0.4565",\
                 "0.02985, 0.03002, 0.03046, 0.03161, 0.05512, 0.1384, 0.2104, 0.2573, 0.2886, 0.3101",\
                 "0.02111, 0.02083, 0.02565, 0.03082, 0.03384, 0.03544, 0.03638, 0.03692, 0.03724, 0.03749",\
                 "-0.02245, -0.02245, -0.02246, -0.02245, -0.02245, -0.02245, -0.02245, -0.02246, -0.02245, -0.02245");
        }
      }

      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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.05777, 0.05796, 0.05853, 0.05924, 0.05982, 0.06024, 0.06053, 0.06073, 0.06086, 0.06088",\
                 "0.05781, 0.05801, 0.05858, 0.05929, 0.05988, 0.0603, 0.06059, 0.06079, 0.06089, 0.06092",\
                 "0.05772, 0.05791, 0.05848, 0.05918, 0.05977, 0.06019, 0.06048, 0.06068, 0.06081, 0.0608",\
                 "0.05735, 0.05753, 0.05809, 0.05879, 0.05939, 0.05982, 0.06009, 0.0603, 0.06041, 0.06037",\
                 "0.05699, 0.0572, 0.05777, 0.05849, 0.05908, 0.05951, 0.05979, 0.05998, 0.06009, 0.05995",\
                 "0.05677, 0.05696, 0.05753, 0.05823, 0.05883, 0.05926, 0.05955, 0.05973, 0.05978, 0.05942",\
                 "0.05652, 0.05671, 0.05731, 0.05802, 0.0586, 0.05903, 0.05931, 0.05947, 0.05932, 0.05841",\
                 "0.05636, 0.05657, 0.05713, 0.05784, 0.05842, 0.05885, 0.05913, 0.05911, 0.05827, 0.05632",\
                 "0.05643, 0.05663, 0.05717, 0.05787, 0.05845, 0.05885, 0.0588, 0.05748, 0.05509, 0.05298",\
                 "0.05678, 0.05697, 0.05747, 0.05805, 0.05813, 0.05641, 0.05356, 0.05144, 0.04997, 0.04893");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.03058, 0.03074, 0.03122, 0.0319, 0.03264, 0.03355, 0.0394, 0.09222, 0.2603, 0.4821",\
                 "0.03049, 0.03067, 0.03116, 0.03182, 0.03263, 0.03345, 0.03993, 0.09449, 0.2645, 0.4851",\
                 "0.03046, 0.03067, 0.03111, 0.03186, 0.03258, 0.03358, 0.04143, 0.1036, 0.2813, 0.4952",\
                 "0.03043, 0.03063, 0.03113, 0.03182, 0.03263, 0.03356, 0.04489, 0.125, 0.3129, 0.5109",\
                 "0.03037, 0.03056, 0.03106, 0.03173, 0.03252, 0.03422, 0.05547, 0.1672, 0.3571, 0.5237",\
                 "0.03024, 0.03047, 0.03093, 0.03157, 0.03245, 0.03697, 0.08708, 0.2358, 0.3959, 0.5153",\
                 "0.0301, 0.0303, 0.03072, 0.03149, 0.03286, 0.05707, 0.165, 0.2955, 0.3901, 0.4565",\
                 "0.02982, 0.02998, 0.0305, 0.03164, 0.05504, 0.1384, 0.2103, 0.2573, 0.2886, 0.3101",\
                 "0.0211, 0.02084, 0.02563, 0.03078, 0.03384, 0.03546, 0.03638, 0.0369, 0.03725, 0.03747",\
                 "-0.02246, -0.02246, -0.02247, -0.02247, -0.02246, -0.02246, -0.02246, -0.02247, -0.02246, -0.02246");
        }
      }

      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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.05227, 0.05239, 0.05275, 0.05334, 0.05395, 0.05443, 0.05479, 0.05503, 0.05518, 0.05513",\
                 "0.05221, 0.05232, 0.05268, 0.05328, 0.05389, 0.05437, 0.05473, 0.05498, 0.05512, 0.05506",\
                 "0.05201, 0.05209, 0.05247, 0.05307, 0.05368, 0.05418, 0.05453, 0.05478, 0.05491, 0.0548",\
                 "0.0517, 0.0518, 0.05216, 0.05276, 0.05337, 0.05385, 0.05422, 0.05446, 0.05457, 0.05435",\
                 "0.05144, 0.05153, 0.0519, 0.05246, 0.05305, 0.05354, 0.0539, 0.05414, 0.05417, 0.05366",\
                 "0.05126, 0.05136, 0.05167, 0.0522, 0.05275, 0.05323, 0.0536, 0.05376, 0.05348, 0.0523",\
                 "0.05115, 0.05121, 0.05147, 0.05192, 0.05242, 0.05285, 0.0531, 0.05275, 0.05131, 0.04925",\
                 "0.05051, 0.05052, 0.05068, 0.05098, 0.05125, 0.05106, 0.04955, 0.04724, 0.04541, 0.04409",\
                 "0.03877, 0.03863, 0.0363, 0.03347, 0.03198, 0.03127, 0.03097, 0.03088, 0.03086, 0.03087",\
                 "0.008919, 0.008973, 0.009139, 0.009401, 0.009721, 0.01005, 0.01035, 0.0106, 0.0108, 0.01096");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.01442, 0.01465, 0.01521, 0.01605, 0.01682, 0.01752, 0.02004, 0.04526, 0.1637, 0.3933",\
                 "0.01445, 0.01468, 0.01523, 0.01612, 0.01695, 0.01781, 0.01981, 0.04569, 0.168, 0.3977",\
                 "0.01449, 0.01471, 0.01525, 0.01607, 0.01698, 0.01784, 0.02033, 0.04995, 0.1822, 0.4125",\
                 "0.0144, 0.01462, 0.01515, 0.01594, 0.01675, 0.0174, 0.02149, 0.05976, 0.2074, 0.4382",\
                 "0.01417, 0.01434, 0.0148, 0.01546, 0.01623, 0.01697, 0.02389, 0.08111, 0.252, 0.4715",\
                 "0.01398, 0.01414, 0.01458, 0.01513, 0.01594, 0.01693, 0.03102, 0.1215, 0.3118, 0.5003",\
                 "0.01388, 0.01401, 0.01432, 0.01482, 0.01563, 0.01814, 0.0543, 0.1903, 0.3669, 0.506",\
                 "0.0138, 0.01391, 0.0142, 0.0145, 0.01545, 0.02903, 0.1169, 0.2649, 0.3832, 0.4669",\
                 "0.01393, 0.01404, 0.01433, 0.01468, 0.02283, 0.09088, 0.1951, 0.2699, 0.3205, 0.3555",\
                 "0.01396, 0.01396, 0.0148, 0.03804, 0.07677, 0.102, 0.1174, 0.1272, 0.1335, 0.1379");
        }
      }

      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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("12.78, 12.9, 13.22, 13.65, 14.18, 14.83, 15.61, 16.56, 17.71, 19.06",\
                 "12.86, 12.98, 13.3, 13.73, 14.27, 14.91, 15.69, 16.64, 17.79, 19.14",\
                 "13.1, 13.22, 13.54, 13.97, 14.5, 15.15, 15.93, 16.88, 18.03, 19.38",\
                 "13.44, 13.56, 13.88, 14.31, 14.85, 15.49, 16.27, 17.23, 18.37, 19.72",\
                 "13.77, 13.89, 14.21, 14.64, 15.18, 15.82, 16.61, 17.55, 18.7, 20.05",\
                 "14.06, 14.18, 14.5, 14.94, 15.47, 16.12, 16.9, 17.85, 18.99, 20.35",\
                 "14.3, 14.42, 14.74, 15.17, 15.71, 16.35, 17.14, 18.09, 19.23, 20.59",\
                 "14.47, 14.59, 14.91, 15.34, 15.87, 16.52, 17.3, 18.25, 19.4, 20.75",\
                 "14.54, 14.66, 14.98, 15.41, 15.95, 16.59, 17.37, 18.32, 19.47, 20.82",\
                 "14.51, 14.64, 14.95, 15.39, 15.92, 16.57, 17.35, 18.3, 19.44, 20.8");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("10.6, 10.76, 11.22, 11.96, 13.04, 14.52, 16.45, 18.89, 21.86, 25.39",\
                 "10.64, 10.8, 11.27, 12.01, 13.09, 14.57, 16.5, 18.94, 21.91, 25.44",\
                 "10.86, 11.02, 11.49, 12.23, 13.3, 14.78, 16.72, 19.15, 22.12, 25.65",\
                 "11.29, 11.45, 11.91, 12.66, 13.73, 15.21, 17.15, 19.58, 22.55, 26.08",\
                 "11.93, 12.09, 12.55, 13.3, 14.37, 15.85, 17.79, 20.22, 23.19, 26.72",\
                 "12.81, 12.97, 13.44, 14.18, 15.26, 16.73, 18.67, 21.1, 24.07, 27.61",\
                 "13.94, 14.1, 14.56, 15.31, 16.38, 17.86, 19.8, 22.23, 25.2, 28.74",\
                 "15.25, 15.41, 15.87, 16.62, 17.69, 19.17, 21.11, 23.54, 26.51, 30.05",\
                 "16.7, 16.86, 17.33, 18.07, 19.15, 20.63, 22.56, 25, 27.97, 31.5",\
                 "18.31, 18.47, 18.94, 19.68, 20.76, 22.24, 24.17, 26.6, 29.57, 33.11");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.68, 0.772, 1.034, 1.46, 2.076, 2.942, 4.11, 5.63, 7.54, 9.834",\
                 "0.68, 0.77, 1.032, 1.458, 2.076, 2.94, 4.11, 5.63, 7.538, 9.832",\
                 "0.682, 0.772, 1.034, 1.46, 2.076, 2.938, 4.108, 5.628, 7.538, 9.838",\
                 "0.682, 0.77, 1.032, 1.458, 2.076, 2.94, 4.108, 5.636, 7.536, 9.834",\
                 "0.68, 0.77, 1.03, 1.458, 2.08, 2.942, 4.106, 5.636, 7.538, 9.826",\
                 "0.68, 0.772, 1.032, 1.46, 2.078, 2.942, 4.108, 5.636, 7.534, 9.828",\
                 "0.682, 0.772, 1.032, 1.46, 2.076, 2.94, 4.108, 5.628, 7.536, 9.832",\
                 "0.682, 0.772, 1.032, 1.458, 2.074, 2.942, 4.11, 5.634, 7.534, 9.838",\
                 "0.682, 0.772, 1.032, 1.46, 2.078, 2.942, 4.112, 5.636, 7.53, 9.822",\
                 "0.68, 0.77, 1.032, 1.46, 2.076, 2.942, 4.108, 5.628, 7.534, 9.816");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.772, 0.932, 1.47, 2.508, 4.208, 6.658, 9.904, 14.02, 19, 24.98",\
                 "0.77, 0.932, 1.47, 2.51, 4.208, 6.658, 9.916, 14, 19, 24.98",\
                 "0.772, 0.934, 1.468, 2.508, 4.208, 6.66, 9.916, 14.02, 19, 24.98",\
                 "0.772, 0.932, 1.472, 2.508, 4.208, 6.66, 9.906, 14.03, 19.02, 24.96",\
                 "0.772, 0.932, 1.468, 2.508, 4.208, 6.662, 9.908, 13.99, 19.01, 24.94",\
                 "0.77, 0.934, 1.47, 2.508, 4.208, 6.652, 9.9, 13.99, 19.03, 24.96",\
                 "0.772, 0.932, 1.468, 2.508, 4.208, 6.654, 9.9, 14.02, 19.05, 24.97",\
                 "0.772, 0.932, 1.468, 2.506, 4.208, 6.66, 9.91, 14.02, 19.05, 24.96",\
                 "0.772, 0.932, 1.472, 2.512, 4.208, 6.66, 9.912, 14.02, 19, 25.03",\
                 "0.772, 0.934, 1.474, 2.508, 4.206, 6.646, 9.904, 14.02, 19.05, 24.96");
        }
      }

      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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("6.838, 7.021, 7.483, 8.094, 8.798, 9.595, 10.5, 11.54, 12.74, 14.13",\
                 "6.892, 7.075, 7.537, 8.147, 8.851, 9.649, 10.56, 11.6, 12.8, 14.19",\
                 "7.087, 7.269, 7.732, 8.34, 9.048, 9.841, 10.75, 11.79, 12.99, 14.38",\
                 "7.454, 7.636, 8.099, 8.708, 9.412, 10.21, 11.12, 12.16, 13.36, 14.75",\
                 "7.992, 8.175, 8.637, 9.246, 9.952, 10.75, 11.65, 12.7, 13.9, 15.28",\
                 "8.572, 8.754, 9.218, 9.827, 10.53, 11.33, 12.24, 13.28, 14.48, 15.86",\
                 "9.117, 9.299, 9.763, 10.37, 11.08, 11.87, 12.78, 13.82, 15.02, 16.41",\
                 "9.599, 9.782, 10.25, 10.86, 11.56, 12.36, 13.27, 14.31, 15.51, 16.89",\
                 "10.01, 10.19, 10.66, 11.27, 11.97, 12.77, 13.68, 14.72, 15.92, 17.31",\
                 "10.33, 10.52, 10.98, 11.59, 12.29, 13.09, 14, 15.04, 16.24, 17.63");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("10.34, 10.52, 11, 11.77, 12.85, 14.33, 16.27, 18.71, 21.68, 25.21",\
                 "10.42, 10.6, 11.09, 11.85, 12.93, 14.42, 16.35, 18.79, 21.76, 25.3",\
                 "10.64, 10.81, 11.3, 12.06, 13.14, 14.63, 16.57, 19, 21.97, 25.51",\
                 "11.07, 11.25, 11.73, 12.5, 13.58, 15.06, 17, 19.44, 22.41, 25.94",\
                 "11.79, 11.97, 12.46, 13.22, 14.3, 15.78, 17.72, 20.16, 23.13, 26.67",\
                 "12.85, 13.02, 13.51, 14.27, 15.35, 16.84, 18.78, 21.21, 24.18, 27.72",\
                 "14.26, 14.44, 14.92, 15.68, 16.77, 18.25, 20.19, 22.63, 25.6, 29.13",\
                 "16.05, 16.23, 16.72, 17.48, 18.56, 20.04, 21.98, 24.42, 27.39, 30.93",\
                 "18.21, 18.39, 18.87, 19.63, 20.72, 22.2, 24.14, 26.58, 29.54, 33.08",\
                 "20.63, 20.81, 21.3, 22.06, 23.15, 24.63, 26.57, 29, 31.97, 35.51");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("1.148, 1.263, 1.589, 2.086, 2.756, 3.624, 4.751, 6.168, 7.956, 10.16",\
                 "1.149, 1.263, 1.588, 2.085, 2.758, 3.622, 4.751, 6.176, 7.962, 10.15",\
                 "1.147, 1.263, 1.589, 2.086, 2.757, 3.628, 4.744, 6.174, 7.964, 10.14",\
                 "1.147, 1.262, 1.587, 2.085, 2.755, 3.626, 4.746, 6.166, 7.954, 10.16",\
                 "1.147, 1.264, 1.586, 2.086, 2.758, 3.626, 4.744, 6.164, 7.96, 10.15",\
                 "1.148, 1.262, 1.588, 2.084, 2.756, 3.626, 4.75, 6.174, 7.96, 10.15",\
                 "1.148, 1.262, 1.586, 2.086, 2.754, 3.626, 4.752, 6.174, 7.958, 10.15",\
                 "1.15, 1.264, 1.588, 2.088, 2.758, 3.628, 4.75, 6.176, 7.952, 10.16",\
                 "1.15, 1.264, 1.586, 2.086, 2.756, 3.63, 4.744, 6.174, 7.952, 10.16",\
                 "1.15, 1.266, 1.59, 2.09, 2.76, 3.626, 4.742, 6.18, 7.954, 10.14");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.878, 1.034, 1.554, 2.57, 4.246, 6.684, 9.924, 14.01, 19, 24.96",\
                 "0.878, 1.034, 1.554, 2.566, 4.244, 6.678, 9.93, 14.01, 19, 24.98",\
                 "0.878, 1.034, 1.552, 2.566, 4.248, 6.678, 9.934, 14.02, 19.01, 24.98",\
                 "0.88, 1.034, 1.554, 2.566, 4.246, 6.682, 9.928, 14.02, 19, 24.98",\
                 "0.878, 1.034, 1.552, 2.566, 4.242, 6.684, 9.922, 14.01, 19.02, 25",\
                 "0.878, 1.034, 1.554, 2.57, 4.248, 6.682, 9.92, 14.02, 19.01, 24.99",\
                 "0.878, 1.034, 1.552, 2.57, 4.242, 6.678, 9.92, 14.01, 19.01, 25",\
                 "0.878, 1.036, 1.556, 2.568, 4.246, 6.686, 9.924, 14.03, 19.02, 25",\
                 "0.88, 1.036, 1.556, 2.57, 4.246, 6.688, 9.934, 14.02, 19.03, 24.98",\
                 "0.89, 1.044, 1.564, 2.57, 4.248, 6.688, 9.936, 14.03, 19.03, 24.97");
        }
      }

      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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("12.78, 12.9, 13.22, 13.65, 14.18, 14.83, 15.61, 16.56, 17.71, 19.06",\
                 "12.86, 12.98, 13.3, 13.73, 14.27, 14.91, 15.69, 16.64, 17.79, 19.14",\
                 "13.1, 13.22, 13.54, 13.97, 14.5, 15.15, 15.93, 16.88, 18.03, 19.38",\
                 "13.44, 13.56, 13.88, 14.31, 14.85, 15.49, 16.27, 17.23, 18.37, 19.72",\
                 "13.77, 13.89, 14.21, 14.64, 15.18, 15.82, 16.61, 17.55, 18.7, 20.05",\
                 "14.06, 14.18, 14.5, 14.94, 15.47, 16.12, 16.9, 17.85, 18.99, 20.35",\
                 "14.3, 14.42, 14.74, 15.17, 15.71, 16.35, 17.14, 18.09, 19.23, 20.59",\
                 "14.47, 14.59, 14.91, 15.34, 15.87, 16.52, 17.3, 18.25, 19.4, 20.75",\
                 "14.54, 14.66, 14.98, 15.41, 15.95, 16.59, 17.37, 18.32, 19.47, 20.82",\
                 "14.51, 14.64, 14.95, 15.39, 15.92, 16.57, 17.35, 18.3, 19.44, 20.8");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("10.34, 10.52, 11, 11.77, 12.85, 14.33, 16.27, 18.71, 21.68, 25.21",\
                 "10.42, 10.6, 11.09, 11.85, 12.93, 14.42, 16.35, 18.79, 21.76, 25.3",\
                 "10.64, 10.81, 11.3, 12.06, 13.14, 14.63, 16.57, 19, 21.97, 25.51",\
                 "11.07, 11.25, 11.73, 12.5, 13.58, 15.06, 17, 19.44, 22.41, 25.94",\
                 "11.79, 11.97, 12.46, 13.22, 14.3, 15.78, 17.72, 20.16, 23.13, 26.67",\
                 "12.85, 13.02, 13.51, 14.27, 15.35, 16.84, 18.78, 21.21, 24.18, 27.72",\
                 "14.26, 14.44, 14.92, 15.68, 16.77, 18.25, 20.19, 22.63, 25.6, 29.13",\
                 "16.05, 16.23, 16.72, 17.48, 18.56, 20.04, 21.98, 24.42, 27.39, 30.93",\
                 "18.21, 18.39, 18.87, 19.63, 20.72, 22.2, 24.14, 26.58, 29.54, 33.08",\
                 "20.63, 20.81, 21.3, 22.06, 23.15, 24.63, 26.57, 29, 31.97, 35.51");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("1.148, 1.263, 1.589, 2.086, 2.756, 3.624, 4.751, 6.168, 7.956, 10.16",\
                 "1.149, 1.263, 1.588, 2.085, 2.758, 3.622, 4.751, 6.176, 7.962, 10.15",\
                 "1.147, 1.263, 1.589, 2.086, 2.757, 3.628, 4.744, 6.174, 7.964, 10.14",\
                 "1.147, 1.262, 1.587, 2.085, 2.755, 3.626, 4.746, 6.166, 7.954, 10.16",\
                 "1.147, 1.264, 1.586, 2.086, 2.758, 3.626, 4.744, 6.164, 7.96, 10.15",\
                 "1.148, 1.262, 1.588, 2.084, 2.756, 3.626, 4.75, 6.174, 7.96, 10.15",\
                 "1.148, 1.262, 1.586, 2.086, 2.754, 3.626, 4.752, 6.174, 7.958, 10.15",\
                 "1.15, 1.264, 1.588, 2.088, 2.758, 3.628, 4.75, 6.176, 7.952, 10.16",\
                 "1.15, 1.264, 1.586, 2.086, 2.756, 3.63, 4.744, 6.174, 7.952, 10.16",\
                 "1.15, 1.266, 1.59, 2.09, 2.76, 3.626, 4.742, 6.18, 7.954, 10.14");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.772, 0.932, 1.47, 2.508, 4.208, 6.658, 9.904, 14.02, 19, 24.98",\
                 "0.77, 0.932, 1.47, 2.51, 4.208, 6.658, 9.916, 14, 19, 24.98",\
                 "0.772, 0.934, 1.468, 2.508, 4.208, 6.66, 9.916, 14.02, 19, 24.98",\
                 "0.772, 0.932, 1.472, 2.508, 4.208, 6.66, 9.906, 14.03, 19.02, 24.96",\
                 "0.772, 0.932, 1.468, 2.508, 4.208, 6.662, 9.908, 13.99, 19.01, 24.94",\
                 "0.77, 0.934, 1.47, 2.508, 4.208, 6.652, 9.9, 13.99, 19.03, 24.96",\
                 "0.772, 0.932, 1.468, 2.508, 4.208, 6.654, 9.9, 14.02, 19.05, 24.97",\
                 "0.772, 0.932, 1.468, 2.506, 4.208, 6.66, 9.91, 14.02, 19.05, 24.96",\
                 "0.772, 0.932, 1.472, 2.512, 4.208, 6.66, 9.912, 14.02, 19, 25.03",\
                 "0.772, 0.934, 1.474, 2.508, 4.206, 6.646, 9.904, 14.02, 19.05, 24.96");
        }
      }

      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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("10.68, 10.86, 11.32, 11.93, 12.64, 13.43, 14.34, 15.38, 16.58, 17.97",\
                 "10.73, 10.91, 11.37, 11.98, 12.69, 13.48, 14.39, 15.43, 16.63, 18.02",\
                 "10.94, 11.13, 11.59, 12.2, 12.9, 13.7, 14.61, 15.65, 16.85, 18.23",\
                 "11.37, 11.55, 12.02, 12.62, 13.33, 14.12, 15.03, 16.07, 17.27, 18.66",\
                 "12.01, 12.19, 12.66, 13.26, 13.97, 14.77, 15.67, 16.71, 17.92, 19.3",\
                 "12.9, 13.08, 13.54, 14.15, 14.85, 15.65, 16.56, 17.6, 18.8, 20.19",\
                 "14.02, 14.2, 14.67, 15.27, 15.98, 16.77, 17.68, 18.72, 19.92, 21.31",\
                 "15.33, 15.51, 15.97, 16.58, 17.29, 18.08, 18.99, 20.03, 21.23, 22.62",\
                 "16.78, 16.96, 17.43, 18.03, 18.74, 19.54, 20.45, 21.49, 22.69, 24.07",\
                 "18.39, 18.57, 19.03, 19.64, 20.34, 21.14, 22.05, 23.09, 24.29, 25.68");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("11.93, 12.1, 12.59, 13.35, 14.44, 15.92, 17.86, 20.29, 23.26, 26.8",\
                 "12.01, 12.18, 12.67, 13.44, 14.52, 16, 17.94, 20.38, 23.35, 26.88",\
                 "12.25, 12.42, 12.91, 13.67, 14.76, 16.24, 18.18, 20.62, 23.59, 27.12",\
                 "12.59, 12.76, 13.25, 14.02, 15.1, 16.58, 18.52, 20.96, 23.92, 27.46",\
                 "12.92, 13.09, 13.58, 14.35, 15.43, 16.91, 18.85, 21.29, 24.26, 27.8",\
                 "13.21, 13.39, 13.88, 14.64, 15.72, 17.2, 19.14, 21.58, 24.55, 28.09",\
                 "13.45, 13.62, 14.11, 14.87, 15.96, 17.44, 19.38, 21.82, 24.79, 28.32",\
                 "13.61, 13.78, 14.27, 15.03, 16.12, 17.6, 19.54, 21.98, 24.95, 28.48",\
                 "13.67, 13.85, 14.34, 15.1, 16.18, 17.67, 19.6, 22.04, 25.01, 28.55",\
                 "13.65, 13.82, 14.31, 15.07, 16.16, 17.64, 19.58, 22.02, 24.98, 28.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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("1.148, 1.264, 1.588, 2.086, 2.754, 3.62, 4.744, 6.172, 7.958, 10.15",\
                 "1.146, 1.26, 1.588, 2.086, 2.756, 3.628, 4.746, 6.172, 7.96, 10.15",\
                 "1.146, 1.26, 1.586, 2.086, 2.754, 3.626, 4.746, 6.164, 7.962, 10.15",\
                 "1.148, 1.262, 1.588, 2.086, 2.756, 3.626, 4.744, 6.168, 7.958, 10.16",\
                 "1.146, 1.262, 1.59, 2.084, 2.758, 3.622, 4.746, 6.168, 7.964, 10.15",\
                 "1.146, 1.262, 1.588, 2.086, 2.758, 3.628, 4.748, 6.172, 7.962, 10.14",\
                 "1.148, 1.262, 1.588, 2.086, 2.754, 3.626, 4.746, 6.166, 7.954, 10.15",\
                 "1.148, 1.264, 1.588, 2.084, 2.76, 3.622, 4.752, 6.164, 7.954, 10.16",\
                 "1.148, 1.262, 1.586, 2.088, 2.756, 3.626, 4.75, 6.172, 7.964, 10.15",\
                 "1.146, 1.262, 1.586, 2.084, 2.754, 3.624, 4.738, 6.176, 7.956, 10.15");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.88, 1.038, 1.558, 2.57, 4.248, 6.688, 9.922, 14.02, 19.02, 24.98",\
                 "0.88, 1.036, 1.558, 2.57, 4.246, 6.686, 9.92, 14.01, 19, 24.98",\
                 "0.88, 1.036, 1.554, 2.566, 4.25, 6.688, 9.926, 14.01, 19.01, 24.97",\
                 "0.88, 1.036, 1.558, 2.57, 4.244, 6.688, 9.938, 14.01, 19.01, 24.98",\
                 "0.882, 1.038, 1.554, 2.568, 4.242, 6.682, 9.926, 14.01, 19.03, 24.97",\
                 "0.882, 1.036, 1.554, 2.568, 4.244, 6.686, 9.918, 14.02, 19.02, 24.99",\
                 "0.88, 1.036, 1.558, 2.574, 4.244, 6.68, 9.912, 14.03, 19.03, 24.97",\
                 "0.882, 1.034, 1.554, 2.57, 4.244, 6.688, 9.93, 14.01, 19, 25",\
                 "0.88, 1.034, 1.556, 2.572, 4.24, 6.676, 9.934, 14.02, 19.03, 24.97",\
                 "0.88, 1.036, 1.556, 2.568, 4.244, 6.678, 9.918, 14.02, 19.02, 25");
        }
      }

      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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("11.22, 11.34, 11.66, 12.09, 12.63, 13.27, 14.05, 15.01, 16.15, 17.5",\
                 "11.31, 11.43, 11.74, 12.18, 12.71, 13.36, 14.14, 15.09, 16.23, 17.59",\
                 "11.52, 11.64, 11.96, 12.39, 12.92, 13.57, 14.35, 15.3, 16.44, 17.8",\
                 "11.95, 12.08, 12.39, 12.83, 13.36, 14, 14.79, 15.74, 16.88, 18.24",\
                 "12.67, 12.8, 13.11, 13.55, 14.08, 14.72, 15.51, 16.46, 17.6, 18.96",\
                 "13.73, 13.85, 14.17, 14.6, 15.13, 15.78, 16.56, 17.51, 18.66, 20.01",\
                 "15.14, 15.26, 15.58, 16.01, 16.55, 17.19, 17.97, 18.93, 20.07, 21.42",\
                 "16.93, 17.05, 17.36, 17.8, 18.33, 18.98, 19.76, 20.71, 21.85, 23.21",\
                 "19.04, 19.16, 19.48, 19.91, 20.45, 21.09, 21.88, 22.83, 23.97, 25.33",\
                 "21.38, 21.5, 21.81, 22.25, 22.78, 23.43, 24.21, 25.16, 26.31, 27.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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("6.8, 6.962, 7.425, 8.168, 9.244, 10.72, 12.66, 15.09, 18.06, 21.6",\
                 "6.854, 7.016, 7.479, 8.222, 9.297, 10.78, 12.71, 15.15, 18.12, 21.66",\
                 "7.05, 7.211, 7.674, 8.417, 9.493, 10.97, 12.91, 15.34, 18.31, 21.85",\
                 "7.42, 7.582, 8.045, 8.787, 9.862, 11.34, 13.28, 15.71, 18.68, 22.21",\
                 "7.964, 8.126, 8.589, 9.33, 10.41, 11.88, 13.82, 16.25, 19.22, 22.75",\
                 "8.563, 8.723, 9.187, 9.93, 11.01, 12.48, 14.42, 16.85, 19.82, 23.36",\
                 "9.127, 9.289, 9.753, 10.49, 11.57, 13.05, 14.98, 17.42, 20.38, 23.92",\
                 "9.632, 9.794, 10.26, 11, 12.08, 13.55, 15.49, 17.92, 20.89, 24.43",\
                 "10.07, 10.23, 10.69, 11.44, 12.51, 13.99, 15.93, 18.36, 21.33, 24.87",\
                 "10.42, 10.58, 11.05, 11.79, 12.87, 14.34, 16.28, 18.71, 21.68, 25.21");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.682, 0.772, 1.034, 1.46, 2.076, 2.94, 4.108, 5.636, 7.528, 9.824",\
                 "0.68, 0.772, 1.032, 1.46, 2.076, 2.94, 4.108, 5.632, 7.54, 9.834",\
                 "0.68, 0.77, 1.032, 1.46, 2.076, 2.94, 4.112, 5.636, 7.538, 9.836",\
                 "0.682, 0.77, 1.034, 1.458, 2.074, 2.938, 4.106, 5.632, 7.54, 9.836",\
                 "0.682, 0.77, 1.032, 1.458, 2.08, 2.936, 4.106, 5.632, 7.538, 9.838",\
                 "0.682, 0.772, 1.032, 1.46, 2.074, 2.938, 4.114, 5.636, 7.536, 9.824",\
                 "0.682, 0.772, 1.032, 1.46, 2.076, 2.938, 4.106, 5.634, 7.532, 9.832",\
                 "0.68, 0.772, 1.036, 1.46, 2.076, 2.94, 4.108, 5.63, 7.54, 9.838",\
                 "0.682, 0.772, 1.032, 1.458, 2.078, 2.94, 4.108, 5.634, 7.54, 9.838",\
                 "0.682, 0.772, 1.032, 1.458, 2.078, 2.938, 4.108, 5.636, 7.528, 9.832");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.7722, 0.933, 1.472, 2.508, 4.206, 6.662, 9.908, 14.02, 19.01, 24.95",\
                 "0.7722, 0.9328, 1.472, 2.507, 4.209, 6.662, 9.908, 14.02, 19.01, 24.95",\
                 "0.7714, 0.9334, 1.469, 2.507, 4.209, 6.659, 9.912, 14.02, 18.99, 24.97",\
                 "0.7724, 0.9332, 1.472, 2.509, 4.208, 6.654, 9.914, 14, 19, 25.01",\
                 "0.772, 0.932, 1.47, 2.508, 4.208, 6.658, 9.916, 14.02, 18.99, 24.94",\
                 "0.772, 0.934, 1.47, 2.506, 4.204, 6.654, 9.916, 14, 19.02, 24.94",\
                 "0.772, 0.934, 1.47, 2.51, 4.204, 6.658, 9.916, 14, 19.01, 25",\
                 "0.772, 0.932, 1.472, 2.506, 4.204, 6.66, 9.896, 13.99, 18.99, 24.95",\
                 "0.772, 0.934, 1.472, 2.508, 4.204, 6.652, 9.892, 14, 19.01, 24.97",\
                 "0.772, 0.934, 1.47, 2.508, 4.202, 6.656, 9.896, 13.98, 19.01, 24.96");
        }
      }

      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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("11.22, 11.34, 11.66, 12.09, 12.63, 13.27, 14.05, 15.01, 16.15, 17.5",\
                 "11.31, 11.43, 11.74, 12.18, 12.71, 13.36, 14.14, 15.09, 16.23, 17.59",\
                 "11.52, 11.64, 11.96, 12.39, 12.92, 13.57, 14.35, 15.3, 16.44, 17.8",\
                 "11.95, 12.08, 12.39, 12.83, 13.36, 14, 14.79, 15.74, 16.88, 18.24",\
                 "12.67, 12.8, 13.11, 13.55, 14.08, 14.72, 15.51, 16.46, 17.6, 18.96",\
                 "13.73, 13.85, 14.17, 14.6, 15.13, 15.78, 16.56, 17.51, 18.66, 20.01",\
                 "15.14, 15.26, 15.58, 16.01, 16.55, 17.19, 17.97, 18.93, 20.07, 21.42",\
                 "16.93, 17.05, 17.36, 17.8, 18.33, 18.98, 19.76, 20.71, 21.85, 23.21",\
                 "19.04, 19.16, 19.48, 19.91, 20.45, 21.09, 21.88, 22.83, 23.97, 25.33",\
                 "21.38, 21.5, 21.81, 22.25, 22.78, 23.43, 24.21, 25.16, 26.31, 27.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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("11.93, 12.1, 12.59, 13.35, 14.44, 15.92, 17.86, 20.29, 23.26, 26.8",\
                 "12.01, 12.18, 12.67, 13.44, 14.52, 16, 17.94, 20.38, 23.35, 26.88",\
                 "12.25, 12.42, 12.91, 13.67, 14.76, 16.24, 18.18, 20.62, 23.59, 27.12",\
                 "12.59, 12.76, 13.25, 14.02, 15.1, 16.58, 18.52, 20.96, 23.92, 27.46",\
                 "12.92, 13.09, 13.58, 14.35, 15.43, 16.91, 18.85, 21.29, 24.26, 27.8",\
                 "13.21, 13.39, 13.88, 14.64, 15.72, 17.2, 19.14, 21.58, 24.55, 28.09",\
                 "13.45, 13.62, 14.11, 14.87, 15.96, 17.44, 19.38, 21.82, 24.79, 28.32",\
                 "13.61, 13.78, 14.27, 15.03, 16.12, 17.6, 19.54, 21.98, 24.95, 28.48",\
                 "13.67, 13.85, 14.34, 15.1, 16.18, 17.67, 19.6, 22.04, 25.01, 28.55",\
                 "13.65, 13.82, 14.31, 15.07, 16.16, 17.64, 19.58, 22.02, 24.98, 28.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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("1.148, 1.264, 1.588, 2.086, 2.754, 3.62, 4.744, 6.172, 7.958, 10.15",\
                 "1.146, 1.26, 1.588, 2.086, 2.756, 3.628, 4.746, 6.172, 7.96, 10.15",\
                 "1.146, 1.26, 1.586, 2.086, 2.754, 3.626, 4.746, 6.164, 7.962, 10.15",\
                 "1.148, 1.262, 1.588, 2.086, 2.756, 3.626, 4.744, 6.168, 7.958, 10.16",\
                 "1.146, 1.262, 1.59, 2.084, 2.758, 3.622, 4.746, 6.168, 7.964, 10.15",\
                 "1.146, 1.262, 1.588, 2.086, 2.758, 3.628, 4.748, 6.172, 7.962, 10.14",\
                 "1.148, 1.262, 1.588, 2.086, 2.754, 3.626, 4.746, 6.166, 7.954, 10.15",\
                 "1.148, 1.264, 1.588, 2.084, 2.76, 3.622, 4.752, 6.164, 7.954, 10.16",\
                 "1.148, 1.262, 1.586, 2.088, 2.756, 3.626, 4.75, 6.172, 7.964, 10.15",\
                 "1.146, 1.262, 1.586, 2.084, 2.754, 3.624, 4.738, 6.176, 7.956, 10.15");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.7722, 0.933, 1.472, 2.508, 4.206, 6.662, 9.908, 14.02, 19.01, 24.95",\
                 "0.7722, 0.9328, 1.472, 2.507, 4.209, 6.662, 9.908, 14.02, 19.01, 24.95",\
                 "0.7714, 0.9334, 1.469, 2.507, 4.209, 6.659, 9.912, 14.02, 18.99, 24.97",\
                 "0.7724, 0.9332, 1.472, 2.509, 4.208, 6.654, 9.914, 14, 19, 25.01",\
                 "0.772, 0.932, 1.47, 2.508, 4.208, 6.658, 9.916, 14.02, 18.99, 24.94",\
                 "0.772, 0.934, 1.47, 2.506, 4.204, 6.654, 9.916, 14, 19.02, 24.94",\
                 "0.772, 0.934, 1.47, 2.51, 4.204, 6.658, 9.916, 14, 19.01, 25",\
                 "0.772, 0.932, 1.472, 2.506, 4.204, 6.66, 9.896, 13.99, 18.99, 24.95",\
                 "0.772, 0.934, 1.472, 2.508, 4.204, 6.652, 9.892, 14, 19.01, 24.97",\
                 "0.772, 0.934, 1.47, 2.508, 4.202, 6.656, 9.896, 13.98, 19.01, 24.96");
        }
      }

      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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("12.38, 12.51, 12.82, 13.26, 13.79, 14.44, 15.22, 16.17, 17.31, 18.67",\
                 "12.46, 12.58, 12.89, 13.33, 13.86, 14.5, 15.29, 16.24, 17.38, 18.74",\
                 "12.67, 12.79, 13.11, 13.55, 14.08, 14.72, 15.51, 16.46, 17.6, 18.96",\
                 "13.01, 13.13, 13.44, 13.88, 14.41, 15.06, 15.84, 16.79, 17.93, 19.29",\
                 "13.33, 13.45, 13.76, 14.2, 14.73, 15.38, 16.16, 17.11, 18.25, 19.61",\
                 "13.61, 13.73, 14.05, 14.48, 15.01, 15.66, 16.44, 17.39, 18.54, 19.89",\
                 "13.83, 13.95, 14.26, 14.7, 15.23, 15.88, 16.66, 17.61, 18.75, 20.11",\
                 "13.98, 14.1, 14.41, 14.85, 15.38, 16.03, 16.81, 17.76, 18.9, 20.26",\
                 "14.04, 14.16, 14.48, 14.91, 15.44, 16.09, 16.87, 17.82, 18.97, 20.32",\
                 "14, 14.12, 14.43, 14.87, 15.4, 16.05, 16.83, 17.78, 18.92, 20.28");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("10.37, 10.53, 10.99, 11.74, 12.81, 14.29, 16.23, 18.66, 21.63, 25.16",\
                 "10.4, 10.56, 11.02, 11.76, 12.84, 14.32, 16.25, 18.69, 21.66, 25.19",\
                 "10.57, 10.73, 11.2, 11.94, 13.02, 14.49, 16.43, 18.86, 21.83, 25.36",\
                 "11.02, 11.18, 11.64, 12.38, 13.46, 14.94, 16.87, 19.31, 22.28, 25.81",\
                 "11.77, 11.93, 12.39, 13.13, 14.21, 15.69, 17.62, 20.06, 23.02, 26.56",\
                 "12.84, 13, 13.47, 14.21, 15.28, 16.76, 18.7, 21.13, 24.1, 27.64",\
                 "14.24, 14.4, 14.86, 15.61, 16.68, 18.16, 20.09, 22.53, 25.5, 29.03",\
                 "15.87, 16.03, 16.5, 17.24, 18.31, 19.79, 21.73, 24.16, 27.13, 30.67",\
                 "17.65, 17.8, 18.27, 19.01, 20.09, 21.57, 23.5, 25.94, 28.9, 32.44",\
                 "19.55, 19.72, 20.18, 20.92, 22, 23.48, 25.41, 27.85, 30.81, 34.35");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.682, 0.77, 1.032, 1.458, 2.074, 2.942, 4.108, 5.628, 7.538, 9.832",\
                 "0.682, 0.772, 1.032, 1.458, 2.076, 2.944, 4.108, 5.63, 7.542, 9.834",\
                 "0.682, 0.77, 1.032, 1.46, 2.076, 2.942, 4.112, 5.636, 7.536, 9.826",\
                 "0.682, 0.77, 1.032, 1.46, 2.078, 2.94, 4.11, 5.636, 7.536, 9.834",\
                 "0.68, 0.77, 1.032, 1.458, 2.076, 2.942, 4.106, 5.636, 7.538, 9.834",\
                 "0.682, 0.77, 1.032, 1.46, 2.076, 2.942, 4.11, 5.632, 7.538, 9.826",\
                 "0.682, 0.772, 1.034, 1.46, 2.076, 2.938, 4.11, 5.632, 7.54, 9.838",\
                 "0.682, 0.772, 1.032, 1.458, 2.076, 2.936, 4.112, 5.634, 7.54, 9.838",\
                 "0.68, 0.772, 1.03, 1.458, 2.074, 2.942, 4.11, 5.634, 7.54, 9.832",\
                 "0.682, 0.77, 1.032, 1.458, 2.076, 2.942, 4.112, 5.632, 7.528, 9.818");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.77, 0.932, 1.472, 2.51, 4.204, 6.66, 9.908, 14.02, 19, 24.97",\
                 "0.772, 0.932, 1.472, 2.508, 4.21, 6.66, 9.904, 14.02, 19, 24.98",\
                 "0.772, 0.932, 1.468, 2.506, 4.208, 6.66, 9.916, 14.03, 18.99, 24.98",\
                 "0.772, 0.934, 1.468, 2.508, 4.208, 6.66, 9.914, 14.01, 19.02, 24.97",\
                 "0.772, 0.934, 1.472, 2.508, 4.208, 6.662, 9.906, 13.99, 18.99, 24.95",\
                 "0.772, 0.934, 1.468, 2.506, 4.206, 6.658, 9.902, 14, 19, 24.99",\
                 "0.772, 0.934, 1.472, 2.508, 4.21, 6.648, 9.9, 14.01, 18.99, 25.01",\
                 "0.772, 0.932, 1.47, 2.512, 4.206, 6.65, 9.914, 14, 19.03, 24.97",\
                 "0.772, 0.934, 1.472, 2.51, 4.206, 6.656, 9.914, 14, 19, 25.03",\
                 "0.772, 0.934, 1.47, 2.506, 4.2, 6.654, 9.902, 14, 19.04, 24.97");
        }
      }

      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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("6.887, 7.069, 7.532, 8.14, 8.845, 9.642, 10.55, 11.59, 12.79, 14.18",\
                 "6.949, 7.132, 7.594, 8.204, 8.907, 9.705, 10.61, 11.65, 12.85, 14.24",\
                 "7.117, 7.299, 7.764, 8.371, 9.074, 9.874, 10.78, 11.82, 13.02, 14.41",\
                 "7.407, 7.59, 8.054, 8.662, 9.367, 10.16, 11.07, 12.11, 13.31, 14.7",\
                 "7.828, 8.011, 8.474, 9.084, 9.785, 10.58, 11.49, 12.53, 13.73, 15.12",\
                 "8.296, 8.479, 8.941, 9.551, 10.26, 11.05, 11.96, 13, 14.2, 15.59",\
                 "8.756, 8.939, 9.402, 10.01, 10.72, 11.51, 12.42, 13.46, 14.66, 16.05",\
                 "9.179, 9.362, 9.825, 10.43, 11.14, 11.93, 12.84, 13.89, 15.09, 16.47",\
                 "9.544, 9.727, 10.19, 10.8, 11.5, 12.3, 13.21, 14.25, 15.45, 16.84",\
                 "9.832, 10.01, 10.48, 11.09, 11.79, 12.59, 13.5, 14.54, 15.74, 17.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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("10.92, 11.09, 11.58, 12.34, 13.43, 14.91, 16.85, 19.28, 22.25, 25.79",\
                 "10.95, 11.13, 11.62, 12.38, 13.46, 14.95, 16.88, 19.32, 22.29, 25.83",\
                 "11.18, 11.35, 11.84, 12.6, 13.69, 15.17, 17.11, 19.55, 22.52, 26.05",\
                 "11.64, 11.81, 12.3, 13.06, 14.15, 15.63, 17.57, 20.01, 22.98, 26.51",\
                 "12.38, 12.56, 13.04, 13.8, 14.89, 16.37, 18.31, 20.75, 23.72, 27.25",\
                 "13.44, 13.62, 14.11, 14.87, 15.95, 17.43, 19.37, 21.81, 24.78, 28.32",\
                 "14.86, 15.03, 15.52, 16.29, 17.37, 18.85, 20.79, 23.23, 26.2, 29.73",\
                 "16.66, 16.83, 17.32, 18.08, 19.17, 20.65, 22.59, 25.02, 27.99, 31.53",\
                 "18.83, 19, 19.49, 20.26, 21.34, 22.82, 24.76, 27.2, 30.17, 33.7",\
                 "21.31, 21.49, 21.98, 22.74, 23.83, 25.31, 27.25, 29.69, 32.65, 36.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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("1.147, 1.263, 1.586, 2.086, 2.758, 3.626, 4.743, 6.172, 7.958, 10.14",\
                 "1.148, 1.263, 1.588, 2.086, 2.758, 3.623, 4.751, 6.174, 7.958, 10.15",\
                 "1.148, 1.263, 1.587, 2.086, 2.755, 3.625, 4.748, 6.168, 7.958, 10.15",\
                 "1.148, 1.262, 1.587, 2.084, 2.755, 3.628, 4.746, 6.174, 7.964, 10.15",\
                 "1.147, 1.263, 1.588, 2.086, 2.756, 3.626, 4.746, 6.172, 7.956, 10.16",\
                 "1.148, 1.264, 1.588, 2.086, 2.758, 3.626, 4.75, 6.17, 7.964, 10.15",\
                 "1.146, 1.262, 1.586, 2.086, 2.758, 3.626, 4.754, 6.176, 7.954, 10.15",\
                 "1.148, 1.264, 1.588, 2.086, 2.76, 3.622, 4.746, 6.176, 7.954, 10.16",\
                 "1.148, 1.264, 1.588, 2.086, 2.756, 3.624, 4.742, 6.17, 7.95, 10.14",\
                 "1.15, 1.264, 1.588, 2.086, 2.758, 3.628, 4.75, 6.178, 7.956, 10.14");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.88, 1.036, 1.556, 2.566, 4.248, 6.688, 9.928, 14.02, 19, 24.99",\
                 "0.88, 1.038, 1.556, 2.572, 4.248, 6.688, 9.936, 14.03, 19, 24.99",\
                 "0.88, 1.036, 1.552, 2.568, 4.244, 6.682, 9.922, 14.02, 19.01, 24.99",\
                 "0.88, 1.036, 1.556, 2.57, 4.244, 6.684, 9.93, 14.02, 19.01, 24.98",\
                 "0.88, 1.036, 1.556, 2.568, 4.248, 6.684, 9.938, 14.01, 19, 24.99",\
                 "0.882, 1.036, 1.556, 2.572, 4.244, 6.682, 9.918, 14.02, 19.02, 25",\
                 "0.882, 1.036, 1.556, 2.574, 4.244, 6.682, 9.93, 14.01, 19.02, 24.99",\
                 "0.88, 1.036, 1.556, 2.574, 4.246, 6.688, 9.936, 14.03, 19.03, 24.98",\
                 "0.882, 1.036, 1.556, 2.572, 4.244, 6.678, 9.922, 14.01, 19.01, 25",\
                 "0.89, 1.044, 1.562, 2.574, 4.246, 6.682, 9.934, 14.02, 19.03, 24.98");
        }
      }

      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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("12.38, 12.51, 12.82, 13.26, 13.79, 14.44, 15.22, 16.17, 17.31, 18.67",\
                 "12.46, 12.58, 12.89, 13.33, 13.86, 14.5, 15.29, 16.24, 17.38, 18.74",\
                 "12.67, 12.79, 13.11, 13.55, 14.08, 14.72, 15.51, 16.46, 17.6, 18.96",\
                 "13.01, 13.13, 13.44, 13.88, 14.41, 15.06, 15.84, 16.79, 17.93, 19.29",\
                 "13.33, 13.45, 13.76, 14.2, 14.73, 15.38, 16.16, 17.11, 18.25, 19.61",\
                 "13.61, 13.73, 14.05, 14.48, 15.01, 15.66, 16.44, 17.39, 18.54, 19.89",\
                 "13.83, 13.95, 14.26, 14.7, 15.23, 15.88, 16.66, 17.61, 18.75, 20.11",\
                 "13.98, 14.1, 14.41, 14.85, 15.38, 16.03, 16.81, 17.76, 18.9, 20.26",\
                 "14.04, 14.16, 14.48, 14.91, 15.44, 16.09, 16.87, 17.82, 18.97, 20.32",\
                 "14, 14.12, 14.43, 14.87, 15.4, 16.05, 16.83, 17.78, 18.92, 20.28");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("10.92, 11.09, 11.58, 12.34, 13.43, 14.91, 16.85, 19.28, 22.25, 25.79",\
                 "10.95, 11.13, 11.62, 12.38, 13.46, 14.95, 16.88, 19.32, 22.29, 25.83",\
                 "11.18, 11.35, 11.84, 12.6, 13.69, 15.17, 17.11, 19.55, 22.52, 26.05",\
                 "11.64, 11.81, 12.3, 13.06, 14.15, 15.63, 17.57, 20.01, 22.98, 26.51",\
                 "12.38, 12.56, 13.04, 13.8, 14.89, 16.37, 18.31, 20.75, 23.72, 27.25",\
                 "13.44, 13.62, 14.11, 14.87, 15.95, 17.43, 19.37, 21.81, 24.78, 28.32",\
                 "14.86, 15.03, 15.52, 16.29, 17.37, 18.85, 20.79, 23.23, 26.2, 29.73",\
                 "16.66, 16.83, 17.32, 18.08, 19.17, 20.65, 22.59, 25.02, 27.99, 31.53",\
                 "18.83, 19, 19.49, 20.26, 21.34, 22.82, 24.76, 27.2, 30.17, 33.7",\
                 "21.31, 21.49, 21.98, 22.74, 23.83, 25.31, 27.25, 29.69, 32.65, 36.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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("1.147, 1.263, 1.586, 2.086, 2.758, 3.626, 4.743, 6.172, 7.958, 10.14",\
                 "1.148, 1.263, 1.588, 2.086, 2.758, 3.623, 4.751, 6.174, 7.958, 10.15",\
                 "1.148, 1.263, 1.587, 2.086, 2.755, 3.625, 4.748, 6.168, 7.958, 10.15",\
                 "1.148, 1.262, 1.587, 2.084, 2.755, 3.628, 4.746, 6.174, 7.964, 10.15",\
                 "1.147, 1.263, 1.588, 2.086, 2.756, 3.626, 4.746, 6.172, 7.956, 10.16",\
                 "1.148, 1.264, 1.588, 2.086, 2.758, 3.626, 4.75, 6.17, 7.964, 10.15",\
                 "1.146, 1.262, 1.586, 2.086, 2.758, 3.626, 4.754, 6.176, 7.954, 10.15",\
                 "1.148, 1.264, 1.588, 2.086, 2.76, 3.622, 4.746, 6.176, 7.954, 10.16",\
                 "1.148, 1.264, 1.588, 2.086, 2.756, 3.624, 4.742, 6.17, 7.95, 10.14",\
                 "1.15, 1.264, 1.588, 2.086, 2.758, 3.628, 4.75, 6.178, 7.956, 10.14");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.77, 0.932, 1.472, 2.51, 4.204, 6.66, 9.908, 14.02, 19, 24.97",\
                 "0.772, 0.932, 1.472, 2.508, 4.21, 6.66, 9.904, 14.02, 19, 24.98",\
                 "0.772, 0.932, 1.468, 2.506, 4.208, 6.66, 9.916, 14.03, 18.99, 24.98",\
                 "0.772, 0.934, 1.468, 2.508, 4.208, 6.66, 9.914, 14.01, 19.02, 24.97",\
                 "0.772, 0.934, 1.472, 2.508, 4.208, 6.662, 9.906, 13.99, 18.99, 24.95",\
                 "0.772, 0.934, 1.468, 2.506, 4.206, 6.658, 9.902, 14, 19, 24.99",\
                 "0.772, 0.934, 1.472, 2.508, 4.21, 6.648, 9.9, 14.01, 18.99, 25.01",\
                 "0.772, 0.932, 1.47, 2.512, 4.206, 6.65, 9.914, 14, 19.03, 24.97",\
                 "0.772, 0.934, 1.472, 2.51, 4.206, 6.656, 9.914, 14, 19, 25.03",\
                 "0.772, 0.934, 1.47, 2.506, 4.2, 6.654, 9.902, 14, 19.04, 24.97");
        }
      }

      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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("10.45, 10.63, 11.1, 11.71, 12.41, 13.21, 14.12, 15.16, 16.36, 17.74",\
                 "10.48, 10.66, 11.13, 11.73, 12.44, 13.23, 14.14, 15.18, 16.38, 17.77",\
                 "10.65, 10.84, 11.3, 11.91, 12.61, 13.41, 14.32, 15.36, 16.56, 17.95",\
                 "11.1, 11.28, 11.75, 12.35, 13.06, 13.85, 14.76, 15.8, 17, 18.39",\
                 "11.85, 12.03, 12.49, 13.1, 13.81, 14.6, 15.51, 16.55, 17.75, 19.14",\
                 "12.92, 13.11, 13.57, 14.18, 14.88, 15.68, 16.59, 17.63, 18.83, 20.21",\
                 "14.32, 14.5, 14.97, 15.57, 16.28, 17.07, 17.98, 19.02, 20.22, 21.61",\
                 "15.95, 16.13, 16.59, 17.2, 17.91, 18.7, 19.61, 20.65, 21.85, 23.24",\
                 "17.72, 17.9, 18.36, 18.97, 19.68, 20.47, 21.38, 22.42, 23.62, 25.01",\
                 "19.63, 19.81, 20.27, 20.88, 21.58, 22.38, 23.29, 24.33, 25.53, 26.92");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("11.5, 11.68, 12.17, 12.93, 14.01, 15.49, 17.43, 19.87, 22.84, 26.38",\
                 "11.57, 11.75, 12.24, 13, 14.08, 15.56, 17.5, 19.94, 22.91, 26.45",\
                 "11.79, 11.97, 12.45, 13.22, 14.3, 15.78, 17.72, 20.16, 23.13, 26.66",\
                 "12.13, 12.3, 12.79, 13.55, 14.63, 16.11, 18.05, 20.49, 23.46, 27",\
                 "12.45, 12.62, 13.11, 13.87, 14.95, 16.44, 18.38, 20.81, 23.78, 27.32",\
                 "12.73, 12.9, 13.39, 14.15, 15.23, 16.72, 18.66, 21.09, 24.06, 27.6",\
                 "12.95, 13.12, 13.61, 14.37, 15.45, 16.93, 18.87, 21.31, 24.28, 27.82",\
                 "13.09, 13.27, 13.75, 14.51, 15.6, 17.08, 19.02, 21.46, 24.43, 27.96",\
                 "13.15, 13.33, 13.82, 14.58, 15.66, 17.14, 19.09, 21.52, 24.49, 28.03",\
                 "13.11, 13.29, 13.77, 14.54, 15.62, 17.1, 19.04, 21.48, 24.45, 27.98");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("1.146, 1.264, 1.586, 2.084, 2.754, 3.622, 4.744, 6.164, 7.956, 10.16",\
                 "1.148, 1.262, 1.586, 2.086, 2.756, 3.622, 4.744, 6.172, 7.958, 10.15",\
                 "1.146, 1.264, 1.588, 2.086, 2.754, 3.628, 4.748, 6.174, 7.956, 10.15",\
                 "1.146, 1.262, 1.588, 2.086, 2.756, 3.626, 4.746, 6.168, 7.958, 10.15",\
                 "1.148, 1.262, 1.588, 2.086, 2.756, 3.628, 4.746, 6.166, 7.964, 10.14",\
                 "1.148, 1.262, 1.588, 2.086, 2.756, 3.628, 4.742, 6.168, 7.96, 10.15",\
                 "1.146, 1.262, 1.584, 2.086, 2.754, 3.622, 4.744, 6.17, 7.962, 10.15",\
                 "1.146, 1.262, 1.586, 2.088, 2.754, 3.628, 4.75, 6.174, 7.964, 10.14",\
                 "1.148, 1.262, 1.588, 2.086, 2.758, 3.624, 4.742, 6.168, 7.96, 10.14",\
                 "1.146, 1.264, 1.59, 2.088, 2.758, 3.626, 4.75, 6.176, 7.956, 10.14");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.878, 1.034, 1.554, 2.568, 4.242, 6.678, 9.93, 14.02, 19.02, 24.99",\
                 "0.878, 1.034, 1.556, 2.566, 4.246, 6.684, 9.926, 14.02, 19.02, 24.98",\
                 "0.88, 1.034, 1.556, 2.568, 4.242, 6.688, 9.93, 14.02, 19.01, 24.98",\
                 "0.88, 1.034, 1.556, 2.566, 4.246, 6.684, 9.936, 14.01, 19.01, 25",\
                 "0.878, 1.034, 1.556, 2.568, 4.244, 6.678, 9.928, 14.01, 19.02, 25",\
                 "0.878, 1.034, 1.556, 2.568, 4.246, 6.684, 9.92, 14, 19.03, 24.99",\
                 "0.878, 1.034, 1.554, 2.57, 4.244, 6.678, 9.924, 14.01, 19.01, 24.99",\
                 "0.878, 1.034, 1.556, 2.57, 4.242, 6.682, 9.934, 14.02, 19.02, 24.99",\
                 "0.878, 1.034, 1.554, 2.566, 4.244, 6.68, 9.932, 14.02, 19.02, 25",\
                 "0.878, 1.034, 1.554, 2.566, 4.244, 6.678, 9.91, 14.01, 19.02, 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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("11.77, 11.89, 12.21, 12.64, 13.17, 13.82, 14.6, 15.55, 16.7, 18.05",\
                 "11.8, 11.93, 12.24, 12.68, 13.21, 13.85, 14.64, 15.59, 16.73, 18.09",\
                 "12.03, 12.15, 12.47, 12.9, 13.44, 14.08, 14.86, 15.81, 16.96, 18.31",\
                 "12.49, 12.61, 12.93, 13.36, 13.9, 14.54, 15.32, 16.28, 17.42, 18.77",\
                 "13.23, 13.35, 13.67, 14.1, 14.64, 15.28, 16.06, 17.02, 18.16, 19.51",\
                 "14.3, 14.42, 14.73, 15.17, 15.7, 16.35, 17.13, 18.08, 19.22, 20.58",\
                 "15.71, 15.83, 16.15, 16.58, 17.11, 17.76, 18.54, 19.49, 20.64, 21.99",\
                 "17.5, 17.63, 17.94, 18.38, 18.91, 19.55, 20.34, 21.29, 22.43, 23.79",\
                 "19.65, 19.77, 20.09, 20.52, 21.06, 21.7, 22.48, 23.43, 24.58, 25.93",\
                 "22.06, 22.18, 22.5, 22.93, 23.46, 24.11, 24.89, 25.84, 26.98, 28.34");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("6.848, 7.01, 7.473, 8.216, 9.291, 10.77, 12.71, 15.14, 18.11, 21.65",\
                 "6.911, 7.073, 7.536, 8.279, 9.354, 10.83, 12.77, 15.2, 18.17, 21.7",\
                 "7.078, 7.24, 7.703, 8.447, 9.521, 11, 12.94, 15.37, 18.34, 21.88",\
                 "7.372, 7.534, 7.997, 8.739, 9.815, 11.29, 13.23, 15.66, 18.63, 22.17",\
                 "7.798, 7.961, 8.424, 9.167, 10.24, 11.72, 13.66, 16.09, 19.06, 22.59",\
                 "8.289, 8.45, 8.913, 9.657, 10.73, 12.21, 14.15, 16.58, 19.55, 23.08",\
                 "8.77, 8.932, 9.395, 10.14, 11.21, 12.69, 14.63, 17.06, 20.03, 23.56",\
                 "9.214, 9.375, 9.839, 10.58, 11.66, 13.14, 15.07, 17.5, 20.47, 24.01",\
                 "9.603, 9.763, 10.23, 10.97, 12.05, 13.52, 15.46, 17.89, 20.86, 24.39",\
                 "9.915, 10.08, 10.54, 11.28, 12.36, 13.84, 15.77, 18.2, 21.17, 24.71");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.682, 0.772, 1.032, 1.458, 2.076, 2.944, 4.106, 5.628, 7.54, 9.836",\
                 "0.68, 0.77, 1.032, 1.458, 2.076, 2.944, 4.106, 5.628, 7.54, 9.836",\
                 "0.682, 0.772, 1.032, 1.46, 2.076, 2.938, 4.11, 5.634, 7.538, 9.838",\
                 "0.68, 0.77, 1.034, 1.458, 2.076, 2.942, 4.11, 5.636, 7.542, 9.834",\
                 "0.68, 0.77, 1.032, 1.46, 2.082, 2.942, 4.106, 5.63, 7.536, 9.836",\
                 "0.682, 0.772, 1.032, 1.458, 2.074, 2.942, 4.106, 5.634, 7.528, 9.816",\
                 "0.682, 0.77, 1.032, 1.46, 2.076, 2.942, 4.108, 5.638, 7.538, 9.836",\
                 "0.682, 0.77, 1.034, 1.46, 2.074, 2.942, 4.112, 5.632, 7.54, 9.838",\
                 "0.682, 0.772, 1.032, 1.456, 2.076, 2.94, 4.112, 5.632, 7.536, 9.832",\
                 "0.682, 0.77, 1.032, 1.456, 2.074, 2.94, 4.11, 5.632, 7.54, 9.836");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.7716, 0.9328, 1.47, 2.508, 4.209, 6.66, 9.906, 14.02, 19.01, 24.95",\
                 "0.772, 0.9328, 1.47, 2.508, 4.207, 6.652, 9.914, 14, 19.03, 24.95",\
                 "0.7724, 0.9334, 1.471, 2.507, 4.209, 6.66, 9.902, 13.99, 19.02, 24.96",\
                 "0.7712, 0.9336, 1.472, 2.506, 4.208, 6.65, 9.916, 14, 19.02, 25.02",\
                 "0.7728, 0.932, 1.472, 2.508, 4.21, 6.654, 9.916, 14, 19, 24.95",\
                 "0.772, 0.934, 1.472, 2.506, 4.206, 6.66, 9.908, 14, 19.02, 24.97",\
                 "0.772, 0.932, 1.47, 2.512, 4.206, 6.656, 9.918, 13.99, 19.01, 24.96",\
                 "0.772, 0.934, 1.47, 2.506, 4.202, 6.658, 9.896, 14.01, 19.03, 24.95",\
                 "0.772, 0.932, 1.47, 2.506, 4.208, 6.648, 9.894, 14, 19.01, 25",\
                 "0.772, 0.934, 1.47, 2.506, 4.204, 6.658, 9.904, 14, 19, 24.98");
        }
      }

      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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("11.77, 11.89, 12.21, 12.64, 13.17, 13.82, 14.6, 15.55, 16.7, 18.05",\
                 "11.8, 11.93, 12.24, 12.68, 13.21, 13.85, 14.64, 15.59, 16.73, 18.09",\
                 "12.03, 12.15, 12.47, 12.9, 13.44, 14.08, 14.86, 15.81, 16.96, 18.31",\
                 "12.49, 12.61, 12.93, 13.36, 13.9, 14.54, 15.32, 16.28, 17.42, 18.77",\
                 "13.23, 13.35, 13.67, 14.1, 14.64, 15.28, 16.06, 17.02, 18.16, 19.51",\
                 "14.3, 14.42, 14.73, 15.17, 15.7, 16.35, 17.13, 18.08, 19.22, 20.58",\
                 "15.71, 15.83, 16.15, 16.58, 17.11, 17.76, 18.54, 19.49, 20.64, 21.99",\
                 "17.5, 17.63, 17.94, 18.38, 18.91, 19.55, 20.34, 21.29, 22.43, 23.79",\
                 "19.65, 19.77, 20.09, 20.52, 21.06, 21.7, 22.48, 23.43, 24.58, 25.93",\
                 "22.06, 22.18, 22.5, 22.93, 23.46, 24.11, 24.89, 25.84, 26.98, 28.34");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("11.5, 11.68, 12.17, 12.93, 14.01, 15.49, 17.43, 19.87, 22.84, 26.38",\
                 "11.57, 11.75, 12.24, 13, 14.08, 15.56, 17.5, 19.94, 22.91, 26.45",\
                 "11.79, 11.97, 12.45, 13.22, 14.3, 15.78, 17.72, 20.16, 23.13, 26.66",\
                 "12.13, 12.3, 12.79, 13.55, 14.63, 16.11, 18.05, 20.49, 23.46, 27",\
                 "12.45, 12.62, 13.11, 13.87, 14.95, 16.44, 18.38, 20.81, 23.78, 27.32",\
                 "12.73, 12.9, 13.39, 14.15, 15.23, 16.72, 18.66, 21.09, 24.06, 27.6",\
                 "12.95, 13.12, 13.61, 14.37, 15.45, 16.93, 18.87, 21.31, 24.28, 27.82",\
                 "13.09, 13.27, 13.75, 14.51, 15.6, 17.08, 19.02, 21.46, 24.43, 27.96",\
                 "13.15, 13.33, 13.82, 14.58, 15.66, 17.14, 19.09, 21.52, 24.49, 28.03",\
                 "13.11, 13.29, 13.77, 14.54, 15.62, 17.1, 19.04, 21.48, 24.45, 27.98");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("1.146, 1.264, 1.586, 2.084, 2.754, 3.622, 4.744, 6.164, 7.956, 10.16",\
                 "1.148, 1.262, 1.586, 2.086, 2.756, 3.622, 4.744, 6.172, 7.958, 10.15",\
                 "1.146, 1.264, 1.588, 2.086, 2.754, 3.628, 4.748, 6.174, 7.956, 10.15",\
                 "1.146, 1.262, 1.588, 2.086, 2.756, 3.626, 4.746, 6.168, 7.958, 10.15",\
                 "1.148, 1.262, 1.588, 2.086, 2.756, 3.628, 4.746, 6.166, 7.964, 10.14",\
                 "1.148, 1.262, 1.588, 2.086, 2.756, 3.628, 4.742, 6.168, 7.96, 10.15",\
                 "1.146, 1.262, 1.584, 2.086, 2.754, 3.622, 4.744, 6.17, 7.962, 10.15",\
                 "1.146, 1.262, 1.586, 2.088, 2.754, 3.628, 4.75, 6.174, 7.964, 10.14",\
                 "1.148, 1.262, 1.588, 2.086, 2.758, 3.624, 4.742, 6.168, 7.96, 10.14",\
                 "1.146, 1.264, 1.59, 2.088, 2.758, 3.626, 4.75, 6.176, 7.956, 10.14");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.7716, 0.9328, 1.47, 2.508, 4.209, 6.66, 9.906, 14.02, 19.01, 24.95",\
                 "0.772, 0.9328, 1.47, 2.508, 4.207, 6.652, 9.914, 14, 19.03, 24.95",\
                 "0.7724, 0.9334, 1.471, 2.507, 4.209, 6.66, 9.902, 13.99, 19.02, 24.96",\
                 "0.7712, 0.9336, 1.472, 2.506, 4.208, 6.65, 9.916, 14, 19.02, 25.02",\
                 "0.7728, 0.932, 1.472, 2.508, 4.21, 6.654, 9.916, 14, 19, 24.95",\
                 "0.772, 0.934, 1.472, 2.506, 4.206, 6.66, 9.908, 14, 19.02, 24.97",\
                 "0.772, 0.932, 1.47, 2.512, 4.206, 6.656, 9.918, 13.99, 19.01, 24.96",\
                 "0.772, 0.934, 1.47, 2.506, 4.202, 6.658, 9.896, 14.01, 19.03, 24.95",\
                 "0.772, 0.932, 1.47, 2.506, 4.208, 6.648, 9.894, 14, 19.01, 25",\
                 "0.772, 0.934, 1.47, 2.506, 4.204, 6.658, 9.904, 14, 19, 24.98");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("4.153, 4.274, 4.591, 5.026, 5.557, 6.202, 6.985, 7.936, 9.079, 10.43",\
                 "4.219, 4.34, 4.656, 5.091, 5.623, 6.269, 7.052, 8.002, 9.145, 10.5",\
                 "4.379, 4.5, 4.816, 5.251, 5.783, 6.428, 7.211, 8.162, 9.304, 10.66",\
                 "4.643, 4.764, 5.08, 5.515, 6.048, 6.693, 7.475, 8.426, 9.569, 10.92",\
                 "5.003, 5.123, 5.44, 5.876, 6.408, 7.053, 7.835, 8.786, 9.929, 11.28",\
                 "5.371, 5.492, 5.808, 6.243, 6.776, 7.421, 8.205, 9.155, 10.3, 11.65",\
                 "5.719, 5.84, 6.156, 6.59, 7.121, 7.765, 8.547, 9.497, 10.64, 11.99",\
                 "6.015, 6.137, 6.452, 6.888, 7.419, 8.063, 8.845, 9.792, 10.93, 12.29",\
                 "6.237, 6.359, 6.676, 7.112, 7.644, 8.288, 9.07, 10.02, 11.16, 12.51",\
                 "6.376, 6.498, 6.814, 7.25, 7.782, 8.427, 9.209, 10.16, 11.3, 12.65");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("5.408, 5.572, 6.04, 6.789, 7.869, 9.351, 11.29, 13.73, 16.69, 20.23",\
                 "5.469, 5.634, 6.103, 6.852, 7.931, 9.413, 11.35, 13.78, 16.75, 20.29",\
                 "5.737, 5.901, 6.37, 7.12, 8.199, 9.68, 11.62, 14.06, 17.02, 20.56",\
                 "6.27, 6.434, 6.903, 7.652, 8.732, 10.21, 12.15, 14.59, 17.56, 21.1",\
                 "7.116, 7.28, 7.749, 8.497, 9.577, 11.06, 13, 15.43, 18.4, 21.94",\
                 "8.306, 8.47, 8.939, 9.687, 10.77, 12.25, 14.19, 16.63, 19.59, 23.13",\
                 "9.81, 9.976, 10.44, 11.19, 12.27, 13.75, 15.69, 18.13, 21.1, 24.63",\
                 "11.51, 11.67, 12.15, 12.89, 13.97, 15.46, 17.39, 19.83, 22.8, 26.34",\
                 "13.34, 13.51, 13.98, 14.73, 15.81, 17.3, 19.24, 21.67, 24.64, 28.18",\
                 "15.32, 15.48, 15.96, 16.71, 17.79, 19.27, 21.21, 23.65, 26.62, 30.16");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.682, 0.7712, 1.032, 1.459, 2.077, 2.936, 4.109, 5.625, 7.536, 9.833",\
                 "0.682, 0.7712, 1.033, 1.459, 2.076, 2.943, 4.109, 5.629, 7.537, 9.833",\
                 "0.6822, 0.7712, 1.033, 1.46, 2.077, 2.938, 4.111, 5.629, 7.535, 9.834",\
                 "0.682, 0.7712, 1.033, 1.458, 2.075, 2.94, 4.111, 5.634, 7.53, 9.824",\
                 "0.6814, 0.771, 1.032, 1.459, 2.075, 2.941, 4.106, 5.628, 7.536, 9.832",\
                 "0.6822, 0.7714, 1.033, 1.46, 2.078, 2.938, 4.112, 5.634, 7.536, 9.834",\
                 "0.682, 0.77, 1.03, 1.456, 2.068, 2.934, 4.102, 5.632, 7.524, 9.826",\
                 "0.682, 0.772, 1.034, 1.458, 2.072, 2.934, 4.096, 5.612, 7.51, 9.81",\
                 "0.686, 0.774, 1.034, 1.458, 2.072, 2.934, 4.102, 5.616, 7.512, 9.796",\
                 "0.688, 0.776, 1.034, 1.46, 2.076, 2.936, 4.106, 5.626, 7.516, 9.8");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.7886, 0.9512, 1.489, 2.526, 4.22, 6.672, 9.928, 14.01, 19.01, 24.96",\
                 "0.788, 0.9502, 1.49, 2.528, 4.221, 6.675, 9.93, 14.03, 19.02, 24.97",\
                 "0.7896, 0.9506, 1.489, 2.524, 4.225, 6.674, 9.921, 14.03, 19.04, 24.96",\
                 "0.7888, 0.951, 1.489, 2.527, 4.222, 6.668, 9.928, 14.03, 19.03, 24.98",\
                 "0.7886, 0.9512, 1.489, 2.528, 4.224, 6.672, 9.93, 14.02, 19.01, 24.98",\
                 "0.79, 0.95, 1.49, 2.528, 4.224, 6.668, 9.924, 14.02, 19.03, 24.98",\
                 "0.79, 0.952, 1.49, 2.526, 4.224, 6.674, 9.928, 14.02, 19.03, 25.01",\
                 "0.796, 0.956, 1.492, 2.532, 4.224, 6.67, 9.922, 14.04, 19.04, 25",\
                 "0.798, 0.962, 1.498, 2.532, 4.23, 6.672, 9.93, 14.03, 19.04, 24.99",\
                 "0.808, 0.968, 1.506, 2.534, 4.228, 6.672, 9.912, 14.02, 19.04, 24.99");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
          index_2("0.001, 0.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("4.153, 4.274, 4.591, 5.026, 5.557, 6.202, 6.985, 7.936, 9.078, 10.43",\
                 "4.219, 4.34, 4.657, 5.092, 5.624, 6.269, 7.052, 8.002, 9.146, 10.5",\
                 "4.379, 4.5, 4.816, 5.251, 5.783, 6.428, 7.211, 8.162, 9.304, 10.66",\
                 "4.643, 4.764, 5.08, 5.515, 6.048, 6.693, 7.475, 8.426, 9.569, 10.92",\
                 "5.003, 5.124, 5.441, 5.876, 6.407, 7.052, 7.835, 8.786, 9.929, 11.28",\
                 "5.371, 5.492, 5.808, 6.242, 6.776, 7.421, 8.205, 9.155, 10.3, 11.65",\
                 "5.72, 5.84, 6.157, 6.589, 7.122, 7.766, 8.548, 9.499, 10.64, 12",\
                 "6.016, 6.136, 6.452, 6.888, 7.419, 8.063, 8.845, 9.792, 10.93, 12.29",\
                 "6.237, 6.359, 6.676, 7.112, 7.644, 8.288, 9.07, 10.02, 11.16, 12.51",\
                 "6.376, 6.497, 6.814, 7.25, 7.782, 8.427, 9.209, 10.16, 11.3, 12.65");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("5.407, 5.571, 6.04, 6.789, 7.869, 9.35, 11.29, 13.73, 16.69, 20.23",\
                 "5.469, 5.633, 6.102, 6.851, 7.931, 9.412, 11.35, 13.79, 16.75, 20.29",\
                 "5.737, 5.9, 6.37, 7.119, 8.199, 9.68, 11.62, 14.05, 17.02, 20.56",\
                 "6.27, 6.434, 6.903, 7.652, 8.732, 10.21, 12.15, 14.59, 17.56, 21.09",\
                 "7.115, 7.28, 7.749, 8.497, 9.577, 11.06, 13, 15.43, 18.4, 21.94",\
                 "8.306, 8.47, 8.939, 9.687, 10.77, 12.25, 14.19, 16.62, 19.59, 23.13",\
                 "9.81, 9.975, 10.44, 11.19, 12.27, 13.75, 15.69, 18.13, 21.1, 24.63",\
                 "11.51, 11.67, 12.14, 12.89, 13.97, 15.46, 17.39, 19.83, 22.8, 26.34",\
                 "13.34, 13.51, 13.98, 14.73, 15.81, 17.3, 19.24, 21.67, 24.64, 28.18",\
                 "15.32, 15.48, 15.96, 16.71, 17.79, 19.27, 21.21, 23.65, 26.62, 30.16");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.682, 0.7712, 1.032, 1.459, 2.077, 2.936, 4.109, 5.625, 7.536, 9.833",\
                 "0.6822, 0.771, 1.032, 1.459, 2.076, 2.944, 4.11, 5.633, 7.528, 9.833",\
                 "0.6824, 0.771, 1.033, 1.46, 2.077, 2.938, 4.111, 5.629, 7.535, 9.834",\
                 "0.682, 0.7712, 1.033, 1.458, 2.075, 2.94, 4.111, 5.634, 7.535, 9.835",\
                 "0.6814, 0.771, 1.032, 1.459, 2.077, 2.94, 4.104, 5.626, 7.536, 9.832",\
                 "0.682, 0.7714, 1.033, 1.458, 2.078, 2.938, 4.112, 5.634, 7.536, 9.834",\
                 "0.682, 0.77, 1.03, 1.456, 2.07, 2.938, 4.102, 5.628, 7.534, 9.834",\
                 "0.682, 0.772, 1.034, 1.458, 2.072, 2.934, 4.098, 5.612, 7.51, 9.81",\
                 "0.686, 0.772, 1.034, 1.458, 2.072, 2.934, 4.102, 5.616, 7.512, 9.796",\
                 "0.688, 0.776, 1.034, 1.46, 2.076, 2.934, 4.106, 5.626, 7.516, 9.8");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.7884, 0.951, 1.489, 2.526, 4.219, 6.672, 9.927, 14.01, 19.01, 24.95",\
                 "0.7884, 0.951, 1.49, 2.527, 4.224, 6.673, 9.93, 14.03, 19.02, 24.97",\
                 "0.7884, 0.9502, 1.488, 2.527, 4.222, 6.675, 9.929, 14.03, 19.02, 24.96",\
                 "0.7886, 0.951, 1.489, 2.525, 4.222, 6.675, 9.93, 14.03, 19.03, 24.98",\
                 "0.7886, 0.9504, 1.49, 2.526, 4.224, 6.674, 9.922, 14.03, 19.01, 24.98",\
                 "0.788, 0.952, 1.49, 2.528, 4.222, 6.672, 9.928, 14.02, 19.03, 25",\
                 "0.79, 0.952, 1.49, 2.526, 4.22, 6.676, 9.928, 14.02, 19.03, 25.01",\
                 "0.794, 0.956, 1.494, 2.532, 4.222, 6.666, 9.916, 14.03, 19.02, 25.01",\
                 "0.8, 0.962, 1.5, 2.534, 4.226, 6.674, 9.93, 14.02, 19.04, 25.01",\
                 "0.808, 0.97, 1.504, 2.536, 4.23, 6.674, 9.914, 14.03, 19.02, 24.99");
        }
      }

      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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("4.153, 4.274, 4.591, 5.026, 5.557, 6.202, 6.985, 7.936, 9.078, 10.43",\
                 "4.219, 4.34, 4.657, 5.092, 5.624, 6.269, 7.052, 8.002, 9.146, 10.5",\
                 "4.379, 4.5, 4.816, 5.251, 5.783, 6.428, 7.211, 8.162, 9.304, 10.66",\
                 "4.643, 4.764, 5.08, 5.515, 6.048, 6.693, 7.475, 8.426, 9.569, 10.92",\
                 "5.003, 5.124, 5.441, 5.876, 6.407, 7.052, 7.835, 8.786, 9.929, 11.28",\
                 "5.371, 5.492, 5.808, 6.242, 6.776, 7.421, 8.205, 9.155, 10.3, 11.65",\
                 "5.72, 5.84, 6.157, 6.589, 7.122, 7.766, 8.548, 9.499, 10.64, 12",\
                 "6.016, 6.136, 6.452, 6.888, 7.419, 8.063, 8.845, 9.792, 10.93, 12.29",\
                 "6.237, 6.359, 6.676, 7.112, 7.644, 8.288, 9.07, 10.02, 11.16, 12.51",\
                 "6.376, 6.497, 6.814, 7.25, 7.782, 8.427, 9.209, 10.16, 11.3, 12.65");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("5.407, 5.571, 6.04, 6.789, 7.869, 9.35, 11.29, 13.73, 16.69, 20.23",\
                 "5.469, 5.633, 6.102, 6.851, 7.931, 9.412, 11.35, 13.79, 16.75, 20.29",\
                 "5.737, 5.9, 6.37, 7.119, 8.199, 9.68, 11.62, 14.05, 17.02, 20.56",\
                 "6.27, 6.434, 6.903, 7.652, 8.732, 10.21, 12.15, 14.59, 17.56, 21.09",\
                 "7.115, 7.28, 7.749, 8.497, 9.577, 11.06, 13, 15.43, 18.4, 21.94",\
                 "8.306, 8.47, 8.939, 9.687, 10.77, 12.25, 14.19, 16.62, 19.59, 23.13",\
                 "9.81, 9.975, 10.44, 11.19, 12.27, 13.75, 15.69, 18.13, 21.1, 24.63",\
                 "11.51, 11.67, 12.14, 12.89, 13.97, 15.46, 17.39, 19.83, 22.8, 26.34",\
                 "13.34, 13.51, 13.98, 14.73, 15.81, 17.3, 19.24, 21.67, 24.64, 28.18",\
                 "15.32, 15.48, 15.96, 16.71, 17.79, 19.27, 21.21, 23.65, 26.62, 30.16");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.682, 0.7712, 1.032, 1.459, 2.077, 2.936, 4.109, 5.625, 7.536, 9.833",\
                 "0.6822, 0.771, 1.032, 1.459, 2.076, 2.944, 4.11, 5.633, 7.528, 9.833",\
                 "0.6824, 0.771, 1.033, 1.46, 2.077, 2.938, 4.111, 5.629, 7.535, 9.834",\
                 "0.682, 0.7712, 1.033, 1.458, 2.075, 2.94, 4.111, 5.634, 7.535, 9.835",\
                 "0.6814, 0.771, 1.032, 1.459, 2.077, 2.94, 4.104, 5.626, 7.536, 9.832",\
                 "0.682, 0.7714, 1.033, 1.458, 2.078, 2.938, 4.112, 5.634, 7.536, 9.834",\
                 "0.682, 0.77, 1.03, 1.456, 2.07, 2.938, 4.102, 5.628, 7.534, 9.834",\
                 "0.682, 0.772, 1.034, 1.458, 2.072, 2.934, 4.098, 5.612, 7.51, 9.81",\
                 "0.686, 0.772, 1.034, 1.458, 2.072, 2.934, 4.102, 5.616, 7.512, 9.796",\
                 "0.688, 0.776, 1.034, 1.46, 2.076, 2.934, 4.106, 5.626, 7.516, 9.8");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.7884, 0.951, 1.489, 2.526, 4.219, 6.672, 9.927, 14.01, 19.01, 24.95",\
                 "0.7884, 0.951, 1.49, 2.527, 4.224, 6.673, 9.93, 14.03, 19.02, 24.97",\
                 "0.7884, 0.9502, 1.488, 2.527, 4.222, 6.675, 9.929, 14.03, 19.02, 24.96",\
                 "0.7886, 0.951, 1.489, 2.525, 4.222, 6.675, 9.93, 14.03, 19.03, 24.98",\
                 "0.7886, 0.9504, 1.49, 2.526, 4.224, 6.674, 9.922, 14.03, 19.01, 24.98",\
                 "0.788, 0.952, 1.49, 2.528, 4.222, 6.672, 9.928, 14.02, 19.03, 25",\
                 "0.79, 0.952, 1.49, 2.526, 4.22, 6.676, 9.928, 14.02, 19.03, 25.01",\
                 "0.794, 0.956, 1.494, 2.532, 4.222, 6.666, 9.916, 14.03, 19.02, 25.01",\
                 "0.8, 0.962, 1.5, 2.534, 4.226, 6.674, 9.93, 14.02, 19.04, 25.01",\
                 "0.808, 0.97, 1.504, 2.536, 4.23, 6.674, 9.914, 14.03, 19.02, 24.99");
        }
      }

      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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("4.82, 5.003, 5.466, 6.073, 6.775, 7.573, 8.483, 9.523, 10.72, 12.11",\
                 "4.894, 5.077, 5.54, 6.149, 6.85, 7.648, 8.558, 9.598, 10.8, 12.19",\
                 "5.123, 5.306, 5.768, 6.378, 7.079, 7.878, 8.787, 9.827, 11.03, 12.41",\
                 "5.579, 5.762, 6.224, 6.832, 7.536, 8.333, 9.241, 10.28, 11.48, 12.87",\
                 "6.322, 6.505, 6.968, 7.576, 8.28, 9.075, 9.985, 11.03, 12.23, 13.61",\
                 "7.392, 7.575, 8.038, 8.646, 9.351, 10.15, 11.05, 12.1, 13.3, 14.68",\
                 "8.815, 8.997, 9.461, 10.07, 10.77, 11.57, 12.48, 13.52, 14.72, 16.11",\
                 "10.54, 10.73, 11.21, 11.83, 12.54, 13.34, 14.25, 15.29, 16.49, 17.88",\
                 "12.42, 12.63, 13.15, 13.81, 14.54, 15.36, 16.28, 17.33, 18.54, 19.93",\
                 "14.4, 14.63, 15.2, 15.91, 16.68, 17.53, 18.47, 19.54, 20.75, 22.15");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("2.154, 2.314, 2.774, 3.515, 4.59, 6.069, 8.004, 10.44, 13.41, 16.94",\
                 "2.22, 2.38, 2.839, 3.581, 4.656, 6.134, 8.07, 10.5, 13.47, 17",\
                 "2.451, 2.611, 3.07, 3.812, 4.887, 6.365, 8.301, 10.74, 13.7, 17.23",\
                 "2.882, 3.043, 3.502, 4.242, 5.316, 6.794, 8.729, 11.16, 14.13, 17.67",\
                 "3.54, 3.7, 4.16, 4.899, 5.973, 7.451, 9.388, 11.82, 14.79, 18.33",\
                 "4.331, 4.498, 4.969, 5.715, 6.789, 8.266, 10.2, 12.64, 15.6, 19.15",\
                 "5.147, 5.322, 5.812, 6.571, 7.652, 9.131, 11.07, 13.5, 16.47, 20",\
                 "5.964, 6.154, 6.667, 7.44, 8.526, 10.01, 11.95, 14.38, 17.35, 20.89",\
                 "6.772, 6.978, 7.52, 8.312, 9.404, 10.89, 12.82, 15.26, 18.23, 21.76",\
                 "7.554, 7.779, 8.357, 9.173, 10.27, 11.76, 13.69, 16.12, 19.1, 22.64");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("1.148, 1.261, 1.586, 2.086, 2.754, 3.623, 4.746, 6.173, 7.963, 10.15",\
                 "1.148, 1.262, 1.587, 2.086, 2.754, 3.626, 4.747, 6.172, 7.964, 10.15",\
                 "1.148, 1.261, 1.588, 2.085, 2.754, 3.624, 4.749, 6.172, 7.964, 10.15",\
                 "1.147, 1.263, 1.589, 2.086, 2.758, 3.625, 4.75, 6.169, 7.962, 10.15",\
                 "1.146, 1.261, 1.586, 2.084, 2.755, 3.624, 4.752, 6.172, 7.964, 10.15",\
                 "1.146, 1.262, 1.586, 2.084, 2.756, 3.622, 4.752, 6.172, 7.962, 10.14",\
                 "1.156, 1.268, 1.594, 2.09, 2.76, 3.626, 4.752, 6.172, 7.958, 10.15",\
                 "1.246, 1.35, 1.652, 2.138, 2.79, 3.646, 4.764, 6.18, 7.96, 10.16",\
                 "1.418, 1.524, 1.822, 2.276, 2.896, 3.73, 4.816, 6.23, 7.992, 10.16",\
                 "1.596, 1.71, 2.014, 2.46, 3.066, 3.882, 4.94, 6.324, 8.058, 10.22");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.7566, 0.9182, 1.462, 2.504, 4.206, 6.661, 9.907, 13.99, 19.05, 24.99",\
                 "0.757, 0.9194, 1.462, 2.503, 4.207, 6.66, 9.901, 13.99, 19.04, 24.98",\
                 "0.757, 0.9192, 1.462, 2.502, 4.201, 6.66, 9.914, 13.99, 19.05, 24.98",\
                 "0.7562, 0.919, 1.464, 2.504, 4.205, 6.652, 9.918, 14.03, 18.99, 24.94",\
                 "0.766, 0.9244, 1.463, 2.503, 4.203, 6.656, 9.895, 14.03, 19, 24.95",\
                 "0.8176, 0.9758, 1.496, 2.519, 4.212, 6.654, 9.898, 13.99, 19.02, 24.99",\
                 "0.898, 1.048, 1.56, 2.564, 4.23, 6.666, 9.91, 13.99, 19, 24.97",\
                 "0.998, 1.142, 1.632, 2.61, 4.26, 6.682, 9.914, 13.99, 19, 24.96",\
                 "1.116, 1.256, 1.724, 2.67, 4.286, 6.706, 9.93, 14.01, 19.02, 24.97",\
                 "1.244, 1.386, 1.832, 2.738, 4.326, 6.718, 9.954, 14.02, 19.01, 24.98");
        }
      }

      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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("4.82, 5.002, 5.466, 6.074, 6.776, 7.573, 8.483, 9.524, 10.73, 12.11",\
                 "4.894, 5.077, 5.54, 6.15, 6.853, 7.649, 8.559, 9.599, 10.8, 12.19",\
                 "5.123, 5.307, 5.768, 6.378, 7.081, 7.88, 8.788, 9.828, 11.03, 12.42",\
                 "5.579, 5.762, 6.224, 6.833, 7.537, 8.334, 9.244, 10.28, 11.49, 12.87",\
                 "6.323, 6.506, 6.969, 7.577, 8.282, 9.078, 9.987, 11.03, 12.23, 13.61",\
                 "7.393, 7.576, 8.038, 8.648, 9.352, 10.15, 11.06, 12.1, 13.3, 14.69",\
                 "8.816, 8.998, 9.461, 10.07, 10.77, 11.57, 12.48, 13.52, 14.72, 16.11",\
                 "10.54, 10.73, 11.21, 11.83, 12.54, 13.34, 14.25, 15.3, 16.5, 17.88",\
                 "12.42, 12.63, 13.15, 13.81, 14.54, 15.36, 16.29, 17.33, 18.54, 19.93",\
                 "14.4, 14.63, 15.21, 15.91, 16.69, 17.53, 18.48, 19.54, 20.75, 22.15");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("2.154, 2.314, 2.773, 3.515, 4.59, 6.068, 8.003, 10.44, 13.41, 16.94",\
                 "2.22, 2.38, 2.839, 3.581, 4.656, 6.134, 8.07, 10.5, 13.47, 17",\
                 "2.451, 2.611, 3.07, 3.812, 4.887, 6.366, 8.301, 10.74, 13.7, 17.23",\
                 "2.883, 3.043, 3.502, 4.242, 5.316, 6.795, 8.731, 11.16, 14.13, 17.67",\
                 "3.541, 3.7, 4.159, 4.899, 5.973, 7.451, 9.388, 11.82, 14.79, 18.33",\
                 "4.332, 4.498, 4.97, 5.715, 6.789, 8.266, 10.2, 12.64, 15.61, 19.16",\
                 "5.147, 5.324, 5.813, 6.571, 7.652, 9.132, 11.07, 13.5, 16.47, 20",\
                 "5.964, 6.154, 6.667, 7.44, 8.526, 10.01, 11.95, 14.38, 17.35, 20.89",\
                 "6.772, 6.978, 7.52, 8.312, 9.407, 10.89, 12.82, 15.26, 18.23, 21.76",\
                 "7.553, 7.78, 8.358, 9.173, 10.27, 11.75, 13.69, 16.13, 19.1, 22.64");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("1.147, 1.263, 1.588, 2.086, 2.755, 3.628, 4.754, 6.165, 7.959, 10.15",\
                 "1.149, 1.263, 1.588, 2.086, 2.756, 3.628, 4.749, 6.175, 7.959, 10.15",\
                 "1.149, 1.262, 1.589, 2.086, 2.76, 3.625, 4.748, 6.173, 7.963, 10.15",\
                 "1.148, 1.263, 1.589, 2.088, 2.759, 3.628, 4.752, 6.167, 7.962, 10.15",\
                 "1.148, 1.262, 1.587, 2.086, 2.756, 3.624, 4.752, 6.174, 7.956, 10.15",\
                 "1.146, 1.26, 1.586, 2.086, 2.756, 3.624, 4.752, 6.172, 7.96, 10.16",\
                 "1.156, 1.268, 1.592, 2.09, 2.76, 3.628, 4.742, 6.178, 7.956, 10.16",\
                 "1.246, 1.35, 1.652, 2.136, 2.79, 3.646, 4.762, 6.178, 7.962, 10.16",\
                 "1.414, 1.526, 1.822, 2.27, 2.9, 3.738, 4.818, 6.232, 8.002, 10.17",\
                 "1.598, 1.714, 2.016, 2.462, 3.066, 3.878, 4.942, 6.326, 8.056, 10.22");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.7562, 0.919, 1.464, 2.503, 4.204, 6.653, 9.918, 14.03, 18.99, 24.95",\
                 "0.7572, 0.9194, 1.462, 2.503, 4.207, 6.66, 9.901, 13.99, 19.02, 24.98",\
                 "0.757, 0.9194, 1.462, 2.504, 4.206, 6.661, 9.896, 13.99, 19.05, 24.97",\
                 "0.7568, 0.919, 1.464, 2.504, 4.205, 6.653, 9.917, 14.03, 18.99, 24.94",\
                 "0.764, 0.9246, 1.461, 2.505, 4.206, 6.651, 9.917, 14.03, 18.99, 24.96",\
                 "0.8178, 0.974, 1.498, 2.516, 4.21, 6.656, 9.918, 14.03, 19.02, 24.99",\
                 "0.898, 1.05, 1.556, 2.566, 4.23, 6.664, 9.916, 14.03, 19, 24.97",\
                 "0.996, 1.142, 1.632, 2.612, 4.26, 6.682, 9.908, 14, 19.01, 25",\
                 "1.114, 1.258, 1.72, 2.668, 4.292, 6.704, 9.928, 14.01, 19.01, 24.97",\
                 "1.242, 1.386, 1.836, 2.742, 4.326, 6.716, 9.946, 14.02, 19.01, 24.96");
        }
      }

      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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("4.82, 5.002, 5.466, 6.074, 6.776, 7.573, 8.483, 9.524, 10.73, 12.11",\
                 "4.894, 5.077, 5.54, 6.15, 6.853, 7.649, 8.559, 9.599, 10.8, 12.19",\
                 "5.123, 5.307, 5.768, 6.378, 7.081, 7.88, 8.788, 9.828, 11.03, 12.42",\
                 "5.579, 5.762, 6.224, 6.833, 7.537, 8.334, 9.244, 10.28, 11.49, 12.87",\
                 "6.323, 6.506, 6.969, 7.577, 8.282, 9.078, 9.987, 11.03, 12.23, 13.61",\
                 "7.393, 7.576, 8.038, 8.648, 9.352, 10.15, 11.06, 12.1, 13.3, 14.69",\
                 "8.816, 8.998, 9.461, 10.07, 10.77, 11.57, 12.48, 13.52, 14.72, 16.11",\
                 "10.54, 10.73, 11.21, 11.83, 12.54, 13.34, 14.25, 15.3, 16.5, 17.88",\
                 "12.42, 12.63, 13.15, 13.81, 14.54, 15.36, 16.29, 17.33, 18.54, 19.93",\
                 "14.4, 14.63, 15.21, 15.91, 16.69, 17.53, 18.48, 19.54, 20.75, 22.15");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("2.154, 2.314, 2.773, 3.515, 4.59, 6.068, 8.003, 10.44, 13.41, 16.94",\
                 "2.22, 2.38, 2.839, 3.581, 4.656, 6.134, 8.07, 10.5, 13.47, 17",\
                 "2.451, 2.611, 3.07, 3.812, 4.887, 6.366, 8.301, 10.74, 13.7, 17.23",\
                 "2.883, 3.043, 3.502, 4.242, 5.316, 6.795, 8.731, 11.16, 14.13, 17.67",\
                 "3.541, 3.7, 4.159, 4.899, 5.973, 7.451, 9.388, 11.82, 14.79, 18.33",\
                 "4.332, 4.498, 4.97, 5.715, 6.789, 8.266, 10.2, 12.64, 15.61, 19.16",\
                 "5.147, 5.324, 5.813, 6.571, 7.652, 9.132, 11.07, 13.5, 16.47, 20",\
                 "5.964, 6.154, 6.667, 7.44, 8.526, 10.01, 11.95, 14.38, 17.35, 20.89",\
                 "6.772, 6.978, 7.52, 8.312, 9.407, 10.89, 12.82, 15.26, 18.23, 21.76",\
                 "7.553, 7.78, 8.358, 9.173, 10.27, 11.75, 13.69, 16.13, 19.1, 22.64");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("1.147, 1.263, 1.588, 2.086, 2.755, 3.628, 4.754, 6.165, 7.959, 10.15",\
                 "1.149, 1.263, 1.588, 2.086, 2.756, 3.628, 4.749, 6.175, 7.959, 10.15",\
                 "1.149, 1.262, 1.589, 2.086, 2.76, 3.625, 4.748, 6.173, 7.963, 10.15",\
                 "1.148, 1.263, 1.589, 2.088, 2.759, 3.628, 4.752, 6.167, 7.962, 10.15",\
                 "1.148, 1.262, 1.587, 2.086, 2.756, 3.624, 4.752, 6.174, 7.956, 10.15",\
                 "1.146, 1.26, 1.586, 2.086, 2.756, 3.624, 4.752, 6.172, 7.96, 10.16",\
                 "1.156, 1.268, 1.592, 2.09, 2.76, 3.628, 4.742, 6.178, 7.956, 10.16",\
                 "1.246, 1.35, 1.652, 2.136, 2.79, 3.646, 4.762, 6.178, 7.962, 10.16",\
                 "1.414, 1.526, 1.822, 2.27, 2.9, 3.738, 4.818, 6.232, 8.002, 10.17",\
                 "1.598, 1.714, 2.016, 2.462, 3.066, 3.878, 4.942, 6.326, 8.056, 10.22");
        }

        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.006281, 0.02482, 0.06021, 0.1154, 0.1927, 0.2946, 0.4228, 0.5794, 0.7661");
          values("0.7562, 0.919, 1.464, 2.503, 4.204, 6.653, 9.918, 14.03, 18.99, 24.95",\
                 "0.7572, 0.9194, 1.462, 2.503, 4.207, 6.66, 9.901, 13.99, 19.02, 24.98",\
                 "0.757, 0.9194, 1.462, 2.504, 4.206, 6.661, 9.896, 13.99, 19.05, 24.97",\
                 "0.7568, 0.919, 1.464, 2.504, 4.205, 6.653, 9.917, 14.03, 18.99, 24.94",\
                 "0.764, 0.9246, 1.461, 2.505, 4.206, 6.651, 9.917, 14.03, 18.99, 24.96",\
                 "0.8178, 0.974, 1.498, 2.516, 4.21, 6.656, 9.918, 14.03, 19.02, 24.99",\
                 "0.898, 1.05, 1.556, 2.566, 4.23, 6.664, 9.916, 14.03, 19, 24.97",\
                 "0.996, 1.142, 1.632, 2.612, 4.26, 6.682, 9.908, 14, 19.01, 25",\
                 "1.114, 1.258, 1.72, 2.668, 4.292, 6.704, 9.928, 14.01, 19.01, 24.97",\
                 "1.242, 1.386, 1.836, 2.742, 4.326, 6.716, 9.946, 14.02, 19.01, 24.96");
        }
      }
    }
  }