  cell(gf180mcu_fd_sc_mcu9t5v0__xnor3_4) {
    area : 90.316800 ;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.09111, 0.09131, 0.09197, 0.09294, 0.09393, 0.09469, 0.09524, 0.09558, 0.09555, 0.09461",\
                 "0.09113, 0.09133, 0.09197, 0.09296, 0.09393, 0.0947, 0.09526, 0.09558, 0.09553, 0.09452",\
                 "0.09115, 0.09131, 0.09198, 0.09297, 0.09394, 0.09471, 0.09525, 0.09556, 0.0954, 0.09414",\
                 "0.09105, 0.09124, 0.09189, 0.09287, 0.09384, 0.09462, 0.09514, 0.09538, 0.09494, 0.09318",\
                 "0.09092, 0.09112, 0.09176, 0.09275, 0.09372, 0.09447, 0.09495, 0.09498, 0.09395, 0.09143",\
                 "0.09075, 0.09094, 0.0916, 0.09257, 0.09351, 0.09423, 0.09453, 0.09396, 0.09175, 0.08858",\
                 "0.09037, 0.09055, 0.09119, 0.09213, 0.09299, 0.09349, 0.09304, 0.09074, 0.08736, 0.08456",\
                 "0.08856, 0.08872, 0.0893, 0.09007, 0.0905, 0.08946, 0.08608, 0.08282, 0.08047, 0.07875",\
                 "0.07848, 0.0786, 0.07875, 0.07587, 0.07236, 0.07027, 0.06901, 0.06822, 0.0677, 0.06734",\
                 "0.03589, 0.03614, 0.03688, 0.03792, 0.03893, 0.03971, 0.04026, 0.04064, 0.04089, 0.04108");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("-0.06057, -0.06029, -0.05959, -0.0586, -0.05746, -0.05521, -0.0279, 0.1124, 0.3461, 0.5487",\
                 "-0.06061, -0.06033, -0.05964, -0.05863, -0.05754, -0.05521, -0.02631, 0.1169, 0.3496, 0.549",\
                 "-0.06075, -0.06047, -0.05972, -0.05876, -0.05765, -0.05476, -0.02002, 0.1343, 0.3621, 0.5489",\
                 "-0.06089, -0.0606, -0.05981, -0.05887, -0.05778, -0.05349, -0.003978, 0.1698, 0.3819, 0.5443",\
                 "-0.06097, -0.06071, -0.05993, -0.05899, -0.05778, -0.0487, 0.03214, 0.2211, 0.397, 0.5238",\
                 "-0.06112, -0.06084, -0.06014, -0.05914, -0.05726, -0.029, 0.1022, 0.2657, 0.3846, 0.4678",\
                 "-0.06144, -0.06116, -0.06046, -0.05935, -0.04663, 0.04382, 0.1653, 0.2494, 0.3058, 0.3446",\
                 "-0.0626, -0.06234, -0.06133, -0.03826, 0.01833, 0.0563, 0.07932, 0.09369, 0.103, 0.1093",\
                 "-0.1215, -0.1215, -0.1215, -0.1215, -0.1215, -0.1215, -0.1215, -0.1215, -0.1215, -0.1215",\
                 "-0.1387, -0.1387, -0.1387, -0.1387, -0.1387, -0.1387, -0.1387, -0.1387, -0.1387, -0.1387");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.08865, 0.0888, 0.08937, 0.09028, 0.09122, 0.09202, 0.09261, 0.09302, 0.09326, 0.09308",\
                 "0.08859, 0.08875, 0.08931, 0.09022, 0.09116, 0.09195, 0.09255, 0.09296, 0.0932, 0.09299",\
                 "0.08847, 0.08862, 0.08918, 0.09009, 0.09105, 0.09184, 0.09242, 0.09283, 0.09304, 0.09274",\
                 "0.08836, 0.08853, 0.08911, 0.08999, 0.09095, 0.09174, 0.09231, 0.09271, 0.09284, 0.09229",\
                 "0.08827, 0.08844, 0.08902, 0.0899, 0.09086, 0.09164, 0.09221, 0.09255, 0.09247, 0.09133",\
                 "0.08815, 0.08829, 0.08887, 0.08977, 0.09069, 0.09148, 0.092, 0.09213, 0.09132, 0.08902",\
                 "0.08782, 0.08799, 0.08856, 0.08944, 0.09034, 0.09099, 0.09117, 0.09011, 0.08737, 0.08422",\
                 "0.08597, 0.08613, 0.08663, 0.08734, 0.08784, 0.08719, 0.08421, 0.08084, 0.07835, 0.07654",\
                 "0.06851, 0.06759, 0.06347, 0.06044, 0.05904, 0.05849, 0.05829, 0.05822, 0.05819, 0.05819",\
                 "0.01714, 0.01721, 0.01741, 0.01764, 0.01781, 0.01791, 0.01797, 0.01801, 0.01803, 0.01804");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("-0.1913, -0.1911, -0.1904, -0.1896, -0.1886, -0.1871, -0.1743, -0.08257, 0.1449, 0.3962",\
                 "-0.1913, -0.1911, -0.1904, -0.1897, -0.1886, -0.1871, -0.1735, -0.07912, 0.1508, 0.3988",\
                 "-0.1913, -0.191, -0.1904, -0.1897, -0.1885, -0.187, -0.1704, -0.06439, 0.1696, 0.4064",\
                 "-0.1914, -0.1911, -0.1905, -0.1897, -0.1886, -0.1867, -0.1638, -0.03551, 0.2003, 0.4153",\
                 "-0.1915, -0.1913, -0.1906, -0.1898, -0.1888, -0.186, -0.1484, 0.009636, 0.235, 0.4178",\
                 "-0.1916, -0.1914, -0.1907, -0.1899, -0.1888, -0.1825, -0.1163, 0.06852, 0.2616, 0.4044",\
                 "-0.1918, -0.1915, -0.1908, -0.1901, -0.1886, -0.1697, -0.05483, 0.1236, 0.2629, 0.3614",\
                 "-0.1921, -0.1918, -0.1911, -0.1903, -0.185, -0.1219, 0.02, 0.1361, 0.2154, 0.2706",\
                 "-0.193, -0.1928, -0.1922, -0.1894, -0.1433, -0.04953, 0.01683, 0.0597, 0.08823, 0.1078",\
                 "-0.2004, -0.2006, -0.1909, -0.1761, -0.1664, -0.161, -0.1577, -0.1558, -0.1546, -0.1537");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.09261, 0.09281, 0.09344, 0.09443, 0.09542, 0.0962, 0.09676, 0.09712, 0.09727, 0.09684",\
                 "0.09263, 0.09285, 0.0935, 0.09448, 0.09546, 0.09624, 0.09679, 0.09715, 0.0973, 0.09682",\
                 "0.09257, 0.09275, 0.09341, 0.09439, 0.09537, 0.09615, 0.09671, 0.09706, 0.09715, 0.09653",\
                 "0.09241, 0.09263, 0.09327, 0.09426, 0.09523, 0.09601, 0.09656, 0.09689, 0.09684, 0.09585",\
                 "0.09231, 0.09251, 0.09315, 0.09414, 0.09511, 0.09588, 0.0964, 0.09663, 0.09617, 0.09437",\
                 "0.09218, 0.09238, 0.09303, 0.09401, 0.09497, 0.0957, 0.09609, 0.09582, 0.09412, 0.09111",\
                 "0.09171, 0.09188, 0.09252, 0.09344, 0.09429, 0.09471, 0.09402, 0.09139, 0.08801, 0.08534",\
                 "0.08601, 0.08615, 0.08658, 0.08695, 0.08524, 0.08144, 0.07871, 0.07686, 0.07559, 0.0747",\
                 "0.03662, 0.03686, 0.03757, 0.03858, 0.03956, 0.04031, 0.04084, 0.04121, 0.04146, 0.04163",\
                 "0.005086, 0.005085, 0.005086, 0.005081, 0.005078, 0.005075, 0.005073, 0.005073, 0.005072, 0.005071");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("-0.03378, -0.03348, -0.03278, -0.03186, -0.03083, -0.02953, -0.02367, 0.03081, 0.2235, 0.505",\
                 "-0.0338, -0.0335, -0.03272, -0.03182, -0.0307, -0.02946, -0.02339, 0.033, 0.2287, 0.5092",\
                 "-0.0338, -0.03355, -0.03281, -0.03188, -0.03074, -0.02943, -0.02225, 0.04158, 0.2467, 0.5218",\
                 "-0.03382, -0.03356, -0.03281, -0.03185, -0.03082, -0.02944, -0.0192, 0.06077, 0.2813, 0.5432",\
                 "-0.03393, -0.03361, -0.03291, -0.03196, -0.03088, -0.0292, -0.01244, 0.09824, 0.3332, 0.5661",\
                 "-0.03398, -0.03373, -0.03293, -0.03193, -0.03088, -0.02799, 0.007828, 0.1631, 0.3904, 0.5757",\
                 "-0.03409, -0.0338, -0.03306, -0.03214, -0.031, -0.02185, 0.05889, 0.2473, 0.4238, 0.5512",\
                 "-0.03425, -0.03395, -0.03323, -0.03234, -0.02946, 0.01105, 0.1526, 0.2973, 0.3983, 0.4686",\
                 "-0.03465, -0.03437, -0.03367, -0.03178, 0.001146, 0.1032, 0.1856, 0.2388, 0.274, 0.2982",\
                 "-0.03997, -0.04019, -0.03094, -0.01717, -0.008516, -0.003652, -0.0009481, 0.0007589, 0.001844, 0.00255");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.07622, 0.07636, 0.07692, 0.07781, 0.07875, 0.07954, 0.08014, 0.08057, 0.08088, 0.08104",\
                 "0.0762, 0.07636, 0.07691, 0.0778, 0.07873, 0.07953, 0.08014, 0.08056, 0.08087, 0.08102",\
                 "0.07621, 0.07637, 0.07693, 0.07779, 0.07872, 0.07952, 0.08012, 0.08055, 0.08086, 0.081",\
                 "0.07614, 0.07631, 0.07686, 0.07774, 0.07868, 0.07947, 0.08008, 0.0805, 0.08081, 0.0809",\
                 "0.07604, 0.07618, 0.07674, 0.07762, 0.07855, 0.07934, 0.07996, 0.08038, 0.08065, 0.08064",\
                 "0.0759, 0.07607, 0.07662, 0.07749, 0.07842, 0.0792, 0.07981, 0.08023, 0.08043, 0.08012",\
                 "0.07576, 0.07592, 0.07647, 0.07734, 0.07827, 0.07905, 0.07965, 0.08001, 0.07992, 0.07881",\
                 "0.07563, 0.07576, 0.07631, 0.07718, 0.07808, 0.07884, 0.07935, 0.07933, 0.07812, 0.07546",\
                 "0.07513, 0.07528, 0.07579, 0.07661, 0.07743, 0.07793, 0.07758, 0.07541, 0.0721, 0.06932",\
                 "0.07075, 0.07087, 0.07125, 0.07164, 0.07097, 0.06754, 0.06435, 0.06217, 0.06067, 0.0596");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.03538, 0.03562, 0.03621, 0.03704, 0.03815, 0.0393, 0.04644, 0.1096, 0.3141, 0.5897",\
                 "0.03543, 0.03569, 0.03627, 0.03717, 0.03824, 0.03922, 0.04694, 0.1128, 0.3204, 0.594",\
                 "0.03534, 0.03559, 0.03628, 0.03699, 0.03815, 0.03945, 0.04878, 0.123, 0.3393, 0.6059",\
                 "0.03521, 0.03547, 0.03612, 0.03696, 0.03785, 0.03922, 0.05239, 0.1464, 0.3758, 0.6247",\
                 "0.03511, 0.03529, 0.03597, 0.03672, 0.03793, 0.03959, 0.0633, 0.1927, 0.4285, 0.6421",\
                 "0.035, 0.03523, 0.03587, 0.0367, 0.03784, 0.04257, 0.09553, 0.2721, 0.4801, 0.6386",\
                 "0.03481, 0.03508, 0.03565, 0.03641, 0.03798, 0.06026, 0.1819, 0.3552, 0.4867, 0.5795",\
                 "0.03415, 0.03434, 0.03496, 0.03601, 0.05632, 0.1558, 0.2608, 0.3311, 0.3781, 0.4106",\
                 "0.0245, 0.02431, 0.03315, 0.04476, 0.05205, 0.05616, 0.05853, 0.05996, 0.06087, 0.06147",\
                 "-0.03324, -0.03324, -0.03324, -0.03324, -0.03324, -0.03324, -0.03324, -0.03324, -0.03324, -0.03324");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.09291, 0.09309, 0.09376, 0.09472, 0.0957, 0.09648, 0.09703, 0.09737, 0.0974, 0.09659",\
                 "0.09292, 0.0931, 0.09377, 0.09475, 0.09572, 0.0965, 0.09706, 0.0974, 0.09739, 0.09653",\
                 "0.09291, 0.09311, 0.09377, 0.09475, 0.09572, 0.09651, 0.09704, 0.09736, 0.09729, 0.0962",\
                 "0.09283, 0.09304, 0.0937, 0.09468, 0.09565, 0.09642, 0.09695, 0.09721, 0.09691, 0.09535",\
                 "0.09275, 0.09294, 0.0936, 0.09458, 0.09555, 0.09631, 0.09681, 0.09692, 0.0961, 0.0938",\
                 "0.09264, 0.09283, 0.09347, 0.09446, 0.09541, 0.09614, 0.09651, 0.09613, 0.09424, 0.09116",\
                 "0.09236, 0.09255, 0.09319, 0.09414, 0.09504, 0.09562, 0.0954, 0.09354, 0.09027, 0.08732",\
                 "0.09105, 0.09124, 0.09182, 0.09264, 0.09323, 0.09274, 0.08994, 0.08645, 0.08382, 0.08189",\
                 "0.08317, 0.08327, 0.08361, 0.08292, 0.07905, 0.07619, 0.07437, 0.07319, 0.07239, 0.07184",\
                 "0.04203, 0.04223, 0.04296, 0.04402, 0.04507, 0.04592, 0.04652, 0.04693, 0.04722, 0.04741");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.007185, 0.00747, 0.008137, 0.009126, 0.01028, 0.01236, 0.03717, 0.1716, 0.4067, 0.6155",\
                 "0.00707, 0.007373, 0.008072, 0.009078, 0.01014, 0.01225, 0.03826, 0.1754, 0.4099, 0.6157",\
                 "0.006926, 0.00723, 0.007861, 0.008964, 0.009912, 0.01259, 0.0435, 0.1908, 0.4223, 0.6167",\
                 "0.006812, 0.007104, 0.007845, 0.008835, 0.009925, 0.01358, 0.05795, 0.2261, 0.4439, 0.6141",\
                 "0.006723, 0.006958, 0.007635, 0.008737, 0.009899, 0.01799, 0.0932, 0.2815, 0.4636, 0.5957",\
                 "0.006577, 0.006903, 0.007586, 0.008559, 0.01037, 0.03749, 0.1671, 0.3326, 0.4536, 0.5382",\
                 "0.006315, 0.006634, 0.007246, 0.008358, 0.02277, 0.1165, 0.2337, 0.3137, 0.3671, 0.4039",\
                 "0.004845, 0.00506, 0.007041, 0.03847, 0.07971, 0.1048, 0.1198, 0.1292, 0.1352, 0.1393",\
                 "-0.05902, -0.05903, -0.05903, -0.05903, -0.05903, -0.05904, -0.05904, -0.05904, -0.05904, -0.05904",\
                 "-0.07539, -0.07539, -0.07539, -0.07539, -0.07539, -0.0754, -0.0754, -0.0754, -0.0754, -0.0754");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.08872, 0.08887, 0.08946, 0.09035, 0.09129, 0.09209, 0.09269, 0.0931, 0.09335, 0.09321",\
                 "0.08862, 0.08878, 0.08935, 0.09025, 0.09121, 0.09199, 0.09258, 0.093, 0.09325, 0.09308",\
                 "0.08847, 0.08861, 0.08919, 0.09009, 0.09104, 0.09182, 0.09242, 0.09284, 0.09306, 0.09282",\
                 "0.08834, 0.08851, 0.08907, 0.08998, 0.09092, 0.09171, 0.0923, 0.0927, 0.09286, 0.0924",\
                 "0.08828, 0.08844, 0.08899, 0.08991, 0.09083, 0.09164, 0.09221, 0.09257, 0.09253, 0.0915",\
                 "0.08817, 0.08834, 0.08891, 0.08981, 0.09075, 0.09152, 0.09205, 0.09219, 0.09142, 0.08917",\
                 "0.08792, 0.08808, 0.08864, 0.08951, 0.09041, 0.09106, 0.09118, 0.09001, 0.08715, 0.08404",\
                 "0.08551, 0.08565, 0.08613, 0.08679, 0.08711, 0.08584, 0.08234, 0.07926, 0.07705, 0.07546",\
                 "0.05471, 0.05332, 0.05137, 0.05072, 0.05089, 0.05128, 0.05165, 0.05194, 0.05216, 0.05232",\
                 "0.01056, 0.01055, 0.01054, 0.01052, 0.0105, 0.01048, 0.01047, 0.01045, 0.01045, 0.01044");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("-0.1243, -0.124, -0.1234, -0.1225, -0.1216, -0.1201, -0.1093, -0.02484, 0.1991, 0.4569",\
                 "-0.1243, -0.124, -0.1233, -0.1225, -0.1216, -0.1201, -0.1086, -0.02098, 0.2048, 0.4598",\
                 "-0.1243, -0.124, -0.1233, -0.1226, -0.1216, -0.1203, -0.106, -0.007927, 0.2232, 0.4683",\
                 "-0.1243, -0.1241, -0.1234, -0.1227, -0.1216, -0.1198, -0.09995, 0.01894, 0.255, 0.4793",\
                 "-0.1244, -0.1242, -0.1235, -0.1227, -0.1216, -0.119, -0.08698, 0.06213, 0.2923, 0.4853",\
                 "-0.1245, -0.1243, -0.1236, -0.1228, -0.1216, -0.1164, -0.05843, 0.121, 0.324, 0.4767",\
                 "-0.1246, -0.1244, -0.1238, -0.123, -0.1216, -0.1069, -0.002775, 0.1816, 0.3329, 0.4405",\
                 "-0.1248, -0.1246, -0.124, -0.1231, -0.1194, -0.06784, 0.07621, 0.2062, 0.2959, 0.3585",\
                 "-0.1255, -0.1253, -0.1247, -0.1229, -0.08859, 0.01255, 0.09389, 0.1468, 0.1821, 0.2064",\
                 "-0.1295, -0.1296, -0.1226, -0.09486, -0.07396, -0.06171, -0.0544, -0.04982, -0.04689, -0.04492");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.0902, 0.0904, 0.09104, 0.09203, 0.09301, 0.09379, 0.09434, 0.0947, 0.09481, 0.09425",\
                 "0.09012, 0.09033, 0.09098, 0.09194, 0.09292, 0.09372, 0.09425, 0.09462, 0.09471, 0.09412",\
                 "0.09003, 0.09025, 0.0909, 0.09188, 0.09285, 0.09365, 0.09419, 0.09453, 0.09457, 0.0938",\
                 "0.08996, 0.09017, 0.09082, 0.0918, 0.09278, 0.09357, 0.09409, 0.09441, 0.09428, 0.09307",\
                 "0.08989, 0.09008, 0.09073, 0.09172, 0.09269, 0.09346, 0.09397, 0.09413, 0.0935, 0.09142",\
                 "0.08974, 0.08996, 0.0906, 0.09158, 0.09252, 0.09326, 0.09358, 0.09308, 0.09102, 0.08787",\
                 "0.08908, 0.08928, 0.0899, 0.09081, 0.0916, 0.09188, 0.09073, 0.08761, 0.08435, 0.08188",\
                 "0.08148, 0.08161, 0.08199, 0.08187, 0.07849, 0.07525, 0.07311, 0.07171, 0.07076, 0.0701",\
                 "0.03064, 0.03083, 0.03142, 0.03224, 0.03302, 0.03362, 0.03402, 0.0343, 0.03448, 0.03461",\
                 "0.0009738, 0.0009733, 0.0009658, 0.0009657, 0.0009688, 0.0009675, 0.0009665, 0.0009658, 0.0009655, 0.0009652");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("-0.01536, -0.01503, -0.01432, -0.01341, -0.01225, -0.01099, -0.005144, 0.05, 0.2441, 0.5251",\
                 "-0.01535, -0.0151, -0.01429, -0.01338, -0.01233, -0.01104, -0.004783, 0.05245, 0.2494, 0.5292",\
                 "-0.01537, -0.01506, -0.01435, -0.01338, -0.01233, -0.01106, -0.00405, 0.06081, 0.2667, 0.5415",\
                 "-0.01535, -0.01508, -0.01443, -0.01336, -0.01233, -0.01099, -0.001497, 0.07792, 0.2988, 0.5613",\
                 "-0.01543, -0.01514, -0.01447, -0.01348, -0.01241, -0.0108, 0.005169, 0.113, 0.347, 0.5831",\
                 "-0.01552, -0.01521, -0.01445, -0.01354, -0.01234, -0.009928, 0.02225, 0.1721, 0.4022, 0.5944",\
                 "-0.01562, -0.01536, -0.01456, -0.01369, -0.01243, -0.005254, 0.066, 0.2531, 0.44, 0.5765",\
                 "-0.01578, -0.01548, -0.01473, -0.01383, -0.01168, 0.01979, 0.1546, 0.313, 0.4267, 0.5061",\
                 "-0.0161, -0.01586, -0.01512, -0.0138, 0.0074, 0.1085, 0.2105, 0.2777, 0.3225, 0.3532",\
                 "-0.01803, -0.01792, -0.01316, 0.01817, 0.04401, 0.05935, 0.06832, 0.07387, 0.07747, 0.07989");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.07676, 0.0769, 0.07746, 0.07834, 0.07928, 0.08008, 0.08068, 0.08111, 0.08142, 0.08158",\
                 "0.07675, 0.07691, 0.07747, 0.07835, 0.07929, 0.08007, 0.08069, 0.08112, 0.08142, 0.08157",\
                 "0.07677, 0.07694, 0.0775, 0.07837, 0.0793, 0.08009, 0.08069, 0.08112, 0.08142, 0.08158",\
                 "0.07676, 0.07692, 0.07747, 0.07834, 0.07928, 0.08007, 0.08067, 0.0811, 0.08141, 0.0815",\
                 "0.07665, 0.0768, 0.07736, 0.07824, 0.07918, 0.07996, 0.08056, 0.081, 0.08128, 0.08128",\
                 "0.07655, 0.0767, 0.07726, 0.07813, 0.07906, 0.07985, 0.08045, 0.08088, 0.0811, 0.08083",\
                 "0.0764, 0.07655, 0.0771, 0.07797, 0.07891, 0.07969, 0.08029, 0.08067, 0.08065, 0.07972",\
                 "0.07626, 0.07642, 0.07694, 0.07781, 0.07874, 0.0795, 0.08003, 0.08013, 0.07922, 0.07682",\
                 "0.07586, 0.07602, 0.07652, 0.07736, 0.07822, 0.0788, 0.07877, 0.07717, 0.07405, 0.07106",\
                 "0.07286, 0.07298, 0.0734, 0.07394, 0.074, 0.07192, 0.0683, 0.06557, 0.06364, 0.06226");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.0367, 0.03693, 0.03757, 0.03835, 0.03928, 0.0406, 0.04909, 0.1204, 0.3336, 0.6028",\
                 "0.03663, 0.03688, 0.03756, 0.03835, 0.03924, 0.04054, 0.04944, 0.1229, 0.3381, 0.6057",\
                 "0.03654, 0.03679, 0.03743, 0.03829, 0.03933, 0.04048, 0.0513, 0.1342, 0.3573, 0.6164",\
                 "0.03647, 0.03673, 0.03735, 0.03819, 0.03924, 0.04049, 0.05627, 0.1603, 0.3937, 0.6328",\
                 "0.03635, 0.03662, 0.03728, 0.03812, 0.03922, 0.04147, 0.06988, 0.2104, 0.4439, 0.6455",\
                 "0.0363, 0.03653, 0.03718, 0.03804, 0.039, 0.04477, 0.1078, 0.2909, 0.4879, 0.6344",\
                 "0.03606, 0.0363, 0.03696, 0.03769, 0.03962, 0.06874, 0.2007, 0.363, 0.4813, 0.5643",\
                 "0.03524, 0.03549, 0.03606, 0.03763, 0.06726, 0.1694, 0.2577, 0.3156, 0.3542, 0.3808",\
                 "0.0123, 0.01332, 0.01743, 0.02083, 0.02268, 0.02363, 0.02415, 0.02446, 0.02464, 0.02476",\
                 "-0.03323, -0.03323, -0.03323, -0.03323, -0.03323, -0.03323, -0.03323, -0.03323, -0.03323, -0.03323");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.07868, 0.07884, 0.07943, 0.08033, 0.08125, 0.08202, 0.08261, 0.08303, 0.08333, 0.08351",\
                 "0.07875, 0.07892, 0.07948, 0.08039, 0.08131, 0.08209, 0.08268, 0.08309, 0.0834, 0.08357",\
                 "0.07871, 0.07887, 0.07945, 0.08036, 0.08129, 0.08207, 0.08265, 0.08307, 0.08337, 0.08354",\
                 "0.07826, 0.07843, 0.07901, 0.07991, 0.08084, 0.08162, 0.0822, 0.08261, 0.08292, 0.08306",\
                 "0.07778, 0.07795, 0.07852, 0.07942, 0.08036, 0.08114, 0.08173, 0.08216, 0.08244, 0.08251",\
                 "0.07737, 0.07753, 0.07812, 0.07903, 0.07998, 0.08078, 0.08137, 0.08178, 0.08201, 0.08192",\
                 "0.07706, 0.07723, 0.07782, 0.07876, 0.07971, 0.08049, 0.08108, 0.08145, 0.08157, 0.08102",\
                 "0.0768, 0.07699, 0.07758, 0.07852, 0.07949, 0.08025, 0.08079, 0.08104, 0.08065, 0.07897",\
                 "0.07643, 0.0766, 0.07722, 0.07815, 0.07908, 0.07979, 0.08012, 0.07959, 0.07745, 0.07431",\
                 "0.07547, 0.07565, 0.07619, 0.07706, 0.07773, 0.07775, 0.07594, 0.07248, 0.06951, 0.0673");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.03114, 0.03142, 0.03217, 0.03312, 0.03427, 0.03538, 0.03822, 0.07004, 0.2199, 0.5052",\
                 "0.03107, 0.03135, 0.03215, 0.03311, 0.03412, 0.03532, 0.03849, 0.07107, 0.2244, 0.5102",\
                 "0.031, 0.03129, 0.03204, 0.03294, 0.03415, 0.03528, 0.03858, 0.07733, 0.2421, 0.5282",\
                 "0.03092, 0.03121, 0.03194, 0.0329, 0.03393, 0.03528, 0.03991, 0.09003, 0.2755, 0.5593",\
                 "0.03076, 0.03103, 0.03174, 0.03281, 0.03386, 0.0352, 0.0437, 0.1164, 0.3306, 0.5992",\
                 "0.0305, 0.03077, 0.0316, 0.03257, 0.03362, 0.03532, 0.0539, 0.1703, 0.4059, 0.6333",\
                 "0.03008, 0.03038, 0.03113, 0.03212, 0.03319, 0.03782, 0.08925, 0.2652, 0.4747, 0.6342",\
                 "0.0296, 0.02992, 0.03061, 0.03158, 0.03343, 0.06125, 0.1919, 0.3561, 0.4758, 0.5596",\
                 "0.02886, 0.0291, 0.02979, 0.03186, 0.06846, 0.1688, 0.2464, 0.2964, 0.3294, 0.3521",\
                 "-0.01653, -0.01654, -0.01654, -0.01658, -0.01663, -0.01666, -0.01668, -0.01668, -0.01667, -0.01671");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.07224, 0.07244, 0.0731, 0.07409, 0.07506, 0.07584, 0.0764, 0.07678, 0.07704, 0.07722",\
                 "0.07231, 0.07254, 0.0732, 0.0742, 0.07518, 0.07596, 0.07652, 0.0769, 0.07717, 0.07733",\
                 "0.07198, 0.07218, 0.07286, 0.07386, 0.07485, 0.07564, 0.0762, 0.07658, 0.07684, 0.077",\
                 "0.07149, 0.07167, 0.07233, 0.07335, 0.07434, 0.07512, 0.07569, 0.07607, 0.07633, 0.07649",\
                 "0.07107, 0.07126, 0.07191, 0.07286, 0.07383, 0.07461, 0.07519, 0.07559, 0.07586, 0.07599",\
                 "0.07078, 0.07096, 0.07157, 0.07244, 0.07334, 0.07412, 0.07471, 0.07514, 0.07541, 0.07544",\
                 "0.07063, 0.07079, 0.07129, 0.07207, 0.0729, 0.07367, 0.07428, 0.07473, 0.07492, 0.07444",\
                 "0.07065, 0.07075, 0.07114, 0.0718, 0.07257, 0.07329, 0.07387, 0.07407, 0.07331, 0.07107",\
                 "0.07025, 0.07031, 0.07056, 0.07108, 0.07164, 0.07193, 0.07113, 0.06843, 0.06522, 0.06276",\
                 "0.05535, 0.05529, 0.05452, 0.05042, 0.04738, 0.04573, 0.04485, 0.04442, 0.0442, 0.04411");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.04965, 0.05, 0.05088, 0.05219, 0.05338, 0.05457, 0.05606, 0.06394, 0.1229, 0.3284",\
                 "0.04967, 0.05001, 0.05088, 0.05224, 0.05343, 0.05466, 0.0561, 0.06357, 0.1242, 0.3323",\
                 "0.04966, 0.04999, 0.05086, 0.05213, 0.05343, 0.05478, 0.05627, 0.06451, 0.1318, 0.3509",\
                 "0.04953, 0.04988, 0.05073, 0.05195, 0.05314, 0.05441, 0.05547, 0.06735, 0.1487, 0.3851",\
                 "0.04918, 0.04948, 0.05018, 0.0512, 0.05241, 0.05346, 0.05532, 0.07276, 0.1796, 0.4412",\
                 "0.04889, 0.04905, 0.04983, 0.05065, 0.05173, 0.05306, 0.05579, 0.08708, 0.2344, 0.5176",\
                 "0.04856, 0.04876, 0.04926, 0.05018, 0.05113, 0.0522, 0.05891, 0.1186, 0.3181, 0.5968",\
                 "0.0484, 0.04854, 0.04903, 0.04968, 0.05057, 0.05258, 0.07165, 0.1901, 0.4266, 0.6514",\
                 "0.04836, 0.04854, 0.049, 0.04957, 0.05005, 0.05693, 0.1264, 0.3114, 0.5019, 0.642",\
                 "0.0487, 0.04882, 0.04912, 0.04967, 0.05354, 0.1097, 0.2523, 0.3778, 0.4645, 0.525");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.07224, 0.07244, 0.07311, 0.07409, 0.07507, 0.07584, 0.0764, 0.07678, 0.07705, 0.07722",\
                 "0.07232, 0.07254, 0.07321, 0.07421, 0.07518, 0.07596, 0.07652, 0.0769, 0.07717, 0.07734",\
                 "0.07198, 0.07219, 0.07286, 0.07386, 0.07486, 0.07564, 0.07619, 0.07658, 0.07684, 0.077",\
                 "0.0715, 0.0717, 0.07234, 0.07335, 0.07435, 0.07512, 0.07569, 0.07608, 0.07635, 0.07649",\
                 "0.07107, 0.07124, 0.0719, 0.07285, 0.07383, 0.07462, 0.07519, 0.07559, 0.07586, 0.07599",\
                 "0.0708, 0.07097, 0.07157, 0.07244, 0.07335, 0.07412, 0.07472, 0.07515, 0.07542, 0.07544",\
                 "0.07063, 0.07078, 0.07129, 0.07207, 0.07291, 0.07367, 0.07429, 0.07474, 0.07492, 0.07445",\
                 "0.07066, 0.07075, 0.07113, 0.0718, 0.07258, 0.0733, 0.07387, 0.07407, 0.07331, 0.07106",\
                 "0.07025, 0.07032, 0.07058, 0.07108, 0.07163, 0.07194, 0.07114, 0.06843, 0.06522, 0.06277",\
                 "0.05535, 0.05531, 0.05453, 0.0504, 0.04738, 0.0457, 0.04486, 0.04441, 0.04421, 0.04411");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.04965, 0.05, 0.05087, 0.05219, 0.0534, 0.05457, 0.05606, 0.06394, 0.1229, 0.3284",\
                 "0.04967, 0.05004, 0.05088, 0.05224, 0.05343, 0.05466, 0.0561, 0.06357, 0.1242, 0.3323",\
                 "0.04966, 0.05001, 0.05085, 0.05213, 0.05343, 0.05478, 0.05627, 0.06486, 0.1318, 0.3509",\
                 "0.04953, 0.04985, 0.05072, 0.05185, 0.05316, 0.05442, 0.05582, 0.06749, 0.1477, 0.3851",\
                 "0.04918, 0.04947, 0.0502, 0.05122, 0.05235, 0.05379, 0.05511, 0.07296, 0.1784, 0.4416",\
                 "0.04889, 0.04905, 0.04987, 0.05072, 0.05173, 0.05289, 0.05615, 0.0863, 0.2334, 0.5174",\
                 "0.04858, 0.04881, 0.04928, 0.05017, 0.05133, 0.05214, 0.05882, 0.1186, 0.3194, 0.5968",\
                 "0.0484, 0.04854, 0.04909, 0.04958, 0.05057, 0.05256, 0.07165, 0.1901, 0.4266, 0.6514",\
                 "0.04838, 0.04849, 0.0489, 0.0496, 0.05, 0.05683, 0.1264, 0.3115, 0.5019, 0.642",\
                 "0.0487, 0.04882, 0.04918, 0.04967, 0.05373, 0.1096, 0.2522, 0.3778, 0.4645, 0.5249");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.07866, 0.07883, 0.07941, 0.0803, 0.08122, 0.08199, 0.08259, 0.083, 0.08331, 0.08349",\
                 "0.07873, 0.0789, 0.07946, 0.08035, 0.08128, 0.08206, 0.08265, 0.08307, 0.08337, 0.08355",\
                 "0.0787, 0.07888, 0.07944, 0.08033, 0.08126, 0.08205, 0.08263, 0.08304, 0.08335, 0.08351",\
                 "0.07825, 0.07841, 0.07898, 0.07988, 0.08081, 0.08158, 0.08216, 0.08259, 0.0829, 0.08303",\
                 "0.07775, 0.07792, 0.07851, 0.07939, 0.08032, 0.08111, 0.0817, 0.08212, 0.08241, 0.08248",\
                 "0.07734, 0.07749, 0.07809, 0.079, 0.07994, 0.08074, 0.08133, 0.08174, 0.08198, 0.08188",\
                 "0.07704, 0.07721, 0.07781, 0.07872, 0.07967, 0.08046, 0.08104, 0.08143, 0.08153, 0.08097",\
                 "0.07678, 0.07697, 0.07756, 0.07848, 0.07945, 0.08021, 0.08075, 0.081, 0.0806, 0.07889",\
                 "0.07639, 0.07656, 0.0772, 0.07811, 0.07903, 0.07975, 0.08007, 0.07952, 0.07733, 0.07419",\
                 "0.07539, 0.07555, 0.07614, 0.07696, 0.07763, 0.07763, 0.07575, 0.07228, 0.06933, 0.06715");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.0308, 0.03112, 0.03186, 0.03281, 0.03396, 0.03507, 0.03775, 0.0702, 0.2197, 0.5048",\
                 "0.03076, 0.03104, 0.03183, 0.03272, 0.03383, 0.03504, 0.03819, 0.07169, 0.2251, 0.5101",\
                 "0.03069, 0.03096, 0.03173, 0.03265, 0.0337, 0.035, 0.03871, 0.07696, 0.242, 0.5282",\
                 "0.03059, 0.03086, 0.03163, 0.03257, 0.03367, 0.03481, 0.03971, 0.08982, 0.2759, 0.5594",\
                 "0.03046, 0.03075, 0.0315, 0.03241, 0.0336, 0.03491, 0.04323, 0.1164, 0.3308, 0.599",\
                 "0.03021, 0.03048, 0.03127, 0.03217, 0.0332, 0.03499, 0.05384, 0.1701, 0.4058, 0.6329",\
                 "0.02976, 0.03003, 0.03084, 0.03173, 0.03276, 0.03748, 0.08899, 0.265, 0.4744, 0.6339",\
                 "0.02931, 0.0296, 0.03029, 0.03132, 0.0332, 0.06089, 0.1915, 0.3557, 0.4756, 0.5594",\
                 "0.02852, 0.0288, 0.02945, 0.03159, 0.06797, 0.1685, 0.2462, 0.2962, 0.3293, 0.352",\
                 "-0.01675, -0.01674, -0.01676, -0.0168, -0.01683, -0.01683, -0.01684, -0.0169, -0.01693, -0.01694");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("12.65, 12.79, 13.14, 13.61, 14.15, 14.77, 15.48, 16.29, 17.21, 18.29",\
                 "12.71, 12.85, 13.21, 13.67, 14.22, 14.84, 15.54, 16.35, 17.28, 18.35",\
                 "12.91, 13.05, 13.4, 13.87, 14.41, 15.03, 15.74, 16.55, 17.48, 18.54",\
                 "13.22, 13.36, 13.71, 14.18, 14.72, 15.34, 16.05, 16.85, 17.78, 18.85",\
                 "13.54, 13.68, 14.04, 14.5, 15.05, 15.67, 16.37, 17.18, 18.11, 19.18",\
                 "13.84, 13.98, 14.33, 14.8, 15.34, 15.97, 16.67, 17.48, 18.4, 19.48",\
                 "14.1, 14.24, 14.59, 15.06, 15.6, 16.22, 16.93, 17.73, 18.66, 19.73",\
                 "14.3, 14.44, 14.79, 15.26, 15.81, 16.43, 17.13, 17.94, 18.87, 19.94",\
                 "14.44, 14.58, 14.93, 15.4, 15.95, 16.56, 17.27, 18.08, 19.01, 20.08",\
                 "14.51, 14.64, 15, 15.46, 16.01, 16.63, 17.33, 18.14, 19.07, 20.14");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("12.68, 12.79, 13.13, 13.7, 14.55, 15.73, 17.29, 19.24, 21.62, 24.46",\
                 "12.72, 12.83, 13.17, 13.73, 14.59, 15.77, 17.32, 19.28, 21.66, 24.5",\
                 "12.89, 13, 13.34, 13.9, 14.76, 15.94, 17.49, 19.45, 21.83, 24.66",\
                 "13.23, 13.35, 13.68, 14.25, 15.1, 16.28, 17.84, 19.79, 22.17, 25.01",\
                 "13.75, 13.87, 14.2, 14.77, 15.62, 16.8, 18.36, 20.31, 22.69, 25.53",\
                 "14.46, 14.57, 14.91, 15.48, 16.33, 17.51, 19.07, 21.02, 23.4, 26.24",\
                 "15.38, 15.5, 15.83, 16.4, 17.25, 18.43, 19.99, 21.94, 24.32, 27.16",\
                 "16.5, 16.61, 16.95, 17.52, 18.37, 19.55, 21.11, 23.06, 25.44, 28.28",\
                 "17.76, 17.87, 18.21, 18.78, 19.63, 20.81, 22.37, 24.32, 26.7, 29.54",\
                 "19.14, 19.26, 19.59, 20.16, 21.01, 22.19, 23.75, 25.7, 28.08, 30.92");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.928, 1.014, 1.264, 1.648, 2.176, 2.852, 3.718, 4.818, 6.194, 7.866",\
                 "0.93, 1.014, 1.262, 1.652, 2.174, 2.852, 3.72, 4.816, 6.194, 7.87",\
                 "0.93, 1.016, 1.264, 1.65, 2.174, 2.856, 3.722, 4.816, 6.194, 7.87",\
                 "0.93, 1.016, 1.264, 1.652, 2.176, 2.85, 3.722, 4.816, 6.192, 7.862",\
                 "0.93, 1.014, 1.262, 1.652, 2.176, 2.852, 3.72, 4.812, 6.194, 7.87",\
                 "0.928, 1.016, 1.264, 1.65, 2.174, 2.854, 3.72, 4.816, 6.19, 7.87",\
                 "0.93, 1.016, 1.264, 1.652, 2.174, 2.852, 3.72, 4.814, 6.192, 7.864",\
                 "0.928, 1.016, 1.264, 1.652, 2.172, 2.854, 3.72, 4.82, 6.192, 7.866",\
                 "0.93, 1.016, 1.264, 1.652, 2.174, 2.848, 3.724, 4.82, 6.194, 7.864",\
                 "0.928, 1.014, 1.262, 1.648, 2.172, 2.85, 3.718, 4.818, 6.194, 7.87");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.568, 0.682, 1.098, 1.952, 3.346, 5.326, 7.918, 11.21, 15.21, 19.99",\
                 "0.568, 0.684, 1.098, 1.952, 3.344, 5.328, 7.926, 11.21, 15.21, 20",\
                 "0.566, 0.682, 1.098, 1.952, 3.344, 5.328, 7.92, 11.21, 15.2, 20",\
                 "0.568, 0.684, 1.096, 1.952, 3.344, 5.328, 7.924, 11.21, 15.21, 19.99",\
                 "0.568, 0.682, 1.098, 1.952, 3.346, 5.326, 7.92, 11.2, 15.22, 19.98",\
                 "0.568, 0.684, 1.098, 1.95, 3.344, 5.32, 7.928, 11.21, 15.21, 19.99",\
                 "0.568, 0.684, 1.098, 1.95, 3.344, 5.324, 7.918, 11.21, 15.22, 19.99",\
                 "0.566, 0.684, 1.096, 1.95, 3.34, 5.326, 7.926, 11.2, 15.21, 20",\
                 "0.566, 0.684, 1.098, 1.948, 3.344, 5.324, 7.918, 11.21, 15.23, 20",\
                 "0.568, 0.682, 1.098, 1.95, 3.346, 5.328, 7.922, 11.21, 15.22, 20.01");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("6.281, 6.421, 6.781, 7.255, 7.806, 8.434, 9.143, 9.956, 10.89, 11.96",\
                 "6.324, 6.465, 6.824, 7.297, 7.849, 8.476, 9.186, 9.998, 10.93, 12.01",\
                 "6.481, 6.621, 6.98, 7.455, 8.006, 8.632, 9.343, 10.15, 11.09, 12.16",\
                 "6.778, 6.919, 7.278, 7.752, 8.304, 8.93, 9.641, 10.45, 11.39, 12.46",\
                 "7.236, 7.377, 7.736, 8.21, 8.761, 9.388, 10.1, 10.91, 11.84, 12.92",\
                 "7.822, 7.962, 8.321, 8.795, 9.346, 9.972, 10.68, 11.49, 12.43, 13.5",\
                 "8.423, 8.564, 8.924, 9.398, 9.948, 10.57, 11.29, 12.1, 13.03, 14.11",\
                 "8.996, 9.137, 9.497, 9.972, 10.52, 11.15, 11.86, 12.67, 13.61, 14.68",\
                 "9.52, 9.661, 10.02, 10.5, 11.05, 11.67, 12.39, 13.2, 14.13, 15.21",\
                 "9.989, 10.13, 10.49, 10.97, 11.52, 12.14, 12.85, 13.67, 14.6, 15.67");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("9.109, 9.251, 9.65, 10.27, 11.14, 12.33, 13.89, 15.84, 18.22, 21.06",\
                 "9.179, 9.321, 9.72, 10.34, 11.21, 12.4, 13.96, 15.91, 18.29, 21.13",\
                 "9.359, 9.501, 9.901, 10.52, 11.39, 12.58, 14.14, 16.09, 18.47, 21.31",\
                 "9.713, 9.856, 10.26, 10.87, 11.75, 12.94, 14.49, 16.45, 18.83, 21.66",\
                 "10.29, 10.43, 10.83, 11.45, 12.32, 13.51, 15.07, 17.02, 19.4, 22.24",\
                 "11.13, 11.27, 11.67, 12.29, 13.16, 14.35, 15.91, 17.86, 20.25, 23.08",\
                 "12.26, 12.4, 12.8, 13.42, 14.29, 15.48, 17.03, 18.99, 21.37, 24.21",\
                 "13.69, 13.83, 14.23, 14.85, 15.72, 16.91, 18.47, 20.42, 22.8, 25.64",\
                 "15.44, 15.58, 15.98, 16.6, 17.47, 18.66, 20.22, 22.17, 24.55, 27.39",\
                 "17.46, 17.6, 18, 18.62, 19.49, 20.69, 22.24, 24.19, 26.57, 29.41");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.9536, 1.04, 1.288, 1.677, 2.201, 2.878, 3.747, 4.844, 6.217, 7.884",\
                 "0.955, 1.04, 1.288, 1.678, 2.204, 2.882, 3.754, 4.845, 6.216, 7.886",\
                 "0.9548, 1.04, 1.288, 1.678, 2.202, 2.882, 3.746, 4.843, 6.215, 7.892",\
                 "0.9544, 1.04, 1.288, 1.677, 2.204, 2.882, 3.747, 4.844, 6.218, 7.888",\
                 "0.9542, 1.04, 1.288, 1.678, 2.204, 2.882, 3.754, 4.846, 6.218, 7.886",\
                 "0.956, 1.04, 1.288, 1.678, 2.2, 2.88, 3.75, 4.848, 6.214, 7.892",\
                 "0.954, 1.04, 1.288, 1.676, 2.2, 2.882, 3.754, 4.846, 6.216, 7.89",\
                 "0.956, 1.044, 1.29, 1.678, 2.2, 2.88, 3.754, 4.848, 6.218, 7.886",\
                 "0.958, 1.044, 1.292, 1.678, 2.204, 2.88, 3.748, 4.842, 6.216, 7.892",\
                 "0.958, 1.046, 1.292, 1.68, 2.204, 2.88, 3.748, 4.848, 6.212, 7.888");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.7308, 0.8608, 1.287, 2.097, 3.434, 5.382, 7.986, 11.25, 15.27, 20.03",\
                 "0.7308, 0.8612, 1.285, 2.096, 3.434, 5.38, 7.986, 11.27, 15.27, 20.02",\
                 "0.7308, 0.8604, 1.285, 2.098, 3.43, 5.384, 7.984, 11.26, 15.26, 20.02",\
                 "0.732, 0.862, 1.286, 2.096, 3.432, 5.38, 7.986, 11.27, 15.27, 20.03",\
                 "0.732, 0.862, 1.284, 2.098, 3.43, 5.38, 7.986, 11.27, 15.25, 20.04",\
                 "0.734, 0.862, 1.286, 2.096, 3.43, 5.386, 7.978, 11.26, 15.26, 20.05",\
                 "0.732, 0.862, 1.284, 2.098, 3.434, 5.382, 7.986, 11.25, 15.25, 20.03",\
                 "0.732, 0.86, 1.288, 2.096, 3.43, 5.378, 7.976, 11.26, 15.26, 20.04",\
                 "0.732, 0.864, 1.286, 2.098, 3.434, 5.378, 7.976, 11.25, 15.25, 20.06",\
                 "0.736, 0.866, 1.29, 2.102, 3.434, 5.384, 7.986, 11.27, 15.27, 20.05");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("12.65, 12.79, 13.14, 13.61, 14.15, 14.77, 15.48, 16.29, 17.21, 18.29",\
                 "12.71, 12.85, 13.21, 13.67, 14.22, 14.84, 15.54, 16.35, 17.28, 18.35",\
                 "12.91, 13.05, 13.4, 13.87, 14.41, 15.03, 15.74, 16.55, 17.48, 18.54",\
                 "13.22, 13.36, 13.71, 14.18, 14.72, 15.34, 16.05, 16.85, 17.78, 18.85",\
                 "13.54, 13.68, 14.04, 14.5, 15.05, 15.67, 16.37, 17.18, 18.11, 19.18",\
                 "13.84, 13.98, 14.33, 14.8, 15.34, 15.97, 16.67, 17.48, 18.4, 19.48",\
                 "14.1, 14.24, 14.59, 15.06, 15.6, 16.22, 16.93, 17.73, 18.66, 19.73",\
                 "14.3, 14.44, 14.79, 15.26, 15.81, 16.43, 17.13, 17.94, 18.87, 19.94",\
                 "14.44, 14.58, 14.93, 15.4, 15.95, 16.56, 17.27, 18.08, 19.01, 20.08",\
                 "14.51, 14.64, 15, 15.46, 16.01, 16.63, 17.33, 18.14, 19.07, 20.14");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("12.68, 12.79, 13.13, 13.7, 14.55, 15.73, 17.29, 19.24, 21.62, 24.46",\
                 "12.72, 12.83, 13.17, 13.73, 14.59, 15.77, 17.32, 19.28, 21.66, 24.5",\
                 "12.89, 13, 13.34, 13.9, 14.76, 15.94, 17.49, 19.45, 21.83, 24.66",\
                 "13.23, 13.35, 13.68, 14.25, 15.1, 16.28, 17.84, 19.79, 22.17, 25.01",\
                 "13.75, 13.87, 14.2, 14.77, 15.62, 16.8, 18.36, 20.31, 22.69, 25.53",\
                 "14.46, 14.57, 14.91, 15.48, 16.33, 17.51, 19.07, 21.02, 23.4, 26.24",\
                 "15.38, 15.5, 15.83, 16.4, 17.25, 18.43, 19.99, 21.94, 24.32, 27.16",\
                 "16.5, 16.61, 16.95, 17.52, 18.37, 19.55, 21.11, 23.06, 25.44, 28.28",\
                 "17.76, 17.87, 18.21, 18.78, 19.63, 20.81, 22.37, 24.32, 26.7, 29.54",\
                 "19.14, 19.26, 19.59, 20.16, 21.01, 22.19, 23.75, 25.7, 28.08, 30.92");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.9536, 1.04, 1.288, 1.677, 2.201, 2.878, 3.747, 4.844, 6.217, 7.884",\
                 "0.955, 1.04, 1.288, 1.678, 2.204, 2.882, 3.754, 4.845, 6.216, 7.886",\
                 "0.9548, 1.04, 1.288, 1.678, 2.202, 2.882, 3.746, 4.843, 6.215, 7.892",\
                 "0.9544, 1.04, 1.288, 1.677, 2.204, 2.882, 3.747, 4.844, 6.218, 7.888",\
                 "0.9542, 1.04, 1.288, 1.678, 2.204, 2.882, 3.754, 4.846, 6.218, 7.886",\
                 "0.956, 1.04, 1.288, 1.678, 2.2, 2.88, 3.75, 4.848, 6.214, 7.892",\
                 "0.954, 1.04, 1.288, 1.676, 2.2, 2.882, 3.754, 4.846, 6.216, 7.89",\
                 "0.956, 1.044, 1.29, 1.678, 2.2, 2.88, 3.754, 4.848, 6.218, 7.886",\
                 "0.958, 1.044, 1.292, 1.678, 2.204, 2.88, 3.748, 4.842, 6.216, 7.892",\
                 "0.958, 1.046, 1.292, 1.68, 2.204, 2.88, 3.748, 4.848, 6.212, 7.888");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.7308, 0.8608, 1.287, 2.097, 3.434, 5.382, 7.986, 11.25, 15.27, 20.03",\
                 "0.7308, 0.8612, 1.285, 2.096, 3.434, 5.38, 7.986, 11.27, 15.27, 20.02",\
                 "0.7308, 0.8604, 1.285, 2.098, 3.43, 5.384, 7.984, 11.26, 15.26, 20.02",\
                 "0.732, 0.862, 1.286, 2.096, 3.432, 5.38, 7.986, 11.27, 15.27, 20.03",\
                 "0.732, 0.862, 1.284, 2.098, 3.43, 5.38, 7.986, 11.27, 15.25, 20.04",\
                 "0.734, 0.862, 1.286, 2.096, 3.43, 5.386, 7.978, 11.26, 15.26, 20.05",\
                 "0.732, 0.862, 1.284, 2.098, 3.434, 5.382, 7.986, 11.25, 15.25, 20.03",\
                 "0.732, 0.86, 1.288, 2.096, 3.43, 5.378, 7.976, 11.26, 15.26, 20.04",\
                 "0.732, 0.864, 1.286, 2.098, 3.434, 5.378, 7.976, 11.25, 15.25, 20.06",\
                 "0.736, 0.866, 1.29, 2.102, 3.434, 5.384, 7.986, 11.27, 15.27, 20.05");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("10.19, 10.33, 10.69, 11.16, 11.72, 12.34, 13.05, 13.86, 14.8, 15.87",\
                 "10.23, 10.37, 10.73, 11.2, 11.75, 12.38, 13.09, 13.9, 14.83, 15.91",\
                 "10.4, 10.54, 10.9, 11.37, 11.92, 12.55, 13.26, 14.07, 15, 16.08",\
                 "10.75, 10.89, 11.24, 11.72, 12.27, 12.89, 13.6, 14.42, 15.35, 16.42",\
                 "11.26, 11.41, 11.76, 12.24, 12.79, 13.41, 14.12, 14.93, 15.87, 16.94",\
                 "11.97, 12.12, 12.47, 12.95, 13.5, 14.12, 14.83, 15.64, 16.58, 17.65",\
                 "12.89, 13.04, 13.39, 13.87, 14.42, 15.04, 15.75, 16.56, 17.5, 18.57",\
                 "14.01, 14.15, 14.51, 14.99, 15.54, 16.16, 16.87, 17.68, 18.62, 19.69",\
                 "15.27, 15.41, 15.77, 16.25, 16.8, 17.42, 18.13, 18.94, 19.88, 20.95",\
                 "16.66, 16.8, 17.15, 17.63, 18.18, 18.81, 19.52, 20.33, 21.26, 22.33");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("10.53, 10.68, 11.08, 11.69, 12.57, 13.76, 15.31, 17.27, 19.65, 22.48",\
                 "10.6, 10.74, 11.14, 11.76, 12.63, 13.82, 15.38, 17.33, 19.71, 22.55",\
                 "10.8, 10.94, 11.34, 11.96, 12.83, 14.02, 15.57, 17.53, 19.91, 22.75",\
                 "11.11, 11.25, 11.65, 12.27, 13.14, 14.33, 15.89, 17.84, 20.22, 23.06",\
                 "11.44, 11.58, 11.98, 12.6, 13.47, 14.66, 16.21, 18.17, 20.55, 23.38",\
                 "11.73, 11.88, 12.27, 12.89, 13.77, 14.96, 16.51, 18.46, 20.85, 23.68",\
                 "11.99, 12.13, 12.53, 13.15, 14.02, 15.21, 16.77, 18.72, 21.1, 23.94",\
                 "12.19, 12.34, 12.74, 13.35, 14.23, 15.42, 16.97, 18.93, 21.31, 24.15",\
                 "12.33, 12.47, 12.87, 13.49, 14.36, 15.55, 17.11, 19.06, 21.44, 24.28",\
                 "12.39, 12.53, 12.93, 13.55, 14.42, 15.61, 17.17, 19.12, 21.5, 24.34");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.9512, 1.038, 1.286, 1.674, 2.198, 2.876, 3.746, 4.836, 6.21, 7.888",\
                 "0.952, 1.036, 1.284, 1.674, 2.196, 2.88, 3.746, 4.84, 6.21, 7.888",\
                 "0.95, 1.036, 1.286, 1.672, 2.196, 2.878, 3.746, 4.84, 6.21, 7.89",\
                 "0.95, 1.036, 1.288, 1.674, 2.198, 2.874, 3.744, 4.84, 6.214, 7.884",\
                 "0.95, 1.036, 1.288, 1.672, 2.196, 2.874, 3.744, 4.842, 6.214, 7.89",\
                 "0.952, 1.038, 1.284, 1.672, 2.198, 2.874, 3.742, 4.842, 6.214, 7.888",\
                 "0.952, 1.036, 1.286, 1.672, 2.196, 2.878, 3.744, 4.84, 6.21, 7.882",\
                 "0.952, 1.038, 1.284, 1.672, 2.2, 2.876, 3.742, 4.842, 6.21, 7.884",\
                 "0.95, 1.038, 1.286, 1.672, 2.198, 2.874, 3.75, 4.842, 6.214, 7.882",\
                 "0.952, 1.038, 1.286, 1.672, 2.196, 2.874, 3.748, 4.846, 6.212, 7.89");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.732, 0.864, 1.288, 2.098, 3.436, 5.384, 7.988, 11.26, 15.27, 20.04",\
                 "0.734, 0.864, 1.286, 2.1, 3.434, 5.384, 7.982, 11.25, 15.25, 20.04",\
                 "0.734, 0.862, 1.286, 2.098, 3.43, 5.386, 7.988, 11.26, 15.26, 20.03",\
                 "0.734, 0.862, 1.284, 2.098, 3.432, 5.382, 7.982, 11.25, 15.25, 20.03",\
                 "0.732, 0.864, 1.286, 2.098, 3.432, 5.38, 7.982, 11.25, 15.25, 20.04",\
                 "0.732, 0.862, 1.288, 2.098, 3.432, 5.378, 7.98, 11.26, 15.25, 20.05",\
                 "0.732, 0.862, 1.288, 2.096, 3.432, 5.384, 7.976, 11.25, 15.27, 20.05",\
                 "0.732, 0.862, 1.286, 2.102, 3.432, 5.386, 7.972, 11.25, 15.28, 20.04",\
                 "0.736, 0.862, 1.288, 2.094, 3.436, 5.38, 7.976, 11.27, 15.27, 20.04",\
                 "0.734, 0.862, 1.286, 2.098, 3.434, 5.38, 7.972, 11.26, 15.26, 20.06");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("11.23, 11.37, 11.73, 12.19, 12.74, 13.36, 14.06, 14.87, 15.8, 16.87",\
                 "11.3, 11.44, 11.79, 12.26, 12.81, 13.43, 14.13, 14.94, 15.87, 16.94",\
                 "11.48, 11.62, 11.97, 12.44, 12.98, 13.6, 14.31, 15.12, 16.04, 17.12",\
                 "11.83, 11.97, 12.33, 12.79, 13.34, 13.96, 14.66, 15.47, 16.4, 17.47",\
                 "12.41, 12.55, 12.9, 13.37, 13.92, 14.54, 15.24, 16.05, 16.98, 18.05",\
                 "13.25, 13.39, 13.74, 14.21, 14.76, 15.38, 16.08, 16.89, 17.82, 18.89",\
                 "14.38, 14.52, 14.87, 15.34, 15.89, 16.51, 17.21, 18.02, 18.94, 20.02",\
                 "15.81, 15.95, 16.3, 16.77, 17.31, 17.94, 18.64, 19.45, 20.38, 21.45",\
                 "17.53, 17.66, 18.02, 18.49, 19.03, 19.65, 20.35, 21.16, 22.09, 23.16",\
                 "19.44, 19.58, 19.93, 20.4, 20.95, 21.57, 22.27, 23.08, 24.01, 25.08");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("8.766, 8.88, 9.215, 9.781, 10.63, 11.82, 13.37, 15.32, 17.7, 20.54",\
                 "8.808, 8.922, 9.258, 9.824, 10.68, 11.86, 13.41, 15.37, 17.75, 20.59",\
                 "8.965, 9.079, 9.415, 9.981, 10.83, 12.02, 13.57, 15.52, 17.9, 20.74",\
                 "9.263, 9.378, 9.713, 10.28, 11.13, 12.31, 13.87, 15.82, 18.2, 21.04",\
                 "9.723, 9.837, 10.17, 10.74, 11.59, 12.78, 14.33, 16.28, 18.66, 21.5",\
                 "10.31, 10.43, 10.76, 11.33, 12.18, 13.36, 14.92, 16.87, 19.25, 22.09",\
                 "10.92, 11.04, 11.37, 11.94, 12.79, 13.97, 15.53, 17.48, 19.86, 22.7",\
                 "11.5, 11.62, 11.95, 12.52, 13.37, 14.55, 16.11, 18.06, 20.44, 23.28",\
                 "12.04, 12.15, 12.49, 13.05, 13.9, 15.09, 16.64, 18.6, 20.98, 23.81",\
                 "12.51, 12.63, 12.96, 13.53, 14.38, 15.56, 17.12, 19.07, 21.45, 24.29");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.928, 1.016, 1.262, 1.652, 2.176, 2.852, 3.718, 4.818, 6.194, 7.868",\
                 "0.93, 1.016, 1.264, 1.652, 2.176, 2.852, 3.72, 4.816, 6.194, 7.868",\
                 "0.928, 1.014, 1.262, 1.65, 2.172, 2.854, 3.722, 4.816, 6.19, 7.87",\
                 "0.928, 1.014, 1.262, 1.652, 2.174, 2.852, 3.72, 4.814, 6.19, 7.872",\
                 "0.93, 1.016, 1.264, 1.65, 2.172, 2.852, 3.72, 4.818, 6.192, 7.866",\
                 "0.93, 1.016, 1.262, 1.652, 2.176, 2.852, 3.72, 4.814, 6.192, 7.87",\
                 "0.928, 1.016, 1.264, 1.65, 2.172, 2.852, 3.722, 4.818, 6.184, 7.872",\
                 "0.928, 1.014, 1.262, 1.65, 2.176, 2.852, 3.722, 4.82, 6.192, 7.866",\
                 "0.93, 1.014, 1.262, 1.648, 2.172, 2.852, 3.718, 4.82, 6.194, 7.862",\
                 "0.928, 1.014, 1.262, 1.65, 2.176, 2.85, 3.724, 4.82, 6.19, 7.872");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.5662, 0.6816, 1.097, 1.95, 3.345, 5.326, 7.926, 11.21, 15.22, 19.98",\
                 "0.5658, 0.683, 1.099, 1.95, 3.344, 5.322, 7.926, 11.21, 15.22, 19.98",\
                 "0.5668, 0.683, 1.096, 1.949, 3.342, 5.324, 7.926, 11.21, 15.23, 19.98",\
                 "0.566, 0.68, 1.098, 1.948, 3.344, 5.326, 7.926, 11.21, 15.23, 19.98",\
                 "0.568, 0.682, 1.096, 1.95, 3.346, 5.324, 7.92, 11.21, 15.23, 20.01",\
                 "0.566, 0.682, 1.1, 1.952, 3.342, 5.324, 7.926, 11.21, 15.2, 19.97",\
                 "0.564, 0.682, 1.098, 1.95, 3.346, 5.324, 7.924, 11.2, 15.21, 19.99",\
                 "0.566, 0.682, 1.098, 1.95, 3.344, 5.326, 7.922, 11.2, 15.21, 20.01",\
                 "0.568, 0.682, 1.098, 1.952, 3.34, 5.316, 7.918, 11.21, 15.22, 20.01",\
                 "0.568, 0.68, 1.096, 1.95, 3.344, 5.318, 7.912, 11.21, 15.22, 20.01");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("11.23, 11.37, 11.73, 12.19, 12.74, 13.36, 14.06, 14.87, 15.8, 16.87",\
                 "11.3, 11.44, 11.79, 12.26, 12.81, 13.43, 14.13, 14.94, 15.87, 16.94",\
                 "11.48, 11.62, 11.97, 12.44, 12.98, 13.6, 14.31, 15.12, 16.04, 17.12",\
                 "11.83, 11.97, 12.33, 12.79, 13.34, 13.96, 14.66, 15.47, 16.4, 17.47",\
                 "12.41, 12.55, 12.9, 13.37, 13.92, 14.54, 15.24, 16.05, 16.98, 18.05",\
                 "13.25, 13.39, 13.74, 14.21, 14.76, 15.38, 16.08, 16.89, 17.82, 18.89",\
                 "14.38, 14.52, 14.87, 15.34, 15.89, 16.51, 17.21, 18.02, 18.94, 20.02",\
                 "15.81, 15.95, 16.3, 16.77, 17.31, 17.94, 18.64, 19.45, 20.38, 21.45",\
                 "17.53, 17.66, 18.02, 18.49, 19.03, 19.65, 20.35, 21.16, 22.09, 23.16",\
                 "19.44, 19.58, 19.93, 20.4, 20.95, 21.57, 22.27, 23.08, 24.01, 25.08");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("10.53, 10.68, 11.08, 11.69, 12.57, 13.76, 15.31, 17.27, 19.65, 22.48",\
                 "10.6, 10.74, 11.14, 11.76, 12.63, 13.82, 15.38, 17.33, 19.71, 22.55",\
                 "10.8, 10.94, 11.34, 11.96, 12.83, 14.02, 15.57, 17.53, 19.91, 22.75",\
                 "11.11, 11.25, 11.65, 12.27, 13.14, 14.33, 15.89, 17.84, 20.22, 23.06",\
                 "11.44, 11.58, 11.98, 12.6, 13.47, 14.66, 16.21, 18.17, 20.55, 23.38",\
                 "11.73, 11.88, 12.27, 12.89, 13.77, 14.96, 16.51, 18.46, 20.85, 23.68",\
                 "11.99, 12.13, 12.53, 13.15, 14.02, 15.21, 16.77, 18.72, 21.1, 23.94",\
                 "12.19, 12.34, 12.74, 13.35, 14.23, 15.42, 16.97, 18.93, 21.31, 24.15",\
                 "12.33, 12.47, 12.87, 13.49, 14.36, 15.55, 17.11, 19.06, 21.44, 24.28",\
                 "12.39, 12.53, 12.93, 13.55, 14.42, 15.61, 17.17, 19.12, 21.5, 24.34");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.9512, 1.038, 1.286, 1.674, 2.198, 2.876, 3.746, 4.836, 6.21, 7.888",\
                 "0.952, 1.036, 1.284, 1.674, 2.196, 2.88, 3.746, 4.84, 6.21, 7.888",\
                 "0.95, 1.036, 1.286, 1.672, 2.196, 2.878, 3.746, 4.84, 6.21, 7.89",\
                 "0.95, 1.036, 1.288, 1.674, 2.198, 2.874, 3.744, 4.84, 6.214, 7.884",\
                 "0.95, 1.036, 1.288, 1.672, 2.196, 2.874, 3.744, 4.842, 6.214, 7.89",\
                 "0.952, 1.038, 1.284, 1.672, 2.198, 2.874, 3.742, 4.842, 6.214, 7.888",\
                 "0.952, 1.036, 1.286, 1.672, 2.196, 2.878, 3.744, 4.84, 6.21, 7.882",\
                 "0.952, 1.038, 1.284, 1.672, 2.2, 2.876, 3.742, 4.842, 6.21, 7.884",\
                 "0.95, 1.038, 1.286, 1.672, 2.198, 2.874, 3.75, 4.842, 6.214, 7.882",\
                 "0.952, 1.038, 1.286, 1.672, 2.196, 2.874, 3.748, 4.846, 6.212, 7.89");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.732, 0.864, 1.288, 2.098, 3.436, 5.384, 7.988, 11.26, 15.27, 20.04",\
                 "0.734, 0.864, 1.286, 2.1, 3.434, 5.384, 7.982, 11.25, 15.25, 20.04",\
                 "0.734, 0.862, 1.286, 2.098, 3.43, 5.386, 7.988, 11.26, 15.26, 20.03",\
                 "0.734, 0.862, 1.284, 2.098, 3.432, 5.382, 7.982, 11.25, 15.25, 20.03",\
                 "0.732, 0.864, 1.286, 2.098, 3.432, 5.38, 7.982, 11.25, 15.25, 20.04",\
                 "0.732, 0.862, 1.288, 2.098, 3.432, 5.378, 7.98, 11.26, 15.25, 20.05",\
                 "0.732, 0.862, 1.288, 2.096, 3.432, 5.384, 7.976, 11.25, 15.27, 20.05",\
                 "0.732, 0.862, 1.286, 2.102, 3.432, 5.386, 7.972, 11.25, 15.28, 20.04",\
                 "0.736, 0.862, 1.288, 2.094, 3.436, 5.38, 7.976, 11.27, 15.27, 20.04",\
                 "0.734, 0.862, 1.286, 2.098, 3.434, 5.38, 7.972, 11.26, 15.26, 20.06");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("12.34, 12.48, 12.83, 13.3, 13.84, 14.46, 15.17, 15.97, 16.9, 17.97",\
                 "12.39, 12.53, 12.88, 13.35, 13.9, 14.52, 15.22, 16.03, 16.96, 18.03",\
                 "12.57, 12.71, 13.06, 13.53, 14.08, 14.7, 15.4, 16.21, 17.14, 18.21",\
                 "12.87, 13.01, 13.36, 13.83, 14.37, 15, 15.7, 16.51, 17.43, 18.51",\
                 "13.19, 13.33, 13.68, 14.15, 14.69, 15.31, 16.01, 16.82, 17.75, 18.82",\
                 "13.47, 13.61, 13.96, 14.43, 14.97, 15.59, 16.3, 17.11, 18.04, 19.11",\
                 "13.71, 13.85, 14.2, 14.67, 15.22, 15.84, 16.54, 17.35, 18.28, 19.35",\
                 "13.9, 14.04, 14.39, 14.86, 15.4, 16.02, 16.73, 17.53, 18.46, 19.53",\
                 "14.02, 14.17, 14.52, 14.99, 15.53, 16.15, 16.85, 17.66, 18.59, 19.66",\
                 "14.07, 14.21, 14.56, 15.03, 15.58, 16.2, 16.9, 17.71, 18.64, 19.71");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("12.45, 12.57, 12.9, 13.47, 14.32, 15.5, 17.06, 19.01, 21.39, 24.23",\
                 "12.47, 12.59, 12.92, 13.49, 14.34, 15.53, 17.08, 19.03, 21.41, 24.25",\
                 "12.6, 12.72, 13.05, 13.62, 14.47, 15.66, 17.21, 19.16, 21.54, 24.38",\
                 "12.95, 13.06, 13.4, 13.96, 14.81, 16, 17.55, 19.5, 21.88, 24.72",\
                 "13.54, 13.65, 13.99, 14.55, 15.4, 16.59, 18.14, 20.09, 22.48, 25.31",\
                 "14.39, 14.5, 14.84, 15.4, 16.26, 17.44, 18.99, 20.95, 23.33, 26.16",\
                 "15.52, 15.64, 15.97, 16.54, 17.39, 18.57, 20.13, 22.08, 24.46, 27.3",\
                 "16.91, 17.03, 17.36, 17.93, 18.78, 19.96, 21.52, 23.47, 25.85, 28.69",\
                 "18.47, 18.59, 18.93, 19.49, 20.35, 21.53, 23.08, 25.04, 27.42, 30.25",\
                 "20.16, 20.28, 20.61, 21.18, 22.03, 23.21, 24.77, 26.72, 29.1, 31.94");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.928, 1.016, 1.264, 1.65, 2.176, 2.854, 3.722, 4.812, 6.186, 7.872",\
                 "0.928, 1.016, 1.264, 1.652, 2.174, 2.854, 3.72, 4.818, 6.192, 7.872",\
                 "0.928, 1.016, 1.264, 1.65, 2.176, 2.852, 3.722, 4.814, 6.194, 7.87",\
                 "0.93, 1.014, 1.262, 1.652, 2.176, 2.854, 3.72, 4.816, 6.19, 7.868",\
                 "0.93, 1.016, 1.264, 1.65, 2.176, 2.854, 3.72, 4.816, 6.19, 7.872",\
                 "0.93, 1.016, 1.264, 1.652, 2.174, 2.856, 3.718, 4.816, 6.192, 7.864",\
                 "0.928, 1.016, 1.262, 1.65, 2.174, 2.852, 3.72, 4.818, 6.194, 7.862",\
                 "0.93, 1.014, 1.262, 1.65, 2.174, 2.852, 3.718, 4.816, 6.188, 7.872",\
                 "0.928, 1.016, 1.264, 1.65, 2.176, 2.854, 3.72, 4.82, 6.194, 7.87",\
                 "0.928, 1.016, 1.262, 1.652, 2.174, 2.852, 3.72, 4.82, 6.188, 7.872");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.566, 0.682, 1.096, 1.952, 3.344, 5.328, 7.918, 11.21, 15.2, 19.97",\
                 "0.568, 0.684, 1.096, 1.95, 3.344, 5.326, 7.918, 11.21, 15.21, 19.99",\
                 "0.568, 0.682, 1.098, 1.95, 3.346, 5.324, 7.916, 11.21, 15.2, 20",\
                 "0.566, 0.682, 1.096, 1.95, 3.346, 5.328, 7.922, 11.21, 15.2, 20",\
                 "0.568, 0.682, 1.098, 1.95, 3.346, 5.324, 7.922, 11.2, 15.21, 20.01",\
                 "0.568, 0.682, 1.098, 1.95, 3.342, 5.322, 7.928, 11.2, 15.2, 20.01",\
                 "0.566, 0.684, 1.098, 1.95, 3.342, 5.324, 7.916, 11.2, 15.21, 20.01",\
                 "0.568, 0.682, 1.098, 1.95, 3.346, 5.326, 7.922, 11.21, 15.21, 20.01",\
                 "0.566, 0.684, 1.1, 1.95, 3.344, 5.324, 7.924, 11.21, 15.23, 20",\
                 "0.568, 0.684, 1.1, 1.952, 3.344, 5.324, 7.926, 11.21, 15.21, 20.01");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("6.328, 6.47, 6.828, 7.302, 7.854, 8.481, 9.191, 10, 10.94, 12.01",\
                 "6.379, 6.52, 6.88, 7.354, 7.906, 8.531, 9.243, 10.05, 10.99, 12.06",\
                 "6.519, 6.659, 7.019, 7.493, 8.044, 8.671, 9.382, 10.19, 11.13, 12.2",\
                 "6.757, 6.898, 7.257, 7.732, 8.282, 8.909, 9.619, 10.43, 11.36, 12.44",\
                 "7.114, 7.254, 7.614, 8.087, 8.638, 9.266, 9.976, 10.79, 11.72, 12.8",\
                 "7.572, 7.713, 8.072, 8.546, 9.097, 9.724, 10.44, 11.25, 12.18, 13.25",\
                 "8.062, 8.204, 8.563, 9.036, 9.589, 10.21, 10.92, 11.74, 12.67, 13.74",\
                 "8.545, 8.686, 9.045, 9.52, 10.07, 10.7, 11.41, 12.22, 13.15, 14.23",\
                 "8.999, 9.14, 9.5, 9.973, 10.53, 11.15, 11.86, 12.68, 13.61, 14.68",\
                 "9.409, 9.551, 9.911, 10.39, 10.94, 11.56, 12.27, 13.09, 14.02, 15.1");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("9.554, 9.698, 10.1, 10.71, 11.59, 12.78, 14.33, 16.29, 18.67, 21.51",\
                 "9.587, 9.73, 10.13, 10.75, 11.62, 12.81, 14.37, 16.32, 18.7, 21.54",\
                 "9.771, 9.914, 10.31, 10.93, 11.8, 12.99, 14.55, 16.5, 18.88, 21.72",\
                 "10.14, 10.29, 10.68, 11.3, 12.18, 13.37, 14.92, 16.88, 19.26, 22.09",\
                 "10.74, 10.88, 11.28, 11.9, 12.77, 13.96, 15.52, 17.47, 19.85, 22.69",\
                 "11.59, 11.73, 12.13, 12.75, 13.62, 14.81, 16.37, 18.32, 20.7, 23.54",\
                 "12.72, 12.86, 13.26, 13.88, 14.75, 15.94, 17.5, 19.45, 21.83, 24.67",\
                 "14.15, 14.3, 14.69, 15.31, 16.19, 17.38, 18.93, 20.89, 23.27, 26.11",\
                 "15.91, 16.05, 16.45, 17.07, 17.94, 19.13, 20.69, 22.64, 25.02, 27.86",\
                 "17.95, 18.1, 18.5, 19.12, 19.99, 21.18, 22.74, 24.69, 27.07, 29.91");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.9534, 1.04, 1.288, 1.677, 2.202, 2.878, 3.747, 4.839, 6.218, 7.892",\
                 "0.9548, 1.041, 1.288, 1.677, 2.203, 2.88, 3.751, 4.849, 6.216, 7.892",\
                 "0.9548, 1.041, 1.288, 1.677, 2.2, 2.882, 3.75, 4.843, 6.214, 7.892",\
                 "0.9542, 1.041, 1.289, 1.677, 2.2, 2.882, 3.747, 4.846, 6.218, 7.89",\
                 "0.9548, 1.04, 1.289, 1.677, 2.204, 2.88, 3.746, 4.844, 6.218, 7.884",\
                 "0.954, 1.042, 1.288, 1.676, 2.204, 2.882, 3.752, 4.85, 6.218, 7.89",\
                 "0.954, 1.04, 1.288, 1.676, 2.202, 2.878, 3.75, 4.848, 6.216, 7.892",\
                 "0.956, 1.042, 1.29, 1.68, 2.206, 2.88, 3.754, 4.85, 6.216, 7.894",\
                 "0.958, 1.044, 1.292, 1.678, 2.204, 2.88, 3.752, 4.844, 6.216, 7.884",\
                 "0.958, 1.044, 1.292, 1.678, 2.204, 2.88, 3.75, 4.852, 6.214, 7.888");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.7334, 0.862, 1.287, 2.096, 3.434, 5.382, 7.986, 11.25, 15.27, 20.03",\
                 "0.7328, 0.8638, 1.287, 2.098, 3.432, 5.382, 7.986, 11.25, 15.27, 20.02",\
                 "0.7328, 0.862, 1.288, 2.098, 3.432, 5.38, 7.988, 11.27, 15.27, 20.02",\
                 "0.732, 0.862, 1.288, 2.096, 3.432, 5.376, 7.986, 11.25, 15.26, 20.06",\
                 "0.732, 0.862, 1.286, 2.098, 3.432, 5.382, 7.982, 11.25, 15.25, 20.04",\
                 "0.734, 0.864, 1.286, 2.098, 3.432, 5.378, 7.976, 11.26, 15.26, 20.05",\
                 "0.732, 0.864, 1.288, 2.096, 3.436, 5.382, 7.976, 11.25, 15.27, 20.04",\
                 "0.732, 0.862, 1.288, 2.098, 3.432, 5.376, 7.972, 11.27, 15.26, 20.05",\
                 "0.732, 0.864, 1.288, 2.102, 3.432, 5.384, 7.976, 11.26, 15.27, 20.04",\
                 "0.736, 0.868, 1.29, 2.104, 3.436, 5.386, 7.986, 11.25, 15.27, 20.03");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("12.34, 12.48, 12.83, 13.3, 13.84, 14.46, 15.17, 15.97, 16.9, 17.97",\
                 "12.39, 12.53, 12.88, 13.35, 13.9, 14.52, 15.22, 16.03, 16.96, 18.03",\
                 "12.57, 12.71, 13.06, 13.53, 14.08, 14.7, 15.4, 16.21, 17.14, 18.21",\
                 "12.87, 13.01, 13.36, 13.83, 14.37, 15, 15.7, 16.51, 17.43, 18.51",\
                 "13.19, 13.33, 13.68, 14.15, 14.69, 15.31, 16.01, 16.82, 17.75, 18.82",\
                 "13.47, 13.61, 13.96, 14.43, 14.97, 15.59, 16.3, 17.11, 18.04, 19.11",\
                 "13.71, 13.85, 14.2, 14.67, 15.22, 15.84, 16.54, 17.35, 18.28, 19.35",\
                 "13.9, 14.04, 14.39, 14.86, 15.4, 16.02, 16.73, 17.53, 18.46, 19.53",\
                 "14.02, 14.17, 14.52, 14.99, 15.53, 16.15, 16.85, 17.66, 18.59, 19.66",\
                 "14.07, 14.21, 14.56, 15.03, 15.58, 16.2, 16.9, 17.71, 18.64, 19.71");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("12.45, 12.57, 12.9, 13.47, 14.32, 15.5, 17.06, 19.01, 21.39, 24.23",\
                 "12.47, 12.59, 12.92, 13.49, 14.34, 15.53, 17.08, 19.03, 21.41, 24.25",\
                 "12.6, 12.72, 13.05, 13.62, 14.47, 15.66, 17.21, 19.16, 21.54, 24.38",\
                 "12.95, 13.06, 13.4, 13.96, 14.81, 16, 17.55, 19.5, 21.88, 24.72",\
                 "13.54, 13.65, 13.99, 14.55, 15.4, 16.59, 18.14, 20.09, 22.48, 25.31",\
                 "14.39, 14.5, 14.84, 15.4, 16.26, 17.44, 18.99, 20.95, 23.33, 26.16",\
                 "15.52, 15.64, 15.97, 16.54, 17.39, 18.57, 20.13, 22.08, 24.46, 27.3",\
                 "16.91, 17.03, 17.36, 17.93, 18.78, 19.96, 21.52, 23.47, 25.85, 28.69",\
                 "18.47, 18.59, 18.93, 19.49, 20.35, 21.53, 23.08, 25.04, 27.42, 30.25",\
                 "20.16, 20.28, 20.61, 21.18, 22.03, 23.21, 24.77, 26.72, 29.1, 31.94");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.9534, 1.04, 1.288, 1.677, 2.202, 2.878, 3.747, 4.839, 6.218, 7.892",\
                 "0.9548, 1.041, 1.288, 1.677, 2.203, 2.88, 3.751, 4.849, 6.216, 7.892",\
                 "0.9548, 1.041, 1.288, 1.677, 2.2, 2.882, 3.75, 4.843, 6.214, 7.892",\
                 "0.9542, 1.041, 1.289, 1.677, 2.2, 2.882, 3.747, 4.846, 6.218, 7.89",\
                 "0.9548, 1.04, 1.289, 1.677, 2.204, 2.88, 3.746, 4.844, 6.218, 7.884",\
                 "0.954, 1.042, 1.288, 1.676, 2.204, 2.882, 3.752, 4.85, 6.218, 7.89",\
                 "0.954, 1.04, 1.288, 1.676, 2.202, 2.878, 3.75, 4.848, 6.216, 7.892",\
                 "0.956, 1.042, 1.29, 1.68, 2.206, 2.88, 3.754, 4.85, 6.216, 7.894",\
                 "0.958, 1.044, 1.292, 1.678, 2.204, 2.88, 3.752, 4.844, 6.216, 7.884",\
                 "0.958, 1.044, 1.292, 1.678, 2.204, 2.88, 3.75, 4.852, 6.214, 7.888");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.7334, 0.862, 1.287, 2.096, 3.434, 5.382, 7.986, 11.25, 15.27, 20.03",\
                 "0.7328, 0.8638, 1.287, 2.098, 3.432, 5.382, 7.986, 11.25, 15.27, 20.02",\
                 "0.7328, 0.862, 1.288, 2.098, 3.432, 5.38, 7.988, 11.27, 15.27, 20.02",\
                 "0.732, 0.862, 1.288, 2.096, 3.432, 5.376, 7.986, 11.25, 15.26, 20.06",\
                 "0.732, 0.862, 1.286, 2.098, 3.432, 5.382, 7.982, 11.25, 15.25, 20.04",\
                 "0.734, 0.864, 1.286, 2.098, 3.432, 5.378, 7.976, 11.26, 15.26, 20.05",\
                 "0.732, 0.864, 1.288, 2.096, 3.436, 5.382, 7.976, 11.25, 15.27, 20.04",\
                 "0.732, 0.862, 1.288, 2.098, 3.432, 5.376, 7.972, 11.27, 15.26, 20.05",\
                 "0.732, 0.864, 1.288, 2.102, 3.432, 5.384, 7.976, 11.26, 15.27, 20.04",\
                 "0.736, 0.868, 1.29, 2.104, 3.436, 5.386, 7.986, 11.25, 15.27, 20.03");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("9.965, 10.11, 10.46, 10.94, 11.49, 12.11, 12.82, 13.64, 14.57, 15.64",\
                 "9.987, 10.13, 10.49, 10.96, 11.51, 12.14, 12.85, 13.66, 14.59, 15.66",\
                 "10.12, 10.26, 10.62, 11.09, 11.64, 12.27, 12.98, 13.79, 14.72, 15.79",\
                 "10.46, 10.6, 10.96, 11.43, 11.98, 12.61, 13.32, 14.13, 15.06, 16.14",\
                 "11.05, 11.19, 11.55, 12.02, 12.57, 13.2, 13.91, 14.72, 15.65, 16.72",\
                 "11.9, 12.04, 12.4, 12.88, 13.43, 14.05, 14.76, 15.57, 16.5, 17.58",\
                 "13.03, 13.18, 13.53, 14.01, 14.56, 15.18, 15.89, 16.7, 17.64, 18.71",\
                 "14.43, 14.57, 14.92, 15.4, 15.95, 16.57, 17.28, 18.09, 19.03, 20.1",\
                 "15.99, 16.13, 16.49, 16.96, 17.51, 18.14, 18.85, 19.66, 20.59, 21.67",\
                 "17.67, 17.81, 18.17, 18.64, 19.2, 19.82, 20.53, 21.34, 22.28, 23.35");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("10.21, 10.35, 10.75, 11.37, 12.24, 13.43, 14.99, 16.94, 19.32, 22.16",\
                 "10.27, 10.41, 10.81, 11.43, 12.3, 13.49, 15.05, 17, 19.38, 22.22",\
                 "10.45, 10.59, 10.99, 11.61, 12.48, 13.67, 15.23, 17.18, 19.56, 22.4",\
                 "10.75, 10.89, 11.29, 11.91, 12.78, 13.97, 15.53, 17.48, 19.86, 22.7",\
                 "11.06, 11.21, 11.61, 12.22, 13.1, 14.29, 15.84, 17.8, 20.18, 23.01",\
                 "11.35, 11.49, 11.89, 12.51, 13.38, 14.57, 16.13, 18.08, 20.46, 23.3",\
                 "11.59, 11.73, 12.13, 12.75, 13.62, 14.81, 16.37, 18.32, 20.7, 23.54",\
                 "11.77, 11.91, 12.31, 12.93, 13.8, 15, 16.55, 18.5, 20.89, 23.72",\
                 "11.9, 12.04, 12.44, 13.06, 13.93, 15.12, 16.68, 18.63, 21.01, 23.85",\
                 "11.95, 12.09, 12.49, 13.1, 13.98, 15.17, 16.72, 18.68, 21.06, 23.9");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.9518, 1.038, 1.284, 1.672, 2.198, 2.878, 3.748, 4.836, 6.21, 7.892",\
                 "0.9512, 1.037, 1.286, 1.676, 2.2, 2.876, 3.744, 4.842, 6.216, 7.886",\
                 "0.952, 1.036, 1.286, 1.676, 2.198, 2.876, 3.742, 4.842, 6.216, 7.888",\
                 "0.95, 1.038, 1.286, 1.674, 2.2, 2.876, 3.742, 4.842, 6.214, 7.886",\
                 "0.952, 1.038, 1.286, 1.674, 2.2, 2.874, 3.744, 4.844, 6.21, 7.884",\
                 "0.952, 1.038, 1.286, 1.674, 2.196, 2.878, 3.744, 4.844, 6.21, 7.89",\
                 "0.952, 1.036, 1.286, 1.672, 2.198, 2.878, 3.742, 4.842, 6.214, 7.88",\
                 "0.952, 1.038, 1.286, 1.674, 2.2, 2.874, 3.744, 4.84, 6.212, 7.888",\
                 "0.952, 1.038, 1.288, 1.674, 2.2, 2.876, 3.75, 4.838, 6.208, 7.89",\
                 "0.952, 1.038, 1.286, 1.674, 2.198, 2.88, 3.75, 4.846, 6.214, 7.884");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.732, 0.86, 1.286, 2.096, 3.432, 5.382, 7.98, 11.25, 15.27, 20.03",\
                 "0.732, 0.862, 1.286, 2.096, 3.432, 5.382, 7.976, 11.26, 15.26, 20.03",\
                 "0.73, 0.86, 1.286, 2.096, 3.432, 5.378, 7.98, 11.25, 15.26, 20.05",\
                 "0.732, 0.862, 1.286, 2.098, 3.43, 5.384, 7.98, 11.25, 15.25, 20.06",\
                 "0.734, 0.862, 1.286, 2.098, 3.43, 5.384, 7.98, 11.25, 15.25, 20.02",\
                 "0.732, 0.86, 1.286, 2.098, 3.43, 5.384, 7.986, 11.26, 15.26, 20.04",\
                 "0.732, 0.86, 1.284, 2.096, 3.43, 5.378, 7.988, 11.25, 15.26, 20.06",\
                 "0.732, 0.862, 1.288, 2.098, 3.43, 5.38, 7.976, 11.25, 15.27, 20.05",\
                 "0.732, 0.862, 1.286, 2.098, 3.434, 5.378, 7.982, 11.25, 15.26, 20.05",\
                 "0.732, 0.862, 1.284, 2.098, 3.436, 5.38, 7.97, 11.26, 15.27, 20.04");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("11.66, 11.8, 12.15, 12.62, 13.17, 13.79, 14.49, 15.3, 16.23, 17.3",\
                 "11.7, 11.83, 12.19, 12.65, 13.2, 13.82, 14.52, 15.33, 16.26, 17.33",\
                 "11.88, 12.02, 12.37, 12.84, 13.38, 14, 14.7, 15.51, 16.44, 17.51",\
                 "12.25, 12.39, 12.74, 13.21, 13.75, 14.37, 15.08, 15.88, 16.81, 17.88",\
                 "12.84, 12.98, 13.33, 13.8, 14.34, 14.97, 15.67, 16.48, 17.41, 18.48",\
                 "13.69, 13.83, 14.18, 14.65, 15.2, 15.81, 16.52, 17.33, 18.25, 19.33",\
                 "14.82, 14.96, 15.32, 15.78, 16.33, 16.95, 17.65, 18.46, 19.39, 20.46",\
                 "16.26, 16.4, 16.75, 17.22, 17.76, 18.38, 19.09, 19.89, 20.82, 21.89",\
                 "17.99, 18.13, 18.48, 18.95, 19.5, 20.11, 20.82, 21.63, 22.56, 23.63",\
                 "19.96, 20.09, 20.45, 20.92, 21.46, 22.08, 22.78, 23.59, 24.52, 25.59");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("8.813, 8.927, 9.263, 9.828, 10.68, 11.87, 13.42, 15.37, 17.75, 20.59",\
                 "8.864, 8.979, 9.314, 9.88, 10.73, 11.92, 13.47, 15.42, 17.8, 20.64",\
                 "9.003, 9.118, 9.453, 10.02, 10.87, 12.05, 13.61, 15.56, 17.94, 20.78",\
                 "9.241, 9.356, 9.691, 10.26, 11.11, 12.29, 13.85, 15.8, 18.18, 21.02",\
                 "9.6, 9.714, 10.05, 10.62, 11.47, 12.65, 14.2, 16.16, 18.54, 21.38",\
                 "10.06, 10.17, 10.51, 11.07, 11.93, 13.11, 14.66, 16.62, 19, 21.84",\
                 "10.56, 10.67, 11.01, 11.57, 12.42, 13.61, 15.16, 17.11, 19.49, 22.33",\
                 "11.04, 11.16, 11.49, 12.06, 12.91, 14.1, 15.65, 17.6, 19.98, 22.82",\
                 "11.5, 11.62, 11.95, 12.52, 13.37, 14.55, 16.11, 18.06, 20.44, 23.28",\
                 "11.92, 12.04, 12.37, 12.94, 13.79, 14.97, 16.53, 18.48, 20.86, 23.7");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.928, 1.016, 1.262, 1.65, 2.176, 2.852, 3.718, 4.816, 6.194, 7.868",\
                 "0.928, 1.016, 1.264, 1.65, 2.174, 2.852, 3.716, 4.816, 6.192, 7.868",\
                 "0.928, 1.014, 1.264, 1.65, 2.174, 2.852, 3.718, 4.818, 6.19, 7.87",\
                 "0.928, 1.016, 1.264, 1.652, 2.172, 2.852, 3.722, 4.818, 6.194, 7.872",\
                 "0.93, 1.016, 1.264, 1.652, 2.176, 2.852, 3.72, 4.814, 6.192, 7.87",\
                 "0.93, 1.014, 1.264, 1.65, 2.172, 2.854, 3.72, 4.814, 6.194, 7.866",\
                 "0.93, 1.014, 1.264, 1.65, 2.174, 2.852, 3.72, 4.816, 6.184, 7.868",\
                 "0.928, 1.014, 1.264, 1.65, 2.174, 2.854, 3.722, 4.814, 6.19, 7.866",\
                 "0.93, 1.014, 1.264, 1.65, 2.176, 2.854, 3.724, 4.816, 6.194, 7.866",\
                 "0.928, 1.016, 1.262, 1.652, 2.172, 2.852, 3.72, 4.822, 6.192, 7.868");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.5658, 0.6812, 1.096, 1.951, 3.345, 5.324, 7.926, 11.21, 15.22, 19.99",\
                 "0.566, 0.6818, 1.1, 1.95, 3.346, 5.324, 7.926, 11.21, 15.22, 19.98",\
                 "0.5666, 0.6828, 1.096, 1.948, 3.344, 5.326, 7.922, 11.21, 15.22, 19.98",\
                 "0.566, 0.682, 1.098, 1.95, 3.344, 5.324, 7.922, 11.2, 15.23, 19.98",\
                 "0.566, 0.684, 1.098, 1.952, 3.342, 5.326, 7.922, 11.21, 15.22, 20.01",\
                 "0.566, 0.684, 1.1, 1.948, 3.346, 5.322, 7.922, 11.21, 15.2, 20",\
                 "0.568, 0.68, 1.098, 1.95, 3.342, 5.326, 7.922, 11.2, 15.2, 20.01",\
                 "0.566, 0.684, 1.098, 1.952, 3.342, 5.326, 7.926, 11.21, 15.21, 20",\
                 "0.566, 0.682, 1.096, 1.948, 3.342, 5.316, 7.916, 11.2, 15.2, 19.99",\
                 "0.568, 0.682, 1.096, 1.95, 3.34, 5.314, 7.916, 11.19, 15.23, 20");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("11.66, 11.8, 12.15, 12.62, 13.17, 13.79, 14.49, 15.3, 16.23, 17.3",\
                 "11.7, 11.83, 12.19, 12.65, 13.2, 13.82, 14.52, 15.33, 16.26, 17.33",\
                 "11.88, 12.02, 12.37, 12.84, 13.38, 14, 14.7, 15.51, 16.44, 17.51",\
                 "12.25, 12.39, 12.74, 13.21, 13.75, 14.37, 15.08, 15.88, 16.81, 17.88",\
                 "12.84, 12.98, 13.33, 13.8, 14.34, 14.97, 15.67, 16.48, 17.41, 18.48",\
                 "13.69, 13.83, 14.18, 14.65, 15.2, 15.81, 16.52, 17.33, 18.25, 19.33",\
                 "14.82, 14.96, 15.32, 15.78, 16.33, 16.95, 17.65, 18.46, 19.39, 20.46",\
                 "16.26, 16.4, 16.75, 17.22, 17.76, 18.38, 19.09, 19.89, 20.82, 21.89",\
                 "17.99, 18.13, 18.48, 18.95, 19.5, 20.11, 20.82, 21.63, 22.56, 23.63",\
                 "19.96, 20.09, 20.45, 20.92, 21.46, 22.08, 22.78, 23.59, 24.52, 25.59");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("10.21, 10.35, 10.75, 11.37, 12.24, 13.43, 14.99, 16.94, 19.32, 22.16",\
                 "10.27, 10.41, 10.81, 11.43, 12.3, 13.49, 15.05, 17, 19.38, 22.22",\
                 "10.45, 10.59, 10.99, 11.61, 12.48, 13.67, 15.23, 17.18, 19.56, 22.4",\
                 "10.75, 10.89, 11.29, 11.91, 12.78, 13.97, 15.53, 17.48, 19.86, 22.7",\
                 "11.06, 11.21, 11.61, 12.22, 13.1, 14.29, 15.84, 17.8, 20.18, 23.01",\
                 "11.35, 11.49, 11.89, 12.51, 13.38, 14.57, 16.13, 18.08, 20.46, 23.3",\
                 "11.59, 11.73, 12.13, 12.75, 13.62, 14.81, 16.37, 18.32, 20.7, 23.54",\
                 "11.77, 11.91, 12.31, 12.93, 13.8, 15, 16.55, 18.5, 20.89, 23.72",\
                 "11.9, 12.04, 12.44, 13.06, 13.93, 15.12, 16.68, 18.63, 21.01, 23.85",\
                 "11.95, 12.09, 12.49, 13.1, 13.98, 15.17, 16.72, 18.68, 21.06, 23.9");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.9518, 1.038, 1.284, 1.672, 2.198, 2.878, 3.748, 4.836, 6.21, 7.892",\
                 "0.9512, 1.037, 1.286, 1.676, 2.2, 2.876, 3.744, 4.842, 6.216, 7.886",\
                 "0.952, 1.036, 1.286, 1.676, 2.198, 2.876, 3.742, 4.842, 6.216, 7.888",\
                 "0.95, 1.038, 1.286, 1.674, 2.2, 2.876, 3.742, 4.842, 6.214, 7.886",\
                 "0.952, 1.038, 1.286, 1.674, 2.2, 2.874, 3.744, 4.844, 6.21, 7.884",\
                 "0.952, 1.038, 1.286, 1.674, 2.196, 2.878, 3.744, 4.844, 6.21, 7.89",\
                 "0.952, 1.036, 1.286, 1.672, 2.198, 2.878, 3.742, 4.842, 6.214, 7.88",\
                 "0.952, 1.038, 1.286, 1.674, 2.2, 2.874, 3.744, 4.84, 6.212, 7.888",\
                 "0.952, 1.038, 1.288, 1.674, 2.2, 2.876, 3.75, 4.838, 6.208, 7.89",\
                 "0.952, 1.038, 1.286, 1.674, 2.198, 2.88, 3.75, 4.846, 6.214, 7.884");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.732, 0.86, 1.286, 2.096, 3.432, 5.382, 7.98, 11.25, 15.27, 20.03",\
                 "0.732, 0.862, 1.286, 2.096, 3.432, 5.382, 7.976, 11.26, 15.26, 20.03",\
                 "0.73, 0.86, 1.286, 2.096, 3.432, 5.378, 7.98, 11.25, 15.26, 20.05",\
                 "0.732, 0.862, 1.286, 2.098, 3.43, 5.384, 7.98, 11.25, 15.25, 20.06",\
                 "0.734, 0.862, 1.286, 2.098, 3.43, 5.384, 7.98, 11.25, 15.25, 20.02",\
                 "0.732, 0.86, 1.286, 2.098, 3.43, 5.384, 7.986, 11.26, 15.26, 20.04",\
                 "0.732, 0.86, 1.284, 2.096, 3.43, 5.378, 7.988, 11.25, 15.26, 20.06",\
                 "0.732, 0.862, 1.288, 2.098, 3.43, 5.38, 7.976, 11.25, 15.27, 20.05",\
                 "0.732, 0.862, 1.286, 2.098, 3.434, 5.378, 7.982, 11.25, 15.26, 20.05",\
                 "0.732, 0.862, 1.284, 2.098, 3.436, 5.38, 7.97, 11.26, 15.27, 20.04");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("5.292, 5.433, 5.792, 6.264, 6.814, 7.439, 8.149, 8.96, 9.893, 10.97",\
                 "5.35, 5.49, 5.849, 6.322, 6.871, 7.496, 8.206, 9.018, 9.95, 11.02",\
                 "5.531, 5.672, 6.031, 6.503, 7.054, 7.679, 8.389, 9.201, 10.13, 11.21",\
                 "5.842, 5.982, 6.34, 6.814, 7.363, 7.99, 8.699, 9.511, 10.44, 11.52",\
                 "6.255, 6.396, 6.754, 7.227, 7.778, 8.402, 9.112, 9.924, 10.86, 11.93",\
                 "6.668, 6.808, 7.168, 7.641, 8.191, 8.815, 9.525, 10.34, 11.27, 12.34",\
                 "7.052, 7.192, 7.55, 8.024, 8.574, 9.2, 9.909, 10.72, 11.65, 12.73",\
                 "7.39, 7.53, 7.887, 8.36, 8.911, 9.536, 10.25, 11.06, 11.99, 13.07",\
                 "7.678, 7.819, 8.177, 8.649, 9.198, 9.823, 10.53, 11.34, 12.28, 13.35",\
                 "7.903, 8.044, 8.401, 8.874, 9.422, 10.05, 10.76, 11.57, 12.5, 13.57");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("6.914, 7.028, 7.364, 7.93, 8.781, 9.966, 11.52, 13.47, 15.85, 18.69",\
                 "6.965, 7.079, 7.416, 7.981, 8.833, 10.02, 11.57, 13.52, 15.91, 18.74",\
                 "7.156, 7.27, 7.606, 8.172, 9.024, 10.21, 11.76, 13.71, 16.1, 18.93",\
                 "7.506, 7.621, 7.957, 8.523, 9.374, 10.56, 12.11, 14.07, 16.45, 19.28",\
                 "8.025, 8.14, 8.475, 9.041, 9.893, 11.08, 12.63, 14.58, 16.97, 19.8",\
                 "8.739, 8.854, 9.19, 9.755, 10.61, 11.79, 13.35, 15.3, 17.68, 20.52",\
                 "9.67, 9.785, 10.12, 10.69, 11.54, 12.72, 14.28, 16.23, 18.61, 21.45",\
                 "10.83, 10.94, 11.28, 11.84, 12.7, 13.88, 15.43, 17.39, 19.77, 22.61",\
                 "12.17, 12.28, 12.62, 13.19, 14.04, 15.22, 16.78, 18.73, 21.11, 23.95",\
                 "13.64, 13.76, 14.1, 14.67, 15.52, 16.7, 18.26, 20.21, 22.59, 25.43");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.95, 1.037, 1.285, 1.673, 2.196, 2.877, 3.744, 4.844, 6.208, 7.89",\
                 "0.9506, 1.037, 1.285, 1.674, 2.197, 2.877, 3.741, 4.843, 6.21, 7.889",\
                 "0.9502, 1.036, 1.285, 1.673, 2.196, 2.876, 3.744, 4.836, 6.208, 7.89",\
                 "0.9502, 1.037, 1.285, 1.673, 2.198, 2.877, 3.741, 4.841, 6.213, 7.888",\
                 "0.9504, 1.037, 1.284, 1.673, 2.199, 2.874, 3.743, 4.844, 6.212, 7.882",\
                 "0.9496, 1.036, 1.285, 1.672, 2.198, 2.874, 3.75, 4.844, 6.212, 7.886",\
                 "0.948, 1.032, 1.284, 1.672, 2.196, 2.878, 3.75, 4.844, 6.214, 7.89",\
                 "0.944, 1.03, 1.282, 1.67, 2.2, 2.874, 3.746, 4.848, 6.218, 7.892",\
                 "0.942, 1.028, 1.278, 1.666, 2.19, 2.872, 3.74, 4.836, 6.206, 7.888",\
                 "0.944, 1.03, 1.278, 1.668, 2.196, 2.876, 3.748, 4.84, 6.206, 7.876");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.567, 0.6826, 1.097, 1.952, 3.344, 5.327, 7.922, 11.21, 15.21, 20.01",\
                 "0.5672, 0.6828, 1.101, 1.952, 3.345, 5.327, 7.925, 11.21, 15.21, 20.01",\
                 "0.5664, 0.6824, 1.099, 1.952, 3.346, 5.328, 7.92, 11.21, 15.22, 20.01",\
                 "0.5674, 0.6826, 1.098, 1.949, 3.346, 5.322, 7.922, 11.21, 15.21, 19.98",\
                 "0.5666, 0.6818, 1.098, 1.948, 3.344, 5.324, 7.924, 11.21, 15.21, 19.97",\
                 "0.568, 0.684, 1.102, 1.952, 3.344, 5.326, 7.918, 11.21, 15.22, 19.97",\
                 "0.568, 0.682, 1.1, 1.95, 3.346, 5.326, 7.924, 11.21, 15.21, 20.01",\
                 "0.568, 0.686, 1.1, 1.952, 3.344, 5.326, 7.92, 11.2, 15.2, 19.99",\
                 "0.578, 0.692, 1.106, 1.952, 3.346, 5.314, 7.92, 11.21, 15.22, 20.01",\
                 "0.588, 0.702, 1.11, 1.956, 3.34, 5.316, 7.926, 11.21, 15.22, 20");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("5.327, 5.468, 5.827, 6.302, 6.852, 7.478, 8.189, 9.001, 9.934, 11.01",\
                 "5.384, 5.525, 5.884, 6.36, 6.91, 7.536, 8.246, 9.058, 9.991, 11.07",\
                 "5.566, 5.707, 6.067, 6.541, 7.092, 7.719, 8.429, 9.24, 10.17, 11.25",\
                 "5.878, 6.019, 6.377, 6.853, 7.403, 8.029, 8.74, 9.552, 10.49, 11.56",\
                 "6.293, 6.434, 6.794, 7.268, 7.819, 8.445, 9.155, 9.967, 10.9, 11.97",\
                 "6.708, 6.849, 7.207, 7.683, 8.232, 8.858, 9.569, 10.38, 11.32, 12.39",\
                 "7.091, 7.232, 7.592, 8.066, 8.617, 9.243, 9.954, 10.77, 11.7, 12.77",\
                 "7.429, 7.569, 7.927, 8.401, 8.952, 9.578, 10.29, 11.1, 12.04, 13.11",\
                 "7.716, 7.857, 8.216, 8.689, 9.238, 9.865, 10.58, 11.39, 12.32, 13.4",\
                 "7.939, 8.08, 8.438, 8.911, 9.46, 10.09, 10.8, 11.61, 12.54, 13.61");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("6.918, 7.032, 7.368, 7.933, 8.785, 9.969, 11.52, 13.48, 15.86, 18.69",\
                 "6.969, 7.084, 7.42, 7.985, 8.836, 10.02, 11.57, 13.53, 15.91, 18.75",\
                 "7.162, 7.276, 7.612, 8.177, 9.029, 10.21, 11.77, 13.72, 16.1, 18.94",\
                 "7.513, 7.627, 7.963, 8.528, 9.38, 10.57, 12.12, 14.07, 16.45, 19.29",\
                 "8.031, 8.145, 8.481, 9.046, 9.898, 11.08, 12.64, 14.59, 16.97, 19.81",\
                 "8.742, 8.857, 9.193, 9.758, 10.61, 11.79, 13.35, 15.3, 17.68, 20.52",\
                 "9.671, 9.785, 10.12, 10.69, 11.54, 12.72, 14.28, 16.23, 18.61, 21.45",\
                 "10.83, 10.94, 11.28, 11.84, 12.69, 13.88, 15.43, 17.39, 19.77, 22.6",\
                 "12.17, 12.28, 12.62, 13.18, 14.04, 15.22, 16.77, 18.73, 21.11, 23.95",\
                 "13.64, 13.76, 14.1, 14.67, 15.52, 16.7, 18.25, 20.21, 22.59, 25.43");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.9546, 1.04, 1.288, 1.678, 2.203, 2.882, 3.752, 4.843, 6.219, 7.889",\
                 "0.9548, 1.04, 1.289, 1.678, 2.202, 2.881, 3.752, 4.849, 6.217, 7.891",\
                 "0.9548, 1.041, 1.288, 1.676, 2.2, 2.885, 3.752, 4.84, 6.219, 7.892",\
                 "0.9544, 1.041, 1.288, 1.678, 2.201, 2.882, 3.746, 4.846, 6.217, 7.884",\
                 "0.9546, 1.041, 1.288, 1.676, 2.2, 2.881, 3.754, 4.85, 6.218, 7.892",\
                 "0.9538, 1.04, 1.289, 1.678, 2.202, 2.878, 3.752, 4.846, 6.214, 7.892",\
                 "0.952, 1.038, 1.29, 1.676, 2.204, 2.88, 3.75, 4.85, 6.214, 7.894",\
                 "0.946, 1.034, 1.284, 1.672, 2.2, 2.88, 3.752, 4.854, 6.222, 7.896",\
                 "0.946, 1.034, 1.28, 1.67, 2.198, 2.878, 3.746, 4.84, 6.21, 7.896",\
                 "0.946, 1.032, 1.284, 1.674, 2.2, 2.88, 3.748, 4.848, 6.208, 7.878");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.566, 0.6814, 1.096, 1.951, 3.344, 5.326, 7.919, 11.21, 15.22, 20.01",\
                 "0.5652, 0.6818, 1.098, 1.951, 3.343, 5.327, 7.926, 11.21, 15.22, 20",\
                 "0.5656, 0.6814, 1.099, 1.951, 3.346, 5.327, 7.926, 11.21, 15.22, 20.01",\
                 "0.5656, 0.6814, 1.099, 1.95, 3.346, 5.32, 7.926, 11.21, 15.23, 19.98",\
                 "0.5664, 0.6794, 1.098, 1.95, 3.346, 5.326, 7.92, 11.21, 15.23, 19.98",\
                 "0.566, 0.682, 1.1, 1.95, 3.344, 5.322, 7.926, 11.21, 15.22, 20",\
                 "0.568, 0.682, 1.1, 1.95, 3.346, 5.322, 7.922, 11.2, 15.2, 20.01",\
                 "0.568, 0.682, 1.1, 1.95, 3.344, 5.326, 7.928, 11.21, 15.21, 20.01",\
                 "0.576, 0.69, 1.104, 1.952, 3.344, 5.312, 7.924, 11.21, 15.21, 20.01",\
                 "0.588, 0.702, 1.112, 1.954, 3.344, 5.318, 7.924, 11.21, 15.23, 19.98");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("5.327, 5.468, 5.827, 6.302, 6.852, 7.478, 8.189, 9.001, 9.934, 11.01",\
                 "5.384, 5.525, 5.884, 6.36, 6.91, 7.536, 8.246, 9.058, 9.991, 11.07",\
                 "5.566, 5.707, 6.067, 6.541, 7.092, 7.719, 8.429, 9.24, 10.17, 11.25",\
                 "5.878, 6.019, 6.377, 6.853, 7.403, 8.029, 8.74, 9.552, 10.49, 11.56",\
                 "6.293, 6.434, 6.794, 7.268, 7.819, 8.445, 9.155, 9.967, 10.9, 11.97",\
                 "6.708, 6.849, 7.207, 7.683, 8.232, 8.858, 9.569, 10.38, 11.32, 12.39",\
                 "7.091, 7.232, 7.592, 8.066, 8.617, 9.243, 9.954, 10.77, 11.7, 12.77",\
                 "7.429, 7.569, 7.927, 8.401, 8.952, 9.578, 10.29, 11.1, 12.04, 13.11",\
                 "7.716, 7.857, 8.216, 8.689, 9.238, 9.865, 10.58, 11.39, 12.32, 13.4",\
                 "7.939, 8.08, 8.438, 8.911, 9.46, 10.09, 10.8, 11.61, 12.54, 13.61");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("6.914, 7.028, 7.364, 7.93, 8.781, 9.966, 11.52, 13.47, 15.85, 18.69",\
                 "6.965, 7.079, 7.416, 7.981, 8.833, 10.02, 11.57, 13.52, 15.91, 18.74",\
                 "7.156, 7.27, 7.606, 8.172, 9.024, 10.21, 11.76, 13.71, 16.1, 18.93",\
                 "7.506, 7.621, 7.957, 8.523, 9.374, 10.56, 12.11, 14.07, 16.45, 19.28",\
                 "8.025, 8.14, 8.475, 9.041, 9.893, 11.08, 12.63, 14.58, 16.97, 19.8",\
                 "8.739, 8.854, 9.19, 9.755, 10.61, 11.79, 13.35, 15.3, 17.68, 20.52",\
                 "9.67, 9.785, 10.12, 10.69, 11.54, 12.72, 14.28, 16.23, 18.61, 21.45",\
                 "10.83, 10.94, 11.28, 11.84, 12.7, 13.88, 15.43, 17.39, 19.77, 22.61",\
                 "12.17, 12.28, 12.62, 13.19, 14.04, 15.22, 16.78, 18.73, 21.11, 23.95",\
                 "13.64, 13.76, 14.1, 14.67, 15.52, 16.7, 18.26, 20.21, 22.59, 25.43");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.9546, 1.04, 1.288, 1.678, 2.203, 2.882, 3.752, 4.843, 6.219, 7.889",\
                 "0.9548, 1.04, 1.289, 1.678, 2.202, 2.881, 3.752, 4.849, 6.217, 7.891",\
                 "0.9548, 1.041, 1.288, 1.676, 2.2, 2.885, 3.752, 4.84, 6.219, 7.892",\
                 "0.9544, 1.041, 1.288, 1.678, 2.201, 2.882, 3.746, 4.846, 6.217, 7.884",\
                 "0.9546, 1.041, 1.288, 1.676, 2.2, 2.881, 3.754, 4.85, 6.218, 7.892",\
                 "0.9538, 1.04, 1.289, 1.678, 2.202, 2.878, 3.752, 4.846, 6.214, 7.892",\
                 "0.952, 1.038, 1.29, 1.676, 2.204, 2.88, 3.75, 4.85, 6.214, 7.894",\
                 "0.946, 1.034, 1.284, 1.672, 2.2, 2.88, 3.752, 4.854, 6.222, 7.896",\
                 "0.946, 1.034, 1.28, 1.67, 2.198, 2.878, 3.746, 4.84, 6.21, 7.896",\
                 "0.946, 1.032, 1.284, 1.674, 2.2, 2.88, 3.748, 4.848, 6.208, 7.878");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.566, 0.6814, 1.096, 1.951, 3.344, 5.326, 7.919, 11.21, 15.22, 20.01",\
                 "0.5652, 0.6818, 1.098, 1.951, 3.343, 5.327, 7.926, 11.21, 15.22, 20",\
                 "0.5656, 0.6814, 1.099, 1.951, 3.346, 5.327, 7.926, 11.21, 15.22, 20.01",\
                 "0.5656, 0.6814, 1.099, 1.95, 3.346, 5.32, 7.926, 11.21, 15.23, 19.98",\
                 "0.5664, 0.6794, 1.098, 1.95, 3.346, 5.326, 7.92, 11.21, 15.23, 19.98",\
                 "0.566, 0.682, 1.1, 1.95, 3.344, 5.322, 7.926, 11.21, 15.22, 20",\
                 "0.568, 0.682, 1.1, 1.95, 3.346, 5.322, 7.922, 11.2, 15.2, 20.01",\
                 "0.568, 0.682, 1.1, 1.95, 3.344, 5.326, 7.928, 11.21, 15.21, 20.01",\
                 "0.576, 0.69, 1.104, 1.952, 3.344, 5.312, 7.924, 11.21, 15.21, 20.01",\
                 "0.588, 0.702, 1.112, 1.954, 3.344, 5.318, 7.924, 11.21, 15.23, 19.98");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("3.835, 3.974, 4.327, 4.796, 5.339, 5.961, 6.666, 7.474, 8.403, 9.474",\
                 "3.899, 4.037, 4.391, 4.858, 5.403, 6.024, 6.73, 7.538, 8.467, 9.538",\
                 "4.077, 4.216, 4.569, 5.036, 5.581, 6.203, 6.908, 7.716, 8.645, 9.717",\
                 "4.438, 4.576, 4.93, 5.398, 5.944, 6.562, 7.269, 8.076, 9.005, 10.08",\
                 "5.031, 5.17, 5.522, 5.991, 6.535, 7.156, 7.861, 8.669, 9.598, 10.67",\
                 "5.889, 6.027, 6.38, 6.848, 7.393, 8.013, 8.718, 9.526, 10.46, 11.53",\
                 "7.031, 7.17, 7.523, 7.991, 8.534, 9.156, 9.861, 10.67, 11.6, 12.67",\
                 "8.419, 8.564, 8.927, 9.403, 9.951, 10.58, 11.28, 12.09, 13.02, 14.09",\
                 "9.932, 10.09, 10.49, 10.99, 11.56, 12.2, 12.91, 13.72, 14.66, 15.73",\
                 "11.53, 11.71, 12.14, 12.68, 13.28, 13.93, 14.66, 15.49, 16.43, 17.51");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("1.859, 1.987, 2.357, 2.955, 3.821, 5.01, 6.564, 8.516, 10.9, 13.74",\
                 "1.908, 2.036, 2.406, 3.005, 3.87, 5.059, 6.614, 8.567, 10.95, 13.78",\
                 "2.09, 2.219, 2.589, 3.187, 4.053, 5.242, 6.796, 8.751, 11.13, 13.97",\
                 "2.436, 2.564, 2.934, 3.531, 4.396, 5.585, 7.14, 9.094, 11.47, 14.31",\
                 "2.968, 3.097, 3.466, 4.062, 4.927, 6.115, 7.671, 9.626, 12.01, 14.84",\
                 "3.627, 3.76, 4.139, 4.738, 5.603, 6.791, 8.345, 10.3, 12.68, 15.52",\
                 "4.313, 4.454, 4.846, 5.457, 6.327, 7.516, 9.07, 11.02, 13.41, 16.24",\
                 "5.008, 5.159, 5.568, 6.19, 7.064, 8.256, 9.812, 11.77, 14.15, 16.99",\
                 "5.702, 5.866, 6.297, 6.933, 7.811, 9.001, 10.56, 12.52, 14.9, 17.73",\
                 "6.38, 6.558, 7.017, 7.672, 8.554, 9.746, 11.3, 13.26, 15.64, 18.48");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.9314, 1.018, 1.266, 1.653, 2.178, 2.855, 3.727, 4.823, 6.193, 7.868",\
                 "0.9308, 1.017, 1.265, 1.653, 2.177, 2.856, 3.728, 4.823, 6.196, 7.872",\
                 "0.931, 1.016, 1.266, 1.652, 2.178, 2.857, 3.726, 4.823, 6.194, 7.872",\
                 "0.9308, 1.017, 1.265, 1.653, 2.178, 2.854, 3.728, 4.822, 6.194, 7.868",\
                 "0.9304, 1.016, 1.265, 1.654, 2.178, 2.855, 3.729, 4.822, 6.196, 7.872",\
                 "0.9294, 1.016, 1.264, 1.652, 2.178, 2.852, 3.728, 4.82, 6.192, 7.864",\
                 "0.938, 1.022, 1.27, 1.656, 2.18, 2.86, 3.728, 4.824, 6.194, 7.864",\
                 "1.012, 1.088, 1.316, 1.692, 2.204, 2.872, 3.734, 4.832, 6.202, 7.876",\
                 "1.156, 1.232, 1.454, 1.802, 2.292, 2.94, 3.782, 4.864, 6.218, 7.892",\
                 "1.31, 1.392, 1.618, 1.954, 2.422, 3.054, 3.884, 4.944, 6.278, 7.922");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.6284, 0.7584, 1.199, 2.034, 3.397, 5.369, 7.977, 11.28, 15.29, 20.05",\
                 "0.6282, 0.7588, 1.196, 2.034, 3.398, 5.367, 7.979, 11.26, 15.27, 20.07",\
                 "0.6284, 0.7588, 1.194, 2.035, 3.4, 5.369, 7.976, 11.26, 15.29, 20.07",\
                 "0.6284, 0.7586, 1.196, 2.035, 3.402, 5.366, 7.966, 11.26, 15.29, 20.07",\
                 "0.6338, 0.762, 1.196, 2.036, 3.402, 5.369, 7.969, 11.25, 15.28, 20.05",\
                 "0.6754, 0.8018, 1.224, 2.048, 3.4, 5.369, 7.98, 11.27, 15.28, 20.08",\
                 "0.7402, 0.863, 1.276, 2.083, 3.42, 5.368, 7.976, 11.27, 15.27, 20.04",\
                 "0.824, 0.938, 1.334, 2.124, 3.446, 5.392, 7.982, 11.25, 15.28, 20.07",\
                 "0.92, 1.034, 1.408, 2.17, 3.472, 5.406, 7.992, 11.27, 15.27, 20.05",\
                 "1.028, 1.142, 1.5, 2.23, 3.502, 5.42, 8.002, 11.28, 15.28, 20.06");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("3.835, 3.974, 4.327, 4.795, 5.339, 5.961, 6.666, 7.474, 8.403, 9.474",\
                 "3.899, 4.037, 4.391, 4.858, 5.403, 6.024, 6.73, 7.538, 8.467, 9.538",\
                 "4.077, 4.216, 4.569, 5.036, 5.582, 6.203, 6.908, 7.717, 8.645, 9.717",\
                 "4.438, 4.576, 4.929, 5.398, 5.943, 6.563, 7.269, 8.077, 9.006, 10.08",\
                 "5.031, 5.169, 5.522, 5.991, 6.535, 7.155, 7.861, 8.669, 9.598, 10.67",\
                 "5.889, 6.027, 6.381, 6.847, 7.393, 8.013, 8.718, 9.526, 10.46, 11.53",\
                 "7.031, 7.169, 7.523, 7.991, 8.535, 9.156, 9.861, 10.67, 11.6, 12.67",\
                 "8.419, 8.564, 8.927, 9.403, 9.953, 10.57, 11.28, 12.09, 13.02, 14.1",\
                 "9.932, 10.09, 10.49, 10.99, 11.56, 12.19, 12.91, 13.72, 14.66, 15.73",\
                 "11.53, 11.71, 12.14, 12.68, 13.28, 13.94, 14.66, 15.49, 16.43, 17.51");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("1.859, 1.987, 2.357, 2.955, 3.821, 5.01, 6.564, 8.516, 10.9, 13.74",\
                 "1.908, 2.036, 2.406, 3.005, 3.87, 5.059, 6.614, 8.567, 10.95, 13.78",\
                 "2.09, 2.219, 2.589, 3.187, 4.053, 5.242, 6.796, 8.751, 11.13, 13.97",\
                 "2.436, 2.564, 2.934, 3.531, 4.397, 5.585, 7.14, 9.093, 11.47, 14.31",\
                 "2.968, 3.096, 3.466, 4.062, 4.927, 6.115, 7.671, 9.625, 12, 14.84",\
                 "3.627, 3.76, 4.139, 4.738, 5.603, 6.791, 8.346, 10.3, 12.68, 15.52",\
                 "4.314, 4.454, 4.846, 5.457, 6.327, 7.516, 9.07, 11.02, 13.41, 16.24",\
                 "5.008, 5.159, 5.568, 6.19, 7.064, 8.257, 9.812, 11.77, 14.15, 16.99",\
                 "5.702, 5.866, 6.297, 6.933, 7.81, 9.001, 10.56, 12.52, 14.9, 17.73",\
                 "6.38, 6.558, 7.018, 7.672, 8.554, 9.746, 11.3, 13.26, 15.64, 18.48");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.9314, 1.018, 1.266, 1.653, 2.178, 2.855, 3.727, 4.823, 6.193, 7.868",\
                 "0.9308, 1.017, 1.265, 1.653, 2.177, 2.856, 3.728, 4.823, 6.196, 7.872",\
                 "0.9294, 1.017, 1.266, 1.653, 2.178, 2.857, 3.721, 4.822, 6.194, 7.871",\
                 "0.9308, 1.017, 1.265, 1.653, 2.176, 2.854, 3.726, 4.823, 6.197, 7.871",\
                 "0.9306, 1.016, 1.265, 1.653, 2.178, 2.855, 3.728, 4.823, 6.194, 7.872",\
                 "0.9296, 1.016, 1.264, 1.651, 2.178, 2.856, 3.728, 4.822, 6.196, 7.874",\
                 "0.938, 1.024, 1.27, 1.656, 2.178, 2.86, 3.728, 4.824, 6.192, 7.866",\
                 "1.012, 1.088, 1.316, 1.692, 2.204, 2.878, 3.738, 4.834, 6.198, 7.87",\
                 "1.154, 1.236, 1.458, 1.802, 2.29, 2.942, 3.782, 4.864, 6.22, 7.89",\
                 "1.31, 1.392, 1.616, 1.952, 2.422, 3.06, 3.884, 4.95, 6.28, 7.924");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.6284, 0.7584, 1.199, 2.034, 3.397, 5.369, 7.977, 11.28, 15.29, 20.05",\
                 "0.6282, 0.7584, 1.196, 2.034, 3.397, 5.367, 7.979, 11.26, 15.27, 20.07",\
                 "0.6284, 0.759, 1.192, 2.035, 3.4, 5.369, 7.977, 11.25, 15.29, 20.07",\
                 "0.6288, 0.7586, 1.197, 2.035, 3.402, 5.367, 7.968, 11.28, 15.29, 20.07",\
                 "0.6326, 0.7626, 1.199, 2.034, 3.4, 5.369, 7.967, 11.26, 15.29, 20.07",\
                 "0.6754, 0.8018, 1.224, 2.046, 3.4, 5.369, 7.974, 11.25, 15.29, 20.06",\
                 "0.74, 0.8618, 1.275, 2.083, 3.422, 5.366, 7.97, 11.27, 15.28, 20.04",\
                 "0.824, 0.938, 1.334, 2.122, 3.446, 5.392, 7.982, 11.25, 15.28, 20.08",\
                 "0.92, 1.032, 1.406, 2.17, 3.472, 5.408, 7.996, 11.27, 15.26, 20.05",\
                 "1.028, 1.142, 1.502, 2.23, 3.502, 5.42, 8, 11.28, 15.27, 20.06");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("3.835, 3.974, 4.327, 4.795, 5.339, 5.961, 6.666, 7.474, 8.403, 9.474",\
                 "3.899, 4.037, 4.391, 4.858, 5.403, 6.024, 6.73, 7.538, 8.467, 9.538",\
                 "4.077, 4.216, 4.569, 5.036, 5.582, 6.203, 6.908, 7.717, 8.645, 9.717",\
                 "4.438, 4.576, 4.929, 5.398, 5.943, 6.563, 7.269, 8.077, 9.006, 10.08",\
                 "5.031, 5.169, 5.522, 5.991, 6.535, 7.155, 7.861, 8.669, 9.598, 10.67",\
                 "5.889, 6.027, 6.381, 6.847, 7.393, 8.013, 8.718, 9.526, 10.46, 11.53",\
                 "7.031, 7.169, 7.523, 7.991, 8.535, 9.156, 9.861, 10.67, 11.6, 12.67",\
                 "8.419, 8.564, 8.927, 9.403, 9.953, 10.57, 11.28, 12.09, 13.02, 14.1",\
                 "9.932, 10.09, 10.49, 10.99, 11.56, 12.19, 12.91, 13.72, 14.66, 15.73",\
                 "11.53, 11.71, 12.14, 12.68, 13.28, 13.94, 14.66, 15.49, 16.43, 17.51");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("1.859, 1.987, 2.357, 2.955, 3.821, 5.01, 6.564, 8.516, 10.9, 13.74",\
                 "1.908, 2.036, 2.406, 3.005, 3.87, 5.059, 6.614, 8.567, 10.95, 13.78",\
                 "2.09, 2.219, 2.589, 3.187, 4.053, 5.242, 6.796, 8.751, 11.13, 13.97",\
                 "2.436, 2.564, 2.934, 3.531, 4.396, 5.585, 7.14, 9.094, 11.47, 14.31",\
                 "2.968, 3.097, 3.466, 4.062, 4.927, 6.115, 7.671, 9.626, 12.01, 14.84",\
                 "3.627, 3.76, 4.139, 4.738, 5.603, 6.791, 8.345, 10.3, 12.68, 15.52",\
                 "4.313, 4.454, 4.846, 5.457, 6.327, 7.516, 9.07, 11.02, 13.41, 16.24",\
                 "5.008, 5.159, 5.568, 6.19, 7.064, 8.256, 9.812, 11.77, 14.15, 16.99",\
                 "5.702, 5.866, 6.297, 6.933, 7.811, 9.001, 10.56, 12.52, 14.9, 17.73",\
                 "6.38, 6.558, 7.017, 7.672, 8.554, 9.746, 11.3, 13.26, 15.64, 18.48");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.9314, 1.018, 1.266, 1.653, 2.178, 2.855, 3.727, 4.823, 6.193, 7.868",\
                 "0.9308, 1.017, 1.265, 1.653, 2.177, 2.856, 3.728, 4.823, 6.196, 7.872",\
                 "0.9294, 1.017, 1.266, 1.653, 2.178, 2.857, 3.721, 4.822, 6.194, 7.871",\
                 "0.9308, 1.017, 1.265, 1.653, 2.176, 2.854, 3.726, 4.823, 6.197, 7.871",\
                 "0.9306, 1.016, 1.265, 1.653, 2.178, 2.855, 3.728, 4.823, 6.194, 7.872",\
                 "0.9296, 1.016, 1.264, 1.651, 2.178, 2.856, 3.728, 4.822, 6.196, 7.874",\
                 "0.938, 1.024, 1.27, 1.656, 2.178, 2.86, 3.728, 4.824, 6.192, 7.866",\
                 "1.012, 1.088, 1.316, 1.692, 2.204, 2.878, 3.738, 4.834, 6.198, 7.87",\
                 "1.154, 1.236, 1.458, 1.802, 2.29, 2.942, 3.782, 4.864, 6.22, 7.89",\
                 "1.31, 1.392, 1.616, 1.952, 2.422, 3.06, 3.884, 4.95, 6.28, 7.924");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007507, 0.03035, 0.07396, 0.1419, 0.2373, 0.3627, 0.5208, 0.7137, 0.9437");
          values("0.6284, 0.7584, 1.199, 2.034, 3.397, 5.369, 7.977, 11.28, 15.29, 20.05",\
                 "0.6282, 0.7588, 1.196, 2.034, 3.398, 5.367, 7.979, 11.26, 15.27, 20.07",\
                 "0.6284, 0.7588, 1.194, 2.035, 3.4, 5.369, 7.976, 11.26, 15.29, 20.07",\
                 "0.6284, 0.7586, 1.196, 2.035, 3.402, 5.366, 7.966, 11.26, 15.29, 20.07",\
                 "0.6338, 0.762, 1.196, 2.036, 3.402, 5.369, 7.969, 11.25, 15.28, 20.05",\
                 "0.6754, 0.8018, 1.224, 2.048, 3.4, 5.369, 7.98, 11.27, 15.28, 20.08",\
                 "0.7402, 0.863, 1.276, 2.083, 3.42, 5.368, 7.976, 11.27, 15.27, 20.04",\
                 "0.824, 0.938, 1.334, 2.124, 3.446, 5.392, 7.982, 11.25, 15.28, 20.07",\
                 "0.92, 1.034, 1.408, 2.17, 3.472, 5.406, 7.992, 11.27, 15.27, 20.05",\
                 "1.028, 1.142, 1.5, 2.23, 3.502, 5.42, 8.002, 11.28, 15.28, 20.06");
        }
      }
    }
  }