  cell(gf180mcu_fd_sc_mcu9t5v0__xor3_4) {
    area : 90.316800 ;

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

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

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

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

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

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

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

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

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

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

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

    pin(A1) {
      capacitance : 0.004793 ;
      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.005071 ;
      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.008181 ;
      direction : input ;
      driver_waveform_rise : driver_waveform_default_rise ;
      driver_waveform_fall : driver_waveform_default_fall ;
      input_voltage : default ;
      max_transition : 20 ;
      related_ground_pin : VSS ;
      related_power_pin : VDD ;
    }

    pin(Z) {
      direction : output ;
      function : "(A1^A2^A3)" ;
      max_capacitance : 0.941 ;
      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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.08719, 0.08737, 0.08801, 0.089, 0.08999, 0.09078, 0.09134, 0.09172, 0.09194, 0.09178",\
                 "0.08711, 0.08732, 0.08796, 0.08897, 0.08994, 0.09072, 0.09129, 0.09169, 0.09188, 0.09171",\
                 "0.08701, 0.0872, 0.08786, 0.08884, 0.08984, 0.09061, 0.09117, 0.09155, 0.09175, 0.09147",\
                 "0.08692, 0.08711, 0.08777, 0.08875, 0.08974, 0.09053, 0.09107, 0.09145, 0.09157, 0.09108",\
                 "0.08684, 0.08705, 0.0877, 0.08868, 0.08967, 0.09046, 0.091, 0.09134, 0.09127, 0.09024",\
                 "0.08675, 0.08695, 0.08761, 0.08859, 0.08957, 0.09034, 0.09085, 0.09102, 0.0903, 0.08813",\
                 "0.08656, 0.08674, 0.08739, 0.08838, 0.08933, 0.09002, 0.09025, 0.08937, 0.08675, 0.08355",\
                 "0.08525, 0.08542, 0.08603, 0.08687, 0.08749, 0.08707, 0.08439, 0.08086, 0.07818, 0.0762",\
                 "0.07018, 0.06998, 0.06652, 0.06301, 0.06122, 0.06037, 0.05996, 0.05973, 0.0596, 0.05951",\
                 "0.02031, 0.02037, 0.02052, 0.02065, 0.02072, 0.02074, 0.02074, 0.02074, 0.02073, 0.02072");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("-0.1863, -0.1861, -0.1855, -0.1848, -0.1839, -0.1827, -0.1703, -0.07984, 0.1474, 0.3986",\
                 "-0.1863, -0.1861, -0.1855, -0.1847, -0.1838, -0.1825, -0.1695, -0.075, 0.1533, 0.4012",\
                 "-0.1863, -0.1861, -0.1855, -0.1847, -0.1839, -0.1822, -0.1663, -0.06043, 0.172, 0.4089",\
                 "-0.1864, -0.1862, -0.1857, -0.1848, -0.1839, -0.1819, -0.1592, -0.03237, 0.2028, 0.4179",\
                 "-0.1866, -0.1863, -0.1857, -0.1849, -0.1841, -0.1811, -0.1442, 0.0126, 0.2378, 0.4208",\
                 "-0.1867, -0.1865, -0.1859, -0.1851, -0.1842, -0.1778, -0.1118, 0.07166, 0.2647, 0.4075",\
                 "-0.1869, -0.1866, -0.1861, -0.1853, -0.184, -0.1652, -0.05099, 0.1271, 0.2663, 0.3647",\
                 "-0.1872, -0.187, -0.1864, -0.1855, -0.1803, -0.1178, 0.02387, 0.1397, 0.2189, 0.2739",\
                 "-0.188, -0.1879, -0.1874, -0.1846, -0.1386, -0.04538, 0.0207, 0.06339, 0.09177, 0.1113",\
                 "-0.1957, -0.1959, -0.1864, -0.1718, -0.1623, -0.1569, -0.1538, -0.1519, -0.1506, -0.1498");
        }
      }

      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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.1031, 0.1034, 0.1043, 0.1053, 0.1063, 0.1069, 0.1074, 0.1077, 0.1079, 0.1076",\
                 "0.1031, 0.1034, 0.1043, 0.1054, 0.1063, 0.107, 0.1074, 0.1077, 0.1079, 0.1076",\
                 "0.1031, 0.1034, 0.1043, 0.1054, 0.1063, 0.107, 0.1074, 0.1077, 0.1078, 0.1074",\
                 "0.103, 0.1033, 0.1042, 0.1053, 0.1062, 0.1069, 0.1073, 0.1076, 0.1077, 0.1069",\
                 "0.1029, 0.1032, 0.1041, 0.1051, 0.1061, 0.1067, 0.1072, 0.1075, 0.1073, 0.1059",\
                 "0.1027, 0.103, 0.1039, 0.105, 0.1059, 0.1066, 0.107, 0.1072, 0.1064, 0.1039",\
                 "0.1026, 0.1029, 0.1038, 0.1048, 0.1058, 0.1064, 0.1068, 0.1062, 0.1038, 0.1003",\
                 "0.1024, 0.1027, 0.1035, 0.1046, 0.1055, 0.106, 0.105, 0.1017, 0.09803, 0.09532",\
                 "0.1009, 0.1012, 0.1019, 0.1026, 0.1016, 0.09729, 0.0936, 0.09112, 0.08943, 0.08824",\
                 "0.05129, 0.05166, 0.05267, 0.05391, 0.05495, 0.0557, 0.0562, 0.05654, 0.05677, 0.05693");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("-0.068, -0.06771, -0.06692, -0.06584, -0.06463, -0.06319, -0.05096, 0.03691, 0.2632, 0.5157",\
                 "-0.06807, -0.06776, -0.06693, -0.06589, -0.06462, -0.06302, -0.05085, 0.0402, 0.268, 0.5179",\
                 "-0.06818, -0.06787, -0.06711, -0.06599, -0.06481, -0.06313, -0.04826, 0.05361, 0.285, 0.5255",\
                 "-0.06827, -0.06794, -0.06719, -0.06604, -0.06475, -0.06304, -0.04089, 0.08272, 0.3182, 0.5358",\
                 "-0.06834, -0.06804, -0.06727, -0.06605, -0.06486, -0.06191, -0.02388, 0.1348, 0.3583, 0.5395",\
                 "-0.06841, -0.06812, -0.06734, -0.06618, -0.06502, -0.05641, 0.02039, 0.208, 0.3877, 0.5184",\
                 "-0.0685, -0.06818, -0.06742, -0.06624, -0.06365, -0.02715, 0.111, 0.2614, 0.3681, 0.4429",\
                 "-0.06859, -0.06829, -0.06756, -0.06559, -0.03384, 0.06786, 0.1525, 0.2077, 0.2444, 0.2697",\
                 "-0.07687, -0.07694, -0.06928, -0.06031, -0.05497, -0.05203, -0.05037, -0.04938, -0.04887, -0.04846",\
                 "-0.1389, -0.1389, -0.1389, -0.1389, -0.1389, -0.1389, -0.1389, -0.1389, -0.1389, -0.1389");
        }
      }

      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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.07392, 0.07412, 0.07475, 0.07572, 0.07671, 0.0775, 0.07807, 0.07846, 0.07873, 0.07888",\
                 "0.07391, 0.07412, 0.07474, 0.07572, 0.07672, 0.0775, 0.07808, 0.07848, 0.07874, 0.07888",\
                 "0.07392, 0.07411, 0.07475, 0.07573, 0.07671, 0.0775, 0.07806, 0.07847, 0.07873, 0.07886",\
                 "0.07385, 0.07404, 0.07469, 0.07566, 0.07665, 0.07743, 0.078, 0.07839, 0.07867, 0.07876",\
                 "0.07371, 0.0739, 0.07453, 0.07551, 0.07649, 0.07728, 0.07784, 0.07823, 0.07849, 0.0785",\
                 "0.07355, 0.07375, 0.07439, 0.07535, 0.07633, 0.07712, 0.07768, 0.07806, 0.07827, 0.07803",\
                 "0.0734, 0.0736, 0.07423, 0.0752, 0.07617, 0.07696, 0.07753, 0.07788, 0.07786, 0.07694",\
                 "0.07335, 0.07353, 0.07415, 0.07509, 0.07606, 0.07682, 0.07735, 0.07743, 0.07649, 0.07407",\
                 "0.07308, 0.07326, 0.07386, 0.07479, 0.0757, 0.07629, 0.07624, 0.07457, 0.07138, 0.06835",\
                 "0.07043, 0.0706, 0.07112, 0.07173, 0.07178, 0.06948, 0.06581, 0.06309, 0.06116, 0.05978");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.03037, 0.03057, 0.03116, 0.03199, 0.03278, 0.03391, 0.04103, 0.1048, 0.3085, 0.5829",\
                 "0.0304, 0.03061, 0.03117, 0.03196, 0.033, 0.03406, 0.04165, 0.1081, 0.3148, 0.5875",\
                 "0.03029, 0.03054, 0.03114, 0.03194, 0.03292, 0.03407, 0.04314, 0.1176, 0.3338, 0.5992",\
                 "0.03018, 0.0304, 0.03098, 0.0318, 0.03266, 0.03418, 0.0471, 0.1417, 0.3698, 0.6177",\
                 "0.03003, 0.03025, 0.03088, 0.03167, 0.03255, 0.03441, 0.05806, 0.1881, 0.4225, 0.6351",\
                 "0.0299, 0.03011, 0.03072, 0.03151, 0.03252, 0.03724, 0.09098, 0.2669, 0.4738, 0.6312",\
                 "0.02967, 0.02993, 0.03054, 0.03131, 0.03275, 0.0554, 0.1771, 0.3493, 0.4796, 0.5715",\
                 "0.02906, 0.02926, 0.02985, 0.03088, 0.05134, 0.1512, 0.2546, 0.3236, 0.3699, 0.4019",\
                 "0.01866, 0.01856, 0.02704, 0.03788, 0.04468, 0.04854, 0.05076, 0.05205, 0.05285, 0.05347",\
                 "-0.04082, -0.04082, -0.04083, -0.04083, -0.04082, -0.04082, -0.04084, -0.04084, -0.04084, -0.04084");
        }
      }

      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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.1007, 0.101, 0.1019, 0.1029, 0.1038, 0.1045, 0.105, 0.1053, 0.1055, 0.1054",\
                 "0.1007, 0.101, 0.1019, 0.103, 0.1039, 0.1046, 0.105, 0.1053, 0.1055, 0.1054",\
                 "0.1006, 0.1009, 0.1018, 0.1029, 0.1038, 0.1045, 0.1049, 0.1052, 0.1054, 0.1053",\
                 "0.1005, 0.1008, 0.1017, 0.1027, 0.1036, 0.1043, 0.1048, 0.1051, 0.1053, 0.1049",\
                 "0.1003, 0.1006, 0.1015, 0.1026, 0.1035, 0.1042, 0.1046, 0.1049, 0.105, 0.1042",\
                 "0.1002, 0.1005, 0.1014, 0.1024, 0.1034, 0.104, 0.1045, 0.1047, 0.1042, 0.1021",\
                 "0.1, 0.1004, 0.1012, 0.1023, 0.1032, 0.1039, 0.1042, 0.1033, 0.1005, 0.09708",\
                 "0.09953, 0.09983, 0.1007, 0.1016, 0.1022, 0.101, 0.09709, 0.09342, 0.09083, 0.08897",\
                 "0.04644, 0.04679, 0.04775, 0.04892, 0.04991, 0.05062, 0.0511, 0.05143, 0.05165, 0.05181",\
                 "0.01021, 0.01021, 0.01021, 0.01021, 0.01021, 0.01021, 0.01021, 0.01021, 0.01021, 0.01021");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.06355, 0.06389, 0.06469, 0.06579, 0.06701, 0.06833, 0.07086, 0.1005, 0.2426, 0.5234",\
                 "0.06354, 0.06386, 0.0646, 0.06576, 0.06705, 0.06835, 0.07129, 0.1012, 0.2459, 0.5304",\
                 "0.06353, 0.0639, 0.06471, 0.06571, 0.06695, 0.06833, 0.07153, 0.1057, 0.2619, 0.5473",\
                 "0.06354, 0.06385, 0.06457, 0.06582, 0.0668, 0.06799, 0.07251, 0.1172, 0.2921, 0.5762",\
                 "0.0635, 0.06377, 0.0646, 0.0657, 0.06687, 0.06806, 0.07566, 0.1392, 0.3441, 0.6182",\
                 "0.06336, 0.06368, 0.06443, 0.06571, 0.0669, 0.06853, 0.08311, 0.1846, 0.4148, 0.6565",\
                 "0.06335, 0.06364, 0.06444, 0.06563, 0.06674, 0.06973, 0.1055, 0.2608, 0.4865, 0.6715",\
                 "0.06326, 0.06358, 0.0644, 0.06548, 0.06682, 0.07794, 0.1681, 0.3552, 0.5209, 0.6399",\
                 "0.06331, 0.0636, 0.06441, 0.06559, 0.07037, 0.1286, 0.2713, 0.3926, 0.4757, 0.5335",\
                 "0.06339, 0.06368, 0.06442, 0.07149, 0.1328, 0.2059, 0.2529, 0.2828, 0.3026, 0.3161");
        }
      }

      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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.08706, 0.08725, 0.0879, 0.08888, 0.08987, 0.09066, 0.09123, 0.09161, 0.09183, 0.09171",\
                 "0.08695, 0.08716, 0.0878, 0.08879, 0.08979, 0.09057, 0.09113, 0.0915, 0.09172, 0.09159",\
                 "0.08679, 0.08699, 0.08766, 0.08864, 0.08962, 0.09041, 0.09097, 0.09135, 0.09156, 0.09135",\
                 "0.0867, 0.08689, 0.08753, 0.08854, 0.08951, 0.0903, 0.09085, 0.09123, 0.09138, 0.09097",\
                 "0.08663, 0.08684, 0.08749, 0.08848, 0.08947, 0.09024, 0.09079, 0.09114, 0.09111, 0.09018",\
                 "0.0866, 0.08679, 0.08745, 0.08843, 0.08941, 0.09018, 0.09069, 0.09087, 0.09018, 0.08807",\
                 "0.08645, 0.08665, 0.08728, 0.08826, 0.0892, 0.08988, 0.09007, 0.08907, 0.08635, 0.08315",\
                 "0.08473, 0.08489, 0.08549, 0.08628, 0.08675, 0.08579, 0.08246, 0.07915, 0.07675, 0.075",\
                 "0.05787, 0.05624, 0.05384, 0.0528, 0.05275, 0.053, 0.05326, 0.05346, 0.05361, 0.05372",\
                 "0.01244, 0.01243, 0.01242, 0.01239, 0.01237, 0.01234, 0.01232, 0.0123, 0.01229, 0.01228");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("-0.1218, -0.1216, -0.121, -0.1201, -0.1193, -0.1181, -0.1072, -0.02392, 0.1989, 0.4566",\
                 "-0.1218, -0.1216, -0.1209, -0.1202, -0.1192, -0.1178, -0.1063, -0.02033, 0.2045, 0.4595",\
                 "-0.1218, -0.1215, -0.121, -0.1202, -0.1194, -0.1178, -0.1037, -0.006499, 0.2231, 0.4681",\
                 "-0.1219, -0.1217, -0.121, -0.1204, -0.1193, -0.1179, -0.09818, 0.01952, 0.2549, 0.4793",\
                 "-0.122, -0.1217, -0.1211, -0.1204, -0.1194, -0.1168, -0.08476, 0.06251, 0.2924, 0.4856",\
                 "-0.1221, -0.1219, -0.1212, -0.1206, -0.1194, -0.1144, -0.0575, 0.1216, 0.3245, 0.4773",\
                 "-0.1222, -0.122, -0.1214, -0.1206, -0.1195, -0.1047, -0.001203, 0.1825, 0.3337, 0.4412",\
                 "-0.1224, -0.1222, -0.1217, -0.1209, -0.1172, -0.0657, 0.07753, 0.2073, 0.2969, 0.3594",\
                 "-0.1231, -0.1229, -0.1224, -0.1205, -0.08631, 0.01438, 0.09526, 0.1481, 0.1832, 0.2075",\
                 "-0.1272, -0.1272, -0.1203, -0.09283, -0.07228, -0.06007, -0.05288, -0.04836, -0.04548, -0.04352");
        }
      }

      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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.1019, 0.1022, 0.1031, 0.1041, 0.1051, 0.1058, 0.1062, 0.1065, 0.1067, 0.1065",\
                 "0.1019, 0.1022, 0.1031, 0.1042, 0.1051, 0.1058, 0.1062, 0.1066, 0.1067, 0.1065",\
                 "0.1019, 0.1022, 0.1031, 0.1042, 0.1051, 0.1058, 0.1062, 0.1065, 0.1067, 0.1063",\
                 "0.1018, 0.1021, 0.103, 0.1041, 0.105, 0.1057, 0.1061, 0.1064, 0.1065, 0.1059",\
                 "0.1017, 0.102, 0.1029, 0.104, 0.1049, 0.1056, 0.106, 0.1063, 0.1062, 0.1051",\
                 "0.1016, 0.1019, 0.1028, 0.1039, 0.1048, 0.1055, 0.1059, 0.1061, 0.1055, 0.1033",\
                 "0.1015, 0.1018, 0.1027, 0.1038, 0.1047, 0.1053, 0.1057, 0.1054, 0.1034, 0.09999",\
                 "0.1013, 0.1016, 0.1025, 0.1036, 0.1045, 0.1051, 0.1046, 0.1019, 0.09812, 0.09521",\
                 "0.1005, 0.1008, 0.1016, 0.1025, 0.1024, 0.09935, 0.09512, 0.09214, 0.09008, 0.08861",\
                 "0.06138, 0.06105, 0.06109, 0.06178, 0.06256, 0.06316, 0.06359, 0.06388, 0.06408, 0.06422");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("-0.01451, -0.01421, -0.01338, -0.01232, -0.01114, -0.009519, 0.0009775, 0.08458, 0.3078, 0.5647",\
                 "-0.0146, -0.01433, -0.01356, -0.01238, -0.01119, -0.009973, 0.001323, 0.08719, 0.312, 0.5666",\
                 "-0.01477, -0.01444, -0.01368, -0.01249, -0.0113, -0.01002, 0.003943, 0.09866, 0.3285, 0.5744",\
                 "-0.01489, -0.01456, -0.01383, -0.01267, -0.01155, -0.009556, 0.009753, 0.1265, 0.3618, 0.5866",\
                 "-0.01491, -0.01463, -0.01381, -0.01266, -0.01152, -0.008462, 0.02653, 0.1798, 0.4063, 0.5933",\
                 "-0.01492, -0.01464, -0.01386, -0.01272, -0.01147, -0.003256, 0.07234, 0.2592, 0.4407, 0.5731",\
                 "-0.01498, -0.0147, -0.0139, -0.01273, -0.009937, 0.02963, 0.1696, 0.3156, 0.4185, 0.4904",\
                 "-0.01501, -0.01469, -0.01393, -0.01114, 0.03156, 0.1277, 0.1977, 0.2429, 0.2729, 0.2935",\
                 "-0.0491, -0.04869, -0.0478, -0.04737, -0.04721, -0.04716, -0.04721, -0.04721, -0.04721, -0.04723",\
                 "-0.0919, -0.09189, -0.0919, -0.0919, -0.0919, -0.0919, -0.0919, -0.0919, -0.0919, -0.0919");
        }
      }

      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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.07441, 0.07458, 0.07522, 0.07621, 0.07719, 0.07799, 0.07856, 0.07896, 0.07922, 0.07937",\
                 "0.07443, 0.07462, 0.07525, 0.07623, 0.07721, 0.078, 0.07857, 0.07896, 0.07923, 0.07937",\
                 "0.07444, 0.07463, 0.07527, 0.07624, 0.07723, 0.07801, 0.07858, 0.07899, 0.07925, 0.07937",\
                 "0.0744, 0.07459, 0.07523, 0.0762, 0.07719, 0.07798, 0.07854, 0.07894, 0.0792, 0.07931",\
                 "0.07428, 0.07447, 0.07512, 0.07609, 0.07707, 0.07786, 0.07842, 0.07884, 0.07908, 0.07909",\
                 "0.07415, 0.07434, 0.07498, 0.07595, 0.07693, 0.07772, 0.07829, 0.07868, 0.07889, 0.07869",\
                 "0.074, 0.07419, 0.07484, 0.0758, 0.07677, 0.07756, 0.07814, 0.07849, 0.07853, 0.07776",\
                 "0.07391, 0.0741, 0.07473, 0.07569, 0.07665, 0.07742, 0.07795, 0.07812, 0.07743, 0.07529",\
                 "0.07366, 0.07386, 0.07449, 0.07541, 0.07633, 0.07701, 0.07715, 0.07599, 0.07312, 0.06996",\
                 "0.07193, 0.07212, 0.07264, 0.07335, 0.07376, 0.07268, 0.06924, 0.06603, 0.0637, 0.06202");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.03728, 0.0375, 0.03804, 0.03887, 0.0398, 0.04116, 0.04988, 0.1212, 0.3335, 0.6018",\
                 "0.0372, 0.03741, 0.03792, 0.03874, 0.03967, 0.04077, 0.04984, 0.1232, 0.3383, 0.6046",\
                 "0.03711, 0.03731, 0.03794, 0.03874, 0.03959, 0.04088, 0.05156, 0.1353, 0.3573, 0.6153",\
                 "0.03703, 0.03725, 0.03783, 0.0385, 0.03959, 0.04096, 0.05648, 0.1613, 0.3935, 0.6315",\
                 "0.03691, 0.03714, 0.03775, 0.03853, 0.03941, 0.04175, 0.07031, 0.2112, 0.4434, 0.6441",\
                 "0.03679, 0.03702, 0.03762, 0.03842, 0.03939, 0.0453, 0.1084, 0.2914, 0.487, 0.6325",\
                 "0.03657, 0.03679, 0.03732, 0.03822, 0.03993, 0.0694, 0.2017, 0.3625, 0.4796, 0.5618",\
                 "0.03578, 0.03598, 0.0365, 0.03802, 0.06819, 0.1701, 0.2567, 0.3135, 0.3514, 0.3774",\
                 "0.01102, 0.01215, 0.01596, 0.01897, 0.02066, 0.02152, 0.02199, 0.02226, 0.02238, 0.02249",\
                 "-0.03548, -0.03548, -0.03548, -0.03548, -0.03548, -0.03548, -0.03548, -0.03548, -0.03548, -0.03548");
        }
      }

      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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.1016, 0.1019, 0.1027, 0.1038, 0.1047, 0.1054, 0.1059, 0.1062, 0.1064, 0.1062",\
                 "0.1015, 0.1018, 0.1027, 0.1037, 0.1047, 0.1053, 0.1058, 0.1061, 0.1063, 0.1061",\
                 "0.1014, 0.1017, 0.1026, 0.1036, 0.1046, 0.1052, 0.1057, 0.106, 0.1062, 0.106",\
                 "0.1013, 0.1016, 0.1025, 0.1035, 0.1045, 0.1052, 0.1056, 0.1059, 0.1061, 0.1056",\
                 "0.1012, 0.1015, 0.1024, 0.1034, 0.1044, 0.105, 0.1055, 0.1058, 0.1057, 0.1048",\
                 "0.1011, 0.1014, 0.1023, 0.1033, 0.1043, 0.1049, 0.1054, 0.1055, 0.1048, 0.1024",\
                 "0.1009, 0.1012, 0.1021, 0.1032, 0.1041, 0.1047, 0.1049, 0.1036, 0.1004, 0.09703",\
                 "0.1001, 0.1004, 0.1012, 0.1021, 0.1023, 0.09987, 0.09557, 0.09238, 0.09015, 0.08857",\
                 "0.03996, 0.04019, 0.04085, 0.04167, 0.04237, 0.04288, 0.04322, 0.04345, 0.0436, 0.04371",\
                 "0.009686, 0.009686, 0.009687, 0.009687, 0.009687, 0.009688, 0.009689, 0.00969, 0.009691, 0.009692");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.06853, 0.06883, 0.06966, 0.07083, 0.07207, 0.07297, 0.07593, 0.1053, 0.2482, 0.531",\
                 "0.06853, 0.06882, 0.06961, 0.07079, 0.07202, 0.073, 0.07598, 0.1074, 0.2525, 0.536",\
                 "0.06857, 0.0689, 0.06964, 0.07075, 0.07204, 0.07309, 0.07684, 0.1114, 0.2681, 0.5521",\
                 "0.06855, 0.06887, 0.06963, 0.07082, 0.07189, 0.073, 0.07744, 0.1219, 0.296, 0.5808",\
                 "0.06849, 0.06886, 0.06959, 0.07075, 0.07199, 0.07328, 0.08002, 0.1425, 0.3439, 0.6194",\
                 "0.06843, 0.06876, 0.06952, 0.0707, 0.07189, 0.07347, 0.08667, 0.182, 0.4118, 0.6576",\
                 "0.06836, 0.06867, 0.06952, 0.07062, 0.07168, 0.07455, 0.1055, 0.2524, 0.4825, 0.6766",\
                 "0.0683, 0.06858, 0.06934, 0.07048, 0.07181, 0.08066, 0.1595, 0.3468, 0.5247, 0.6539",\
                 "0.06827, 0.06856, 0.06937, 0.07029, 0.07374, 0.1198, 0.262, 0.3993, 0.4947, 0.5613",\
                 "0.06836, 0.06866, 0.0694, 0.07289, 0.1209, 0.2126, 0.2762, 0.3172, 0.3444, 0.3631");
        }
      }

      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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.07162, 0.07182, 0.07247, 0.07348, 0.07446, 0.07522, 0.07578, 0.07616, 0.07643, 0.0766",\
                 "0.07156, 0.07178, 0.07246, 0.07346, 0.07445, 0.07521, 0.07576, 0.07614, 0.07641, 0.07658",\
                 "0.07127, 0.07145, 0.07214, 0.07314, 0.07413, 0.07491, 0.07547, 0.07585, 0.07611, 0.07627",\
                 "0.07079, 0.07098, 0.07163, 0.07263, 0.07362, 0.07439, 0.07497, 0.07535, 0.07561, 0.07578",\
                 "0.07036, 0.07055, 0.07117, 0.07214, 0.0731, 0.07388, 0.07446, 0.07486, 0.07513, 0.07526",\
                 "0.07007, 0.07024, 0.07084, 0.0717, 0.07261, 0.07338, 0.07398, 0.07441, 0.07469, 0.07472",\
                 "0.06991, 0.07005, 0.07056, 0.07134, 0.07217, 0.07293, 0.07355, 0.07401, 0.0742, 0.07375",\
                 "0.0699, 0.07001, 0.0704, 0.07107, 0.07184, 0.07256, 0.07313, 0.07336, 0.07264, 0.07042",\
                 "0.06952, 0.06959, 0.06986, 0.07035, 0.07093, 0.07127, 0.0705, 0.06783, 0.0646, 0.06212",\
                 "0.055, 0.055, 0.05421, 0.05012, 0.04705, 0.04536, 0.04445, 0.04401, 0.04379, 0.04369");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.05002, 0.05035, 0.05126, 0.0525, 0.05385, 0.05513, 0.05615, 0.06335, 0.1212, 0.3233",\
                 "0.05009, 0.0504, 0.05133, 0.05256, 0.05397, 0.05524, 0.05631, 0.06405, 0.1241, 0.3286",\
                 "0.05012, 0.05048, 0.05136, 0.05256, 0.05395, 0.05501, 0.05638, 0.06493, 0.1316, 0.3463",\
                 "0.04996, 0.05031, 0.05111, 0.05229, 0.05359, 0.05487, 0.05611, 0.0674, 0.1458, 0.3801",\
                 "0.0496, 0.04989, 0.05057, 0.05167, 0.05282, 0.05381, 0.05605, 0.07346, 0.1774, 0.4366",\
                 "0.04928, 0.04949, 0.05024, 0.05106, 0.05225, 0.05345, 0.0562, 0.08625, 0.2314, 0.5127",\
                 "0.04899, 0.04922, 0.04973, 0.05062, 0.05171, 0.05284, 0.05937, 0.1183, 0.3156, 0.5934",\
                 "0.04882, 0.04895, 0.04943, 0.05009, 0.0511, 0.05298, 0.0715, 0.1881, 0.4236, 0.6492",\
                 "0.04878, 0.04889, 0.04942, 0.05001, 0.05044, 0.05723, 0.1252, 0.3091, 0.5003, 0.6414",\
                 "0.04914, 0.04925, 0.04961, 0.05008, 0.05393, 0.1087, 0.251, 0.3776, 0.4651, 0.5262");
        }
      }

      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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.07736, 0.07766, 0.07855, 0.07964, 0.08056, 0.08124, 0.0817, 0.082, 0.08221, 0.08235",\
                 "0.07741, 0.07772, 0.07862, 0.0797, 0.08064, 0.08129, 0.08174, 0.08205, 0.08226, 0.0824",\
                 "0.07733, 0.07766, 0.07853, 0.07962, 0.08056, 0.08122, 0.08167, 0.08198, 0.0822, 0.08233",\
                 "0.07676, 0.0771, 0.078, 0.07907, 0.07999, 0.08067, 0.08111, 0.08143, 0.08164, 0.08178",\
                 "0.0761, 0.07642, 0.07734, 0.0784, 0.07934, 0.08, 0.08046, 0.08077, 0.08098, 0.08111",\
                 "0.07561, 0.07594, 0.07685, 0.07792, 0.07885, 0.07954, 0.07998, 0.08029, 0.08049, 0.08058",\
                 "0.07523, 0.07554, 0.07643, 0.07753, 0.07846, 0.07913, 0.07959, 0.07989, 0.08007, 0.08006",\
                 "0.07493, 0.07522, 0.07614, 0.07718, 0.07812, 0.07881, 0.07927, 0.07956, 0.07971, 0.0793",\
                 "0.07474, 0.07502, 0.07586, 0.07695, 0.07786, 0.07855, 0.07902, 0.07926, 0.0789, 0.07711",\
                 "0.07505, 0.07533, 0.07619, 0.07723, 0.07815, 0.07884, 0.07912, 0.0782, 0.07527, 0.07183");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.0609, 0.0612, 0.06198, 0.06295, 0.06414, 0.06544, 0.06736, 0.08498, 0.191, 0.4539",\
                 "0.06084, 0.06112, 0.06189, 0.06282, 0.06399, 0.06516, 0.06734, 0.08601, 0.1945, 0.4595",\
                 "0.06085, 0.06111, 0.06187, 0.063, 0.06398, 0.06513, 0.06749, 0.08883, 0.2083, 0.4803",\
                 "0.06083, 0.06113, 0.06185, 0.06291, 0.06415, 0.06508, 0.06821, 0.09682, 0.239, 0.5201",\
                 "0.06073, 0.06102, 0.06172, 0.06279, 0.06399, 0.065, 0.06964, 0.1148, 0.2933, 0.577",\
                 "0.06053, 0.06081, 0.0615, 0.06264, 0.06376, 0.06494, 0.07576, 0.1572, 0.379, 0.6377",\
                 "0.06025, 0.06056, 0.0613, 0.06228, 0.06344, 0.06608, 0.09958, 0.2496, 0.4781, 0.6684",\
                 "0.06001, 0.0603, 0.06101, 0.06214, 0.06358, 0.08012, 0.1886, 0.3701, 0.5154, 0.6185",\
                 "0.05953, 0.05985, 0.06057, 0.0619, 0.08315, 0.1838, 0.2855, 0.3532, 0.3985, 0.4298",\
                 "0.0361, 0.03719, 0.04092, 0.04386, 0.04543, 0.04625, 0.04667, 0.0469, 0.04709, 0.04722");
        }
      }

      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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.07736, 0.07766, 0.07855, 0.07965, 0.08058, 0.08124, 0.0817, 0.082, 0.08221, 0.08235",\
                 "0.07739, 0.07772, 0.07862, 0.0797, 0.08064, 0.0813, 0.08175, 0.08206, 0.08227, 0.08241",\
                 "0.07733, 0.07764, 0.07853, 0.07963, 0.08056, 0.08122, 0.08167, 0.08198, 0.08218, 0.08233",\
                 "0.07676, 0.07709, 0.07798, 0.07907, 0.07999, 0.08065, 0.0811, 0.08141, 0.08164, 0.08178",\
                 "0.07615, 0.07642, 0.07733, 0.0784, 0.07934, 0.08001, 0.08046, 0.08077, 0.08098, 0.08111",\
                 "0.07561, 0.07595, 0.07685, 0.07792, 0.07886, 0.07953, 0.08, 0.08029, 0.08051, 0.08059",\
                 "0.07523, 0.07555, 0.07644, 0.07754, 0.07846, 0.07913, 0.07959, 0.0799, 0.08008, 0.08006",\
                 "0.07492, 0.07524, 0.07614, 0.07719, 0.07812, 0.07881, 0.07926, 0.07956, 0.07969, 0.07928",\
                 "0.07472, 0.07503, 0.07587, 0.07695, 0.07787, 0.07856, 0.07902, 0.07928, 0.07891, 0.07713",\
                 "0.07505, 0.07534, 0.07619, 0.07725, 0.07815, 0.07884, 0.07913, 0.0782, 0.07527, 0.07183");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.06089, 0.0612, 0.06198, 0.06294, 0.06413, 0.06543, 0.06735, 0.08497, 0.191, 0.4539",\
                 "0.06079, 0.06111, 0.06186, 0.06283, 0.06395, 0.06516, 0.06701, 0.08561, 0.1955, 0.4594",\
                 "0.06082, 0.06111, 0.06186, 0.06299, 0.06397, 0.06512, 0.0675, 0.08882, 0.2082, 0.4803",\
                 "0.06086, 0.06115, 0.06185, 0.06297, 0.06402, 0.06537, 0.06795, 0.09724, 0.2384, 0.5199",\
                 "0.06072, 0.06105, 0.06172, 0.06278, 0.06405, 0.06494, 0.06998, 0.1152, 0.2927, 0.5768",\
                 "0.06052, 0.06083, 0.06149, 0.06254, 0.06369, 0.06498, 0.07575, 0.1579, 0.379, 0.6376",\
                 "0.06024, 0.06056, 0.06131, 0.06228, 0.0635, 0.06627, 0.09917, 0.2497, 0.478, 0.6684",\
                 "0.06001, 0.06028, 0.06105, 0.06215, 0.06354, 0.07998, 0.1887, 0.3701, 0.5154, 0.6185",\
                 "0.0595, 0.05985, 0.0605, 0.06193, 0.08317, 0.1838, 0.2855, 0.3532, 0.3985, 0.4298",\
                 "0.03614, 0.0372, 0.04092, 0.04386, 0.04541, 0.04624, 0.04667, 0.04691, 0.04706, 0.04719");
        }
      }

      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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.07163, 0.07182, 0.07249, 0.07347, 0.07445, 0.07522, 0.07578, 0.07616, 0.07642, 0.0766",\
                 "0.07158, 0.07178, 0.07246, 0.07346, 0.07445, 0.07521, 0.07576, 0.07614, 0.07641, 0.07658",\
                 "0.07126, 0.07145, 0.07213, 0.07314, 0.07413, 0.07491, 0.07546, 0.07585, 0.07611, 0.07627",\
                 "0.07075, 0.07095, 0.07163, 0.07262, 0.07361, 0.0744, 0.07497, 0.07535, 0.07561, 0.07577",\
                 "0.07036, 0.07054, 0.07118, 0.07213, 0.07311, 0.07388, 0.07446, 0.07486, 0.07513, 0.07526",\
                 "0.07006, 0.07022, 0.07084, 0.07172, 0.07261, 0.07338, 0.07398, 0.07441, 0.07469, 0.07472",\
                 "0.06991, 0.07003, 0.07055, 0.07134, 0.07216, 0.07293, 0.07355, 0.074, 0.0742, 0.07374",\
                 "0.06991, 0.07, 0.07038, 0.07105, 0.07183, 0.07255, 0.07313, 0.07336, 0.07262, 0.07041",\
                 "0.06953, 0.06957, 0.06982, 0.07037, 0.07092, 0.07124, 0.07049, 0.06782, 0.0646, 0.06212",\
                 "0.05501, 0.05496, 0.0542, 0.05009, 0.04702, 0.04532, 0.04443, 0.04399, 0.04377, 0.04366");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.05002, 0.05034, 0.05121, 0.0525, 0.05385, 0.05511, 0.05615, 0.06333, 0.1212, 0.3233",\
                 "0.05009, 0.0504, 0.05133, 0.05256, 0.05396, 0.05524, 0.05623, 0.06405, 0.1237, 0.3275",\
                 "0.05013, 0.05045, 0.0513, 0.05256, 0.05395, 0.055, 0.05633, 0.06492, 0.1309, 0.3463",\
                 "0.04995, 0.0503, 0.05116, 0.0523, 0.05359, 0.05467, 0.0561, 0.06792, 0.1467, 0.3802",\
                 "0.0496, 0.0499, 0.0506, 0.05162, 0.05281, 0.0541, 0.05577, 0.07288, 0.1774, 0.4364",\
                 "0.04924, 0.04949, 0.05024, 0.05106, 0.0522, 0.05347, 0.05625, 0.08688, 0.2312, 0.5127",\
                 "0.04896, 0.04919, 0.04964, 0.05056, 0.05166, 0.05258, 0.05908, 0.1173, 0.3152, 0.5934",\
                 "0.0488, 0.04896, 0.04946, 0.05012, 0.051, 0.05302, 0.07188, 0.1883, 0.4238, 0.6493",\
                 "0.04878, 0.04892, 0.04936, 0.04996, 0.05047, 0.05733, 0.1253, 0.3091, 0.5003, 0.6415",\
                 "0.04915, 0.04924, 0.04956, 0.05004, 0.0541, 0.1086, 0.2511, 0.3775, 0.465, 0.5261");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("11.87, 11.96, 12.2, 12.54, 12.95, 13.45, 14.05, 14.78, 15.66, 16.7",\
                 "11.93, 12.02, 12.26, 12.6, 13.01, 13.51, 14.11, 14.85, 15.72, 16.76",\
                 "12.13, 12.22, 12.46, 12.8, 13.21, 13.71, 14.31, 15.04, 15.92, 16.96",\
                 "12.44, 12.53, 12.77, 13.11, 13.52, 14.02, 14.62, 15.36, 16.23, 17.27",\
                 "12.77, 12.86, 13.1, 13.44, 13.85, 14.35, 14.95, 15.69, 16.56, 17.6",\
                 "13.07, 13.16, 13.41, 13.74, 14.15, 14.65, 15.26, 15.99, 16.87, 17.91",\
                 "13.33, 13.43, 13.67, 14, 14.42, 14.91, 15.52, 16.25, 17.13, 18.17",\
                 "13.54, 13.64, 13.88, 14.21, 14.63, 15.12, 15.73, 16.46, 17.34, 18.38",\
                 "13.68, 13.78, 14.02, 14.35, 14.76, 15.26, 15.87, 16.6, 17.48, 18.52",\
                 "13.75, 13.84, 14.08, 14.42, 14.83, 15.33, 15.93, 16.66, 17.54, 18.58");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("10.5, 10.63, 11, 11.61, 12.47, 13.66, 15.21, 17.15, 19.53, 22.36",\
                 "10.54, 10.67, 11.04, 11.64, 12.51, 13.69, 15.24, 17.19, 19.57, 22.4",\
                 "10.71, 10.84, 11.21, 11.81, 12.68, 13.86, 15.41, 17.36, 19.74, 22.57",\
                 "11.05, 11.18, 11.56, 12.16, 13.02, 14.21, 15.76, 17.71, 20.08, 22.91",\
                 "11.57, 11.7, 12.07, 12.67, 13.54, 14.72, 16.27, 18.22, 20.6, 23.42",\
                 "12.28, 12.41, 12.78, 13.38, 14.25, 15.43, 16.98, 18.93, 21.3, 24.13",\
                 "13.2, 13.33, 13.7, 14.3, 15.17, 16.35, 17.9, 19.85, 22.23, 25.06",\
                 "14.32, 14.45, 14.82, 15.42, 16.29, 17.48, 19.02, 20.97, 23.35, 26.18",\
                 "15.58, 15.71, 16.08, 16.69, 17.55, 18.74, 20.29, 22.23, 24.61, 27.44",\
                 "16.96, 17.1, 17.47, 18.07, 18.94, 20.12, 21.67, 23.62, 26, 28.83");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.552, 0.618, 0.82, 1.15, 1.626, 2.294, 3.186, 4.348, 5.81, 7.566",\
                 "0.552, 0.618, 0.82, 1.148, 1.626, 2.29, 3.19, 4.354, 5.808, 7.57",\
                 "0.55, 0.618, 0.82, 1.15, 1.628, 2.294, 3.19, 4.354, 5.812, 7.568",\
                 "0.55, 0.618, 0.818, 1.15, 1.628, 2.292, 3.19, 4.35, 5.804, 7.568",\
                 "0.55, 0.618, 0.82, 1.15, 1.628, 2.292, 3.186, 4.356, 5.806, 7.564",\
                 "0.55, 0.618, 0.82, 1.15, 1.626, 2.292, 3.186, 4.352, 5.812, 7.566",\
                 "0.552, 0.618, 0.82, 1.15, 1.626, 2.29, 3.186, 4.354, 5.81, 7.566",\
                 "0.552, 0.62, 0.82, 1.15, 1.63, 2.292, 3.19, 4.354, 5.802, 7.568",\
                 "0.55, 0.618, 0.82, 1.15, 1.628, 2.294, 3.188, 4.352, 5.806, 7.568",\
                 "0.55, 0.618, 0.822, 1.148, 1.626, 2.292, 3.186, 4.356, 5.806, 7.568");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.648, 0.78, 1.212, 2.044, 3.394, 5.356, 7.956, 11.23, 15.25, 19.97",\
                 "0.648, 0.78, 1.212, 2.044, 3.4, 5.356, 7.946, 11.23, 15.25, 19.97",\
                 "0.65, 0.778, 1.212, 2.04, 3.398, 5.356, 7.954, 11.23, 15.22, 19.99",\
                 "0.65, 0.78, 1.214, 2.04, 3.398, 5.352, 7.956, 11.23, 15.23, 20.01",\
                 "0.65, 0.778, 1.212, 2.04, 3.396, 5.35, 7.95, 11.22, 15.21, 20",\
                 "0.648, 0.778, 1.212, 2.042, 3.398, 5.356, 7.954, 11.23, 15.2, 20",\
                 "0.648, 0.78, 1.212, 2.04, 3.398, 5.356, 7.956, 11.22, 15.21, 20.03",\
                 "0.65, 0.78, 1.212, 2.044, 3.396, 5.348, 7.946, 11.24, 15.24, 20",\
                 "0.65, 0.78, 1.212, 2.044, 3.398, 5.352, 7.946, 11.24, 15.25, 20",\
                 "0.65, 0.778, 1.212, 2.042, 3.398, 5.356, 7.95, 11.23, 15.22, 19.97");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("6.02, 6.157, 6.507, 6.972, 7.513, 8.126, 8.827, 9.629, 10.55, 11.62",\
                 "6.063, 6.2, 6.551, 7.014, 7.555, 8.169, 8.869, 9.671, 10.59, 11.66",\
                 "6.22, 6.357, 6.707, 7.172, 7.711, 8.327, 9.026, 9.828, 10.75, 11.82",\
                 "6.516, 6.653, 7.003, 7.466, 8.008, 8.621, 9.322, 10.12, 11.05, 12.11",\
                 "6.969, 7.106, 7.457, 7.92, 8.46, 9.076, 9.775, 10.58, 11.5, 12.57",\
                 "7.535, 7.672, 8.022, 8.486, 9.026, 9.642, 10.34, 11.14, 12.07, 13.13",\
                 "8.103, 8.24, 8.592, 9.056, 9.595, 10.21, 10.91, 11.71, 12.63, 13.7",\
                 "8.637, 8.774, 9.124, 9.589, 10.13, 10.74, 11.44, 12.25, 13.17, 14.23",\
                 "9.121, 9.258, 9.609, 10.07, 10.61, 11.23, 11.93, 12.73, 13.66, 14.72",\
                 "9.545, 9.683, 10.03, 10.5, 11.04, 11.65, 12.35, 13.16, 14.08, 15.15");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("9.155, 9.296, 9.692, 10.31, 11.18, 12.37, 13.92, 15.87, 18.25, 21.08",\
                 "9.224, 9.366, 9.762, 10.38, 11.25, 12.44, 13.99, 15.94, 18.32, 21.15",\
                 "9.404, 9.545, 9.942, 10.56, 11.43, 12.62, 14.17, 16.12, 18.5, 21.33",\
                 "9.757, 9.898, 10.3, 10.91, 11.78, 12.97, 14.52, 16.47, 18.85, 21.68",\
                 "10.34, 10.48, 10.87, 11.49, 12.36, 13.55, 15.1, 17.05, 19.43, 22.26",\
                 "11.18, 11.32, 11.71, 12.33, 13.2, 14.39, 15.94, 17.89, 20.27, 23.1",\
                 "12.3, 12.44, 12.84, 13.45, 14.33, 15.52, 17.07, 19.02, 21.4, 24.23",\
                 "13.73, 13.88, 14.27, 14.89, 15.76, 16.95, 18.5, 20.45, 22.83, 25.66",\
                 "15.48, 15.62, 16.02, 16.63, 17.5, 18.69, 20.25, 22.2, 24.57, 27.4",\
                 "17.48, 17.62, 18.02, 18.64, 19.51, 20.69, 22.25, 24.2, 26.58, 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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.9298, 1.015, 1.26, 1.643, 2.163, 2.833, 3.695, 4.792, 6.166, 7.846",\
                 "0.9296, 1.015, 1.26, 1.643, 2.162, 2.833, 3.698, 4.796, 6.161, 7.845",\
                 "0.93, 1.015, 1.26, 1.642, 2.163, 2.834, 3.696, 4.795, 6.162, 7.844",\
                 "0.9296, 1.015, 1.259, 1.643, 2.162, 2.834, 3.697, 4.786, 6.162, 7.844",\
                 "0.93, 1.014, 1.26, 1.643, 2.163, 2.834, 3.696, 4.792, 6.164, 7.846",\
                 "0.932, 1.014, 1.262, 1.642, 2.162, 2.834, 3.696, 4.788, 6.166, 7.836",\
                 "0.93, 1.014, 1.258, 1.644, 2.16, 2.834, 3.702, 4.794, 6.166, 7.84",\
                 "0.932, 1.016, 1.264, 1.642, 2.16, 2.832, 3.702, 4.796, 6.164, 7.844",\
                 "0.932, 1.016, 1.262, 1.644, 2.164, 2.834, 3.7, 4.788, 6.164, 7.836",\
                 "0.934, 1.018, 1.264, 1.646, 2.164, 2.836, 3.7, 4.796, 6.158, 7.842");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.7472, 0.8718, 1.291, 2.099, 3.434, 5.38, 7.978, 11.25, 15.24, 19.98",\
                 "0.7474, 0.871, 1.29, 2.101, 3.438, 5.382, 7.978, 11.24, 15.24, 19.98",\
                 "0.7482, 0.8714, 1.29, 2.098, 3.438, 5.38, 7.978, 11.25, 15.24, 19.98",\
                 "0.746, 0.872, 1.292, 2.098, 3.436, 5.382, 7.978, 11.25, 15.23, 19.99",\
                 "0.746, 0.872, 1.29, 2.098, 3.436, 5.382, 7.978, 11.25, 15.22, 20",\
                 "0.746, 0.872, 1.29, 2.098, 3.438, 5.384, 7.974, 11.25, 15.22, 19.99",\
                 "0.746, 0.87, 1.29, 2.098, 3.436, 5.384, 7.972, 11.23, 15.23, 20.01",\
                 "0.748, 0.872, 1.29, 2.102, 3.436, 5.38, 7.964, 11.24, 15.23, 20.01",\
                 "0.748, 0.874, 1.29, 2.1, 3.436, 5.384, 7.976, 11.24, 15.24, 20",\
                 "0.752, 0.878, 1.294, 2.1, 3.434, 5.382, 7.976, 11.24, 15.23, 20");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("11.87, 11.96, 12.2, 12.54, 12.95, 13.45, 14.05, 14.78, 15.66, 16.7",\
                 "11.93, 12.02, 12.26, 12.6, 13.01, 13.51, 14.11, 14.85, 15.72, 16.76",\
                 "12.13, 12.22, 12.46, 12.8, 13.21, 13.71, 14.31, 15.04, 15.92, 16.96",\
                 "12.44, 12.53, 12.77, 13.11, 13.52, 14.02, 14.62, 15.36, 16.23, 17.27",\
                 "12.77, 12.86, 13.1, 13.44, 13.85, 14.35, 14.95, 15.69, 16.56, 17.6",\
                 "13.07, 13.16, 13.41, 13.74, 14.15, 14.65, 15.26, 15.99, 16.87, 17.91",\
                 "13.33, 13.43, 13.67, 14, 14.42, 14.91, 15.52, 16.25, 17.13, 18.17",\
                 "13.54, 13.64, 13.88, 14.21, 14.63, 15.12, 15.73, 16.46, 17.34, 18.38",\
                 "13.68, 13.78, 14.02, 14.35, 14.76, 15.26, 15.87, 16.6, 17.48, 18.52",\
                 "13.75, 13.84, 14.08, 14.42, 14.83, 15.33, 15.93, 16.66, 17.54, 18.58");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("9.155, 9.296, 9.692, 10.31, 11.18, 12.37, 13.92, 15.87, 18.25, 21.08",\
                 "9.224, 9.366, 9.762, 10.38, 11.25, 12.44, 13.99, 15.94, 18.32, 21.15",\
                 "9.404, 9.545, 9.942, 10.56, 11.43, 12.62, 14.17, 16.12, 18.5, 21.33",\
                 "9.757, 9.898, 10.3, 10.91, 11.78, 12.97, 14.52, 16.47, 18.85, 21.68",\
                 "10.34, 10.48, 10.87, 11.49, 12.36, 13.55, 15.1, 17.05, 19.43, 22.26",\
                 "11.18, 11.32, 11.71, 12.33, 13.2, 14.39, 15.94, 17.89, 20.27, 23.1",\
                 "12.3, 12.44, 12.84, 13.45, 14.33, 15.52, 17.07, 19.02, 21.4, 24.23",\
                 "13.73, 13.88, 14.27, 14.89, 15.76, 16.95, 18.5, 20.45, 22.83, 25.66",\
                 "15.48, 15.62, 16.02, 16.63, 17.5, 18.69, 20.25, 22.2, 24.57, 27.4",\
                 "17.48, 17.62, 18.02, 18.64, 19.51, 20.69, 22.25, 24.2, 26.58, 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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.9298, 1.015, 1.26, 1.643, 2.163, 2.833, 3.695, 4.792, 6.166, 7.846",\
                 "0.9296, 1.015, 1.26, 1.643, 2.162, 2.833, 3.698, 4.796, 6.161, 7.845",\
                 "0.93, 1.015, 1.26, 1.642, 2.163, 2.834, 3.696, 4.795, 6.162, 7.844",\
                 "0.9296, 1.015, 1.259, 1.643, 2.162, 2.834, 3.697, 4.786, 6.162, 7.844",\
                 "0.93, 1.014, 1.26, 1.643, 2.163, 2.834, 3.696, 4.792, 6.164, 7.846",\
                 "0.932, 1.014, 1.262, 1.642, 2.162, 2.834, 3.696, 4.788, 6.166, 7.836",\
                 "0.93, 1.014, 1.258, 1.644, 2.16, 2.834, 3.702, 4.794, 6.166, 7.84",\
                 "0.932, 1.016, 1.264, 1.642, 2.16, 2.832, 3.702, 4.796, 6.164, 7.844",\
                 "0.932, 1.016, 1.262, 1.644, 2.164, 2.834, 3.7, 4.788, 6.164, 7.836",\
                 "0.934, 1.018, 1.264, 1.646, 2.164, 2.836, 3.7, 4.796, 6.158, 7.842");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.648, 0.78, 1.212, 2.044, 3.394, 5.356, 7.956, 11.23, 15.25, 19.97",\
                 "0.648, 0.78, 1.212, 2.044, 3.4, 5.356, 7.946, 11.23, 15.25, 19.97",\
                 "0.65, 0.778, 1.212, 2.04, 3.398, 5.356, 7.954, 11.23, 15.22, 19.99",\
                 "0.65, 0.78, 1.214, 2.04, 3.398, 5.352, 7.956, 11.23, 15.23, 20.01",\
                 "0.65, 0.778, 1.212, 2.04, 3.396, 5.35, 7.95, 11.22, 15.21, 20",\
                 "0.648, 0.778, 1.212, 2.042, 3.398, 5.356, 7.954, 11.23, 15.2, 20",\
                 "0.648, 0.78, 1.212, 2.04, 3.398, 5.356, 7.956, 11.22, 15.21, 20.03",\
                 "0.65, 0.78, 1.212, 2.044, 3.396, 5.348, 7.946, 11.24, 15.24, 20",\
                 "0.65, 0.78, 1.212, 2.044, 3.398, 5.352, 7.946, 11.24, 15.25, 20",\
                 "0.65, 0.778, 1.212, 2.042, 3.398, 5.356, 7.95, 11.23, 15.22, 19.97");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("10.05, 10.19, 10.54, 11, 11.54, 12.15, 12.85, 13.65, 14.58, 15.64",\
                 "10.09, 10.22, 10.57, 11.04, 11.58, 12.19, 12.89, 13.69, 14.62, 15.68",\
                 "10.26, 10.39, 10.74, 11.21, 11.75, 12.36, 13.06, 13.86, 14.79, 15.85",\
                 "10.6, 10.74, 11.09, 11.55, 12.09, 12.71, 13.41, 14.2, 15.13, 16.2",\
                 "11.12, 11.26, 11.6, 12.07, 12.61, 13.22, 13.92, 14.72, 15.65, 16.71",\
                 "11.83, 11.96, 12.32, 12.78, 13.32, 13.93, 14.63, 15.43, 16.36, 17.42",\
                 "12.75, 12.89, 13.23, 13.7, 14.24, 14.85, 15.55, 16.35, 17.28, 18.34",\
                 "13.87, 14, 14.35, 14.82, 15.36, 15.97, 16.67, 17.47, 18.39, 19.46",\
                 "15.13, 15.27, 15.62, 16.08, 16.62, 17.23, 17.93, 18.73, 19.66, 20.72",\
                 "16.51, 16.65, 17, 17.46, 18.01, 18.62, 19.32, 20.12, 21.04, 22.11");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("10.53, 10.67, 11.07, 11.68, 12.56, 13.75, 15.3, 17.25, 19.63, 22.46",\
                 "10.6, 10.74, 11.13, 11.75, 12.62, 13.81, 15.36, 17.31, 19.69, 22.52",\
                 "10.79, 10.93, 11.33, 11.95, 12.82, 14.01, 15.56, 17.51, 19.89, 22.72",\
                 "11.1, 11.25, 11.64, 12.26, 13.13, 14.32, 15.87, 17.82, 20.2, 23.03",\
                 "11.43, 11.58, 11.97, 12.59, 13.46, 14.65, 16.2, 18.15, 20.53, 23.36",\
                 "11.74, 11.88, 12.27, 12.89, 13.76, 14.95, 16.51, 18.45, 20.83, 23.66",\
                 "12, 12.14, 12.54, 13.15, 14.02, 15.21, 16.77, 18.72, 21.09, 23.92",\
                 "12.2, 12.34, 12.74, 13.36, 14.23, 15.42, 16.97, 18.92, 21.3, 24.13",\
                 "12.34, 12.48, 12.88, 13.49, 14.36, 15.55, 17.11, 19.06, 21.43, 24.26",\
                 "12.4, 12.55, 12.94, 13.56, 14.43, 15.62, 17.17, 19.12, 21.5, 24.33");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.927, 1.012, 1.258, 1.642, 2.158, 2.832, 3.696, 4.788, 6.162, 7.844",\
                 "0.9278, 1.012, 1.258, 1.64, 2.16, 2.832, 3.696, 4.792, 6.166, 7.84",\
                 "0.926, 1.012, 1.258, 1.642, 2.162, 2.832, 3.696, 4.79, 6.166, 7.838",\
                 "0.928, 1.014, 1.26, 1.642, 2.162, 2.832, 3.694, 4.786, 6.162, 7.838",\
                 "0.926, 1.012, 1.26, 1.642, 2.16, 2.832, 3.696, 4.792, 6.166, 7.84",\
                 "0.928, 1.012, 1.258, 1.642, 2.16, 2.832, 3.696, 4.794, 6.166, 7.84",\
                 "0.926, 1.014, 1.258, 1.64, 2.16, 2.832, 3.694, 4.792, 6.166, 7.834",\
                 "0.926, 1.012, 1.258, 1.64, 2.162, 2.83, 3.694, 4.788, 6.166, 7.844",\
                 "0.926, 1.012, 1.258, 1.638, 2.158, 2.83, 3.7, 4.794, 6.164, 7.836",\
                 "0.926, 1.014, 1.258, 1.64, 2.16, 2.83, 3.698, 4.79, 6.164, 7.84");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.75, 0.874, 1.292, 2.098, 3.434, 5.378, 7.972, 11.24, 15.24, 19.99",\
                 "0.75, 0.874, 1.292, 2.1, 3.436, 5.384, 7.978, 11.25, 15.24, 19.98",\
                 "0.75, 0.874, 1.294, 2.098, 3.434, 5.384, 7.976, 11.24, 15.24, 20",\
                 "0.75, 0.876, 1.29, 2.1, 3.432, 5.384, 7.976, 11.24, 15.22, 19.97",\
                 "0.75, 0.874, 1.29, 2.098, 3.438, 5.382, 7.978, 11.25, 15.21, 20",\
                 "0.75, 0.874, 1.29, 2.102, 3.436, 5.38, 7.978, 11.25, 15.23, 20",\
                 "0.75, 0.874, 1.292, 2.104, 3.436, 5.384, 7.978, 11.24, 15.23, 20.01",\
                 "0.75, 0.874, 1.29, 2.1, 3.434, 5.382, 7.964, 11.24, 15.23, 20.01",\
                 "0.748, 0.874, 1.292, 2.098, 3.436, 5.376, 7.974, 11.25, 15.24, 19.99",\
                 "0.748, 0.874, 1.29, 2.1, 3.438, 5.378, 7.964, 11.24, 15.24, 20");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("10.51, 10.6, 10.84, 11.18, 11.59, 12.09, 12.69, 13.43, 14.3, 15.35",\
                 "10.58, 10.67, 10.91, 11.25, 11.66, 12.16, 12.76, 13.49, 14.37, 15.41",\
                 "10.76, 10.85, 11.09, 11.43, 11.84, 12.34, 12.94, 13.67, 14.55, 15.59",\
                 "11.11, 11.2, 11.45, 11.78, 12.19, 12.69, 13.3, 14.03, 14.91, 15.95",\
                 "11.69, 11.78, 12.02, 12.36, 12.77, 13.27, 13.87, 14.61, 15.48, 16.52",\
                 "12.53, 12.62, 12.86, 13.2, 13.61, 14.11, 14.71, 15.45, 16.32, 17.37",\
                 "13.66, 13.75, 13.99, 14.33, 14.74, 15.24, 15.84, 16.57, 17.45, 18.49",\
                 "15.09, 15.18, 15.42, 15.75, 16.17, 16.67, 17.27, 18, 18.88, 19.92",\
                 "16.81, 16.9, 17.15, 17.48, 17.89, 18.39, 19, 19.73, 20.61, 21.65",\
                 "18.77, 18.86, 19.1, 19.44, 19.85, 20.35, 20.95, 21.68, 22.56, 23.6");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("6.518, 6.648, 7.023, 7.623, 8.489, 9.674, 11.22, 13.17, 15.55, 18.38",\
                 "6.56, 6.691, 7.065, 7.665, 8.531, 9.717, 11.27, 13.21, 15.59, 18.42",\
                 "6.717, 6.848, 7.223, 7.823, 8.688, 9.874, 11.42, 13.37, 15.75, 18.58",\
                 "7.015, 7.145, 7.52, 8.12, 8.985, 10.17, 11.72, 13.67, 16.05, 18.87",\
                 "7.471, 7.601, 7.976, 8.575, 9.44, 10.63, 12.18, 14.12, 16.5, 19.33",\
                 "8.037, 8.168, 8.543, 9.143, 10.01, 11.19, 12.74, 14.69, 17.07, 19.9",\
                 "8.614, 8.745, 9.12, 9.72, 10.58, 11.77, 13.32, 15.27, 17.65, 20.47",\
                 "9.156, 9.287, 9.662, 10.26, 11.13, 12.31, 13.86, 15.81, 18.18, 21.01",\
                 "9.648, 9.779, 10.15, 10.75, 11.62, 12.8, 14.35, 16.3, 18.68, 21.51",\
                 "10.08, 10.21, 10.59, 11.19, 12.05, 13.24, 14.79, 16.73, 19.11, 21.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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.55, 0.618, 0.82, 1.148, 1.626, 2.29, 3.186, 4.35, 5.81, 7.566",\
                 "0.55, 0.618, 0.818, 1.148, 1.626, 2.29, 3.19, 4.354, 5.81, 7.57",\
                 "0.552, 0.618, 0.822, 1.15, 1.628, 2.29, 3.19, 4.352, 5.804, 7.566",\
                 "0.552, 0.618, 0.82, 1.15, 1.626, 2.294, 3.186, 4.354, 5.806, 7.57",\
                 "0.55, 0.62, 0.82, 1.15, 1.628, 2.292, 3.188, 4.354, 5.802, 7.564",\
                 "0.552, 0.618, 0.82, 1.152, 1.628, 2.29, 3.19, 4.356, 5.806, 7.568",\
                 "0.552, 0.618, 0.82, 1.15, 1.626, 2.288, 3.19, 4.356, 5.81, 7.554",\
                 "0.552, 0.62, 0.82, 1.148, 1.63, 2.29, 3.186, 4.356, 5.808, 7.562",\
                 "0.552, 0.618, 0.82, 1.15, 1.63, 2.292, 3.19, 4.354, 5.806, 7.56",\
                 "0.552, 0.618, 0.82, 1.15, 1.628, 2.288, 3.19, 4.356, 5.81, 7.57");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.6498, 0.7798, 1.212, 2.044, 3.399, 5.357, 7.949, 11.24, 15.25, 19.98",\
                 "0.649, 0.779, 1.212, 2.042, 3.399, 5.356, 7.952, 11.24, 15.22, 20.03",\
                 "0.6498, 0.7796, 1.211, 2.043, 3.396, 5.358, 7.954, 11.22, 15.25, 20.02",\
                 "0.65, 0.78, 1.213, 2.04, 3.398, 5.35, 7.948, 11.23, 15.21, 19.97",\
                 "0.6496, 0.7792, 1.211, 2.042, 3.398, 5.35, 7.954, 11.24, 15.22, 19.98",\
                 "0.65, 0.778, 1.21, 2.044, 3.396, 5.356, 7.95, 11.24, 15.21, 19.99",\
                 "0.65, 0.782, 1.21, 2.04, 3.396, 5.354, 7.954, 11.22, 15.22, 19.99",\
                 "0.65, 0.78, 1.212, 2.042, 3.394, 5.358, 7.954, 11.22, 15.22, 19.99",\
                 "0.65, 0.782, 1.212, 2.042, 3.396, 5.348, 7.94, 11.23, 15.24, 19.97",\
                 "0.65, 0.78, 1.21, 2.044, 3.396, 5.354, 7.948, 11.22, 15.23, 20");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("10.51, 10.6, 10.84, 11.18, 11.59, 12.09, 12.69, 13.43, 14.3, 15.35",\
                 "10.58, 10.67, 10.91, 11.25, 11.66, 12.16, 12.76, 13.49, 14.37, 15.41",\
                 "10.76, 10.85, 11.09, 11.43, 11.84, 12.34, 12.94, 13.67, 14.55, 15.59",\
                 "11.11, 11.2, 11.45, 11.78, 12.19, 12.69, 13.3, 14.03, 14.91, 15.95",\
                 "11.69, 11.78, 12.02, 12.36, 12.77, 13.27, 13.87, 14.61, 15.48, 16.52",\
                 "12.53, 12.62, 12.86, 13.2, 13.61, 14.11, 14.71, 15.45, 16.32, 17.37",\
                 "13.66, 13.75, 13.99, 14.33, 14.74, 15.24, 15.84, 16.57, 17.45, 18.49",\
                 "15.09, 15.18, 15.42, 15.75, 16.17, 16.67, 17.27, 18, 18.88, 19.92",\
                 "16.81, 16.9, 17.15, 17.48, 17.89, 18.39, 19, 19.73, 20.61, 21.65",\
                 "18.77, 18.86, 19.1, 19.44, 19.85, 20.35, 20.95, 21.68, 22.56, 23.6");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("10.53, 10.67, 11.07, 11.68, 12.56, 13.75, 15.3, 17.25, 19.63, 22.46",\
                 "10.6, 10.74, 11.13, 11.75, 12.62, 13.81, 15.36, 17.31, 19.69, 22.52",\
                 "10.79, 10.93, 11.33, 11.95, 12.82, 14.01, 15.56, 17.51, 19.89, 22.72",\
                 "11.1, 11.25, 11.64, 12.26, 13.13, 14.32, 15.87, 17.82, 20.2, 23.03",\
                 "11.43, 11.58, 11.97, 12.59, 13.46, 14.65, 16.2, 18.15, 20.53, 23.36",\
                 "11.74, 11.88, 12.27, 12.89, 13.76, 14.95, 16.51, 18.45, 20.83, 23.66",\
                 "12, 12.14, 12.54, 13.15, 14.02, 15.21, 16.77, 18.72, 21.09, 23.92",\
                 "12.2, 12.34, 12.74, 13.36, 14.23, 15.42, 16.97, 18.92, 21.3, 24.13",\
                 "12.34, 12.48, 12.88, 13.49, 14.36, 15.55, 17.11, 19.06, 21.43, 24.26",\
                 "12.4, 12.55, 12.94, 13.56, 14.43, 15.62, 17.17, 19.12, 21.5, 24.33");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.927, 1.012, 1.258, 1.642, 2.158, 2.832, 3.696, 4.788, 6.162, 7.844",\
                 "0.9278, 1.012, 1.258, 1.64, 2.16, 2.832, 3.696, 4.792, 6.166, 7.84",\
                 "0.926, 1.012, 1.258, 1.642, 2.162, 2.832, 3.696, 4.79, 6.166, 7.838",\
                 "0.928, 1.014, 1.26, 1.642, 2.162, 2.832, 3.694, 4.786, 6.162, 7.838",\
                 "0.926, 1.012, 1.26, 1.642, 2.16, 2.832, 3.696, 4.792, 6.166, 7.84",\
                 "0.928, 1.012, 1.258, 1.642, 2.16, 2.832, 3.696, 4.794, 6.166, 7.84",\
                 "0.926, 1.014, 1.258, 1.64, 2.16, 2.832, 3.694, 4.792, 6.166, 7.834",\
                 "0.926, 1.012, 1.258, 1.64, 2.162, 2.83, 3.694, 4.788, 6.166, 7.844",\
                 "0.926, 1.012, 1.258, 1.638, 2.158, 2.83, 3.7, 4.794, 6.164, 7.836",\
                 "0.926, 1.014, 1.258, 1.64, 2.16, 2.83, 3.698, 4.79, 6.164, 7.84");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.6498, 0.7798, 1.212, 2.044, 3.399, 5.357, 7.949, 11.24, 15.25, 19.98",\
                 "0.649, 0.779, 1.212, 2.042, 3.399, 5.356, 7.952, 11.24, 15.22, 20.03",\
                 "0.6498, 0.7796, 1.211, 2.043, 3.396, 5.358, 7.954, 11.22, 15.25, 20.02",\
                 "0.65, 0.78, 1.213, 2.04, 3.398, 5.35, 7.948, 11.23, 15.21, 19.97",\
                 "0.6496, 0.7792, 1.211, 2.042, 3.398, 5.35, 7.954, 11.24, 15.22, 19.98",\
                 "0.65, 0.778, 1.21, 2.044, 3.396, 5.356, 7.95, 11.24, 15.21, 19.99",\
                 "0.65, 0.782, 1.21, 2.04, 3.396, 5.354, 7.954, 11.22, 15.22, 19.99",\
                 "0.65, 0.78, 1.212, 2.042, 3.394, 5.358, 7.954, 11.22, 15.22, 19.99",\
                 "0.65, 0.782, 1.212, 2.042, 3.396, 5.348, 7.94, 11.23, 15.24, 19.97",\
                 "0.65, 0.78, 1.21, 2.044, 3.396, 5.354, 7.948, 11.22, 15.23, 20");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("11.56, 11.65, 11.89, 12.23, 12.64, 13.14, 13.74, 14.47, 15.35, 16.39",\
                 "11.61, 11.71, 11.95, 12.28, 12.7, 13.2, 13.8, 14.53, 15.41, 16.45",\
                 "11.79, 11.89, 12.13, 12.46, 12.88, 13.37, 13.98, 14.71, 15.59, 16.63",\
                 "12.1, 12.19, 12.43, 12.77, 13.18, 13.68, 14.28, 15.01, 15.89, 16.93",\
                 "12.41, 12.51, 12.75, 13.08, 13.5, 14, 14.6, 15.33, 16.21, 17.25",\
                 "12.7, 12.79, 13.04, 13.37, 13.78, 14.28, 14.89, 15.62, 16.5, 17.54",\
                 "12.95, 13.04, 13.28, 13.62, 14.03, 14.53, 15.13, 15.86, 16.74, 17.78",\
                 "13.14, 13.23, 13.47, 13.81, 14.22, 14.72, 15.32, 16.05, 16.93, 17.97",\
                 "13.26, 13.36, 13.6, 13.94, 14.35, 14.85, 15.45, 16.18, 17.06, 18.1",\
                 "13.32, 13.41, 13.65, 13.99, 14.4, 14.9, 15.5, 16.23, 17.11, 18.15");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("10.27, 10.4, 10.78, 11.38, 12.24, 13.43, 14.98, 16.93, 19.3, 22.14",\
                 "10.3, 10.43, 10.8, 11.4, 12.27, 13.45, 15, 16.95, 19.32, 22.16",\
                 "10.43, 10.56, 10.93, 11.53, 12.4, 13.58, 15.13, 17.08, 19.46, 22.29",\
                 "10.77, 10.9, 11.27, 11.87, 12.74, 13.93, 15.48, 17.42, 19.8, 22.63",\
                 "11.36, 11.49, 11.86, 12.46, 13.33, 14.51, 16.06, 18.01, 20.39, 23.21",\
                 "12.21, 12.34, 12.71, 13.32, 14.18, 15.37, 16.92, 18.87, 21.24, 24.07",\
                 "13.34, 13.47, 13.85, 14.45, 15.31, 16.5, 18.05, 20, 22.37, 25.2",\
                 "14.73, 14.87, 15.24, 15.84, 16.7, 17.89, 19.44, 21.39, 23.76, 26.6",\
                 "16.3, 16.44, 16.81, 17.41, 18.27, 19.46, 21.01, 22.96, 25.34, 28.17",\
                 "17.99, 18.12, 18.5, 19.1, 19.96, 21.15, 22.7, 24.65, 27.03, 29.85");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.552, 0.618, 0.82, 1.15, 1.628, 2.294, 3.19, 4.356, 5.812, 7.568",\
                 "0.552, 0.618, 0.822, 1.15, 1.632, 2.29, 3.19, 4.354, 5.804, 7.566",\
                 "0.55, 0.618, 0.822, 1.15, 1.63, 2.294, 3.19, 4.354, 5.802, 7.568",\
                 "0.552, 0.618, 0.82, 1.148, 1.626, 2.294, 3.186, 4.354, 5.804, 7.566",\
                 "0.55, 0.618, 0.82, 1.15, 1.628, 2.29, 3.19, 4.354, 5.802, 7.568",\
                 "0.552, 0.618, 0.82, 1.148, 1.626, 2.29, 3.19, 4.352, 5.81, 7.57",\
                 "0.55, 0.618, 0.818, 1.152, 1.63, 2.294, 3.19, 4.356, 5.808, 7.568",\
                 "0.55, 0.62, 0.82, 1.148, 1.628, 2.29, 3.19, 4.354, 5.802, 7.568",\
                 "0.552, 0.618, 0.82, 1.148, 1.626, 2.294, 3.188, 4.354, 5.806, 7.564",\
                 "0.552, 0.62, 0.82, 1.15, 1.628, 2.29, 3.188, 4.35, 5.8, 7.564");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.65, 0.778, 1.212, 2.042, 3.396, 5.356, 7.95, 11.23, 15.25, 19.98",\
                 "0.65, 0.78, 1.212, 2.042, 3.398, 5.35, 7.946, 11.24, 15.24, 19.98",\
                 "0.65, 0.78, 1.212, 2.04, 3.398, 5.35, 7.956, 11.23, 15.25, 19.98",\
                 "0.648, 0.78, 1.214, 2.044, 3.398, 5.356, 7.956, 11.24, 15.24, 20.01",\
                 "0.65, 0.78, 1.212, 2.044, 3.4, 5.356, 7.954, 11.23, 15.21, 19.99",\
                 "0.65, 0.778, 1.212, 2.042, 3.4, 5.356, 7.956, 11.23, 15.23, 20.01",\
                 "0.65, 0.78, 1.212, 2.044, 3.398, 5.356, 7.95, 11.21, 15.24, 20",\
                 "0.65, 0.78, 1.212, 2.04, 3.398, 5.356, 7.938, 11.24, 15.22, 19.99",\
                 "0.65, 0.78, 1.212, 2.04, 3.396, 5.356, 7.948, 11.24, 15.22, 19.98",\
                 "0.652, 0.782, 1.21, 2.042, 3.396, 5.358, 7.956, 11.23, 15.21, 20.02");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("6.068, 6.205, 6.556, 7.019, 7.56, 8.175, 8.874, 9.676, 10.6, 11.67",\
                 "6.12, 6.257, 6.607, 7.071, 7.612, 8.226, 8.926, 9.728, 10.65, 11.72",\
                 "6.259, 6.396, 6.746, 7.209, 7.75, 8.366, 9.065, 9.867, 10.79, 11.86",\
                 "6.495, 6.632, 6.982, 7.447, 7.987, 8.601, 9.301, 10.1, 11.03, 12.09",\
                 "6.848, 6.985, 7.336, 7.8, 8.339, 8.954, 9.654, 10.46, 11.38, 12.45",\
                 "7.291, 7.428, 7.779, 8.242, 8.783, 9.397, 10.1, 10.9, 11.82, 12.89",\
                 "7.752, 7.89, 8.241, 8.704, 9.243, 9.859, 10.56, 11.36, 12.28, 13.35",\
                 "8.201, 8.338, 8.689, 9.153, 9.693, 10.31, 11.01, 11.81, 12.73, 13.8",\
                 "8.619, 8.757, 9.108, 9.573, 10.11, 10.73, 11.43, 12.23, 13.15, 14.22",\
                 "8.99, 9.128, 9.478, 9.943, 10.48, 11.1, 11.8, 12.6, 13.52, 14.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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("9.604, 9.746, 10.14, 10.76, 11.63, 12.82, 14.37, 16.32, 18.7, 21.53",\
                 "9.636, 9.777, 10.17, 10.79, 11.66, 12.85, 14.4, 16.36, 18.73, 21.56",\
                 "9.819, 9.961, 10.36, 10.97, 11.84, 13.03, 14.59, 16.54, 18.91, 21.74",\
                 "10.19, 10.33, 10.73, 11.34, 12.21, 13.4, 14.96, 16.91, 19.28, 22.11",\
                 "10.78, 10.93, 11.32, 11.94, 12.81, 14, 15.55, 17.5, 19.88, 22.71",\
                 "11.63, 11.78, 12.17, 12.79, 13.66, 14.85, 16.4, 18.35, 20.73, 23.56",\
                 "12.77, 12.91, 13.3, 13.92, 14.79, 15.98, 17.53, 19.48, 21.86, 24.69",\
                 "14.2, 14.34, 14.74, 15.36, 16.23, 17.42, 18.97, 20.92, 23.3, 26.13",\
                 "15.95, 16.09, 16.49, 17.11, 17.98, 19.17, 20.72, 22.67, 25.05, 27.88",\
                 "17.98, 18.13, 18.52, 19.14, 20.01, 21.2, 22.76, 24.71, 27.08, 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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.929, 1.014, 1.259, 1.641, 2.162, 2.835, 3.696, 4.793, 6.167, 7.836",\
                 "0.9302, 1.014, 1.261, 1.641, 2.163, 2.833, 3.694, 4.792, 6.167, 7.839",\
                 "0.929, 1.014, 1.259, 1.643, 2.163, 2.834, 3.696, 4.795, 6.166, 7.842",\
                 "0.93, 1.015, 1.261, 1.643, 2.162, 2.832, 3.698, 4.788, 6.162, 7.844",\
                 "0.9298, 1.015, 1.26, 1.641, 2.162, 2.834, 3.696, 4.794, 6.168, 7.84",\
                 "0.928, 1.016, 1.258, 1.642, 2.164, 2.832, 3.698, 4.788, 6.16, 7.844",\
                 "0.928, 1.014, 1.258, 1.64, 2.162, 2.834, 3.7, 4.794, 6.162, 7.844",\
                 "0.932, 1.016, 1.26, 1.644, 2.162, 2.836, 3.7, 4.79, 6.168, 7.838",\
                 "0.932, 1.016, 1.262, 1.644, 2.166, 2.836, 3.694, 4.794, 6.16, 7.836",\
                 "0.934, 1.018, 1.266, 1.646, 2.162, 2.836, 3.7, 4.79, 6.168, 7.834");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.75, 0.8736, 1.291, 2.098, 3.438, 5.384, 7.98, 11.25, 15.24, 19.98",\
                 "0.7508, 0.8726, 1.29, 2.104, 3.436, 5.38, 7.976, 11.24, 15.24, 19.98",\
                 "0.75, 0.874, 1.292, 2.1, 3.438, 5.382, 7.978, 11.25, 15.24, 19.98",\
                 "0.748, 0.874, 1.29, 2.098, 3.438, 5.38, 7.978, 11.25, 15.24, 20",\
                 "0.75, 0.874, 1.292, 2.098, 3.438, 5.384, 7.974, 11.24, 15.22, 20",\
                 "0.75, 0.872, 1.292, 2.098, 3.436, 5.384, 7.98, 11.25, 15.21, 20.01",\
                 "0.748, 0.874, 1.292, 2.098, 3.438, 5.382, 7.98, 11.24, 15.23, 20.01",\
                 "0.748, 0.874, 1.292, 2.104, 3.436, 5.374, 7.962, 11.25, 15.24, 20",\
                 "0.75, 0.876, 1.29, 2.1, 3.438, 5.384, 7.978, 11.25, 15.24, 19.99",\
                 "0.754, 0.878, 1.294, 2.104, 3.436, 5.384, 7.978, 11.25, 15.24, 19.98");
        }
      }

      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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("11.56, 11.65, 11.89, 12.23, 12.64, 13.14, 13.74, 14.47, 15.35, 16.39",\
                 "11.61, 11.71, 11.95, 12.28, 12.7, 13.2, 13.8, 14.53, 15.41, 16.45",\
                 "11.79, 11.89, 12.13, 12.46, 12.88, 13.37, 13.98, 14.71, 15.59, 16.63",\
                 "12.1, 12.19, 12.43, 12.77, 13.18, 13.68, 14.28, 15.01, 15.89, 16.93",\
                 "12.41, 12.51, 12.75, 13.08, 13.5, 14, 14.6, 15.33, 16.21, 17.25",\
                 "12.7, 12.79, 13.04, 13.37, 13.78, 14.28, 14.89, 15.62, 16.5, 17.54",\
                 "12.95, 13.04, 13.28, 13.62, 14.03, 14.53, 15.13, 15.86, 16.74, 17.78",\
                 "13.14, 13.23, 13.47, 13.81, 14.22, 14.72, 15.32, 16.05, 16.93, 17.97",\
                 "13.26, 13.36, 13.6, 13.94, 14.35, 14.85, 15.45, 16.18, 17.06, 18.1",\
                 "13.32, 13.41, 13.65, 13.99, 14.4, 14.9, 15.5, 16.23, 17.11, 18.15");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("9.604, 9.746, 10.14, 10.76, 11.63, 12.82, 14.37, 16.32, 18.7, 21.53",\
                 "9.636, 9.777, 10.17, 10.79, 11.66, 12.85, 14.4, 16.36, 18.73, 21.56",\
                 "9.819, 9.961, 10.36, 10.97, 11.84, 13.03, 14.59, 16.54, 18.91, 21.74",\
                 "10.19, 10.33, 10.73, 11.34, 12.21, 13.4, 14.96, 16.91, 19.28, 22.11",\
                 "10.78, 10.93, 11.32, 11.94, 12.81, 14, 15.55, 17.5, 19.88, 22.71",\
                 "11.63, 11.78, 12.17, 12.79, 13.66, 14.85, 16.4, 18.35, 20.73, 23.56",\
                 "12.77, 12.91, 13.3, 13.92, 14.79, 15.98, 17.53, 19.48, 21.86, 24.69",\
                 "14.2, 14.34, 14.74, 15.36, 16.23, 17.42, 18.97, 20.92, 23.3, 26.13",\
                 "15.95, 16.09, 16.49, 17.11, 17.98, 19.17, 20.72, 22.67, 25.05, 27.88",\
                 "17.98, 18.13, 18.52, 19.14, 20.01, 21.2, 22.76, 24.71, 27.08, 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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.929, 1.014, 1.259, 1.641, 2.162, 2.835, 3.696, 4.793, 6.167, 7.836",\
                 "0.9302, 1.014, 1.261, 1.641, 2.163, 2.833, 3.694, 4.792, 6.167, 7.839",\
                 "0.929, 1.014, 1.259, 1.643, 2.163, 2.834, 3.696, 4.795, 6.166, 7.842",\
                 "0.93, 1.015, 1.261, 1.643, 2.162, 2.832, 3.698, 4.788, 6.162, 7.844",\
                 "0.9298, 1.015, 1.26, 1.641, 2.162, 2.834, 3.696, 4.794, 6.168, 7.84",\
                 "0.928, 1.016, 1.258, 1.642, 2.164, 2.832, 3.698, 4.788, 6.16, 7.844",\
                 "0.928, 1.014, 1.258, 1.64, 2.162, 2.834, 3.7, 4.794, 6.162, 7.844",\
                 "0.932, 1.016, 1.26, 1.644, 2.162, 2.836, 3.7, 4.79, 6.168, 7.838",\
                 "0.932, 1.016, 1.262, 1.644, 2.166, 2.836, 3.694, 4.794, 6.16, 7.836",\
                 "0.934, 1.018, 1.266, 1.646, 2.162, 2.836, 3.7, 4.79, 6.168, 7.834");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.65, 0.778, 1.212, 2.042, 3.396, 5.356, 7.95, 11.23, 15.25, 19.98",\
                 "0.65, 0.78, 1.212, 2.042, 3.398, 5.35, 7.946, 11.24, 15.24, 19.98",\
                 "0.65, 0.78, 1.212, 2.04, 3.398, 5.35, 7.956, 11.23, 15.25, 19.98",\
                 "0.648, 0.78, 1.214, 2.044, 3.398, 5.356, 7.956, 11.24, 15.24, 20.01",\
                 "0.65, 0.78, 1.212, 2.044, 3.4, 5.356, 7.954, 11.23, 15.21, 19.99",\
                 "0.65, 0.778, 1.212, 2.042, 3.4, 5.356, 7.956, 11.23, 15.23, 20.01",\
                 "0.65, 0.78, 1.212, 2.044, 3.398, 5.356, 7.95, 11.21, 15.24, 20",\
                 "0.65, 0.78, 1.212, 2.04, 3.398, 5.356, 7.938, 11.24, 15.22, 19.99",\
                 "0.65, 0.78, 1.212, 2.04, 3.396, 5.356, 7.948, 11.24, 15.22, 19.98",\
                 "0.652, 0.782, 1.21, 2.042, 3.396, 5.358, 7.956, 11.23, 15.21, 20.02");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("9.825, 9.962, 10.31, 10.78, 11.32, 11.93, 12.63, 13.43, 14.35, 15.42",\
                 "9.847, 9.982, 10.33, 10.8, 11.34, 11.95, 12.65, 13.45, 14.38, 15.44",\
                 "9.978, 10.11, 10.46, 10.93, 11.47, 12.08, 12.78, 13.58, 14.51, 15.57",\
                 "10.32, 10.46, 10.81, 11.27, 11.81, 12.42, 13.12, 13.92, 14.85, 15.91",\
                 "10.91, 11.05, 11.39, 11.86, 12.4, 13.01, 13.71, 14.51, 15.44, 16.5",\
                 "11.76, 11.9, 12.25, 12.71, 13.25, 13.87, 14.56, 15.37, 16.29, 17.36",\
                 "12.89, 13.03, 13.38, 13.84, 14.38, 15, 15.7, 16.5, 17.42, 18.49",\
                 "14.29, 14.42, 14.77, 15.24, 15.78, 16.39, 17.09, 17.89, 18.81, 19.88",\
                 "15.85, 15.99, 16.34, 16.81, 17.34, 17.96, 18.66, 19.46, 20.38, 21.45",\
                 "17.54, 17.68, 18.03, 18.49, 19.03, 19.65, 20.35, 21.15, 22.07, 23.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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("10.2, 10.35, 10.74, 11.36, 12.23, 13.42, 14.97, 16.92, 19.3, 22.13",\
                 "10.26, 10.4, 10.8, 11.41, 12.28, 13.47, 15.03, 16.98, 19.35, 22.18",\
                 "10.44, 10.58, 10.98, 11.59, 12.46, 13.65, 15.21, 17.16, 19.53, 22.36",\
                 "10.74, 10.88, 11.28, 11.89, 12.77, 13.96, 15.51, 17.46, 19.84, 22.67",\
                 "11.06, 11.2, 11.6, 12.21, 13.08, 14.27, 15.83, 17.78, 20.15, 22.98",\
                 "11.35, 11.49, 11.89, 12.5, 13.37, 14.56, 16.11, 18.07, 20.44, 23.27",\
                 "11.59, 11.74, 12.13, 12.75, 13.62, 14.81, 16.36, 18.31, 20.69, 23.52",\
                 "11.78, 11.92, 12.32, 12.93, 13.81, 15, 16.55, 18.5, 20.87, 23.7",\
                 "11.91, 12.05, 12.45, 13.06, 13.93, 15.12, 16.68, 18.63, 21, 23.83",\
                 "11.96, 12.1, 12.5, 13.12, 13.99, 15.17, 16.73, 18.68, 21.06, 23.88");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.9276, 1.013, 1.258, 1.64, 2.156, 2.832, 3.692, 4.79, 6.166, 7.838",\
                 "0.929, 1.014, 1.258, 1.64, 2.158, 2.832, 3.694, 4.792, 6.16, 7.844",\
                 "0.928, 1.014, 1.258, 1.64, 2.158, 2.832, 3.696, 4.786, 6.166, 7.84",\
                 "0.928, 1.014, 1.258, 1.64, 2.16, 2.832, 3.694, 4.792, 6.166, 7.84",\
                 "0.926, 1.014, 1.258, 1.64, 2.16, 2.832, 3.696, 4.79, 6.16, 7.836",\
                 "0.928, 1.012, 1.258, 1.64, 2.16, 2.832, 3.694, 4.794, 6.166, 7.838",\
                 "0.93, 1.012, 1.258, 1.64, 2.16, 2.832, 3.694, 4.792, 6.162, 7.834",\
                 "0.928, 1.014, 1.258, 1.642, 2.162, 2.834, 3.692, 4.79, 6.166, 7.844",\
                 "0.928, 1.012, 1.26, 1.644, 2.158, 2.83, 3.7, 4.788, 6.158, 7.844",\
                 "0.928, 1.012, 1.258, 1.64, 2.158, 2.834, 3.694, 4.794, 6.162, 7.842");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.748, 0.87, 1.29, 2.098, 3.436, 5.378, 7.976, 11.24, 15.24, 19.97",\
                 "0.746, 0.872, 1.29, 2.098, 3.438, 5.382, 7.974, 11.24, 15.23, 19.99",\
                 "0.746, 0.872, 1.292, 2.1, 3.434, 5.382, 7.976, 11.24, 15.24, 20",\
                 "0.746, 0.872, 1.29, 2.098, 3.432, 5.376, 7.972, 11.24, 15.24, 19.99",\
                 "0.748, 0.872, 1.288, 2.098, 3.436, 5.384, 7.972, 11.25, 15.22, 19.98",\
                 "0.746, 0.872, 1.288, 2.098, 3.432, 5.382, 7.978, 11.25, 15.23, 19.99",\
                 "0.746, 0.872, 1.29, 2.098, 3.436, 5.382, 7.974, 11.23, 15.24, 20",\
                 "0.746, 0.872, 1.29, 2.102, 3.436, 5.384, 7.966, 11.24, 15.23, 20.01",\
                 "0.746, 0.87, 1.29, 2.1, 3.436, 5.376, 7.97, 11.23, 15.22, 20.01",\
                 "0.746, 0.87, 1.292, 2.1, 3.438, 5.376, 7.958, 11.24, 15.24, 20.01");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("10.94, 11.03, 11.27, 11.61, 12.02, 12.52, 13.12, 13.86, 14.73, 15.78",\
                 "10.97, 11.06, 11.31, 11.64, 12.05, 12.55, 13.16, 13.89, 14.77, 15.81",\
                 "11.15, 11.25, 11.49, 11.82, 12.24, 12.73, 13.34, 14.07, 14.95, 15.99",\
                 "11.53, 11.62, 11.86, 12.19, 12.61, 13.11, 13.71, 14.44, 15.32, 16.36",\
                 "12.12, 12.21, 12.45, 12.79, 13.2, 13.7, 14.3, 15.04, 15.91, 16.96",\
                 "12.97, 13.06, 13.3, 13.64, 14.05, 14.55, 15.15, 15.89, 16.76, 17.8",\
                 "14.1, 14.19, 14.44, 14.77, 15.18, 15.68, 16.29, 17.02, 17.89, 18.94",\
                 "15.54, 15.63, 15.87, 16.2, 16.62, 17.11, 17.72, 18.45, 19.33, 20.37",\
                 "17.28, 17.37, 17.61, 17.94, 18.36, 18.86, 19.46, 20.19, 21.07, 22.11",\
                 "19.27, 19.36, 19.61, 19.94, 20.35, 20.85, 21.46, 22.19, 23.07, 24.11");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("6.565, 6.696, 7.071, 7.671, 8.536, 9.721, 11.27, 13.22, 15.6, 18.42",\
                 "6.616, 6.746, 7.122, 7.722, 8.587, 9.773, 11.32, 13.27, 15.65, 18.47",\
                 "6.756, 6.887, 7.261, 7.862, 8.726, 9.912, 11.46, 13.41, 15.79, 18.61",\
                 "6.993, 7.124, 7.499, 8.099, 8.964, 10.15, 11.7, 13.65, 16.02, 18.85",\
                 "7.348, 7.479, 7.854, 8.454, 9.318, 10.51, 12.05, 14, 16.38, 19.21",\
                 "7.798, 7.928, 8.304, 8.904, 9.769, 10.96, 12.5, 14.45, 16.83, 19.66",\
                 "8.274, 8.404, 8.78, 9.38, 10.24, 11.43, 12.98, 14.93, 17.3, 20.13",\
                 "8.734, 8.865, 9.24, 9.839, 10.7, 11.89, 13.44, 15.39, 17.76, 20.59",\
                 "9.163, 9.293, 9.668, 10.27, 11.13, 12.32, 13.87, 15.81, 18.19, 21.02",\
                 "9.542, 9.673, 10.05, 10.65, 11.51, 12.7, 14.25, 16.2, 18.57, 21.4");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.552, 0.618, 0.822, 1.15, 1.626, 2.29, 3.184, 4.354, 5.81, 7.564",\
                 "0.552, 0.618, 0.822, 1.15, 1.63, 2.29, 3.19, 4.356, 5.808, 7.57",\
                 "0.55, 0.62, 0.82, 1.15, 1.632, 2.29, 3.19, 4.356, 5.802, 7.568",\
                 "0.552, 0.62, 0.818, 1.15, 1.628, 2.29, 3.186, 4.352, 5.804, 7.56",\
                 "0.552, 0.618, 0.82, 1.15, 1.628, 2.29, 3.192, 4.354, 5.808, 7.566",\
                 "0.552, 0.62, 0.82, 1.148, 1.626, 2.29, 3.19, 4.354, 5.81, 7.57",\
                 "0.55, 0.618, 0.82, 1.15, 1.628, 2.29, 3.186, 4.354, 5.81, 7.558",\
                 "0.55, 0.618, 0.818, 1.15, 1.628, 2.292, 3.186, 4.358, 5.802, 7.564",\
                 "0.55, 0.618, 0.82, 1.15, 1.628, 2.292, 3.186, 4.35, 5.808, 7.564",\
                 "0.552, 0.62, 0.82, 1.148, 1.628, 2.29, 3.186, 4.352, 5.81, 7.57");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.6486, 0.779, 1.212, 2.044, 3.397, 5.352, 7.956, 11.22, 15.21, 20.01",\
                 "0.65, 0.7806, 1.212, 2.044, 3.399, 5.349, 7.947, 11.24, 15.21, 20.01",\
                 "0.65, 0.7784, 1.213, 2.042, 3.397, 5.351, 7.953, 11.24, 15.22, 19.97",\
                 "0.6492, 0.779, 1.213, 2.042, 3.397, 5.352, 7.948, 11.24, 15.21, 19.97",\
                 "0.6498, 0.779, 1.212, 2.041, 3.398, 5.358, 7.95, 11.23, 15.2, 19.97",\
                 "0.648, 0.778, 1.212, 2.042, 3.4, 5.356, 7.944, 11.24, 15.25, 19.97",\
                 "0.648, 0.778, 1.212, 2.042, 3.396, 5.356, 7.956, 11.23, 15.22, 19.97",\
                 "0.65, 0.78, 1.212, 2.042, 3.394, 5.358, 7.956, 11.22, 15.22, 20.01",\
                 "0.65, 0.78, 1.212, 2.044, 3.394, 5.346, 7.938, 11.22, 15.24, 19.99",\
                 "0.65, 0.78, 1.212, 2.042, 3.398, 5.348, 7.94, 11.21, 15.21, 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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("10.94, 11.03, 11.27, 11.61, 12.02, 12.52, 13.12, 13.86, 14.73, 15.78",\
                 "10.97, 11.06, 11.31, 11.64, 12.05, 12.55, 13.16, 13.89, 14.77, 15.81",\
                 "11.15, 11.25, 11.49, 11.82, 12.24, 12.73, 13.34, 14.07, 14.95, 15.99",\
                 "11.53, 11.62, 11.86, 12.19, 12.61, 13.11, 13.71, 14.44, 15.32, 16.36",\
                 "12.12, 12.21, 12.45, 12.79, 13.2, 13.7, 14.3, 15.04, 15.91, 16.96",\
                 "12.97, 13.06, 13.3, 13.64, 14.05, 14.55, 15.15, 15.89, 16.76, 17.8",\
                 "14.1, 14.19, 14.44, 14.77, 15.18, 15.68, 16.29, 17.02, 17.89, 18.94",\
                 "15.54, 15.63, 15.87, 16.2, 16.62, 17.11, 17.72, 18.45, 19.33, 20.37",\
                 "17.28, 17.37, 17.61, 17.94, 18.36, 18.86, 19.46, 20.19, 21.07, 22.11",\
                 "19.27, 19.36, 19.61, 19.94, 20.35, 20.85, 21.46, 22.19, 23.07, 24.11");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("10.2, 10.35, 10.74, 11.36, 12.23, 13.42, 14.97, 16.92, 19.3, 22.13",\
                 "10.26, 10.4, 10.8, 11.41, 12.28, 13.47, 15.03, 16.98, 19.35, 22.18",\
                 "10.44, 10.58, 10.98, 11.59, 12.46, 13.65, 15.21, 17.16, 19.53, 22.36",\
                 "10.74, 10.88, 11.28, 11.89, 12.77, 13.96, 15.51, 17.46, 19.84, 22.67",\
                 "11.06, 11.2, 11.6, 12.21, 13.08, 14.27, 15.83, 17.78, 20.15, 22.98",\
                 "11.35, 11.49, 11.89, 12.5, 13.37, 14.56, 16.11, 18.07, 20.44, 23.27",\
                 "11.59, 11.74, 12.13, 12.75, 13.62, 14.81, 16.36, 18.31, 20.69, 23.52",\
                 "11.78, 11.92, 12.32, 12.93, 13.81, 15, 16.55, 18.5, 20.87, 23.7",\
                 "11.91, 12.05, 12.45, 13.06, 13.93, 15.12, 16.68, 18.63, 21, 23.83",\
                 "11.96, 12.1, 12.5, 13.12, 13.99, 15.17, 16.73, 18.68, 21.06, 23.88");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.9276, 1.013, 1.258, 1.64, 2.156, 2.832, 3.692, 4.79, 6.166, 7.838",\
                 "0.929, 1.014, 1.258, 1.64, 2.158, 2.832, 3.694, 4.792, 6.16, 7.844",\
                 "0.928, 1.014, 1.258, 1.64, 2.158, 2.832, 3.696, 4.786, 6.166, 7.84",\
                 "0.928, 1.014, 1.258, 1.64, 2.16, 2.832, 3.694, 4.792, 6.166, 7.84",\
                 "0.926, 1.014, 1.258, 1.64, 2.16, 2.832, 3.696, 4.79, 6.16, 7.836",\
                 "0.928, 1.012, 1.258, 1.64, 2.16, 2.832, 3.694, 4.794, 6.166, 7.838",\
                 "0.93, 1.012, 1.258, 1.64, 2.16, 2.832, 3.694, 4.792, 6.162, 7.834",\
                 "0.928, 1.014, 1.258, 1.642, 2.162, 2.834, 3.692, 4.79, 6.166, 7.844",\
                 "0.928, 1.012, 1.26, 1.644, 2.158, 2.83, 3.7, 4.788, 6.158, 7.844",\
                 "0.928, 1.012, 1.258, 1.64, 2.158, 2.834, 3.694, 4.794, 6.162, 7.842");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.748, 0.87, 1.29, 2.098, 3.436, 5.378, 7.976, 11.24, 15.24, 19.97",\
                 "0.746, 0.872, 1.29, 2.098, 3.438, 5.382, 7.974, 11.24, 15.23, 19.99",\
                 "0.746, 0.872, 1.292, 2.1, 3.434, 5.382, 7.976, 11.24, 15.24, 20",\
                 "0.746, 0.872, 1.29, 2.098, 3.432, 5.376, 7.972, 11.24, 15.24, 19.99",\
                 "0.748, 0.872, 1.288, 2.098, 3.436, 5.384, 7.972, 11.25, 15.22, 19.98",\
                 "0.746, 0.872, 1.288, 2.098, 3.432, 5.382, 7.978, 11.25, 15.23, 19.99",\
                 "0.746, 0.872, 1.29, 2.098, 3.436, 5.382, 7.974, 11.23, 15.24, 20",\
                 "0.746, 0.872, 1.29, 2.102, 3.436, 5.384, 7.966, 11.24, 15.23, 20.01",\
                 "0.746, 0.87, 1.29, 2.1, 3.436, 5.376, 7.97, 11.23, 15.22, 20.01",\
                 "0.746, 0.87, 1.292, 2.1, 3.438, 5.376, 7.958, 11.24, 15.24, 20.01");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("3.941, 4.033, 4.275, 4.61, 5.022, 5.521, 6.124, 6.855, 7.733, 8.773",\
                 "3.994, 4.086, 4.329, 4.663, 5.075, 5.574, 6.177, 6.908, 7.786, 8.826",\
                 "4.127, 4.219, 4.462, 4.797, 5.209, 5.707, 6.311, 7.042, 7.92, 8.959",\
                 "4.342, 4.434, 4.677, 5.011, 5.423, 5.921, 6.526, 7.257, 8.134, 9.173",\
                 "4.663, 4.755, 4.997, 5.333, 5.745, 6.243, 6.846, 7.578, 8.455, 9.495",\
                 "5.046, 5.139, 5.381, 5.717, 6.128, 6.626, 7.23, 7.961, 8.839, 9.878",\
                 "5.435, 5.527, 5.768, 6.103, 6.515, 7.013, 7.617, 8.347, 9.226, 10.26",\
                 "5.805, 5.898, 6.14, 6.475, 6.886, 7.384, 7.986, 8.716, 9.592, 10.63",\
                 "6.133, 6.225, 6.469, 6.805, 7.217, 7.715, 8.317, 9.048, 9.923, 10.96",\
                 "6.403, 6.496, 6.74, 7.076, 7.489, 7.987, 8.59, 9.321, 10.2, 11.23");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("4.829, 4.963, 5.344, 5.95, 6.819, 8.008, 9.56, 11.51, 13.88, 16.71",\
                 "4.882, 5.015, 5.396, 6.002, 6.871, 8.06, 9.613, 11.56, 13.94, 16.77",\
                 "5.101, 5.233, 5.615, 6.221, 7.09, 8.279, 9.832, 11.78, 14.16, 16.99",\
                 "5.529, 5.662, 6.044, 6.65, 7.519, 8.707, 10.26, 12.21, 14.59, 17.41",\
                 "6.205, 6.338, 6.72, 7.326, 8.194, 9.383, 10.94, 12.89, 15.26, 18.09",\
                 "7.159, 7.293, 7.674, 8.28, 9.149, 10.34, 11.89, 13.84, 16.21, 19.05",\
                 "8.388, 8.522, 8.904, 9.511, 10.38, 11.57, 13.12, 15.07, 17.45, 20.27",\
                 "9.814, 9.948, 10.33, 10.94, 11.8, 12.99, 14.55, 16.5, 18.87, 21.7",\
                 "11.36, 11.49, 11.88, 12.49, 13.35, 14.54, 16.1, 18.05, 20.42, 23.25",\
                 "13.02, 13.15, 13.54, 14.15, 15.02, 16.2, 17.76, 19.71, 22.09, 24.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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.5506, 0.6176, 0.8188, 1.148, 1.625, 2.287, 3.187, 4.352, 5.807, 7.566",\
                 "0.5512, 0.6174, 0.8186, 1.148, 1.629, 2.291, 3.185, 4.35, 5.802, 7.556",\
                 "0.5512, 0.6182, 0.8188, 1.148, 1.629, 2.29, 3.188, 4.352, 5.802, 7.563",\
                 "0.551, 0.6188, 0.8184, 1.148, 1.625, 2.291, 3.187, 4.351, 5.806, 7.561",\
                 "0.551, 0.6184, 0.8192, 1.149, 1.627, 2.291, 3.187, 4.345, 5.8, 7.558",\
                 "0.5512, 0.619, 0.8198, 1.149, 1.628, 2.291, 3.186, 4.348, 5.806, 7.552",\
                 "0.5512, 0.6192, 0.818, 1.148, 1.624, 2.288, 3.186, 4.352, 5.798, 7.562",\
                 "0.554, 0.62, 0.82, 1.148, 1.624, 2.286, 3.174, 4.34, 5.794, 7.55",\
                 "0.558, 0.626, 0.824, 1.152, 1.626, 2.284, 3.18, 4.342, 5.79, 7.54",\
                 "0.56, 0.628, 0.828, 1.154, 1.628, 2.29, 3.184, 4.34, 5.794, 7.542");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.6694, 0.7998, 1.233, 2.065, 3.416, 5.371, 7.967, 11.24, 15.25, 20.01",\
                 "0.6696, 0.7998, 1.233, 2.064, 3.414, 5.371, 7.966, 11.25, 15.24, 20.02",\
                 "0.669, 0.8, 1.233, 2.065, 3.412, 5.368, 7.968, 11.24, 15.23, 20.01",\
                 "0.669, 0.7998, 1.233, 2.061, 3.415, 5.368, 7.966, 11.23, 15.25, 19.99",\
                 "0.6692, 0.8, 1.233, 2.062, 3.415, 5.363, 7.968, 11.25, 15.25, 19.99",\
                 "0.67, 0.8, 1.234, 2.062, 3.416, 5.366, 7.966, 11.25, 15.22, 19.98",\
                 "0.67, 0.8, 1.234, 2.066, 3.414, 5.37, 7.968, 11.25, 15.22, 19.99",\
                 "0.672, 0.804, 1.236, 2.066, 3.416, 5.37, 7.96, 11.22, 15.23, 20.02",\
                 "0.676, 0.808, 1.24, 2.068, 3.416, 5.366, 7.96, 11.24, 15.24, 19.99",\
                 "0.682, 0.814, 1.246, 2.07, 3.414, 5.368, 7.956, 11.24, 15.24, 19.99");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("3.941, 4.033, 4.275, 4.61, 5.022, 5.52, 6.124, 6.855, 7.733, 8.773",\
                 "3.994, 4.086, 4.329, 4.663, 5.075, 5.574, 6.177, 6.908, 7.786, 8.826",\
                 "4.127, 4.219, 4.462, 4.797, 5.209, 5.707, 6.311, 7.042, 7.92, 8.959",\
                 "4.342, 4.434, 4.677, 5.011, 5.424, 5.922, 6.526, 7.257, 8.134, 9.174",\
                 "4.663, 4.755, 4.997, 5.332, 5.744, 6.243, 6.846, 7.578, 8.455, 9.494",\
                 "5.046, 5.139, 5.381, 5.716, 6.128, 6.626, 7.23, 7.961, 8.839, 9.879",\
                 "5.434, 5.527, 5.768, 6.104, 6.515, 7.013, 7.617, 8.348, 9.225, 10.26",\
                 "5.805, 5.898, 6.14, 6.475, 6.886, 7.384, 7.986, 8.716, 9.593, 10.63",\
                 "6.133, 6.225, 6.469, 6.805, 7.216, 7.715, 8.317, 9.048, 9.923, 10.96",\
                 "6.403, 6.496, 6.74, 7.076, 7.488, 7.987, 8.59, 9.321, 10.2, 11.23");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("4.829, 4.962, 5.344, 5.95, 6.818, 8.007, 9.56, 11.51, 13.88, 16.71",\
                 "4.882, 5.015, 5.396, 6.002, 6.871, 8.06, 9.612, 11.56, 13.94, 16.77",\
                 "5.101, 5.233, 5.615, 6.221, 7.09, 8.278, 9.832, 11.78, 14.16, 16.99",\
                 "5.529, 5.662, 6.044, 6.65, 7.519, 8.708, 10.26, 12.21, 14.59, 17.41",\
                 "6.205, 6.338, 6.72, 7.325, 8.194, 9.383, 10.94, 12.89, 15.26, 18.09",\
                 "7.159, 7.292, 7.674, 8.28, 9.149, 10.34, 11.89, 13.84, 16.21, 19.04",\
                 "8.389, 8.523, 8.904, 9.511, 10.38, 11.57, 13.12, 15.07, 17.44, 20.27",\
                 "9.813, 9.948, 10.33, 10.94, 11.8, 12.99, 14.55, 16.5, 18.87, 21.7",\
                 "11.36, 11.49, 11.88, 12.48, 13.35, 14.54, 16.1, 18.05, 20.42, 23.25",\
                 "13.02, 13.15, 13.54, 14.15, 15.02, 16.21, 17.76, 19.71, 22.09, 24.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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.5508, 0.6176, 0.819, 1.148, 1.626, 2.287, 3.187, 4.351, 5.807, 7.566",\
                 "0.5508, 0.6182, 0.8188, 1.148, 1.629, 2.291, 3.187, 4.352, 5.805, 7.565",\
                 "0.5512, 0.6182, 0.819, 1.148, 1.629, 2.29, 3.188, 4.351, 5.807, 7.563",\
                 "0.551, 0.6184, 0.8192, 1.148, 1.624, 2.288, 3.187, 4.351, 5.798, 7.565",\
                 "0.5504, 0.618, 0.8192, 1.148, 1.629, 2.291, 3.188, 4.345, 5.807, 7.561",\
                 "0.551, 0.619, 0.82, 1.149, 1.629, 2.29, 3.186, 4.347, 5.808, 7.556",\
                 "0.5512, 0.6184, 0.816, 1.15, 1.622, 2.29, 3.186, 4.35, 5.8, 7.564",\
                 "0.554, 0.622, 0.82, 1.15, 1.624, 2.284, 3.178, 4.34, 5.794, 7.55",\
                 "0.558, 0.626, 0.824, 1.152, 1.628, 2.29, 3.182, 4.338, 5.79, 7.54",\
                 "0.56, 0.628, 0.828, 1.154, 1.628, 2.29, 3.184, 4.344, 5.79, 7.552");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.6692, 0.7998, 1.233, 2.065, 3.416, 5.371, 7.968, 11.24, 15.25, 20.01",\
                 "0.6694, 0.7994, 1.234, 2.062, 3.413, 5.371, 7.969, 11.25, 15.25, 19.99",\
                 "0.6694, 0.7998, 1.233, 2.065, 3.412, 5.366, 7.966, 11.25, 15.23, 20.01",\
                 "0.6692, 0.7992, 1.233, 2.062, 3.415, 5.371, 7.958, 11.25, 15.24, 20",\
                 "0.6692, 0.7994, 1.231, 2.063, 3.414, 5.364, 7.966, 11.25, 15.23, 19.99",\
                 "0.67, 0.798, 1.234, 2.064, 3.414, 5.37, 7.966, 11.25, 15.22, 19.98",\
                 "0.67, 0.8, 1.234, 2.066, 3.416, 5.37, 7.958, 11.24, 15.22, 19.99",\
                 "0.672, 0.804, 1.236, 2.064, 3.416, 5.368, 7.964, 11.22, 15.23, 20.02",\
                 "0.68, 0.808, 1.242, 2.07, 3.418, 5.366, 7.96, 11.24, 15.23, 20",\
                 "0.684, 0.814, 1.244, 2.07, 3.414, 5.374, 7.952, 11.24, 15.24, 20");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("3.941, 4.033, 4.275, 4.61, 5.022, 5.521, 6.124, 6.855, 7.733, 8.773",\
                 "3.994, 4.086, 4.329, 4.663, 5.075, 5.574, 6.177, 6.908, 7.786, 8.826",\
                 "4.127, 4.219, 4.462, 4.797, 5.209, 5.707, 6.311, 7.042, 7.92, 8.959",\
                 "4.342, 4.434, 4.677, 5.011, 5.423, 5.921, 6.526, 7.257, 8.134, 9.173",\
                 "4.663, 4.755, 4.997, 5.333, 5.745, 6.243, 6.846, 7.578, 8.455, 9.495",\
                 "5.046, 5.139, 5.381, 5.717, 6.128, 6.626, 7.23, 7.961, 8.839, 9.878",\
                 "5.435, 5.527, 5.768, 6.103, 6.515, 7.013, 7.617, 8.347, 9.226, 10.26",\
                 "5.805, 5.898, 6.14, 6.475, 6.886, 7.384, 7.986, 8.716, 9.592, 10.63",\
                 "6.133, 6.225, 6.469, 6.805, 7.217, 7.715, 8.317, 9.048, 9.923, 10.96",\
                 "6.403, 6.496, 6.74, 7.076, 7.489, 7.987, 8.59, 9.321, 10.2, 11.23");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("4.829, 4.962, 5.344, 5.95, 6.818, 8.007, 9.56, 11.51, 13.88, 16.71",\
                 "4.882, 5.015, 5.396, 6.002, 6.871, 8.06, 9.612, 11.56, 13.94, 16.77",\
                 "5.101, 5.233, 5.615, 6.221, 7.09, 8.278, 9.832, 11.78, 14.16, 16.99",\
                 "5.529, 5.662, 6.044, 6.65, 7.519, 8.708, 10.26, 12.21, 14.59, 17.41",\
                 "6.205, 6.338, 6.72, 7.325, 8.194, 9.383, 10.94, 12.89, 15.26, 18.09",\
                 "7.159, 7.292, 7.674, 8.28, 9.149, 10.34, 11.89, 13.84, 16.21, 19.04",\
                 "8.389, 8.523, 8.904, 9.511, 10.38, 11.57, 13.12, 15.07, 17.44, 20.27",\
                 "9.813, 9.948, 10.33, 10.94, 11.8, 12.99, 14.55, 16.5, 18.87, 21.7",\
                 "11.36, 11.49, 11.88, 12.48, 13.35, 14.54, 16.1, 18.05, 20.42, 23.25",\
                 "13.02, 13.15, 13.54, 14.15, 15.02, 16.21, 17.76, 19.71, 22.09, 24.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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.5508, 0.6176, 0.819, 1.148, 1.626, 2.287, 3.187, 4.351, 5.807, 7.566",\
                 "0.5508, 0.6182, 0.8188, 1.148, 1.629, 2.291, 3.187, 4.352, 5.805, 7.565",\
                 "0.5512, 0.6182, 0.819, 1.148, 1.629, 2.29, 3.188, 4.351, 5.807, 7.563",\
                 "0.551, 0.6184, 0.8192, 1.148, 1.624, 2.288, 3.187, 4.351, 5.798, 7.565",\
                 "0.5504, 0.618, 0.8192, 1.148, 1.629, 2.291, 3.188, 4.345, 5.807, 7.561",\
                 "0.551, 0.619, 0.82, 1.149, 1.629, 2.29, 3.186, 4.347, 5.808, 7.556",\
                 "0.5512, 0.6184, 0.816, 1.15, 1.622, 2.29, 3.186, 4.35, 5.8, 7.564",\
                 "0.554, 0.622, 0.82, 1.15, 1.624, 2.284, 3.178, 4.34, 5.794, 7.55",\
                 "0.558, 0.626, 0.824, 1.152, 1.628, 2.29, 3.182, 4.338, 5.79, 7.54",\
                 "0.56, 0.628, 0.828, 1.154, 1.628, 2.29, 3.184, 4.344, 5.79, 7.552");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.6694, 0.7998, 1.233, 2.065, 3.416, 5.371, 7.967, 11.24, 15.25, 20.01",\
                 "0.6696, 0.7998, 1.233, 2.064, 3.414, 5.371, 7.966, 11.25, 15.24, 20.02",\
                 "0.669, 0.8, 1.233, 2.065, 3.412, 5.368, 7.968, 11.24, 15.23, 20.01",\
                 "0.669, 0.7998, 1.233, 2.061, 3.415, 5.368, 7.966, 11.23, 15.25, 19.99",\
                 "0.6692, 0.8, 1.233, 2.062, 3.415, 5.363, 7.968, 11.25, 15.25, 19.99",\
                 "0.67, 0.8, 1.234, 2.062, 3.416, 5.366, 7.966, 11.25, 15.22, 19.98",\
                 "0.67, 0.8, 1.234, 2.066, 3.414, 5.37, 7.968, 11.25, 15.22, 19.99",\
                 "0.672, 0.804, 1.236, 2.066, 3.416, 5.37, 7.96, 11.22, 15.23, 20.02",\
                 "0.676, 0.808, 1.24, 2.068, 3.416, 5.366, 7.96, 11.24, 15.24, 19.99",\
                 "0.682, 0.814, 1.246, 2.07, 3.414, 5.368, 7.956, 11.24, 15.24, 19.99");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("3.856, 3.993, 4.343, 4.806, 5.345, 5.959, 6.659, 7.46, 8.384, 9.45",\
                 "3.913, 4.051, 4.4, 4.864, 5.403, 6.017, 6.717, 7.519, 8.442, 9.508",\
                 "4.092, 4.229, 4.578, 5.042, 5.581, 6.197, 6.895, 7.697, 8.62, 9.687",\
                 "4.452, 4.588, 4.938, 5.402, 5.941, 6.556, 7.256, 8.057, 8.98, 10.05",\
                 "5.044, 5.181, 5.531, 5.993, 6.534, 7.147, 7.848, 8.648, 9.572, 10.64",\
                 "5.901, 6.038, 6.388, 6.85, 7.39, 8.005, 8.703, 9.505, 10.43, 11.49",\
                 "7.042, 7.18, 7.529, 7.992, 8.532, 9.147, 9.846, 10.65, 11.57, 12.64",\
                 "8.426, 8.57, 8.931, 9.401, 9.947, 10.56, 11.27, 12.07, 12.99, 14.06",\
                 "9.933, 10.09, 10.49, 10.99, 11.55, 12.18, 12.89, 13.7, 14.63, 15.69",\
                 "11.53, 11.7, 12.13, 12.67, 13.26, 13.92, 14.64, 15.46, 16.4, 17.47");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("1.832, 1.96, 2.332, 2.93, 3.795, 4.98, 6.53, 8.478, 10.85, 13.68",\
                 "1.885, 2.013, 2.384, 2.983, 3.848, 5.033, 6.583, 8.53, 10.9, 13.74",\
                 "2.071, 2.2, 2.572, 3.17, 4.034, 5.22, 6.77, 8.718, 11.09, 13.92",\
                 "2.42, 2.549, 2.92, 3.517, 4.381, 5.567, 7.117, 9.065, 11.44, 14.27",\
                 "2.953, 3.081, 3.451, 4.048, 4.911, 6.096, 7.648, 9.595, 11.97, 14.8",\
                 "3.61, 3.743, 4.121, 4.721, 5.583, 6.769, 8.32, 10.27, 12.64, 15.48",\
                 "4.293, 4.434, 4.825, 5.436, 6.305, 7.49, 9.04, 10.99, 13.37, 16.19",\
                 "4.986, 5.136, 5.545, 6.165, 7.038, 8.227, 9.778, 11.72, 14.1, 16.93",\
                 "5.677, 5.839, 6.27, 6.905, 7.78, 8.968, 10.52, 12.47, 14.84, 17.67",\
                 "6.354, 6.53, 6.987, 7.639, 8.52, 9.709, 11.26, 13.21, 15.59, 18.42");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.9266, 1.012, 1.257, 1.641, 2.161, 2.833, 3.699, 4.794, 6.166, 7.839",\
                 "0.926, 1.012, 1.259, 1.641, 2.161, 2.833, 3.699, 4.789, 6.165, 7.844",\
                 "0.9268, 1.012, 1.258, 1.642, 2.16, 2.832, 3.7, 4.792, 6.165, 7.839",\
                 "0.9274, 1.013, 1.258, 1.642, 2.16, 2.832, 3.7, 4.791, 6.164, 7.84",\
                 "0.927, 1.012, 1.257, 1.64, 2.16, 2.832, 3.7, 4.79, 6.165, 7.844",\
                 "0.9264, 1.012, 1.257, 1.641, 2.16, 2.83, 3.7, 4.792, 6.16, 7.838",\
                 "0.936, 1.018, 1.262, 1.646, 2.162, 2.834, 3.7, 4.794, 6.16, 7.844",\
                 "1.012, 1.088, 1.314, 1.682, 2.192, 2.852, 3.71, 4.802, 6.17, 7.846",\
                 "1.156, 1.236, 1.452, 1.796, 2.284, 2.93, 3.758, 4.84, 6.19, 7.862",\
                 "1.31, 1.394, 1.612, 1.95, 2.41, 3.04, 3.86, 4.918, 6.25, 7.894");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.6324, 0.763, 1.201, 2.035, 3.396, 5.355, 7.95, 11.23, 15.22, 19.98",\
                 "0.6334, 0.7634, 1.201, 2.037, 3.396, 5.355, 7.954, 11.24, 15.24, 19.99",\
                 "0.6326, 0.7628, 1.198, 2.036, 3.396, 5.348, 7.955, 11.23, 15.25, 19.98",\
                 "0.6332, 0.7636, 1.198, 2.036, 3.396, 5.356, 7.95, 11.23, 15.23, 19.99",\
                 "0.6362, 0.7672, 1.204, 2.038, 3.396, 5.35, 7.953, 11.24, 15.23, 19.98",\
                 "0.6772, 0.8028, 1.226, 2.046, 3.398, 5.357, 7.947, 11.24, 15.26, 19.98",\
                 "0.7416, 0.8638, 1.274, 2.083, 3.418, 5.36, 7.954, 11.24, 15.21, 19.97",\
                 "0.822, 0.938, 1.334, 2.124, 3.44, 5.38, 7.962, 11.23, 15.23, 20.02",\
                 "0.918, 1.032, 1.408, 2.17, 3.468, 5.39, 7.974, 11.24, 15.24, 19.99",\
                 "1.028, 1.14, 1.5, 2.228, 3.494, 5.406, 7.99, 11.25, 15.23, 20");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("3.855, 3.992, 4.342, 4.805, 5.345, 5.96, 6.66, 7.462, 8.386, 9.452",\
                 "3.912, 4.05, 4.399, 4.864, 5.404, 6.018, 6.718, 7.52, 8.444, 9.51",\
                 "4.091, 4.228, 4.578, 5.043, 5.583, 6.199, 6.897, 7.699, 8.623, 9.69",\
                 "4.451, 4.589, 4.939, 5.402, 5.942, 6.559, 7.257, 8.059, 8.984, 10.05",\
                 "5.045, 5.182, 5.532, 5.995, 6.536, 7.15, 7.85, 8.652, 9.575, 10.64",\
                 "5.902, 6.038, 6.389, 6.853, 7.392, 8.007, 8.706, 9.508, 10.43, 11.5",\
                 "7.043, 7.181, 7.531, 7.995, 8.533, 9.149, 9.848, 10.65, 11.57, 12.64",\
                 "8.426, 8.571, 8.932, 9.402, 9.947, 10.57, 11.27, 12.07, 13, 14.06",\
                 "9.933, 10.09, 10.49, 10.99, 11.55, 12.18, 12.89, 13.7, 14.63, 15.7",\
                 "11.53, 11.7, 12.14, 12.67, 13.26, 13.92, 14.64, 15.46, 16.4, 17.47");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("1.832, 1.96, 2.331, 2.93, 3.794, 4.98, 6.53, 8.478, 10.85, 13.68",\
                 "1.884, 2.013, 2.384, 2.983, 3.848, 5.033, 6.583, 8.53, 10.9, 13.73",\
                 "2.071, 2.2, 2.571, 3.17, 4.035, 5.22, 6.77, 8.718, 11.09, 13.92",\
                 "2.42, 2.549, 2.92, 3.517, 4.381, 5.567, 7.117, 9.065, 11.44, 14.27",\
                 "2.953, 3.082, 3.451, 4.048, 4.911, 6.097, 7.648, 9.596, 11.97, 14.81",\
                 "3.609, 3.743, 4.121, 4.721, 5.584, 6.769, 8.32, 10.27, 12.65, 15.48",\
                 "4.293, 4.433, 4.825, 5.435, 6.305, 7.49, 9.039, 10.99, 13.36, 16.2",\
                 "4.986, 5.136, 5.544, 6.166, 7.037, 8.227, 9.777, 11.73, 14.1, 16.94",\
                 "5.677, 5.838, 6.269, 6.903, 7.781, 8.969, 10.52, 12.47, 14.84, 17.67",\
                 "6.354, 6.53, 6.988, 7.64, 8.522, 9.709, 11.26, 13.21, 15.59, 18.42");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.9296, 1.014, 1.26, 1.642, 2.16, 2.834, 3.699, 4.795, 6.162, 7.843",\
                 "0.9278, 1.014, 1.26, 1.642, 2.163, 2.835, 3.701, 4.792, 6.159, 7.844",\
                 "0.9276, 1.013, 1.26, 1.643, 2.163, 2.833, 3.701, 4.794, 6.167, 7.84",\
                 "0.929, 1.013, 1.259, 1.642, 2.162, 2.834, 3.701, 4.794, 6.165, 7.84",\
                 "0.9284, 1.014, 1.258, 1.642, 2.161, 2.832, 3.7, 4.794, 6.162, 7.844",\
                 "0.9278, 1.013, 1.258, 1.641, 2.158, 2.834, 3.7, 4.794, 6.166, 7.844",\
                 "0.936, 1.02, 1.264, 1.646, 2.164, 2.834, 3.702, 4.796, 6.166, 7.836",\
                 "1.012, 1.09, 1.314, 1.684, 2.192, 2.854, 3.714, 4.806, 6.172, 7.838",\
                 "1.158, 1.236, 1.454, 1.798, 2.284, 2.928, 3.76, 4.84, 6.194, 7.862",\
                 "1.308, 1.392, 1.614, 1.95, 2.414, 3.04, 3.866, 4.926, 6.252, 7.894");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.6322, 0.763, 1.201, 2.036, 3.396, 5.356, 7.95, 11.23, 15.23, 19.98",\
                 "0.6328, 0.7634, 1.201, 2.037, 3.396, 5.355, 7.954, 11.24, 15.23, 19.99",\
                 "0.6326, 0.7636, 1.198, 2.037, 3.394, 5.351, 7.958, 11.23, 15.26, 19.98",\
                 "0.6328, 0.7632, 1.201, 2.037, 3.396, 5.356, 7.946, 11.23, 15.23, 19.99",\
                 "0.6364, 0.7676, 1.205, 2.036, 3.396, 5.356, 7.951, 11.22, 15.22, 19.99",\
                 "0.6768, 0.8036, 1.226, 2.045, 3.399, 5.356, 7.954, 11.23, 15.23, 19.99",\
                 "0.74, 0.864, 1.277, 2.084, 3.416, 5.358, 7.944, 11.22, 15.21, 19.98",\
                 "0.824, 0.938, 1.334, 2.122, 3.442, 5.378, 7.958, 11.23, 15.23, 20.01",\
                 "0.918, 1.032, 1.408, 2.168, 3.468, 5.396, 7.972, 11.24, 15.24, 19.99",\
                 "1.028, 1.142, 1.5, 2.232, 3.5, 5.402, 7.992, 11.25, 15.23, 20");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("3.855, 3.992, 4.342, 4.805, 5.345, 5.96, 6.66, 7.462, 8.386, 9.452",\
                 "3.912, 4.05, 4.399, 4.864, 5.404, 6.018, 6.718, 7.52, 8.444, 9.51",\
                 "4.091, 4.228, 4.578, 5.043, 5.583, 6.199, 6.897, 7.699, 8.623, 9.69",\
                 "4.451, 4.589, 4.939, 5.402, 5.942, 6.559, 7.257, 8.059, 8.984, 10.05",\
                 "5.045, 5.182, 5.532, 5.995, 6.536, 7.15, 7.85, 8.652, 9.575, 10.64",\
                 "5.902, 6.038, 6.389, 6.853, 7.392, 8.007, 8.706, 9.508, 10.43, 11.5",\
                 "7.043, 7.181, 7.531, 7.995, 8.533, 9.149, 9.848, 10.65, 11.57, 12.64",\
                 "8.426, 8.571, 8.932, 9.402, 9.947, 10.57, 11.27, 12.07, 13, 14.06",\
                 "9.933, 10.09, 10.49, 10.99, 11.55, 12.18, 12.89, 13.7, 14.63, 15.7",\
                 "11.53, 11.7, 12.14, 12.67, 13.26, 13.92, 14.64, 15.46, 16.4, 17.47");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("1.832, 1.96, 2.331, 2.93, 3.794, 4.98, 6.53, 8.478, 10.85, 13.68",\
                 "1.884, 2.013, 2.384, 2.983, 3.848, 5.033, 6.583, 8.53, 10.9, 13.73",\
                 "2.071, 2.2, 2.571, 3.17, 4.035, 5.22, 6.77, 8.718, 11.09, 13.92",\
                 "2.42, 2.549, 2.92, 3.517, 4.381, 5.567, 7.117, 9.065, 11.44, 14.27",\
                 "2.953, 3.082, 3.451, 4.048, 4.911, 6.097, 7.648, 9.596, 11.97, 14.81",\
                 "3.609, 3.743, 4.121, 4.721, 5.584, 6.769, 8.32, 10.27, 12.65, 15.48",\
                 "4.293, 4.433, 4.825, 5.435, 6.305, 7.49, 9.039, 10.99, 13.36, 16.2",\
                 "4.986, 5.136, 5.544, 6.166, 7.037, 8.227, 9.777, 11.73, 14.1, 16.94",\
                 "5.677, 5.838, 6.269, 6.903, 7.781, 8.969, 10.52, 12.47, 14.84, 17.67",\
                 "6.354, 6.53, 6.988, 7.64, 8.522, 9.709, 11.26, 13.21, 15.59, 18.42");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.9296, 1.014, 1.26, 1.642, 2.16, 2.834, 3.699, 4.795, 6.162, 7.843",\
                 "0.9278, 1.014, 1.26, 1.642, 2.163, 2.835, 3.701, 4.792, 6.159, 7.844",\
                 "0.9276, 1.013, 1.26, 1.643, 2.163, 2.833, 3.701, 4.794, 6.167, 7.84",\
                 "0.929, 1.013, 1.259, 1.642, 2.162, 2.834, 3.701, 4.794, 6.165, 7.84",\
                 "0.9284, 1.014, 1.258, 1.642, 2.161, 2.832, 3.7, 4.794, 6.162, 7.844",\
                 "0.9278, 1.013, 1.258, 1.641, 2.158, 2.834, 3.7, 4.794, 6.166, 7.844",\
                 "0.936, 1.02, 1.264, 1.646, 2.164, 2.834, 3.702, 4.796, 6.166, 7.836",\
                 "1.012, 1.09, 1.314, 1.684, 2.192, 2.854, 3.714, 4.806, 6.172, 7.838",\
                 "1.158, 1.236, 1.454, 1.798, 2.284, 2.928, 3.76, 4.84, 6.194, 7.862",\
                 "1.308, 1.392, 1.614, 1.95, 2.414, 3.04, 3.866, 4.926, 6.252, 7.894");
        }

        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.007488, 0.03026, 0.07375, 0.1415, 0.2366, 0.3617, 0.5193, 0.7117, 0.941");
          values("0.6324, 0.763, 1.201, 2.035, 3.396, 5.355, 7.95, 11.23, 15.22, 19.98",\
                 "0.6334, 0.7634, 1.201, 2.037, 3.396, 5.355, 7.954, 11.24, 15.24, 19.99",\
                 "0.6326, 0.7628, 1.198, 2.036, 3.396, 5.348, 7.955, 11.23, 15.25, 19.98",\
                 "0.6332, 0.7636, 1.198, 2.036, 3.396, 5.356, 7.95, 11.23, 15.23, 19.99",\
                 "0.6362, 0.7672, 1.204, 2.038, 3.396, 5.35, 7.953, 11.24, 15.23, 19.98",\
                 "0.6772, 0.8028, 1.226, 2.046, 3.398, 5.357, 7.947, 11.24, 15.26, 19.98",\
                 "0.7416, 0.8638, 1.274, 2.083, 3.418, 5.36, 7.954, 11.24, 15.21, 19.97",\
                 "0.822, 0.938, 1.334, 2.124, 3.44, 5.38, 7.962, 11.23, 15.23, 20.02",\
                 "0.918, 1.032, 1.408, 2.17, 3.468, 5.39, 7.974, 11.24, 15.24, 19.99",\
                 "1.028, 1.14, 1.5, 2.228, 3.494, 5.406, 7.99, 11.25, 15.23, 20");
        }
      }
    }
  }