  cell(gf180mcu_fd_sc_mcu9t5v0__xor3_2) {
    area : 79.027200 ;

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&!A2&!A3" ;
      value : "3.25863e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&!A2&A3" ;
      value : "3.25863e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&A2&!A3" ;
      value : "3.15009e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&A2&A3" ;
      value : "3.358746e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&!A2&!A3" ;
      value : "3.645162e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&!A2&A3" ;
      value : "3.853818e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&A2&!A3" ;
      value : "2.682882e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&A2&A3" ;
      value : "2.682882e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      value : "3.853818e-05" ;
    }

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

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

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

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

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

    pin(Z) {
      direction : output ;
      function : "(A1^A2^A3)" ;
      max_capacitance : 0.4052 ;
      max_transition : 17 ;
      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.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.06897, 0.0691, 0.06946, 0.06988, 0.07024, 0.07051, 0.07069, 0.0708, 0.07087, 0.07092",\
                 "0.06893, 0.06904, 0.06942, 0.06984, 0.07021, 0.07047, 0.07064, 0.07076, 0.07083, 0.07088",\
                 "0.06887, 0.06901, 0.06937, 0.06979, 0.07016, 0.07042, 0.07061, 0.07071, 0.07078, 0.07083",\
                 "0.06881, 0.06895, 0.0693, 0.06975, 0.0701, 0.07037, 0.07054, 0.07065, 0.07072, 0.07077",\
                 "0.06876, 0.06888, 0.06925, 0.06969, 0.07004, 0.07031, 0.07048, 0.07059, 0.07067, 0.07071",\
                 "0.06864, 0.06877, 0.06913, 0.06956, 0.06992, 0.07019, 0.07036, 0.07049, 0.07055, 0.07059",\
                 "0.0685, 0.06863, 0.06898, 0.06942, 0.06978, 0.07004, 0.07021, 0.07034, 0.0704, 0.07036",\
                 "0.06834, 0.06848, 0.06884, 0.06927, 0.06963, 0.06989, 0.07006, 0.07014, 0.06998, 0.06902",\
                 "0.06811, 0.06825, 0.06862, 0.06905, 0.06936, 0.0695, 0.06893, 0.067, 0.06508, 0.06369",\
                 "0.04223, 0.04245, 0.04298, 0.04352, 0.04395, 0.04426, 0.04446, 0.04457, 0.04465, 0.04473");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.0623, 0.06239, 0.06267, 0.06304, 0.0634, 0.06386, 0.06417, 0.06591, 0.08686, 0.191",\
                 "0.06235, 0.06245, 0.06274, 0.06307, 0.06344, 0.06392, 0.06446, 0.06654, 0.08847, 0.1943",\
                 "0.06234, 0.06246, 0.0627, 0.06307, 0.06345, 0.06408, 0.06444, 0.06642, 0.09257, 0.2048",\
                 "0.06211, 0.06222, 0.0625, 0.06288, 0.06324, 0.0636, 0.06445, 0.06705, 0.1015, 0.2242",\
                 "0.06192, 0.06204, 0.06229, 0.06262, 0.06313, 0.06349, 0.06429, 0.0689, 0.1196, 0.2519",\
                 "0.06175, 0.06184, 0.0621, 0.06244, 0.06292, 0.06331, 0.06418, 0.07492, 0.1507, 0.2829",\
                 "0.06161, 0.06172, 0.06197, 0.06235, 0.06269, 0.06332, 0.06496, 0.09149, 0.195, 0.3097",\
                 "0.06142, 0.06152, 0.06179, 0.06216, 0.06256, 0.06309, 0.07015, 0.133, 0.2385, 0.3219",\
                 "0.06127, 0.06138, 0.06162, 0.06202, 0.06247, 0.06475, 0.1023, 0.1883, 0.2568, 0.3058",\
                 "0.06103, 0.06113, 0.0614, 0.06172, 0.06394, 0.09862, 0.1561, 0.1965, 0.2239, 0.243");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.08148, 0.08164, 0.08201, 0.0824, 0.0827, 0.08292, 0.08307, 0.08316, 0.08321, 0.08325",\
                 "0.08157, 0.08168, 0.08205, 0.08243, 0.08276, 0.08298, 0.08311, 0.08321, 0.08327, 0.08331",\
                 "0.08156, 0.08169, 0.08204, 0.08242, 0.08275, 0.08296, 0.08311, 0.0832, 0.08326, 0.08331",\
                 "0.08134, 0.08147, 0.08182, 0.08222, 0.08253, 0.08275, 0.08289, 0.08298, 0.08304, 0.08308",\
                 "0.08113, 0.08127, 0.08162, 0.08202, 0.08232, 0.08254, 0.0827, 0.08278, 0.08285, 0.08289",\
                 "0.08093, 0.08105, 0.08143, 0.08182, 0.08213, 0.08235, 0.0825, 0.08259, 0.08264, 0.08269",\
                 "0.08076, 0.08089, 0.08126, 0.08165, 0.08196, 0.08219, 0.08232, 0.08243, 0.08248, 0.0825",\
                 "0.0806, 0.08071, 0.08108, 0.08148, 0.08179, 0.08202, 0.08215, 0.08225, 0.08229, 0.08216",\
                 "0.08041, 0.08055, 0.0809, 0.08129, 0.0816, 0.08182, 0.08196, 0.08201, 0.08171, 0.08036",\
                 "0.08017, 0.08029, 0.08066, 0.08104, 0.08135, 0.08153, 0.08108, 0.07903, 0.07702, 0.07556");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.07278, 0.07291, 0.07328, 0.0737, 0.07429, 0.07473, 0.07536, 0.07709, 0.1076, 0.2253",\
                 "0.07275, 0.07289, 0.07324, 0.07375, 0.07418, 0.07473, 0.07513, 0.07753, 0.1085, 0.2283",\
                 "0.07268, 0.07284, 0.07316, 0.07366, 0.07419, 0.07453, 0.07509, 0.07797, 0.1152, 0.2393",\
                 "0.07265, 0.07278, 0.07317, 0.07358, 0.07416, 0.0745, 0.07504, 0.07953, 0.128, 0.2598",\
                 "0.07258, 0.07272, 0.07305, 0.0735, 0.07406, 0.07443, 0.0752, 0.08415, 0.154, 0.2882",\
                 "0.07247, 0.0726, 0.07294, 0.07339, 0.07398, 0.07445, 0.07585, 0.09795, 0.1979, 0.3169",\
                 "0.0723, 0.07243, 0.07281, 0.0733, 0.07382, 0.07428, 0.08084, 0.1405, 0.2475, 0.3327",\
                 "0.07215, 0.07229, 0.07268, 0.07314, 0.07364, 0.07658, 0.119, 0.203, 0.2675, 0.3134",\
                 "0.07202, 0.07212, 0.0725, 0.07306, 0.0805, 0.1266, 0.1679, 0.1954, 0.2139, 0.2267",\
                 "0.04693, 0.04685, 0.04676, 0.0467, 0.04664, 0.04663, 0.04661, 0.04659, 0.04659, 0.04658");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.04798, 0.04811, 0.04847, 0.0489, 0.04926, 0.04953, 0.04971, 0.04982, 0.0499, 0.04994",\
                 "0.04796, 0.04809, 0.04845, 0.04889, 0.04925, 0.04952, 0.04971, 0.04982, 0.04989, 0.04994",\
                 "0.04794, 0.04807, 0.04844, 0.04887, 0.04925, 0.04951, 0.04969, 0.04981, 0.04988, 0.04993",\
                 "0.04786, 0.048, 0.04837, 0.04878, 0.04915, 0.04942, 0.0496, 0.04972, 0.04979, 0.04984",\
                 "0.04766, 0.0478, 0.04816, 0.04859, 0.04896, 0.04922, 0.0494, 0.04951, 0.0496, 0.04964",\
                 "0.04748, 0.04761, 0.04797, 0.0484, 0.04876, 0.04903, 0.04921, 0.04933, 0.04941, 0.04946",\
                 "0.04731, 0.04744, 0.0478, 0.04822, 0.0486, 0.04887, 0.04905, 0.04917, 0.04924, 0.0493",\
                 "0.04719, 0.04732, 0.04767, 0.04808, 0.04845, 0.04872, 0.0489, 0.04902, 0.04909, 0.04912",\
                 "0.04705, 0.04719, 0.04755, 0.04795, 0.04832, 0.04859, 0.04877, 0.04888, 0.04891, 0.04863",\
                 "0.04695, 0.0471, 0.04746, 0.04785, 0.04822, 0.04847, 0.0486, 0.04829, 0.04686, 0.04497");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.05961, 0.05972, 0.05996, 0.06035, 0.06081, 0.06136, 0.06179, 0.06284, 0.07717, 0.1649",\
                 "0.05966, 0.05976, 0.06003, 0.06038, 0.06078, 0.06125, 0.0618, 0.06285, 0.07796, 0.1692",\
                 "0.05951, 0.05964, 0.05987, 0.06019, 0.06068, 0.06107, 0.06162, 0.06325, 0.08109, 0.1778",\
                 "0.05933, 0.05941, 0.05968, 0.06006, 0.06049, 0.06088, 0.06146, 0.06334, 0.0881, 0.1984",\
                 "0.05911, 0.05922, 0.05948, 0.05989, 0.06033, 0.0607, 0.06142, 0.06467, 0.1051, 0.2316",\
                 "0.05899, 0.05907, 0.05935, 0.05968, 0.0601, 0.06059, 0.06137, 0.07017, 0.1406, 0.2742",\
                 "0.05885, 0.05894, 0.0592, 0.05958, 0.05994, 0.06047, 0.06274, 0.09358, 0.2001, 0.3103",\
                 "0.0587, 0.05881, 0.05908, 0.05944, 0.05984, 0.06071, 0.07815, 0.161, 0.2501, 0.3155",\
                 "0.05848, 0.05861, 0.05884, 0.05922, 0.06032, 0.08585, 0.1497, 0.1977, 0.2305, 0.2535",\
                 "0.05516, 0.05485, 0.05825, 0.06438, 0.0687, 0.07129, 0.07281, 0.07376, 0.07439, 0.07481");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.0795, 0.07962, 0.07998, 0.08037, 0.08069, 0.08089, 0.08104, 0.08113, 0.0812, 0.08124",\
                 "0.07951, 0.07965, 0.08, 0.08041, 0.08072, 0.08094, 0.08107, 0.08118, 0.08123, 0.08128",\
                 "0.07938, 0.0795, 0.07987, 0.08026, 0.08058, 0.0808, 0.08094, 0.08102, 0.08108, 0.08112",\
                 "0.07917, 0.07931, 0.07966, 0.08005, 0.08037, 0.08059, 0.08074, 0.08082, 0.08087, 0.08092",\
                 "0.079, 0.07913, 0.0795, 0.07989, 0.0802, 0.08041, 0.08056, 0.08065, 0.08071, 0.08075",\
                 "0.07887, 0.07899, 0.07935, 0.07974, 0.08006, 0.08028, 0.08042, 0.08052, 0.08057, 0.08061",\
                 "0.07871, 0.07888, 0.07923, 0.07961, 0.07993, 0.08015, 0.08029, 0.08039, 0.08044, 0.08046",\
                 "0.07858, 0.07872, 0.07907, 0.07947, 0.07979, 0.08001, 0.08013, 0.08021, 0.0802, 0.07969",\
                 "0.07837, 0.07851, 0.07886, 0.07928, 0.07959, 0.07978, 0.07971, 0.07834, 0.07618, 0.07455",\
                 "0.04481, 0.04494, 0.04532, 0.04576, 0.04611, 0.04635, 0.04649, 0.04659, 0.04666, 0.04671");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.05406, 0.05418, 0.05453, 0.05503, 0.05547, 0.05599, 0.0566, 0.05659, 0.06498, 0.1267",\
                 "0.05405, 0.05417, 0.05453, 0.05503, 0.05557, 0.05597, 0.05639, 0.05678, 0.06528, 0.1292",\
                 "0.05404, 0.05416, 0.05449, 0.05499, 0.05553, 0.05586, 0.05636, 0.05708, 0.06669, 0.1363",\
                 "0.05394, 0.0541, 0.05442, 0.05492, 0.05545, 0.05581, 0.05613, 0.057, 0.07038, 0.1533",\
                 "0.05379, 0.05392, 0.05427, 0.05472, 0.05523, 0.05574, 0.05596, 0.0574, 0.07879, 0.1825",\
                 "0.05361, 0.05374, 0.05412, 0.05459, 0.05513, 0.05548, 0.05599, 0.05903, 0.09858, 0.2267",\
                 "0.05349, 0.05362, 0.054, 0.05447, 0.055, 0.05536, 0.05593, 0.0658, 0.1396, 0.273",\
                 "0.05334, 0.05346, 0.05387, 0.05433, 0.05476, 0.05531, 0.05777, 0.09241, 0.2015, 0.3074",\
                 "0.05325, 0.05334, 0.05372, 0.05422, 0.05487, 0.05579, 0.07476, 0.1595, 0.2459, 0.309",\
                 "0.05316, 0.05331, 0.05365, 0.05414, 0.05506, 0.07771, 0.1428, 0.1936, 0.2285, 0.253");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.06801, 0.06816, 0.06851, 0.06895, 0.06931, 0.06957, 0.06975, 0.06986, 0.06993, 0.06998",\
                 "0.06796, 0.06809, 0.06846, 0.06889, 0.06925, 0.06951, 0.0697, 0.0698, 0.06987, 0.06992",\
                 "0.06786, 0.06799, 0.06836, 0.06878, 0.06915, 0.06941, 0.06958, 0.0697, 0.06977, 0.06982",\
                 "0.06777, 0.06791, 0.06826, 0.06869, 0.06905, 0.06932, 0.0695, 0.06961, 0.06968, 0.06973",\
                 "0.06769, 0.06783, 0.06818, 0.06863, 0.06899, 0.06925, 0.06942, 0.06953, 0.06961, 0.06966",\
                 "0.06761, 0.06772, 0.06809, 0.06851, 0.06887, 0.06915, 0.06932, 0.06943, 0.0695, 0.06954",\
                 "0.06746, 0.06758, 0.06795, 0.06837, 0.06873, 0.06901, 0.06918, 0.0693, 0.06936, 0.06932",\
                 "0.06733, 0.06747, 0.06783, 0.06824, 0.06862, 0.06887, 0.06904, 0.06913, 0.06893, 0.06787",\
                 "0.06706, 0.06719, 0.06755, 0.06795, 0.06828, 0.0683, 0.06735, 0.0652, 0.06343, 0.06215",\
                 "0.03719, 0.03735, 0.03778, 0.03828, 0.03873, 0.03902, 0.03921, 0.03934, 0.03943, 0.03948");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.0605, 0.06059, 0.06084, 0.0612, 0.06168, 0.06223, 0.06251, 0.06402, 0.08416, 0.1849",\
                 "0.06053, 0.06062, 0.06088, 0.06126, 0.06163, 0.06228, 0.06257, 0.06386, 0.08463, 0.1867",\
                 "0.06052, 0.0606, 0.06089, 0.06121, 0.0617, 0.06209, 0.06284, 0.06434, 0.0884, 0.1971",\
                 "0.06039, 0.06049, 0.06075, 0.06114, 0.06149, 0.06214, 0.06246, 0.06503, 0.09686, 0.2166",\
                 "0.06028, 0.06038, 0.06062, 0.061, 0.06139, 0.06186, 0.06232, 0.06691, 0.1136, 0.2453",\
                 "0.06016, 0.06025, 0.06053, 0.06089, 0.06134, 0.06165, 0.06252, 0.07216, 0.1429, 0.277",\
                 "0.06005, 0.06013, 0.06042, 0.06077, 0.06116, 0.0616, 0.06325, 0.08689, 0.1873, 0.3055",\
                 "0.05991, 0.06001, 0.06028, 0.06065, 0.061, 0.06143, 0.06762, 0.1258, 0.2332, 0.3201",\
                 "0.05984, 0.05992, 0.06019, 0.06055, 0.06096, 0.06298, 0.09582, 0.1829, 0.2554, 0.3074",\
                 "0.05968, 0.05979, 0.06005, 0.06044, 0.06198, 0.09159, 0.1531, 0.1975, 0.2278, 0.2489");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.07962, 0.07978, 0.08012, 0.08051, 0.08082, 0.08105, 0.0812, 0.08128, 0.08136, 0.08139",\
                 "0.07967, 0.07981, 0.08017, 0.08055, 0.08087, 0.08108, 0.08123, 0.08132, 0.08138, 0.08143",\
                 "0.07966, 0.07979, 0.08014, 0.08053, 0.08084, 0.08108, 0.08121, 0.08131, 0.08137, 0.08141",\
                 "0.07953, 0.07967, 0.08003, 0.08042, 0.08072, 0.08095, 0.08109, 0.08119, 0.08125, 0.0813",\
                 "0.07941, 0.07954, 0.0799, 0.08029, 0.0806, 0.08081, 0.08095, 0.08105, 0.0811, 0.08115",\
                 "0.07926, 0.0794, 0.07977, 0.08015, 0.08048, 0.0807, 0.08084, 0.08093, 0.08099, 0.08103",\
                 "0.07916, 0.07929, 0.07966, 0.08004, 0.08037, 0.08058, 0.08072, 0.08081, 0.08088, 0.0809",\
                 "0.07903, 0.07916, 0.07953, 0.07992, 0.08024, 0.08046, 0.08059, 0.08069, 0.08074, 0.08065",\
                 "0.07891, 0.07905, 0.07942, 0.07981, 0.08012, 0.08035, 0.08048, 0.08055, 0.08034, 0.07917",\
                 "0.07877, 0.0789, 0.07927, 0.07967, 0.07997, 0.08019, 0.07997, 0.07829, 0.07616, 0.07461");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.07211, 0.07224, 0.07259, 0.07306, 0.07357, 0.0741, 0.07431, 0.07629, 0.1059, 0.2214",\
                 "0.07206, 0.0722, 0.07255, 0.07303, 0.07357, 0.07402, 0.07443, 0.07659, 0.1065, 0.2238",\
                 "0.07196, 0.07205, 0.07244, 0.07291, 0.0734, 0.07382, 0.07417, 0.07708, 0.1111, 0.2342",\
                 "0.07186, 0.07197, 0.07235, 0.0728, 0.07329, 0.07371, 0.0743, 0.07844, 0.1239, 0.2545",\
                 "0.07178, 0.0719, 0.07227, 0.07274, 0.07319, 0.07374, 0.07428, 0.08268, 0.1497, 0.2842",\
                 "0.07168, 0.07181, 0.07215, 0.07268, 0.07311, 0.07353, 0.07517, 0.09605, 0.1951, 0.3149",\
                 "0.07155, 0.07168, 0.07203, 0.07253, 0.07305, 0.07347, 0.07982, 0.1397, 0.2467, 0.332",\
                 "0.07141, 0.07156, 0.07188, 0.07237, 0.07288, 0.07632, 0.1213, 0.2039, 0.2663, 0.3107",\
                 "0.07124, 0.0714, 0.07173, 0.07232, 0.08352, 0.1295, 0.1653, 0.1888, 0.2047, 0.2156",\
                 "0.03866, 0.03865, 0.03865, 0.03863, 0.03864, 0.03863, 0.03861, 0.03862, 0.03861, 0.03861");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.04847, 0.04861, 0.04897, 0.04939, 0.04977, 0.05004, 0.0502, 0.05032, 0.0504, 0.05044",\
                 "0.04849, 0.04861, 0.04897, 0.04942, 0.04979, 0.05005, 0.05022, 0.05034, 0.05041, 0.05046",\
                 "0.04849, 0.04864, 0.04899, 0.04942, 0.0498, 0.05006, 0.05024, 0.05036, 0.05043, 0.05048",\
                 "0.04844, 0.04859, 0.04894, 0.04937, 0.04973, 0.05, 0.05018, 0.0503, 0.05038, 0.05042",\
                 "0.04829, 0.04844, 0.04879, 0.04923, 0.04958, 0.04985, 0.05003, 0.05016, 0.05022, 0.05028",\
                 "0.04814, 0.04829, 0.04864, 0.04906, 0.04943, 0.0497, 0.04988, 0.05, 0.05007, 0.05012",\
                 "0.048, 0.04814, 0.04848, 0.0489, 0.04927, 0.04953, 0.04972, 0.04984, 0.04991, 0.04996",\
                 "0.04788, 0.04801, 0.04837, 0.04879, 0.04915, 0.04941, 0.0496, 0.04971, 0.04978, 0.04982",\
                 "0.04775, 0.0479, 0.04825, 0.04866, 0.04903, 0.04929, 0.04949, 0.04959, 0.04964, 0.0494",\
                 "0.04767, 0.04779, 0.04814, 0.04857, 0.04893, 0.04919, 0.04933, 0.04913, 0.04789, 0.04599");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.06068, 0.06079, 0.06105, 0.0614, 0.06179, 0.06223, 0.06281, 0.06427, 0.0808, 0.1739",\
                 "0.06055, 0.06066, 0.06094, 0.06129, 0.06168, 0.06211, 0.0627, 0.06417, 0.08149, 0.1764",\
                 "0.06044, 0.06055, 0.06082, 0.06119, 0.0616, 0.0622, 0.06259, 0.06434, 0.08471, 0.1853",\
                 "0.06033, 0.06042, 0.0607, 0.06101, 0.0614, 0.06189, 0.06262, 0.06446, 0.09272, 0.2066",\
                 "0.06023, 0.06032, 0.06059, 0.06095, 0.06139, 0.06177, 0.06253, 0.06647, 0.1097, 0.24",\
                 "0.0601, 0.06022, 0.06048, 0.06084, 0.06118, 0.06184, 0.06235, 0.07319, 0.1478, 0.281",\
                 "0.05999, 0.06009, 0.06035, 0.06069, 0.06109, 0.06158, 0.06428, 0.09957, 0.2082, 0.314",\
                 "0.05983, 0.05994, 0.06019, 0.06056, 0.06105, 0.06203, 0.08306, 0.1687, 0.2531, 0.3145",\
                 "0.05964, 0.05974, 0.06001, 0.06037, 0.06191, 0.09373, 0.1537, 0.1965, 0.2258, 0.2461",\
                 "0.0505, 0.05068, 0.05274, 0.05502, 0.0564, 0.0572, 0.05766, 0.05793, 0.05811, 0.05823");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.08106, 0.08119, 0.08153, 0.08193, 0.08225, 0.08246, 0.08261, 0.08269, 0.08275, 0.0828",\
                 "0.08095, 0.08107, 0.08142, 0.08184, 0.08215, 0.08236, 0.0825, 0.08259, 0.08265, 0.0827",\
                 "0.08083, 0.08096, 0.08132, 0.0817, 0.08202, 0.08223, 0.08237, 0.08248, 0.08254, 0.08258",\
                 "0.0807, 0.08082, 0.0812, 0.08157, 0.0819, 0.08212, 0.08227, 0.08236, 0.0824, 0.08245",\
                 "0.0806, 0.08073, 0.08109, 0.08146, 0.08178, 0.08201, 0.08214, 0.08224, 0.08231, 0.08234",\
                 "0.08048, 0.08062, 0.08098, 0.08136, 0.08167, 0.08189, 0.08203, 0.08213, 0.0822, 0.08223",\
                 "0.08037, 0.08049, 0.08087, 0.08124, 0.08157, 0.08179, 0.08192, 0.08202, 0.08208, 0.08208",\
                 "0.08023, 0.08036, 0.08073, 0.08113, 0.08143, 0.08165, 0.08178, 0.08187, 0.08181, 0.08115",\
                 "0.07999, 0.08014, 0.08047, 0.08088, 0.0812, 0.08138, 0.0811, 0.07927, 0.07718, 0.07567",\
                 "0.04011, 0.04017, 0.0404, 0.04065, 0.04083, 0.04097, 0.04105, 0.04113, 0.04116, 0.04119");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.05455, 0.05468, 0.05501, 0.05547, 0.05603, 0.05653, 0.05709, 0.0573, 0.06531, 0.1281",\
                 "0.05455, 0.05469, 0.05504, 0.05553, 0.05604, 0.05653, 0.05674, 0.05725, 0.06586, 0.1302",\
                 "0.05457, 0.05469, 0.05506, 0.0555, 0.05603, 0.05645, 0.05677, 0.05755, 0.06704, 0.138",\
                 "0.05454, 0.05467, 0.055, 0.0555, 0.05603, 0.05648, 0.05693, 0.0578, 0.07061, 0.1541",\
                 "0.05441, 0.05455, 0.05491, 0.05535, 0.05593, 0.05627, 0.05658, 0.05802, 0.07915, 0.1818",\
                 "0.05427, 0.0544, 0.05475, 0.05525, 0.0558, 0.05614, 0.05666, 0.0596, 0.09748, 0.223",\
                 "0.05415, 0.05427, 0.05465, 0.05513, 0.05562, 0.05617, 0.05662, 0.06577, 0.1363, 0.2705",\
                 "0.05406, 0.05418, 0.05455, 0.05506, 0.05557, 0.05595, 0.05794, 0.08988, 0.1983, 0.3064",\
                 "0.05394, 0.05408, 0.05444, 0.05494, 0.05549, 0.05634, 0.07291, 0.1557, 0.2452, 0.3111",\
                 "0.05383, 0.054, 0.05432, 0.05484, 0.05558, 0.07471, 0.1406, 0.1949, 0.2326, 0.2588");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.04614, 0.04628, 0.04664, 0.04707, 0.04741, 0.04767, 0.04784, 0.04795, 0.04802, 0.04808",\
                 "0.04611, 0.04626, 0.04663, 0.04706, 0.04742, 0.04768, 0.04785, 0.04796, 0.04803, 0.04808",\
                 "0.04576, 0.04588, 0.04625, 0.0467, 0.04707, 0.04734, 0.04751, 0.04762, 0.04769, 0.04773",\
                 "0.04531, 0.04546, 0.04583, 0.04626, 0.04662, 0.04689, 0.04707, 0.04719, 0.04725, 0.0473",\
                 "0.04503, 0.04513, 0.04548, 0.04589, 0.04624, 0.04652, 0.0467, 0.04683, 0.04692, 0.04697",\
                 "0.04479, 0.0449, 0.04522, 0.04559, 0.04592, 0.04621, 0.04642, 0.04657, 0.04667, 0.04674",\
                 "0.0446, 0.0447, 0.045, 0.04532, 0.04565, 0.04595, 0.04618, 0.04635, 0.04648, 0.04656",\
                 "0.04446, 0.04456, 0.04483, 0.04513, 0.04546, 0.04574, 0.04599, 0.04618, 0.04632, 0.04639",\
                 "0.04432, 0.04443, 0.04467, 0.04498, 0.04529, 0.04558, 0.04583, 0.04602, 0.04607, 0.0456",\
                 "0.04407, 0.04418, 0.04442, 0.04469, 0.04497, 0.0451, 0.04462, 0.04278, 0.04097, 0.03966");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.02559, 0.02573, 0.02617, 0.02672, 0.02716, 0.02766, 0.02802, 0.02802, 0.03074, 0.06046",\
                 "0.02561, 0.02576, 0.02617, 0.02669, 0.02728, 0.0277, 0.028, 0.02838, 0.0309, 0.06175",\
                 "0.02561, 0.02574, 0.02614, 0.0267, 0.02716, 0.02755, 0.02802, 0.02845, 0.03154, 0.06583",\
                 "0.02539, 0.02553, 0.0259, 0.02634, 0.02679, 0.02728, 0.02747, 0.02783, 0.03233, 0.07545",\
                 "0.02507, 0.02516, 0.0255, 0.02586, 0.02632, 0.02689, 0.0271, 0.02784, 0.03481, 0.09331",\
                 "0.02476, 0.02484, 0.02516, 0.02549, 0.02595, 0.02626, 0.02682, 0.02778, 0.04151, 0.126",\
                 "0.0245, 0.0246, 0.02485, 0.02515, 0.02551, 0.02595, 0.02631, 0.02889, 0.05854, 0.176",\
                 "0.0243, 0.02435, 0.02458, 0.02489, 0.02525, 0.02569, 0.02633, 0.0344, 0.09976, 0.2346",\
                 "0.02411, 0.0242, 0.02442, 0.02476, 0.02491, 0.02538, 0.02788, 0.06157, 0.1701, 0.2772",\
                 "0.02402, 0.02411, 0.0243, 0.02461, 0.02498, 0.02589, 0.04982, 0.1361, 0.2179, 0.2772");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.04998, 0.05013, 0.05048, 0.05088, 0.0512, 0.05142, 0.05156, 0.05164, 0.05171, 0.05175",\
                 "0.05004, 0.05018, 0.05054, 0.05095, 0.05127, 0.05147, 0.05162, 0.05171, 0.05177, 0.05181",\
                 "0.04996, 0.05012, 0.05049, 0.05088, 0.05119, 0.05139, 0.05153, 0.05161, 0.05169, 0.05173",\
                 "0.04937, 0.0495, 0.04986, 0.05027, 0.05057, 0.05079, 0.05092, 0.05101, 0.05108, 0.05111",\
                 "0.04875, 0.04891, 0.04926, 0.04969, 0.04998, 0.0502, 0.05035, 0.05044, 0.05051, 0.05055",\
                 "0.04835, 0.0485, 0.04886, 0.04924, 0.04957, 0.04978, 0.04992, 0.05002, 0.05008, 0.05012",\
                 "0.04804, 0.04816, 0.04852, 0.04894, 0.04925, 0.04946, 0.0496, 0.04969, 0.04976, 0.0498",\
                 "0.04776, 0.04789, 0.04825, 0.04863, 0.04896, 0.04916, 0.04932, 0.04941, 0.04947, 0.0495",\
                 "0.04753, 0.04768, 0.04801, 0.0484, 0.04872, 0.04896, 0.04907, 0.04919, 0.04925, 0.04926",\
                 "0.04737, 0.0475, 0.04785, 0.04825, 0.04855, 0.04878, 0.04891, 0.04901, 0.04897, 0.04833");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.05823, 0.05837, 0.05868, 0.05916, 0.05956, 0.05995, 0.06047, 0.06132, 0.06626, 0.1121",\
                 "0.0582, 0.05832, 0.05868, 0.05914, 0.05961, 0.05998, 0.06029, 0.06123, 0.0664, 0.1141",\
                 "0.05827, 0.05838, 0.05872, 0.05911, 0.05963, 0.06, 0.06036, 0.06103, 0.0672, 0.1218",\
                 "0.05823, 0.05834, 0.05868, 0.05911, 0.05956, 0.05992, 0.06029, 0.06115, 0.07012, 0.1369",\
                 "0.05805, 0.05815, 0.05849, 0.05896, 0.05939, 0.0599, 0.0601, 0.06136, 0.07641, 0.1664",\
                 "0.0578, 0.05792, 0.05825, 0.05868, 0.05921, 0.05951, 0.05989, 0.06262, 0.09406, 0.2146",\
                 "0.05751, 0.05765, 0.05799, 0.05844, 0.05896, 0.05937, 0.06001, 0.06956, 0.1393, 0.2735",\
                 "0.05734, 0.05744, 0.05777, 0.05824, 0.05869, 0.05919, 0.06209, 0.1032, 0.2137, 0.314",\
                 "0.05707, 0.05718, 0.0575, 0.05795, 0.05837, 0.06066, 0.09661, 0.1831, 0.2528, 0.3026",\
                 "0.05666, 0.05683, 0.05709, 0.05769, 0.06938, 0.115, 0.1503, 0.1736, 0.1892, 0.2");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.04997, 0.05014, 0.05048, 0.05089, 0.0512, 0.05142, 0.05156, 0.05165, 0.05171, 0.05174",\
                 "0.05004, 0.05018, 0.05054, 0.05095, 0.05127, 0.05147, 0.05162, 0.05171, 0.05177, 0.05181",\
                 "0.04997, 0.05011, 0.05049, 0.05088, 0.05119, 0.0514, 0.05153, 0.05161, 0.05169, 0.05173",\
                 "0.04936, 0.04953, 0.04987, 0.05027, 0.05057, 0.05078, 0.05093, 0.051, 0.05106, 0.05112",\
                 "0.04877, 0.04891, 0.04926, 0.04968, 0.04998, 0.05021, 0.05034, 0.05044, 0.05051, 0.05054",\
                 "0.04835, 0.0485, 0.04884, 0.04924, 0.04957, 0.04977, 0.04992, 0.05003, 0.05009, 0.05012",\
                 "0.04804, 0.04815, 0.04852, 0.04894, 0.04925, 0.04947, 0.0496, 0.04969, 0.04975, 0.0498",\
                 "0.04776, 0.0479, 0.04825, 0.04863, 0.04896, 0.04918, 0.04931, 0.04942, 0.04947, 0.04952",\
                 "0.04753, 0.04769, 0.04801, 0.04842, 0.04873, 0.04895, 0.04907, 0.0492, 0.04925, 0.04925",\
                 "0.04737, 0.0475, 0.04785, 0.04825, 0.04855, 0.04879, 0.0489, 0.04901, 0.04896, 0.04833");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.05822, 0.05835, 0.05869, 0.05915, 0.05955, 0.05993, 0.06045, 0.06093, 0.06587, 0.1121",\
                 "0.05818, 0.0583, 0.05866, 0.05909, 0.05951, 0.05992, 0.06027, 0.06121, 0.06636, 0.1141",\
                 "0.05822, 0.05836, 0.0587, 0.05914, 0.05966, 0.05998, 0.0605, 0.06101, 0.06746, 0.1214",\
                 "0.05819, 0.05831, 0.05866, 0.05909, 0.0595, 0.05992, 0.06027, 0.0608, 0.07015, 0.1368",\
                 "0.05802, 0.05813, 0.05849, 0.05893, 0.05943, 0.05989, 0.06029, 0.06134, 0.07665, 0.1663",\
                 "0.05776, 0.05788, 0.05822, 0.05869, 0.05914, 0.0595, 0.05986, 0.0626, 0.0942, 0.2146",\
                 "0.05751, 0.05765, 0.05796, 0.05838, 0.0589, 0.05924, 0.05999, 0.06882, 0.1393, 0.2735",\
                 "0.0573, 0.05743, 0.05774, 0.0582, 0.05864, 0.05905, 0.06258, 0.1031, 0.2137, 0.314",\
                 "0.05705, 0.05719, 0.05748, 0.05792, 0.05837, 0.06065, 0.09696, 0.1831, 0.2527, 0.3026",\
                 "0.05665, 0.05678, 0.0571, 0.05767, 0.06932, 0.115, 0.1503, 0.1736, 0.1892, 0.2");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.04614, 0.04627, 0.04664, 0.04706, 0.04742, 0.04767, 0.04783, 0.04795, 0.04802, 0.04807",\
                 "0.04611, 0.04626, 0.04663, 0.04707, 0.04743, 0.04768, 0.04785, 0.04796, 0.04803, 0.04808",\
                 "0.04574, 0.04587, 0.04625, 0.0467, 0.04707, 0.04734, 0.04751, 0.04762, 0.04769, 0.04773",\
                 "0.04532, 0.04546, 0.04582, 0.04625, 0.04661, 0.04688, 0.04706, 0.04718, 0.04725, 0.0473",\
                 "0.04499, 0.04513, 0.04548, 0.04589, 0.04623, 0.04651, 0.04671, 0.04684, 0.04692, 0.04698",\
                 "0.0448, 0.04492, 0.04523, 0.0456, 0.04592, 0.04621, 0.04642, 0.04657, 0.04668, 0.04674",\
                 "0.04459, 0.04469, 0.04499, 0.04534, 0.04565, 0.04595, 0.04618, 0.04636, 0.04647, 0.04656",\
                 "0.04446, 0.04455, 0.0448, 0.04514, 0.04545, 0.04574, 0.04599, 0.04618, 0.0463, 0.04639",\
                 "0.04434, 0.04443, 0.04469, 0.045, 0.0453, 0.04558, 0.04583, 0.04602, 0.04607, 0.04561",\
                 "0.04409, 0.04419, 0.04441, 0.04468, 0.04496, 0.0451, 0.04461, 0.04279, 0.04096, 0.03965");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.0256, 0.02573, 0.02615, 0.02666, 0.02723, 0.02755, 0.02779, 0.02835, 0.03049, 0.06035",\
                 "0.02561, 0.02576, 0.02617, 0.02668, 0.02728, 0.02776, 0.02807, 0.02838, 0.0309, 0.06153",\
                 "0.0256, 0.02574, 0.02614, 0.02669, 0.02718, 0.02779, 0.02783, 0.0283, 0.03136, 0.06548",\
                 "0.02539, 0.02552, 0.02586, 0.02632, 0.02674, 0.02726, 0.02791, 0.02805, 0.03218, 0.0748",\
                 "0.02507, 0.02517, 0.0255, 0.02589, 0.02634, 0.0269, 0.02724, 0.02758, 0.03533, 0.09388",\
                 "0.02473, 0.02486, 0.02512, 0.02554, 0.0259, 0.02627, 0.02666, 0.02783, 0.04123, 0.1263",\
                 "0.02448, 0.02459, 0.02482, 0.02513, 0.02562, 0.02595, 0.02632, 0.02887, 0.05813, 0.1759",\
                 "0.02428, 0.02438, 0.02458, 0.02486, 0.02527, 0.02572, 0.02626, 0.03467, 0.0998, 0.2348",\
                 "0.02415, 0.0242, 0.02444, 0.02472, 0.02499, 0.02549, 0.02796, 0.06165, 0.1701, 0.2772",\
                 "0.02405, 0.0241, 0.02433, 0.02455, 0.02494, 0.02586, 0.04999, 0.1361, 0.2178, 0.2772");
        }
      }

      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.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("8.011, 8.059, 8.197, 8.401, 8.665, 9.004, 9.432, 9.963, 10.61, 11.38",\
                 "8.074, 8.123, 8.26, 8.463, 8.728, 9.067, 9.494, 10.03, 10.67, 11.44",\
                 "8.256, 8.304, 8.441, 8.644, 8.91, 9.248, 9.676, 10.21, 10.85, 11.62",\
                 "8.567, 8.615, 8.752, 8.956, 9.221, 9.56, 9.988, 10.52, 11.17, 11.94",\
                 "8.992, 9.041, 9.178, 9.382, 9.647, 9.985, 10.41, 10.95, 11.59, 12.36",\
                 "9.462, 9.511, 9.648, 9.851, 10.12, 10.45, 10.88, 11.41, 12.06, 12.83",\
                 "9.963, 10.01, 10.15, 10.35, 10.62, 10.96, 11.38, 11.92, 12.56, 13.33",\
                 "10.48, 10.53, 10.67, 10.87, 11.14, 11.48, 11.9, 12.44, 13.08, 13.85",\
                 "11.03, 11.08, 11.22, 11.42, 11.68, 12.02, 12.45, 12.98, 13.63, 14.4",\
                 "11.59, 11.64, 11.77, 11.98, 12.24, 12.58, 13.01, 13.54, 14.19, 14.96");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("7.682, 7.763, 8.026, 8.498, 9.22, 10.23, 11.55, 13.21, 15.23, 17.64",\
                 "7.734, 7.815, 8.077, 8.55, 9.272, 10.28, 11.6, 13.26, 15.28, 17.69",\
                 "7.933, 8.014, 8.276, 8.748, 9.47, 10.48, 11.8, 13.46, 15.48, 17.89",\
                 "8.318, 8.399, 8.662, 9.134, 9.856, 10.86, 12.18, 13.84, 15.87, 18.28",\
                 "8.901, 8.983, 9.245, 9.717, 10.44, 11.45, 12.77, 14.43, 16.45, 18.86",\
                 "9.708, 9.789, 10.05, 10.52, 11.25, 12.25, 13.57, 15.23, 17.26, 19.67",\
                 "10.76, 10.84, 11.11, 11.58, 12.3, 13.31, 14.63, 16.28, 18.31, 20.72",\
                 "12.09, 12.17, 12.43, 12.9, 13.62, 14.63, 15.95, 17.61, 19.63, 22.04",\
                 "13.67, 13.75, 14.01, 14.48, 15.21, 16.21, 17.53, 19.19, 21.22, 23.63",\
                 "15.48, 15.56, 15.82, 16.29, 17.02, 18.02, 19.34, 21, 23.03, 25.44");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.3408, 0.381, 0.5064, 0.729, 1.07, 1.564, 2.24, 3.114, 4.187, 5.482",\
                 "0.3408, 0.381, 0.5064, 0.7276, 1.069, 1.564, 2.239, 3.112, 4.185, 5.478",\
                 "0.3404, 0.381, 0.5064, 0.7274, 1.069, 1.564, 2.241, 3.112, 4.192, 5.48",\
                 "0.3408, 0.3808, 0.5066, 0.7276, 1.068, 1.563, 2.24, 3.11, 4.19, 5.478",\
                 "0.34, 0.38, 0.506, 0.728, 1.07, 1.564, 2.24, 3.112, 4.194, 5.482",\
                 "0.342, 0.38, 0.506, 0.728, 1.07, 1.562, 2.24, 3.112, 4.19, 5.484",\
                 "0.342, 0.38, 0.506, 0.728, 1.07, 1.564, 2.238, 3.114, 4.188, 5.484",\
                 "0.342, 0.382, 0.508, 0.73, 1.07, 1.564, 2.24, 3.112, 4.192, 5.482",\
                 "0.34, 0.38, 0.508, 0.728, 1.068, 1.562, 2.24, 3.112, 4.194, 5.484",\
                 "0.34, 0.38, 0.506, 0.728, 1.068, 1.564, 2.238, 3.112, 4.188, 5.472");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.4802, 0.587, 0.9652, 1.71, 2.895, 4.571, 6.775, 9.534, 12.93, 16.95",\
                 "0.4808, 0.5872, 0.9654, 1.713, 2.895, 4.565, 6.774, 9.544, 12.92, 16.95",\
                 "0.48, 0.5866, 0.9652, 1.713, 2.896, 4.566, 6.774, 9.534, 12.94, 16.95",\
                 "0.481, 0.587, 0.965, 1.71, 2.896, 4.566, 6.772, 9.534, 12.93, 16.95",\
                 "0.48, 0.586, 0.966, 1.71, 2.896, 4.566, 6.764, 9.536, 12.91, 16.96",\
                 "0.48, 0.588, 0.966, 1.71, 2.902, 4.566, 6.764, 9.534, 12.93, 16.95",\
                 "0.48, 0.588, 0.964, 1.712, 2.902, 4.574, 6.776, 9.536, 12.92, 16.95",\
                 "0.48, 0.588, 0.966, 1.712, 2.9, 4.564, 6.772, 9.538, 12.93, 16.95",\
                 "0.482, 0.588, 0.966, 1.712, 2.898, 4.566, 6.774, 9.534, 12.92, 16.95",\
                 "0.48, 0.586, 0.964, 1.71, 2.894, 4.566, 6.764, 9.536, 12.92, 16.95");
        }
      }

      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.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("4.133, 4.203, 4.395, 4.666, 4.994, 5.385, 5.849, 6.401, 7.057, 7.829",\
                 "4.181, 4.251, 4.443, 4.714, 5.042, 5.433, 5.897, 6.449, 7.105, 7.877",\
                 "4.36, 4.43, 4.622, 4.893, 5.222, 5.613, 6.077, 6.629, 7.285, 8.057",\
                 "4.7, 4.77, 4.962, 5.232, 5.562, 5.953, 6.416, 6.968, 7.624, 8.397",\
                 "5.227, 5.297, 5.49, 5.759, 6.089, 6.479, 6.943, 7.495, 8.151, 8.924",\
                 "5.936, 6.007, 6.199, 6.469, 6.798, 7.189, 7.653, 8.205, 8.86, 9.633",\
                 "6.75, 6.82, 7.012, 7.282, 7.612, 8.003, 8.466, 9.018, 9.674, 10.45",\
                 "7.642, 7.712, 7.904, 8.174, 8.503, 8.894, 9.358, 9.91, 10.57, 11.34",\
                 "8.608, 8.678, 8.87, 9.14, 9.47, 9.861, 10.33, 10.88, 11.53, 12.31",\
                 "9.649, 9.722, 9.914, 10.18, 10.51, 10.9, 11.37, 11.92, 12.57, 13.35");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("5.714, 5.797, 6.063, 6.538, 7.262, 8.269, 9.59, 11.25, 13.28, 15.69",\
                 "5.775, 5.858, 6.124, 6.599, 7.322, 8.33, 9.651, 11.31, 13.34, 15.75",\
                 "5.961, 6.045, 6.311, 6.785, 7.509, 8.517, 9.838, 11.5, 13.52, 15.94",\
                 "6.34, 6.423, 6.689, 7.165, 7.888, 8.895, 10.22, 11.88, 13.9, 16.31",\
                 "6.955, 7.039, 7.304, 7.779, 8.503, 9.51, 10.83, 12.49, 14.52, 16.93",\
                 "7.836, 7.92, 8.185, 8.66, 9.384, 10.39, 11.71, 13.37, 15.4, 17.81",\
                 "9.009, 9.092, 9.358, 9.832, 10.56, 11.56, 12.89, 14.55, 16.57, 18.98",\
                 "10.49, 10.58, 10.84, 11.32, 12.04, 13.05, 14.37, 16.03, 18.05, 20.47",\
                 "12.29, 12.38, 12.64, 13.12, 13.84, 14.85, 16.17, 17.83, 19.86, 22.27",\
                 "14.39, 14.47, 14.74, 15.21, 15.93, 16.94, 18.26, 19.92, 21.95, 24.36");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.5436, 0.5932, 0.742, 0.984, 1.33, 1.802, 2.434, 3.257, 4.293, 5.554",\
                 "0.5424, 0.5934, 0.7418, 0.9842, 1.331, 1.805, 2.435, 3.257, 4.292, 5.556",\
                 "0.5438, 0.5932, 0.7414, 0.9844, 1.33, 1.804, 2.436, 3.257, 4.291, 5.557",\
                 "0.5434, 0.593, 0.7414, 0.9846, 1.331, 1.804, 2.435, 3.257, 4.294, 5.558",\
                 "0.543, 0.5926, 0.7426, 0.984, 1.331, 1.803, 2.435, 3.258, 4.295, 5.555",\
                 "0.5432, 0.5934, 0.7412, 0.9844, 1.331, 1.806, 2.435, 3.258, 4.294, 5.558",\
                 "0.542, 0.594, 0.742, 0.984, 1.33, 1.806, 2.436, 3.258, 4.294, 5.558",\
                 "0.544, 0.594, 0.744, 0.986, 1.332, 1.804, 2.434, 3.258, 4.292, 5.556",\
                 "0.544, 0.594, 0.742, 0.986, 1.332, 1.804, 2.436, 3.256, 4.292, 5.552",\
                 "0.544, 0.594, 0.742, 0.986, 1.334, 1.804, 2.436, 3.258, 4.292, 5.554");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.5046, 0.6104, 0.9852, 1.729, 2.911, 4.579, 6.776, 9.551, 12.92, 16.95",\
                 "0.5052, 0.6104, 0.9844, 1.729, 2.913, 4.581, 6.776, 9.539, 12.93, 16.98",\
                 "0.5048, 0.6102, 0.9842, 1.726, 2.912, 4.576, 6.771, 9.554, 12.92, 16.96",\
                 "0.5048, 0.61, 0.9846, 1.729, 2.914, 4.58, 6.775, 9.548, 12.92, 16.95",\
                 "0.5042, 0.6098, 0.9844, 1.727, 2.915, 4.576, 6.778, 9.54, 12.95, 16.95",\
                 "0.506, 0.61, 0.984, 1.726, 2.912, 4.58, 6.778, 9.556, 12.94, 16.96",\
                 "0.504, 0.61, 0.984, 1.73, 2.91, 4.578, 6.778, 9.552, 12.92, 16.95",\
                 "0.504, 0.61, 0.984, 1.728, 2.912, 4.58, 6.776, 9.54, 12.92, 16.95",\
                 "0.504, 0.61, 0.982, 1.728, 2.908, 4.578, 6.77, 9.538, 12.92, 16.96",\
                 "0.506, 0.612, 0.984, 1.726, 2.91, 4.578, 6.778, 9.554, 12.94, 16.98");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("8.011, 8.059, 8.197, 8.401, 8.665, 9.004, 9.432, 9.963, 10.61, 11.38",\
                 "8.074, 8.123, 8.26, 8.463, 8.728, 9.067, 9.494, 10.03, 10.67, 11.44",\
                 "8.256, 8.304, 8.441, 8.644, 8.91, 9.248, 9.676, 10.21, 10.85, 11.62",\
                 "8.567, 8.615, 8.752, 8.956, 9.221, 9.56, 9.988, 10.52, 11.17, 11.94",\
                 "8.992, 9.041, 9.178, 9.382, 9.647, 9.985, 10.41, 10.95, 11.59, 12.36",\
                 "9.462, 9.511, 9.648, 9.851, 10.12, 10.45, 10.88, 11.41, 12.06, 12.83",\
                 "9.963, 10.01, 10.15, 10.35, 10.62, 10.96, 11.38, 11.92, 12.56, 13.33",\
                 "10.48, 10.53, 10.67, 10.87, 11.14, 11.48, 11.9, 12.44, 13.08, 13.85",\
                 "11.03, 11.08, 11.22, 11.42, 11.68, 12.02, 12.45, 12.98, 13.63, 14.4",\
                 "11.59, 11.64, 11.77, 11.98, 12.24, 12.58, 13.01, 13.54, 14.19, 14.96");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("7.682, 7.763, 8.026, 8.498, 9.22, 10.23, 11.55, 13.21, 15.23, 17.64",\
                 "7.734, 7.815, 8.077, 8.55, 9.272, 10.28, 11.6, 13.26, 15.28, 17.69",\
                 "7.933, 8.014, 8.276, 8.748, 9.47, 10.48, 11.8, 13.46, 15.48, 17.89",\
                 "8.318, 8.399, 8.662, 9.134, 9.856, 10.86, 12.18, 13.84, 15.87, 18.28",\
                 "8.901, 8.983, 9.245, 9.717, 10.44, 11.45, 12.77, 14.43, 16.45, 18.86",\
                 "9.708, 9.789, 10.05, 10.52, 11.25, 12.25, 13.57, 15.23, 17.26, 19.67",\
                 "10.76, 10.84, 11.11, 11.58, 12.3, 13.31, 14.63, 16.28, 18.31, 20.72",\
                 "12.09, 12.17, 12.43, 12.9, 13.62, 14.63, 15.95, 17.61, 19.63, 22.04",\
                 "13.67, 13.75, 14.01, 14.48, 15.21, 16.21, 17.53, 19.19, 21.22, 23.63",\
                 "15.48, 15.56, 15.82, 16.29, 17.02, 18.02, 19.34, 21, 23.03, 25.44");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.5436, 0.5932, 0.742, 0.984, 1.33, 1.802, 2.434, 3.257, 4.293, 5.554",\
                 "0.5424, 0.5934, 0.7418, 0.9842, 1.331, 1.805, 2.435, 3.257, 4.292, 5.556",\
                 "0.5438, 0.5932, 0.7414, 0.9844, 1.33, 1.804, 2.436, 3.257, 4.291, 5.557",\
                 "0.5434, 0.593, 0.7414, 0.9846, 1.331, 1.804, 2.435, 3.257, 4.294, 5.558",\
                 "0.543, 0.5926, 0.7426, 0.984, 1.331, 1.803, 2.435, 3.258, 4.295, 5.555",\
                 "0.5432, 0.5934, 0.7412, 0.9844, 1.331, 1.806, 2.435, 3.258, 4.294, 5.558",\
                 "0.542, 0.594, 0.742, 0.984, 1.33, 1.806, 2.436, 3.258, 4.294, 5.558",\
                 "0.544, 0.594, 0.744, 0.986, 1.332, 1.804, 2.434, 3.258, 4.292, 5.556",\
                 "0.544, 0.594, 0.742, 0.986, 1.332, 1.804, 2.436, 3.256, 4.292, 5.552",\
                 "0.544, 0.594, 0.742, 0.986, 1.334, 1.804, 2.436, 3.258, 4.292, 5.554");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.5046, 0.6104, 0.9852, 1.729, 2.911, 4.579, 6.776, 9.551, 12.92, 16.95",\
                 "0.5052, 0.6104, 0.9844, 1.729, 2.913, 4.581, 6.776, 9.539, 12.93, 16.98",\
                 "0.5048, 0.6102, 0.9842, 1.726, 2.912, 4.576, 6.771, 9.554, 12.92, 16.96",\
                 "0.5048, 0.61, 0.9846, 1.729, 2.914, 4.58, 6.775, 9.548, 12.92, 16.95",\
                 "0.5042, 0.6098, 0.9844, 1.727, 2.915, 4.576, 6.778, 9.54, 12.95, 16.95",\
                 "0.506, 0.61, 0.984, 1.726, 2.912, 4.58, 6.778, 9.556, 12.94, 16.96",\
                 "0.504, 0.61, 0.984, 1.73, 2.91, 4.578, 6.778, 9.552, 12.92, 16.95",\
                 "0.504, 0.61, 0.984, 1.728, 2.912, 4.58, 6.776, 9.54, 12.92, 16.95",\
                 "0.504, 0.61, 0.982, 1.728, 2.908, 4.578, 6.77, 9.538, 12.92, 16.96",\
                 "0.506, 0.612, 0.984, 1.726, 2.91, 4.578, 6.778, 9.554, 12.94, 16.98");
        }
      }

      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.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("7.748, 7.818, 8.01, 8.28, 8.608, 8.999, 9.464, 10.02, 10.67, 11.44",\
                 "7.799, 7.868, 8.061, 8.331, 8.66, 9.051, 9.514, 10.07, 10.72, 11.49",\
                 "7.997, 8.067, 8.26, 8.529, 8.858, 9.248, 9.713, 10.26, 10.92, 11.69",\
                 "8.383, 8.452, 8.645, 8.915, 9.244, 9.635, 10.1, 10.65, 11.31, 12.08",\
                 "8.966, 9.036, 9.229, 9.499, 9.826, 10.22, 10.68, 11.23, 11.89, 12.66",\
                 "9.773, 9.843, 10.04, 10.3, 10.63, 11.02, 11.49, 12.04, 12.7, 13.47",\
                 "10.83, 10.9, 11.09, 11.36, 11.69, 12.08, 12.54, 13.09, 13.75, 14.52",\
                 "12.15, 12.22, 12.41, 12.68, 13.01, 13.4, 13.87, 14.42, 15.07, 15.85",\
                 "13.73, 13.8, 14, 14.27, 14.59, 14.99, 15.45, 16, 16.66, 17.43",\
                 "15.54, 15.61, 15.8, 16.07, 16.4, 16.79, 17.25, 17.81, 18.46, 19.24");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("6.708, 6.791, 7.057, 7.531, 8.255, 9.263, 10.58, 12.24, 14.27, 16.68",\
                 "6.771, 6.854, 7.12, 7.595, 8.318, 9.326, 10.65, 12.31, 14.33, 16.75",\
                 "6.952, 7.035, 7.301, 7.776, 8.499, 9.507, 10.83, 12.49, 14.51, 16.93",\
                 "7.263, 7.346, 7.612, 8.087, 8.81, 9.817, 11.14, 12.8, 14.83, 17.24",\
                 "7.688, 7.772, 8.038, 8.512, 9.236, 10.24, 11.56, 13.23, 15.25, 17.66",\
                 "8.157, 8.24, 8.507, 8.981, 9.705, 10.71, 12.03, 13.69, 15.72, 18.13",\
                 "8.659, 8.742, 9.008, 9.483, 10.21, 11.21, 12.53, 14.2, 16.22, 18.63",\
                 "9.179, 9.263, 9.529, 10, 10.73, 11.74, 13.06, 14.72, 16.74, 19.15",\
                 "9.724, 9.807, 10.07, 10.55, 11.27, 12.28, 13.6, 15.26, 17.29, 19.7",\
                 "10.28, 10.37, 10.63, 11.11, 11.83, 12.84, 14.16, 15.82, 17.84, 20.26");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.5418, 0.5934, 0.742, 0.9838, 1.331, 1.802, 2.435, 3.258, 4.291, 5.552",\
                 "0.5428, 0.5928, 0.7414, 0.984, 1.33, 1.801, 2.435, 3.256, 4.293, 5.556",\
                 "0.5434, 0.592, 0.741, 0.9836, 1.331, 1.8, 2.435, 3.257, 4.292, 5.55",\
                 "0.5428, 0.5928, 0.741, 0.9838, 1.33, 1.801, 2.436, 3.256, 4.294, 5.554",\
                 "0.542, 0.594, 0.74, 0.984, 1.332, 1.804, 2.434, 3.258, 4.294, 5.554",\
                 "0.542, 0.592, 0.74, 0.984, 1.33, 1.8, 2.434, 3.256, 4.292, 5.552",\
                 "0.542, 0.592, 0.742, 0.984, 1.33, 1.802, 2.432, 3.256, 4.292, 5.554",\
                 "0.542, 0.592, 0.74, 0.984, 1.33, 1.802, 2.434, 3.256, 4.294, 5.558",\
                 "0.544, 0.592, 0.742, 0.984, 1.33, 1.802, 2.434, 3.258, 4.29, 5.556",\
                 "0.544, 0.592, 0.742, 0.984, 1.33, 1.806, 2.434, 3.256, 4.294, 5.556");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.5046, 0.6106, 0.9844, 1.727, 2.909, 4.581, 6.771, 9.544, 12.92, 16.96",\
                 "0.5042, 0.611, 0.9838, 1.726, 2.909, 4.582, 6.774, 9.552, 12.92, 16.95",\
                 "0.5046, 0.6112, 0.9842, 1.729, 2.909, 4.58, 6.771, 9.544, 12.92, 16.95",\
                 "0.5056, 0.6108, 0.9848, 1.729, 2.908, 4.579, 6.78, 9.542, 12.92, 16.96",\
                 "0.5046, 0.6098, 0.9846, 1.726, 2.91, 4.58, 6.78, 9.538, 12.95, 16.96",\
                 "0.504, 0.608, 0.986, 1.726, 2.912, 4.58, 6.776, 9.552, 12.94, 16.95",\
                 "0.504, 0.612, 0.986, 1.728, 2.908, 4.58, 6.772, 9.552, 12.93, 16.95",\
                 "0.508, 0.61, 0.986, 1.728, 2.908, 4.58, 6.77, 9.546, 12.92, 16.95",\
                 "0.504, 0.61, 0.986, 1.726, 2.91, 4.582, 6.776, 9.54, 12.92, 16.95",\
                 "0.506, 0.61, 0.984, 1.728, 2.908, 4.574, 6.77, 9.538, 12.94, 16.98");
        }
      }

      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.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("7.02, 7.068, 7.205, 7.409, 7.674, 8.012, 8.44, 8.972, 9.618, 10.39",\
                 "7.081, 7.129, 7.266, 7.469, 7.735, 8.073, 8.501, 9.032, 9.679, 10.45",\
                 "7.268, 7.317, 7.453, 7.656, 7.921, 8.26, 8.688, 9.22, 9.866, 10.64",\
                 "7.647, 7.696, 7.832, 8.035, 8.3, 8.639, 9.067, 9.599, 10.25, 11.02",\
                 "8.262, 8.31, 8.447, 8.65, 8.915, 9.253, 9.681, 10.21, 10.86, 11.63",\
                 "9.144, 9.192, 9.329, 9.532, 9.797, 10.13, 10.56, 11.09, 11.74, 12.51",\
                 "10.32, 10.36, 10.5, 10.7, 10.97, 11.31, 11.74, 12.27, 12.91, 13.68",\
                 "11.8, 11.85, 11.98, 12.19, 12.45, 12.79, 13.22, 13.75, 14.4, 15.17",\
                 "13.6, 13.65, 13.79, 13.99, 14.25, 14.59, 15.02, 15.55, 16.2, 16.97",\
                 "15.69, 15.74, 15.88, 16.08, 16.34, 16.68, 17.11, 17.64, 18.29, 19.06");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("4.089, 4.17, 4.432, 4.904, 5.626, 6.632, 7.952, 9.615, 11.64, 14.06",\
                 "4.138, 4.219, 4.481, 4.953, 5.675, 6.68, 8.001, 9.662, 11.69, 14.1",\
                 "4.316, 4.398, 4.659, 5.133, 5.855, 6.86, 8.181, 9.84, 11.86, 14.27",\
                 "4.657, 4.739, 5.001, 5.473, 6.194, 7.202, 8.52, 10.18, 12.21, 14.62",\
                 "5.188, 5.269, 5.531, 6.003, 6.726, 7.732, 9.052, 10.71, 12.74, 15.16",\
                 "5.9, 5.981, 6.244, 6.716, 7.438, 8.444, 9.765, 11.43, 13.45, 15.87",\
                 "6.72, 6.801, 7.064, 7.536, 8.259, 9.264, 10.58, 12.24, 14.27, 16.69",\
                 "7.618, 7.699, 7.961, 8.434, 9.156, 10.16, 11.48, 13.14, 15.17, 17.58",\
                 "8.592, 8.674, 8.937, 9.409, 10.13, 11.14, 12.46, 14.11, 16.14, 18.55",\
                 "9.644, 9.726, 9.986, 10.46, 11.18, 12.19, 13.51, 15.17, 17.19, 19.6");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.3402, 0.3812, 0.5072, 0.7286, 1.07, 1.564, 2.24, 3.111, 4.186, 5.478",\
                 "0.3404, 0.381, 0.5074, 0.7288, 1.068, 1.565, 2.238, 3.113, 4.189, 5.483",\
                 "0.3412, 0.3802, 0.5064, 0.7274, 1.069, 1.564, 2.24, 3.112, 4.19, 5.471",\
                 "0.3406, 0.3806, 0.5064, 0.7276, 1.069, 1.563, 2.241, 3.114, 4.184, 5.482",\
                 "0.341, 0.3804, 0.5066, 0.73, 1.07, 1.564, 2.24, 3.114, 4.19, 5.482",\
                 "0.342, 0.382, 0.506, 0.73, 1.07, 1.564, 2.238, 3.11, 4.188, 5.484",\
                 "0.342, 0.38, 0.506, 0.73, 1.07, 1.564, 2.24, 3.112, 4.188, 5.484",\
                 "0.34, 0.38, 0.508, 0.728, 1.068, 1.564, 2.24, 3.11, 4.19, 5.48",\
                 "0.342, 0.38, 0.506, 0.73, 1.07, 1.564, 2.24, 3.112, 4.184, 5.474",\
                 "0.34, 0.382, 0.506, 0.73, 1.07, 1.564, 2.238, 3.114, 4.186, 5.482");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.4804, 0.587, 0.9654, 1.713, 2.896, 4.57, 6.775, 9.54, 12.93, 16.99",\
                 "0.4808, 0.5868, 0.9654, 1.711, 2.895, 4.566, 6.775, 9.539, 12.93, 16.97",\
                 "0.481, 0.587, 0.9652, 1.71, 2.901, 4.567, 6.764, 9.536, 12.92, 16.95",\
                 "0.4806, 0.5866, 0.9652, 1.712, 2.895, 4.574, 6.764, 9.542, 12.93, 16.96",\
                 "0.481, 0.5872, 0.9648, 1.71, 2.896, 4.572, 6.764, 9.536, 12.92, 16.96",\
                 "0.481, 0.5866, 0.9648, 1.71, 2.898, 4.566, 6.772, 9.54, 12.92, 16.99",\
                 "0.478, 0.586, 0.966, 1.714, 2.898, 4.566, 6.764, 9.536, 12.92, 16.97",\
                 "0.48, 0.584, 0.966, 1.71, 2.896, 4.566, 6.768, 9.536, 12.94, 16.95",\
                 "0.482, 0.586, 0.966, 1.712, 2.9, 4.566, 6.762, 9.544, 12.92, 16.94",\
                 "0.48, 0.586, 0.964, 1.71, 2.896, 4.566, 6.764, 9.536, 12.92, 16.95");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("7.748, 7.818, 8.01, 8.28, 8.608, 8.999, 9.464, 10.02, 10.67, 11.44",\
                 "7.799, 7.868, 8.061, 8.331, 8.66, 9.051, 9.514, 10.07, 10.72, 11.49",\
                 "7.997, 8.067, 8.26, 8.529, 8.858, 9.248, 9.713, 10.26, 10.92, 11.69",\
                 "8.383, 8.452, 8.645, 8.915, 9.244, 9.635, 10.1, 10.65, 11.31, 12.08",\
                 "8.966, 9.036, 9.229, 9.499, 9.826, 10.22, 10.68, 11.23, 11.89, 12.66",\
                 "9.773, 9.843, 10.04, 10.3, 10.63, 11.02, 11.49, 12.04, 12.7, 13.47",\
                 "10.83, 10.9, 11.09, 11.36, 11.69, 12.08, 12.54, 13.09, 13.75, 14.52",\
                 "12.15, 12.22, 12.41, 12.68, 13.01, 13.4, 13.87, 14.42, 15.07, 15.85",\
                 "13.73, 13.8, 14, 14.27, 14.59, 14.99, 15.45, 16, 16.66, 17.43",\
                 "15.54, 15.61, 15.8, 16.07, 16.4, 16.79, 17.25, 17.81, 18.46, 19.24");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("6.708, 6.791, 7.057, 7.531, 8.255, 9.263, 10.58, 12.24, 14.27, 16.68",\
                 "6.771, 6.854, 7.12, 7.595, 8.318, 9.326, 10.65, 12.31, 14.33, 16.75",\
                 "6.952, 7.035, 7.301, 7.776, 8.499, 9.507, 10.83, 12.49, 14.51, 16.93",\
                 "7.263, 7.346, 7.612, 8.087, 8.81, 9.817, 11.14, 12.8, 14.83, 17.24",\
                 "7.688, 7.772, 8.038, 8.512, 9.236, 10.24, 11.56, 13.23, 15.25, 17.66",\
                 "8.157, 8.24, 8.507, 8.981, 9.705, 10.71, 12.03, 13.69, 15.72, 18.13",\
                 "8.659, 8.742, 9.008, 9.483, 10.21, 11.21, 12.53, 14.2, 16.22, 18.63",\
                 "9.179, 9.263, 9.529, 10, 10.73, 11.74, 13.06, 14.72, 16.74, 19.15",\
                 "9.724, 9.807, 10.07, 10.55, 11.27, 12.28, 13.6, 15.26, 17.29, 19.7",\
                 "10.28, 10.37, 10.63, 11.11, 11.83, 12.84, 14.16, 15.82, 17.84, 20.26");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.5418, 0.5934, 0.742, 0.9838, 1.331, 1.802, 2.435, 3.258, 4.291, 5.552",\
                 "0.5428, 0.5928, 0.7414, 0.984, 1.33, 1.801, 2.435, 3.256, 4.293, 5.556",\
                 "0.5434, 0.592, 0.741, 0.9836, 1.331, 1.8, 2.435, 3.257, 4.292, 5.55",\
                 "0.5428, 0.5928, 0.741, 0.9838, 1.33, 1.801, 2.436, 3.256, 4.294, 5.554",\
                 "0.542, 0.594, 0.74, 0.984, 1.332, 1.804, 2.434, 3.258, 4.294, 5.554",\
                 "0.542, 0.592, 0.74, 0.984, 1.33, 1.8, 2.434, 3.256, 4.292, 5.552",\
                 "0.542, 0.592, 0.742, 0.984, 1.33, 1.802, 2.432, 3.256, 4.292, 5.554",\
                 "0.542, 0.592, 0.74, 0.984, 1.33, 1.802, 2.434, 3.256, 4.294, 5.558",\
                 "0.544, 0.592, 0.742, 0.984, 1.33, 1.802, 2.434, 3.258, 4.29, 5.556",\
                 "0.544, 0.592, 0.742, 0.984, 1.33, 1.806, 2.434, 3.256, 4.294, 5.556");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.4804, 0.587, 0.9654, 1.713, 2.896, 4.57, 6.775, 9.54, 12.93, 16.99",\
                 "0.4808, 0.5868, 0.9654, 1.711, 2.895, 4.566, 6.775, 9.539, 12.93, 16.97",\
                 "0.481, 0.587, 0.9652, 1.71, 2.901, 4.567, 6.764, 9.536, 12.92, 16.95",\
                 "0.4806, 0.5866, 0.9652, 1.712, 2.895, 4.574, 6.764, 9.542, 12.93, 16.96",\
                 "0.481, 0.5872, 0.9648, 1.71, 2.896, 4.572, 6.764, 9.536, 12.92, 16.96",\
                 "0.481, 0.5866, 0.9648, 1.71, 2.898, 4.566, 6.772, 9.54, 12.92, 16.99",\
                 "0.478, 0.586, 0.966, 1.714, 2.898, 4.566, 6.764, 9.536, 12.92, 16.97",\
                 "0.48, 0.584, 0.966, 1.71, 2.896, 4.566, 6.768, 9.536, 12.94, 16.95",\
                 "0.482, 0.586, 0.966, 1.712, 2.9, 4.566, 6.762, 9.544, 12.92, 16.94",\
                 "0.48, 0.586, 0.964, 1.71, 2.896, 4.566, 6.764, 9.536, 12.92, 16.95");
        }
      }

      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.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("7.785, 7.834, 7.971, 8.173, 8.439, 8.777, 9.206, 9.737, 10.38, 11.15",\
                 "7.842, 7.89, 8.027, 8.23, 8.495, 8.834, 9.262, 9.793, 10.44, 11.21",\
                 "8.017, 8.065, 8.202, 8.405, 8.67, 9.009, 9.437, 9.969, 10.61, 11.38",\
                 "8.338, 8.386, 8.523, 8.727, 8.992, 9.331, 9.759, 10.29, 10.94, 11.71",\
                 "8.766, 8.814, 8.951, 9.155, 9.42, 9.757, 10.19, 10.72, 11.36, 12.13",\
                 "9.23, 9.279, 9.416, 9.62, 9.884, 10.22, 10.65, 11.18, 11.83, 12.6",\
                 "9.725, 9.774, 9.911, 10.11, 10.38, 10.72, 11.15, 11.68, 12.32, 13.09",\
                 "10.24, 10.29, 10.43, 10.63, 10.89, 11.23, 11.66, 12.19, 12.84, 13.61",\
                 "10.78, 10.83, 10.97, 11.17, 11.43, 11.77, 12.2, 12.73, 13.38, 14.15",\
                 "11.33, 11.38, 11.52, 11.72, 11.98, 12.32, 12.75, 13.28, 13.93, 14.7");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("7.552, 7.633, 7.895, 8.368, 9.09, 10.1, 11.42, 13.08, 15.1, 17.51",\
                 "7.585, 7.666, 7.928, 8.4, 9.123, 10.13, 11.45, 13.11, 15.13, 17.54",\
                 "7.75, 7.831, 8.093, 8.566, 9.288, 10.29, 11.61, 13.27, 15.3, 17.71",\
                 "8.122, 8.202, 8.466, 8.938, 9.66, 10.67, 11.99, 13.64, 15.67, 18.08",\
                 "8.734, 8.815, 9.078, 9.55, 10.27, 11.28, 12.6, 14.26, 16.28, 18.69",\
                 "9.607, 9.689, 9.951, 10.42, 11.14, 12.15, 13.47, 15.13, 17.15, 19.56",\
                 "10.76, 10.85, 11.11, 11.58, 12.3, 13.31, 14.63, 16.29, 18.31, 20.72",\
                 "12.22, 12.3, 12.57, 13.04, 13.76, 14.77, 16.09, 17.75, 19.77, 22.18",\
                 "13.97, 14.05, 14.31, 14.78, 15.51, 16.51, 17.83, 19.49, 21.52, 23.92",\
                 "15.96, 16.04, 16.3, 16.77, 17.5, 18.5, 19.82, 21.48, 23.51, 25.92");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.3404, 0.3806, 0.5062, 0.729, 1.07, 1.564, 2.24, 3.112, 4.191, 5.479",\
                 "0.3402, 0.3808, 0.5064, 0.7274, 1.07, 1.564, 2.239, 3.111, 4.192, 5.478",\
                 "0.3402, 0.3808, 0.5066, 0.7276, 1.07, 1.563, 2.239, 3.113, 4.191, 5.482",\
                 "0.34, 0.381, 0.5066, 0.7286, 1.069, 1.564, 2.24, 3.112, 4.186, 5.482",\
                 "0.34, 0.382, 0.508, 0.728, 1.068, 1.564, 2.238, 3.114, 4.186, 5.484",\
                 "0.342, 0.382, 0.506, 0.728, 1.07, 1.562, 2.24, 3.112, 4.188, 5.482",\
                 "0.34, 0.38, 0.506, 0.73, 1.068, 1.564, 2.24, 3.11, 4.192, 5.478",\
                 "0.34, 0.38, 0.506, 0.73, 1.068, 1.564, 2.24, 3.11, 4.186, 5.484",\
                 "0.34, 0.38, 0.508, 0.73, 1.068, 1.564, 2.24, 3.116, 4.192, 5.482",\
                 "0.34, 0.38, 0.506, 0.728, 1.068, 1.564, 2.238, 3.114, 4.192, 5.472");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.4802, 0.5872, 0.9652, 1.71, 2.895, 4.565, 6.765, 9.534, 12.94, 16.95",\
                 "0.4806, 0.587, 0.9652, 1.71, 2.901, 4.566, 6.773, 9.536, 12.92, 16.95",\
                 "0.481, 0.5866, 0.9648, 1.713, 2.899, 4.575, 6.766, 9.534, 12.91, 16.96",\
                 "0.48, 0.5868, 0.9654, 1.71, 2.896, 4.566, 6.764, 9.546, 12.92, 16.94",\
                 "0.48, 0.588, 0.964, 1.71, 2.896, 4.564, 6.772, 9.544, 12.94, 16.98",\
                 "0.48, 0.59, 0.964, 1.71, 2.896, 4.566, 6.776, 9.534, 12.94, 16.95",\
                 "0.48, 0.588, 0.966, 1.71, 2.9, 4.572, 6.768, 9.534, 12.92, 16.94",\
                 "0.48, 0.586, 0.966, 1.714, 2.898, 4.566, 6.778, 9.536, 12.93, 16.94",\
                 "0.482, 0.588, 0.966, 1.712, 2.902, 4.566, 6.762, 9.534, 12.93, 16.99",\
                 "0.48, 0.586, 0.966, 1.71, 2.896, 4.566, 6.766, 9.536, 12.92, 16.95");
        }
      }

      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.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("4.162, 4.233, 4.425, 4.695, 5.024, 5.415, 5.879, 6.431, 7.086, 7.858",\
                 "4.219, 4.29, 4.482, 4.752, 5.081, 5.472, 5.936, 6.488, 7.143, 7.917",\
                 "4.394, 4.465, 4.657, 4.927, 5.257, 5.647, 6.111, 6.662, 7.318, 8.091",\
                 "4.704, 4.775, 4.967, 5.237, 5.566, 5.957, 6.421, 6.973, 7.629, 8.401",\
                 "5.179, 5.25, 5.441, 5.712, 6.04, 6.432, 6.896, 7.448, 8.103, 8.876",\
                 "5.818, 5.889, 6.081, 6.352, 6.68, 7.071, 7.536, 8.087, 8.743, 9.516",\
                 "6.576, 6.647, 6.839, 7.109, 7.438, 7.83, 8.293, 8.845, 9.501, 10.27",\
                 "7.437, 7.507, 7.699, 7.969, 8.298, 8.69, 9.153, 9.705, 10.36, 11.13",\
                 "8.391, 8.461, 8.654, 8.923, 9.253, 9.644, 10.11, 10.66, 11.32, 12.09",\
                 "9.435, 9.505, 9.697, 9.967, 10.3, 10.69, 11.15, 11.7, 12.36, 13.13");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("6.003, 6.086, 6.352, 6.827, 7.55, 8.557, 9.879, 11.54, 13.56, 15.98",\
                 "6.041, 6.125, 6.39, 6.865, 7.588, 8.596, 9.917, 11.58, 13.6, 16.01",\
                 "6.234, 6.317, 6.583, 7.058, 7.781, 8.789, 10.11, 11.77, 13.8, 16.21",\
                 "6.626, 6.71, 6.976, 7.45, 8.173, 9.182, 10.5, 12.16, 14.19, 16.6",\
                 "7.251, 7.334, 7.6, 8.075, 8.798, 9.806, 11.13, 12.79, 14.81, 17.22",\
                 "8.139, 8.222, 8.488, 8.963, 9.687, 10.69, 12.02, 13.68, 15.7, 18.11",\
                 "9.314, 9.397, 9.663, 10.14, 10.86, 11.87, 13.19, 14.85, 16.88, 19.29",\
                 "10.8, 10.88, 11.15, 11.62, 12.35, 13.35, 14.67, 16.34, 18.36, 20.77",\
                 "12.61, 12.69, 12.96, 13.43, 14.16, 15.16, 16.49, 18.15, 20.17, 22.58",\
                 "14.72, 14.8, 15.07, 15.54, 16.27, 17.28, 18.6, 20.26, 22.28, 24.7");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.5432, 0.5934, 0.742, 0.9842, 1.33, 1.802, 2.435, 3.257, 4.294, 5.556",\
                 "0.543, 0.5926, 0.7414, 0.984, 1.331, 1.802, 2.435, 3.256, 4.291, 5.554",\
                 "0.5438, 0.5926, 0.7414, 0.9834, 1.332, 1.803, 2.436, 3.258, 4.294, 5.557",\
                 "0.5438, 0.5926, 0.7414, 0.984, 1.331, 1.804, 2.436, 3.256, 4.293, 5.554",\
                 "0.5438, 0.5928, 0.7414, 0.9844, 1.332, 1.803, 2.436, 3.257, 4.292, 5.557",\
                 "0.544, 0.5922, 0.7416, 0.984, 1.331, 1.806, 2.435, 3.258, 4.294, 5.558",\
                 "0.544, 0.594, 0.74, 0.984, 1.33, 1.804, 2.436, 3.258, 4.294, 5.552",\
                 "0.544, 0.594, 0.742, 0.988, 1.33, 1.804, 2.434, 3.256, 4.294, 5.552",\
                 "0.544, 0.594, 0.742, 0.986, 1.332, 1.804, 2.436, 3.258, 4.294, 5.554",\
                 "0.546, 0.594, 0.742, 0.988, 1.332, 1.804, 2.434, 3.26, 4.29, 5.55");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.506, 0.6106, 0.9848, 1.729, 2.909, 4.58, 6.777, 9.555, 12.94, 16.99",\
                 "0.506, 0.6106, 0.9846, 1.729, 2.909, 4.58, 6.778, 9.553, 12.94, 16.99",\
                 "0.506, 0.6106, 0.9844, 1.726, 2.908, 4.58, 6.776, 9.553, 12.93, 16.95",\
                 "0.5052, 0.6116, 0.9848, 1.726, 2.908, 4.576, 6.778, 9.554, 12.94, 16.95",\
                 "0.5052, 0.6112, 0.9846, 1.727, 2.907, 4.58, 6.778, 9.55, 12.92, 16.97",\
                 "0.504, 0.608, 0.984, 1.728, 2.908, 4.58, 6.772, 9.554, 12.92, 16.95",\
                 "0.506, 0.612, 0.984, 1.726, 2.912, 4.578, 6.778, 9.548, 12.94, 16.95",\
                 "0.504, 0.61, 0.986, 1.728, 2.912, 4.582, 6.772, 9.554, 12.93, 16.95",\
                 "0.504, 0.612, 0.984, 1.728, 2.908, 4.58, 6.774, 9.54, 12.94, 16.95",\
                 "0.506, 0.612, 0.986, 1.728, 2.914, 4.58, 6.774, 9.548, 12.92, 16.97");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("7.785, 7.834, 7.971, 8.173, 8.439, 8.777, 9.206, 9.737, 10.38, 11.15",\
                 "7.842, 7.89, 8.027, 8.23, 8.495, 8.834, 9.262, 9.793, 10.44, 11.21",\
                 "8.017, 8.065, 8.202, 8.405, 8.67, 9.009, 9.437, 9.969, 10.61, 11.38",\
                 "8.338, 8.386, 8.523, 8.727, 8.992, 9.331, 9.759, 10.29, 10.94, 11.71",\
                 "8.766, 8.814, 8.951, 9.155, 9.42, 9.757, 10.19, 10.72, 11.36, 12.13",\
                 "9.23, 9.279, 9.416, 9.62, 9.884, 10.22, 10.65, 11.18, 11.83, 12.6",\
                 "9.725, 9.774, 9.911, 10.11, 10.38, 10.72, 11.15, 11.68, 12.32, 13.09",\
                 "10.24, 10.29, 10.43, 10.63, 10.89, 11.23, 11.66, 12.19, 12.84, 13.61",\
                 "10.78, 10.83, 10.97, 11.17, 11.43, 11.77, 12.2, 12.73, 13.38, 14.15",\
                 "11.33, 11.38, 11.52, 11.72, 11.98, 12.32, 12.75, 13.28, 13.93, 14.7");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("7.552, 7.633, 7.895, 8.368, 9.09, 10.1, 11.42, 13.08, 15.1, 17.51",\
                 "7.585, 7.666, 7.928, 8.4, 9.123, 10.13, 11.45, 13.11, 15.13, 17.54",\
                 "7.75, 7.831, 8.093, 8.566, 9.288, 10.29, 11.61, 13.27, 15.3, 17.71",\
                 "8.122, 8.202, 8.466, 8.938, 9.66, 10.67, 11.99, 13.64, 15.67, 18.08",\
                 "8.734, 8.815, 9.078, 9.55, 10.27, 11.28, 12.6, 14.26, 16.28, 18.69",\
                 "9.607, 9.689, 9.951, 10.42, 11.14, 12.15, 13.47, 15.13, 17.15, 19.56",\
                 "10.76, 10.85, 11.11, 11.58, 12.3, 13.31, 14.63, 16.29, 18.31, 20.72",\
                 "12.22, 12.3, 12.57, 13.04, 13.76, 14.77, 16.09, 17.75, 19.77, 22.18",\
                 "13.97, 14.05, 14.31, 14.78, 15.51, 16.51, 17.83, 19.49, 21.52, 23.92",\
                 "15.96, 16.04, 16.3, 16.77, 17.5, 18.5, 19.82, 21.48, 23.51, 25.92");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.5432, 0.5934, 0.742, 0.9842, 1.33, 1.802, 2.435, 3.257, 4.294, 5.556",\
                 "0.543, 0.5926, 0.7414, 0.984, 1.331, 1.802, 2.435, 3.256, 4.291, 5.554",\
                 "0.5438, 0.5926, 0.7414, 0.9834, 1.332, 1.803, 2.436, 3.258, 4.294, 5.557",\
                 "0.5438, 0.5926, 0.7414, 0.984, 1.331, 1.804, 2.436, 3.256, 4.293, 5.554",\
                 "0.5438, 0.5928, 0.7414, 0.9844, 1.332, 1.803, 2.436, 3.257, 4.292, 5.557",\
                 "0.544, 0.5922, 0.7416, 0.984, 1.331, 1.806, 2.435, 3.258, 4.294, 5.558",\
                 "0.544, 0.594, 0.74, 0.984, 1.33, 1.804, 2.436, 3.258, 4.294, 5.552",\
                 "0.544, 0.594, 0.742, 0.988, 1.33, 1.804, 2.434, 3.256, 4.294, 5.552",\
                 "0.544, 0.594, 0.742, 0.986, 1.332, 1.804, 2.436, 3.258, 4.294, 5.554",\
                 "0.546, 0.594, 0.742, 0.988, 1.332, 1.804, 2.434, 3.26, 4.29, 5.55");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.4802, 0.5872, 0.9652, 1.71, 2.895, 4.565, 6.765, 9.534, 12.94, 16.95",\
                 "0.4806, 0.587, 0.9652, 1.71, 2.901, 4.566, 6.773, 9.536, 12.92, 16.95",\
                 "0.481, 0.5866, 0.9648, 1.713, 2.899, 4.575, 6.766, 9.534, 12.91, 16.96",\
                 "0.48, 0.5868, 0.9654, 1.71, 2.896, 4.566, 6.764, 9.546, 12.92, 16.94",\
                 "0.48, 0.588, 0.964, 1.71, 2.896, 4.564, 6.772, 9.544, 12.94, 16.98",\
                 "0.48, 0.59, 0.964, 1.71, 2.896, 4.566, 6.776, 9.534, 12.94, 16.95",\
                 "0.48, 0.588, 0.966, 1.71, 2.9, 4.572, 6.768, 9.534, 12.92, 16.94",\
                 "0.48, 0.586, 0.966, 1.714, 2.898, 4.566, 6.778, 9.536, 12.93, 16.94",\
                 "0.482, 0.588, 0.966, 1.712, 2.902, 4.566, 6.762, 9.534, 12.93, 16.99",\
                 "0.48, 0.586, 0.966, 1.71, 2.896, 4.566, 6.766, 9.536, 12.92, 16.95");
        }
      }

      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.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("7.617, 7.687, 7.879, 8.149, 8.478, 8.869, 9.333, 9.884, 10.54, 11.31",\
                 "7.649, 7.719, 7.912, 8.181, 8.509, 8.901, 9.364, 9.916, 10.57, 11.34",\
                 "7.814, 7.885, 8.077, 8.347, 8.676, 9.067, 9.53, 10.08, 10.74, 11.51",\
                 "8.188, 8.258, 8.45, 8.719, 9.048, 9.439, 9.903, 10.45, 11.11, 11.88",\
                 "8.799, 8.869, 9.062, 9.331, 9.66, 10.05, 10.52, 11.07, 11.72, 12.5",\
                 "9.673, 9.743, 9.935, 10.21, 10.53, 10.93, 11.39, 11.94, 12.6, 13.37",\
                 "10.83, 10.9, 11.09, 11.36, 11.69, 12.08, 12.54, 13.1, 13.75, 14.52",\
                 "12.29, 12.36, 12.55, 12.82, 13.15, 13.54, 14, 14.55, 15.21, 15.98",\
                 "14.03, 14.1, 14.3, 14.57, 14.9, 15.29, 15.75, 16.3, 16.96, 17.73",\
                 "16.02, 16.09, 16.28, 16.55, 16.88, 17.28, 17.74, 18.29, 18.95, 19.72");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("6.48, 6.563, 6.829, 7.304, 8.027, 9.035, 10.36, 12.02, 14.04, 16.45",\
                 "6.535, 6.619, 6.885, 7.36, 8.083, 9.091, 10.41, 12.07, 14.1, 16.51",\
                 "6.711, 6.794, 7.06, 7.535, 8.258, 9.266, 10.59, 12.25, 14.27, 16.69",\
                 "7.032, 7.116, 7.382, 7.856, 8.58, 9.588, 10.91, 12.57, 14.59, 17.01",\
                 "7.46, 7.543, 7.809, 8.284, 9.006, 10.01, 11.34, 13, 15.02, 17.44",\
                 "7.924, 8.008, 8.274, 8.748, 9.472, 10.48, 11.8, 13.46, 15.49, 17.9",\
                 "8.419, 8.502, 8.768, 9.243, 9.966, 10.97, 12.3, 13.96, 15.98, 18.39",\
                 "8.935, 9.019, 9.284, 9.758, 10.48, 11.49, 12.81, 14.47, 16.5, 18.91",\
                 "9.475, 9.559, 9.824, 10.3, 11.02, 12.03, 13.35, 15.01, 17.04, 19.45",\
                 "10.02, 10.11, 10.37, 10.85, 11.57, 12.58, 13.9, 15.56, 17.59, 20");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.5436, 0.5928, 0.7414, 0.9844, 1.33, 1.801, 2.434, 3.258, 4.294, 5.557",\
                 "0.5434, 0.5932, 0.7412, 0.9838, 1.331, 1.802, 2.435, 3.256, 4.293, 5.554",\
                 "0.5428, 0.5916, 0.7412, 0.9838, 1.329, 1.803, 2.435, 3.257, 4.292, 5.552",\
                 "0.5426, 0.5922, 0.7412, 0.9838, 1.331, 1.802, 2.434, 3.256, 4.292, 5.558",\
                 "0.542, 0.592, 0.742, 0.984, 1.33, 1.8, 2.436, 3.256, 4.296, 5.558",\
                 "0.542, 0.592, 0.742, 0.984, 1.33, 1.802, 2.434, 3.256, 4.294, 5.556",\
                 "0.544, 0.594, 0.74, 0.984, 1.33, 1.8, 2.434, 3.256, 4.294, 5.552",\
                 "0.542, 0.594, 0.742, 0.984, 1.33, 1.8, 2.432, 3.258, 4.294, 5.554",\
                 "0.544, 0.592, 0.74, 0.982, 1.33, 1.802, 2.434, 3.258, 4.292, 5.552",\
                 "0.542, 0.592, 0.74, 0.984, 1.328, 1.804, 2.434, 3.256, 4.296, 5.554");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.5052, 0.6102, 0.9834, 1.726, 2.912, 4.58, 6.773, 9.544, 12.94, 16.98",\
                 "0.5048, 0.6106, 0.9852, 1.729, 2.908, 4.58, 6.776, 9.539, 12.92, 16.95",\
                 "0.5046, 0.6106, 0.984, 1.726, 2.912, 4.576, 6.778, 9.54, 12.92, 16.95",\
                 "0.5046, 0.6106, 0.9838, 1.726, 2.908, 4.58, 6.772, 9.542, 12.92, 16.96",\
                 "0.5046, 0.6104, 0.9836, 1.727, 2.909, 4.578, 6.772, 9.548, 12.92, 16.97",\
                 "0.506, 0.61, 0.984, 1.73, 2.91, 4.58, 6.778, 9.552, 12.92, 16.95",\
                 "0.504, 0.61, 0.984, 1.728, 2.908, 4.58, 6.778, 9.548, 12.92, 16.95",\
                 "0.504, 0.612, 0.984, 1.726, 2.908, 4.576, 6.774, 9.554, 12.92, 16.95",\
                 "0.506, 0.612, 0.984, 1.728, 2.908, 4.578, 6.774, 9.538, 12.92, 16.95",\
                 "0.506, 0.61, 0.984, 1.726, 2.908, 4.574, 6.77, 9.55, 12.92, 16.95");
        }
      }

      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.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("7.308, 7.356, 7.493, 7.697, 7.962, 8.3, 8.728, 9.26, 9.906, 10.68",\
                 "7.346, 7.395, 7.532, 7.735, 8, 8.338, 8.766, 9.298, 9.945, 10.71",\
                 "7.539, 7.587, 7.724, 7.927, 8.193, 8.531, 8.959, 9.491, 10.14, 10.91",\
                 "7.931, 7.979, 8.117, 8.319, 8.583, 8.923, 9.351, 9.883, 10.53, 11.3",\
                 "8.556, 8.605, 8.742, 8.945, 9.21, 9.549, 9.977, 10.51, 11.16, 11.92",\
                 "9.444, 9.493, 9.629, 9.833, 10.1, 10.44, 10.86, 11.4, 12.04, 12.81",\
                 "10.62, 10.67, 10.81, 11.01, 11.27, 11.61, 12.04, 12.57, 13.22, 13.99",\
                 "12.11, 12.15, 12.29, 12.49, 12.76, 13.1, 13.52, 14.06, 14.7, 15.47",\
                 "13.92, 13.96, 14.1, 14.3, 14.57, 14.91, 15.33, 15.87, 16.51, 17.28",\
                 "16.02, 16.07, 16.21, 16.41, 16.68, 17.02, 17.45, 17.98, 18.62, 19.39");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("4.118, 4.199, 4.461, 4.935, 5.656, 6.662, 7.982, 9.644, 11.67, 14.08",\
                 "4.175, 4.256, 4.519, 4.991, 5.713, 6.719, 8.038, 9.698, 11.73, 14.14",\
                 "4.35, 4.43, 4.693, 5.165, 5.888, 6.894, 8.213, 9.878, 11.9, 14.31",\
                 "4.661, 4.743, 5.005, 5.477, 6.2, 7.205, 8.526, 10.19, 12.22, 14.63",\
                 "5.139, 5.22, 5.482, 5.954, 6.676, 7.682, 9.003, 10.66, 12.69, 15.1",\
                 "5.782, 5.864, 6.126, 6.598, 7.32, 8.326, 9.647, 11.31, 13.34, 15.75",\
                 "6.55, 6.631, 6.894, 7.366, 8.089, 9.095, 10.41, 12.08, 14.11, 16.52",\
                 "7.419, 7.5, 7.761, 8.234, 8.956, 9.962, 11.28, 12.94, 14.97, 17.39",\
                 "8.38, 8.461, 8.725, 9.197, 9.919, 10.92, 12.24, 13.9, 15.93, 18.34",\
                 "9.43, 9.512, 9.773, 10.25, 10.97, 11.98, 13.29, 14.95, 16.98, 19.39");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.3404, 0.381, 0.5066, 0.7284, 1.069, 1.564, 2.24, 3.112, 4.19, 5.479",\
                 "0.3406, 0.3808, 0.5072, 0.7292, 1.068, 1.564, 2.24, 3.112, 4.191, 5.483",\
                 "0.34, 0.381, 0.5062, 0.7274, 1.068, 1.564, 2.24, 3.112, 4.19, 5.481",\
                 "0.3404, 0.3802, 0.5062, 0.7276, 1.068, 1.563, 2.241, 3.112, 4.186, 5.482",\
                 "0.342, 0.382, 0.506, 0.728, 1.068, 1.566, 2.238, 3.114, 4.194, 5.48",\
                 "0.34, 0.38, 0.508, 0.728, 1.068, 1.564, 2.24, 3.112, 4.19, 5.48",\
                 "0.342, 0.38, 0.506, 0.726, 1.068, 1.564, 2.238, 3.112, 4.186, 5.482",\
                 "0.34, 0.38, 0.506, 0.728, 1.068, 1.564, 2.242, 3.112, 4.192, 5.48",\
                 "0.342, 0.382, 0.508, 0.728, 1.068, 1.564, 2.24, 3.112, 4.186, 5.47",\
                 "0.34, 0.38, 0.506, 0.73, 1.07, 1.564, 2.24, 3.112, 4.186, 5.484");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.48, 0.587, 0.9654, 1.71, 2.896, 4.566, 6.776, 9.539, 12.92, 16.98",\
                 "0.4808, 0.587, 0.9654, 1.713, 2.901, 4.566, 6.765, 9.536, 12.93, 16.96",\
                 "0.4802, 0.587, 0.9638, 1.71, 2.901, 4.565, 6.764, 9.548, 12.92, 16.96",\
                 "0.4808, 0.587, 0.9654, 1.712, 2.899, 4.566, 6.774, 9.535, 12.92, 16.96",\
                 "0.4812, 0.5872, 0.9654, 1.71, 2.896, 4.566, 6.765, 9.536, 12.93, 16.96",\
                 "0.481, 0.5872, 0.9648, 1.712, 2.894, 4.566, 6.776, 9.54, 12.93, 16.95",\
                 "0.48, 0.588, 0.964, 1.71, 2.896, 4.57, 6.764, 9.56, 12.91, 16.96",\
                 "0.48, 0.586, 0.964, 1.71, 2.898, 4.574, 6.768, 9.536, 12.93, 16.95",\
                 "0.482, 0.586, 0.966, 1.71, 2.898, 4.566, 6.766, 9.548, 12.92, 16.96",\
                 "0.48, 0.588, 0.966, 1.71, 2.898, 4.566, 6.762, 9.54, 12.93, 16.96");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("7.617, 7.687, 7.879, 8.149, 8.478, 8.869, 9.333, 9.884, 10.54, 11.31",\
                 "7.649, 7.719, 7.912, 8.181, 8.509, 8.901, 9.364, 9.916, 10.57, 11.34",\
                 "7.814, 7.885, 8.077, 8.347, 8.676, 9.067, 9.53, 10.08, 10.74, 11.51",\
                 "8.188, 8.258, 8.45, 8.719, 9.048, 9.439, 9.903, 10.45, 11.11, 11.88",\
                 "8.799, 8.869, 9.062, 9.331, 9.66, 10.05, 10.52, 11.07, 11.72, 12.5",\
                 "9.673, 9.743, 9.935, 10.21, 10.53, 10.93, 11.39, 11.94, 12.6, 13.37",\
                 "10.83, 10.9, 11.09, 11.36, 11.69, 12.08, 12.54, 13.1, 13.75, 14.52",\
                 "12.29, 12.36, 12.55, 12.82, 13.15, 13.54, 14, 14.55, 15.21, 15.98",\
                 "14.03, 14.1, 14.3, 14.57, 14.9, 15.29, 15.75, 16.3, 16.96, 17.73",\
                 "16.02, 16.09, 16.28, 16.55, 16.88, 17.28, 17.74, 18.29, 18.95, 19.72");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("6.48, 6.563, 6.829, 7.304, 8.027, 9.035, 10.36, 12.02, 14.04, 16.45",\
                 "6.535, 6.619, 6.885, 7.36, 8.083, 9.091, 10.41, 12.07, 14.1, 16.51",\
                 "6.711, 6.794, 7.06, 7.535, 8.258, 9.266, 10.59, 12.25, 14.27, 16.69",\
                 "7.032, 7.116, 7.382, 7.856, 8.58, 9.588, 10.91, 12.57, 14.59, 17.01",\
                 "7.46, 7.543, 7.809, 8.284, 9.006, 10.01, 11.34, 13, 15.02, 17.44",\
                 "7.924, 8.008, 8.274, 8.748, 9.472, 10.48, 11.8, 13.46, 15.49, 17.9",\
                 "8.419, 8.502, 8.768, 9.243, 9.966, 10.97, 12.3, 13.96, 15.98, 18.39",\
                 "8.935, 9.019, 9.284, 9.758, 10.48, 11.49, 12.81, 14.47, 16.5, 18.91",\
                 "9.475, 9.559, 9.824, 10.3, 11.02, 12.03, 13.35, 15.01, 17.04, 19.45",\
                 "10.02, 10.11, 10.37, 10.85, 11.57, 12.58, 13.9, 15.56, 17.59, 20");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.5436, 0.5928, 0.7414, 0.9844, 1.33, 1.801, 2.434, 3.258, 4.294, 5.557",\
                 "0.5434, 0.5932, 0.7412, 0.9838, 1.331, 1.802, 2.435, 3.256, 4.293, 5.554",\
                 "0.5428, 0.5916, 0.7412, 0.9838, 1.329, 1.803, 2.435, 3.257, 4.292, 5.552",\
                 "0.5426, 0.5922, 0.7412, 0.9838, 1.331, 1.802, 2.434, 3.256, 4.292, 5.558",\
                 "0.542, 0.592, 0.742, 0.984, 1.33, 1.8, 2.436, 3.256, 4.296, 5.558",\
                 "0.542, 0.592, 0.742, 0.984, 1.33, 1.802, 2.434, 3.256, 4.294, 5.556",\
                 "0.544, 0.594, 0.74, 0.984, 1.33, 1.8, 2.434, 3.256, 4.294, 5.552",\
                 "0.542, 0.594, 0.742, 0.984, 1.33, 1.8, 2.432, 3.258, 4.294, 5.554",\
                 "0.544, 0.592, 0.74, 0.982, 1.33, 1.802, 2.434, 3.258, 4.292, 5.552",\
                 "0.542, 0.592, 0.74, 0.984, 1.328, 1.804, 2.434, 3.256, 4.296, 5.554");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.5052, 0.6102, 0.9834, 1.726, 2.912, 4.58, 6.773, 9.544, 12.94, 16.98",\
                 "0.5048, 0.6106, 0.9852, 1.729, 2.908, 4.58, 6.776, 9.539, 12.92, 16.95",\
                 "0.5046, 0.6106, 0.984, 1.726, 2.912, 4.576, 6.778, 9.54, 12.92, 16.95",\
                 "0.5046, 0.6106, 0.9838, 1.726, 2.908, 4.58, 6.772, 9.542, 12.92, 16.96",\
                 "0.5046, 0.6104, 0.9836, 1.727, 2.909, 4.578, 6.772, 9.548, 12.92, 16.97",\
                 "0.506, 0.61, 0.984, 1.73, 2.91, 4.58, 6.778, 9.552, 12.92, 16.95",\
                 "0.504, 0.61, 0.984, 1.728, 2.908, 4.58, 6.778, 9.548, 12.92, 16.95",\
                 "0.504, 0.612, 0.984, 1.726, 2.908, 4.576, 6.774, 9.554, 12.92, 16.95",\
                 "0.506, 0.612, 0.984, 1.728, 2.908, 4.578, 6.774, 9.538, 12.92, 16.95",\
                 "0.506, 0.61, 0.984, 1.726, 2.908, 4.574, 6.77, 9.55, 12.92, 16.95");
        }
      }

      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.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("2.678, 2.726, 2.864, 3.066, 3.331, 3.669, 4.097, 4.628, 5.275, 6.044",\
                 "2.738, 2.787, 2.924, 3.127, 3.392, 3.73, 4.157, 4.689, 5.335, 6.105",\
                 "2.909, 2.958, 3.095, 3.298, 3.563, 3.901, 4.329, 4.861, 5.506, 6.275",\
                 "3.197, 3.245, 3.383, 3.585, 3.85, 4.189, 4.616, 5.148, 5.794, 6.563",\
                 "3.644, 3.692, 3.829, 4.032, 4.297, 4.635, 5.063, 5.595, 6.241, 7.01",\
                 "4.227, 4.276, 4.412, 4.615, 4.88, 5.218, 5.646, 6.178, 6.823, 7.593",\
                 "4.913, 4.961, 5.098, 5.301, 5.565, 5.903, 6.331, 6.863, 7.509, 8.279",\
                 "5.694, 5.743, 5.88, 6.083, 6.346, 6.684, 7.11, 7.641, 8.288, 9.056",\
                 "6.559, 6.608, 6.745, 6.947, 7.212, 7.549, 7.976, 8.507, 9.151, 9.919",\
                 "7.5, 7.548, 7.685, 7.888, 8.153, 8.492, 8.918, 9.449, 10.09, 10.86");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("2.932, 3.015, 3.278, 3.753, 4.476, 5.483, 6.803, 8.463, 10.49, 12.9",\
                 "2.991, 3.073, 3.337, 3.811, 4.534, 5.541, 6.862, 8.521, 10.55, 12.96",\
                 "3.215, 3.297, 3.561, 4.036, 4.759, 5.766, 7.087, 8.746, 10.77, 13.18",\
                 "3.65, 3.732, 3.995, 4.47, 5.193, 6.2, 7.52, 9.18, 11.21, 13.62",\
                 "4.331, 4.413, 4.678, 5.152, 5.875, 6.882, 8.203, 9.862, 11.89, 14.3",\
                 "5.292, 5.373, 5.638, 6.112, 6.836, 7.843, 9.163, 10.82, 12.85, 15.26",\
                 "6.529, 6.611, 6.875, 7.349, 8.072, 9.08, 10.4, 12.06, 14.08, 16.5",\
                 "7.997, 8.079, 8.343, 8.818, 9.541, 10.55, 11.87, 13.53, 15.55, 17.97",\
                 "9.654, 9.736, 10, 10.48, 11.2, 12.21, 13.53, 15.19, 17.21, 19.62",\
                 "11.5, 11.58, 11.85, 12.32, 13.05, 14.05, 15.37, 17.03, 19.06, 21.47");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.3402, 0.38, 0.506, 0.727, 1.069, 1.562, 2.239, 3.111, 4.184, 5.481",\
                 "0.3402, 0.38, 0.5056, 0.7272, 1.069, 1.563, 2.24, 3.111, 4.186, 5.482",\
                 "0.3398, 0.3794, 0.5054, 0.728, 1.068, 1.563, 2.239, 3.112, 4.192, 5.479",\
                 "0.3396, 0.3802, 0.5056, 0.7272, 1.069, 1.563, 2.239, 3.112, 4.185, 5.475",\
                 "0.34, 0.3798, 0.5058, 0.7268, 1.069, 1.563, 2.24, 3.113, 4.192, 5.482",\
                 "0.3406, 0.38, 0.5068, 0.7284, 1.069, 1.562, 2.239, 3.11, 4.189, 5.478",\
                 "0.3396, 0.3798, 0.5046, 0.7264, 1.07, 1.564, 2.239, 3.112, 4.186, 5.482",\
                 "0.34, 0.38, 0.506, 0.726, 1.068, 1.56, 2.234, 3.104, 4.182, 5.476",\
                 "0.34, 0.38, 0.506, 0.728, 1.066, 1.56, 2.232, 3.104, 4.174, 5.464",\
                 "0.342, 0.382, 0.508, 0.728, 1.068, 1.56, 2.234, 3.104, 4.186, 5.462");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.488, 0.5946, 0.9734, 1.721, 2.903, 4.572, 6.775, 9.557, 12.92, 16.95",\
                 "0.4886, 0.5952, 0.9736, 1.719, 2.902, 4.572, 6.772, 9.557, 12.92, 16.95",\
                 "0.4882, 0.5962, 0.9734, 1.718, 2.903, 4.571, 6.771, 9.54, 12.93, 16.97",\
                 "0.4882, 0.5962, 0.9722, 1.72, 2.903, 4.572, 6.778, 9.538, 12.92, 16.96",\
                 "0.4882, 0.5946, 0.9718, 1.719, 2.904, 4.572, 6.771, 9.539, 12.93, 16.96",\
                 "0.4888, 0.5954, 0.972, 1.722, 2.909, 4.572, 6.772, 9.538, 12.92, 16.98",\
                 "0.488, 0.594, 0.974, 1.718, 2.902, 4.582, 6.768, 9.554, 12.92, 16.97",\
                 "0.49, 0.594, 0.972, 1.72, 2.906, 4.582, 6.772, 9.54, 12.93, 16.96",\
                 "0.492, 0.598, 0.974, 1.72, 2.906, 4.572, 6.776, 9.54, 12.92, 16.95",\
                 "0.492, 0.598, 0.974, 1.722, 2.906, 4.574, 6.774, 9.55, 12.95, 16.95");
        }
      }

      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.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("2.678, 2.727, 2.864, 3.066, 3.331, 3.669, 4.097, 4.628, 5.275, 6.044",\
                 "2.738, 2.787, 2.924, 3.127, 3.392, 3.73, 4.157, 4.689, 5.335, 6.105",\
                 "2.909, 2.958, 3.094, 3.298, 3.563, 3.901, 4.329, 4.86, 5.506, 6.275",\
                 "3.197, 3.246, 3.382, 3.585, 3.85, 4.188, 4.616, 5.148, 5.794, 6.563",\
                 "3.644, 3.692, 3.83, 4.032, 4.297, 4.635, 5.063, 5.595, 6.241, 7.01",\
                 "4.227, 4.276, 4.412, 4.615, 4.88, 5.218, 5.646, 6.178, 6.823, 7.594",\
                 "4.913, 4.961, 5.098, 5.301, 5.565, 5.904, 6.331, 6.863, 7.509, 8.279",\
                 "5.694, 5.743, 5.88, 6.083, 6.347, 6.685, 7.111, 7.641, 8.287, 9.056",\
                 "6.559, 6.608, 6.745, 6.947, 7.211, 7.549, 7.976, 8.508, 9.151, 9.919",\
                 "7.5, 7.548, 7.685, 7.888, 8.153, 8.491, 8.918, 9.449, 10.09, 10.86");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("2.932, 3.015, 3.278, 3.753, 4.476, 5.483, 6.803, 8.463, 10.49, 12.9",\
                 "2.991, 3.073, 3.337, 3.811, 4.534, 5.542, 6.861, 8.521, 10.55, 12.96",\
                 "3.216, 3.297, 3.561, 4.035, 4.759, 5.766, 7.087, 8.745, 10.77, 13.18",\
                 "3.649, 3.731, 3.996, 4.47, 5.193, 6.201, 7.521, 9.18, 11.2, 13.61",\
                 "4.331, 4.413, 4.677, 5.151, 5.874, 6.882, 8.203, 9.862, 11.89, 14.3",\
                 "5.292, 5.374, 5.638, 6.112, 6.835, 7.842, 9.163, 10.82, 12.85, 15.26",\
                 "6.529, 6.611, 6.875, 7.349, 8.073, 9.08, 10.4, 12.06, 14.08, 16.49",\
                 "7.997, 8.079, 8.343, 8.817, 9.541, 10.55, 11.87, 13.53, 15.55, 17.96",\
                 "9.654, 9.736, 10, 10.48, 11.2, 12.21, 13.53, 15.19, 17.21, 19.62",\
                 "11.5, 11.58, 11.85, 12.32, 13.05, 14.05, 15.37, 17.03, 19.06, 21.47");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.3406, 0.38, 0.5064, 0.7268, 1.068, 1.562, 2.239, 3.111, 4.184, 5.471",\
                 "0.3404, 0.3798, 0.5056, 0.7272, 1.069, 1.563, 2.24, 3.111, 4.186, 5.482",\
                 "0.3404, 0.3796, 0.5056, 0.728, 1.068, 1.563, 2.239, 3.112, 4.192, 5.479",\
                 "0.3406, 0.38, 0.5056, 0.7268, 1.069, 1.563, 2.24, 3.113, 4.189, 5.482",\
                 "0.3406, 0.3798, 0.5058, 0.7272, 1.069, 1.562, 2.24, 3.111, 4.192, 5.475",\
                 "0.3406, 0.3806, 0.5058, 0.7282, 1.069, 1.563, 2.239, 3.113, 4.191, 5.48",\
                 "0.3394, 0.3794, 0.5048, 0.7264, 1.068, 1.562, 2.237, 3.112, 4.188, 5.482",\
                 "0.34, 0.38, 0.506, 0.726, 1.064, 1.56, 2.232, 3.104, 4.182, 5.474",\
                 "0.34, 0.38, 0.506, 0.728, 1.068, 1.56, 2.232, 3.104, 4.176, 5.464",\
                 "0.342, 0.382, 0.508, 0.728, 1.068, 1.562, 2.234, 3.106, 4.18, 5.462");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.4882, 0.5946, 0.9736, 1.721, 2.903, 4.572, 6.775, 9.539, 12.92, 16.95",\
                 "0.4886, 0.595, 0.9734, 1.719, 2.903, 4.573, 6.778, 9.557, 12.92, 16.95",\
                 "0.4874, 0.5962, 0.9736, 1.721, 2.902, 4.572, 6.769, 9.538, 12.92, 16.98",\
                 "0.488, 0.5944, 0.973, 1.721, 2.903, 4.572, 6.772, 9.539, 12.92, 16.95",\
                 "0.4892, 0.5944, 0.9736, 1.721, 2.902, 4.582, 6.769, 9.538, 12.93, 16.95",\
                 "0.4874, 0.5952, 0.9722, 1.721, 2.906, 4.573, 6.772, 9.538, 12.93, 16.98",\
                 "0.488, 0.596, 0.974, 1.718, 2.902, 4.572, 6.768, 9.538, 12.92, 16.95",\
                 "0.49, 0.596, 0.974, 1.722, 2.902, 4.574, 6.778, 9.538, 12.92, 16.96",\
                 "0.492, 0.596, 0.974, 1.72, 2.904, 4.574, 6.78, 9.538, 12.92, 16.95",\
                 "0.494, 0.6, 0.976, 1.72, 2.906, 4.574, 6.776, 9.54, 12.95, 16.95");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("2.678, 2.727, 2.864, 3.066, 3.331, 3.669, 4.097, 4.628, 5.275, 6.044",\
                 "2.738, 2.787, 2.924, 3.127, 3.392, 3.73, 4.157, 4.689, 5.335, 6.105",\
                 "2.909, 2.958, 3.094, 3.298, 3.563, 3.901, 4.329, 4.86, 5.506, 6.275",\
                 "3.197, 3.246, 3.382, 3.585, 3.85, 4.188, 4.616, 5.148, 5.794, 6.563",\
                 "3.644, 3.692, 3.83, 4.032, 4.297, 4.635, 5.063, 5.595, 6.241, 7.01",\
                 "4.227, 4.276, 4.412, 4.615, 4.88, 5.218, 5.646, 6.178, 6.823, 7.594",\
                 "4.913, 4.961, 5.098, 5.301, 5.565, 5.904, 6.331, 6.863, 7.509, 8.279",\
                 "5.694, 5.743, 5.88, 6.083, 6.347, 6.685, 7.111, 7.641, 8.287, 9.056",\
                 "6.559, 6.608, 6.745, 6.947, 7.211, 7.549, 7.976, 8.508, 9.151, 9.919",\
                 "7.5, 7.548, 7.685, 7.888, 8.153, 8.491, 8.918, 9.449, 10.09, 10.86");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("2.932, 3.015, 3.278, 3.753, 4.476, 5.483, 6.803, 8.463, 10.49, 12.9",\
                 "2.991, 3.073, 3.337, 3.811, 4.534, 5.541, 6.862, 8.521, 10.55, 12.96",\
                 "3.215, 3.297, 3.561, 4.036, 4.759, 5.766, 7.087, 8.746, 10.77, 13.18",\
                 "3.65, 3.732, 3.995, 4.47, 5.193, 6.2, 7.52, 9.18, 11.21, 13.62",\
                 "4.331, 4.413, 4.678, 5.152, 5.875, 6.882, 8.203, 9.862, 11.89, 14.3",\
                 "5.292, 5.373, 5.638, 6.112, 6.836, 7.843, 9.163, 10.82, 12.85, 15.26",\
                 "6.529, 6.611, 6.875, 7.349, 8.072, 9.08, 10.4, 12.06, 14.08, 16.5",\
                 "7.997, 8.079, 8.343, 8.818, 9.541, 10.55, 11.87, 13.53, 15.55, 17.97",\
                 "9.654, 9.736, 10, 10.48, 11.2, 12.21, 13.53, 15.19, 17.21, 19.62",\
                 "11.5, 11.58, 11.85, 12.32, 13.05, 14.05, 15.37, 17.03, 19.06, 21.47");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.3402, 0.38, 0.506, 0.727, 1.069, 1.562, 2.239, 3.111, 4.184, 5.481",\
                 "0.3402, 0.38, 0.5056, 0.7272, 1.069, 1.563, 2.24, 3.111, 4.186, 5.482",\
                 "0.3398, 0.3794, 0.5054, 0.728, 1.068, 1.563, 2.239, 3.112, 4.192, 5.479",\
                 "0.3396, 0.3802, 0.5056, 0.7272, 1.069, 1.563, 2.239, 3.112, 4.185, 5.475",\
                 "0.34, 0.3798, 0.5058, 0.7268, 1.069, 1.563, 2.24, 3.113, 4.192, 5.482",\
                 "0.3406, 0.38, 0.5068, 0.7284, 1.069, 1.562, 2.239, 3.11, 4.189, 5.478",\
                 "0.3396, 0.3798, 0.5046, 0.7264, 1.07, 1.564, 2.239, 3.112, 4.186, 5.482",\
                 "0.34, 0.38, 0.506, 0.726, 1.068, 1.56, 2.234, 3.104, 4.182, 5.476",\
                 "0.34, 0.38, 0.506, 0.728, 1.066, 1.56, 2.232, 3.104, 4.174, 5.464",\
                 "0.342, 0.382, 0.508, 0.728, 1.068, 1.56, 2.234, 3.104, 4.186, 5.462");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.488, 0.5946, 0.9734, 1.721, 2.903, 4.572, 6.775, 9.557, 12.92, 16.95",\
                 "0.4886, 0.5952, 0.9736, 1.719, 2.902, 4.572, 6.772, 9.557, 12.92, 16.95",\
                 "0.4882, 0.5962, 0.9734, 1.718, 2.903, 4.571, 6.771, 9.54, 12.93, 16.97",\
                 "0.4882, 0.5962, 0.9722, 1.72, 2.903, 4.572, 6.778, 9.538, 12.92, 16.96",\
                 "0.4882, 0.5946, 0.9718, 1.719, 2.904, 4.572, 6.771, 9.539, 12.93, 16.96",\
                 "0.4888, 0.5954, 0.972, 1.722, 2.909, 4.572, 6.772, 9.538, 12.92, 16.98",\
                 "0.488, 0.594, 0.974, 1.718, 2.902, 4.582, 6.768, 9.554, 12.92, 16.97",\
                 "0.49, 0.594, 0.972, 1.72, 2.906, 4.582, 6.772, 9.54, 12.93, 16.96",\
                 "0.492, 0.598, 0.974, 1.72, 2.906, 4.572, 6.776, 9.54, 12.92, 16.95",\
                 "0.492, 0.598, 0.974, 1.722, 2.906, 4.574, 6.774, 9.55, 12.95, 16.95");
        }
      }

      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.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("2.718, 2.788, 2.981, 3.25, 3.579, 3.97, 4.433, 4.985, 5.641, 6.413",\
                 "2.768, 2.838, 3.03, 3.3, 3.629, 4.02, 4.483, 5.035, 5.69, 6.463",\
                 "2.948, 3.018, 3.21, 3.48, 3.81, 4.2, 4.664, 5.215, 5.871, 6.644",\
                 "3.328, 3.399, 3.591, 3.861, 4.19, 4.58, 5.044, 5.596, 6.251, 7.024",\
                 "3.952, 4.022, 4.215, 4.484, 4.814, 5.204, 5.668, 6.22, 6.875, 7.648",\
                 "4.848, 4.918, 5.11, 5.38, 5.708, 6.1, 6.563, 7.116, 7.771, 8.544",\
                 "6.035, 6.105, 6.298, 6.567, 6.896, 7.287, 7.751, 8.303, 8.959, 9.732",\
                 "7.505, 7.577, 7.773, 8.046, 8.378, 8.771, 9.236, 9.788, 10.44, 11.22",\
                 "9.2, 9.279, 9.49, 9.776, 10.12, 10.52, 10.99, 11.54, 12.2, 12.97",\
                 "11.08, 11.17, 11.4, 11.7, 12.06, 12.47, 12.94, 13.5, 14.16, 14.93");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("1.22, 1.301, 1.563, 2.036, 2.759, 3.765, 5.084, 6.745, 8.765, 11.18",\
                 "1.272, 1.353, 1.616, 2.089, 2.811, 3.818, 5.137, 6.794, 8.822, 11.24",\
                 "1.46, 1.541, 1.803, 2.276, 2.998, 4.004, 5.325, 6.981, 9.01, 11.43",\
                 "1.809, 1.889, 2.151, 2.622, 3.344, 4.35, 5.671, 7.335, 9.362, 11.77",\
                 "2.339, 2.42, 2.681, 3.151, 3.873, 4.879, 6.199, 7.859, 9.886, 12.3",\
                 "2.989, 3.071, 3.336, 3.808, 4.529, 5.535, 6.855, 8.52, 10.55, 12.95",\
                 "3.719, 3.804, 4.071, 4.546, 5.27, 6.275, 7.595, 9.256, 11.28, 13.7",\
                 "4.527, 4.613, 4.885, 5.36, 6.082, 7.091, 8.412, 10.07, 12.1, 14.52",\
                 "5.409, 5.5, 5.777, 6.254, 6.975, 7.983, 9.306, 10.97, 12.99, 15.41",\
                 "6.364, 6.459, 6.743, 7.222, 7.944, 8.949, 10.27, 11.93, 13.96, 16.37");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.543, 0.5928, 0.74, 0.9828, 1.329, 1.801, 2.434, 3.256, 4.293, 5.557",\
                 "0.5424, 0.5918, 0.7408, 0.9832, 1.331, 1.804, 2.434, 3.257, 4.293, 5.557",\
                 "0.5426, 0.5924, 0.741, 0.9834, 1.33, 1.804, 2.434, 3.257, 4.294, 5.551",\
                 "0.543, 0.5928, 0.7406, 0.9834, 1.329, 1.804, 2.434, 3.257, 4.293, 5.556",\
                 "0.5426, 0.5932, 0.7406, 0.9838, 1.331, 1.804, 2.433, 3.257, 4.292, 5.558",\
                 "0.544, 0.5934, 0.7418, 0.9838, 1.33, 1.804, 2.435, 3.258, 4.291, 5.557",\
                 "0.5472, 0.597, 0.746, 0.986, 1.332, 1.804, 2.434, 3.258, 4.294, 5.556",\
                 "0.572, 0.62, 0.766, 1.004, 1.344, 1.816, 2.44, 3.262, 4.296, 5.558",\
                 "0.646, 0.694, 0.832, 1.056, 1.384, 1.84, 2.46, 3.272, 4.302, 5.56",\
                 "0.73, 0.78, 0.92, 1.138, 1.452, 1.896, 2.506, 3.306, 4.324, 5.572");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.4776, 0.5842, 0.9634, 1.711, 2.895, 4.565, 6.775, 9.54, 12.92, 16.96",\
                 "0.4774, 0.5844, 0.9636, 1.71, 2.895, 4.565, 6.767, 9.537, 12.93, 16.97",\
                 "0.4776, 0.5844, 0.9638, 1.712, 2.895, 4.566, 6.767, 9.536, 12.93, 16.99",\
                 "0.4774, 0.5846, 0.9638, 1.711, 2.901, 4.569, 6.767, 9.54, 12.91, 16.95",\
                 "0.4822, 0.5872, 0.9648, 1.71, 2.901, 4.57, 6.764, 9.537, 12.92, 16.95",\
                 "0.5004, 0.6054, 0.979, 1.716, 2.897, 4.569, 6.772, 9.547, 12.92, 16.95",\
                 "0.5224, 0.6258, 0.993, 1.732, 2.91, 4.57, 6.766, 9.536, 12.92, 16.96",\
                 "0.552, 0.652, 1.01, 1.738, 2.92, 4.586, 6.776, 9.538, 12.92, 16.99",\
                 "0.59, 0.684, 1.032, 1.752, 2.926, 4.592, 6.788, 9.552, 12.94, 16.95",\
                 "0.636, 0.726, 1.058, 1.762, 2.932, 4.596, 6.794, 9.564, 12.94, 16.97");
        }
      }

      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.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("2.719, 2.788, 2.981, 3.251, 3.58, 3.971, 4.435, 4.986, 5.642, 6.415",\
                 "2.768, 2.838, 3.031, 3.301, 3.63, 4.021, 4.485, 5.037, 5.692, 6.465",\
                 "2.949, 3.019, 3.211, 3.482, 3.812, 4.202, 4.666, 5.218, 5.873, 6.646",\
                 "3.33, 3.4, 3.593, 3.863, 4.191, 4.583, 5.047, 5.599, 6.254, 7.028",\
                 "3.954, 4.024, 4.216, 4.486, 4.815, 5.206, 5.67, 6.222, 6.878, 7.65",\
                 "4.85, 4.92, 5.112, 5.382, 5.711, 6.101, 6.566, 7.118, 7.774, 8.546",\
                 "6.037, 6.106, 6.299, 6.569, 6.897, 7.289, 7.753, 8.306, 8.961, 9.734",\
                 "7.506, 7.578, 7.774, 8.048, 8.379, 8.772, 9.238, 9.79, 10.45, 11.22",\
                 "9.202, 9.281, 9.491, 9.779, 10.12, 10.52, 10.99, 11.54, 12.2, 12.97",\
                 "11.08, 11.17, 11.4, 11.7, 12.06, 12.47, 12.94, 13.5, 14.16, 14.93");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("1.22, 1.301, 1.563, 2.037, 2.759, 3.765, 5.084, 6.743, 8.775, 11.18",\
                 "1.272, 1.353, 1.616, 2.089, 2.812, 3.817, 5.136, 6.794, 8.823, 11.24",\
                 "1.46, 1.541, 1.803, 2.276, 2.999, 4.004, 5.325, 6.984, 9.013, 11.43",\
                 "1.809, 1.889, 2.151, 2.622, 3.344, 4.35, 5.671, 7.335, 9.363, 11.76",\
                 "2.339, 2.42, 2.68, 3.151, 3.872, 4.879, 6.2, 7.86, 9.888, 12.3",\
                 "2.988, 3.071, 3.336, 3.809, 4.53, 5.535, 6.856, 8.517, 10.55, 12.96",\
                 "3.719, 3.803, 4.071, 4.545, 5.27, 6.275, 7.594, 9.253, 11.29, 13.69",\
                 "4.526, 4.613, 4.884, 5.36, 6.083, 7.092, 8.412, 10.07, 12.1, 14.52",\
                 "5.41, 5.5, 5.776, 6.254, 6.975, 7.984, 9.306, 10.97, 12.99, 15.41",\
                 "6.365, 6.459, 6.743, 7.22, 7.943, 8.948, 10.27, 11.93, 13.96, 16.37");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.5432, 0.5932, 0.7424, 0.984, 1.331, 1.801, 2.435, 3.257, 4.293, 5.552",\
                 "0.5438, 0.5936, 0.7408, 0.984, 1.331, 1.805, 2.435, 3.258, 4.293, 5.558",\
                 "0.5434, 0.593, 0.7418, 0.9842, 1.331, 1.804, 2.435, 3.257, 4.294, 5.552",\
                 "0.5432, 0.5924, 0.7414, 0.9848, 1.331, 1.803, 2.436, 3.258, 4.292, 5.554",\
                 "0.5438, 0.5942, 0.7428, 0.9844, 1.332, 1.805, 2.435, 3.257, 4.292, 5.556",\
                 "0.5444, 0.5938, 0.7422, 0.9852, 1.331, 1.806, 2.437, 3.258, 4.295, 5.558",\
                 "0.5482, 0.5968, 0.746, 0.988, 1.334, 1.808, 2.436, 3.258, 4.292, 5.558",\
                 "0.572, 0.622, 0.766, 1.002, 1.346, 1.816, 2.442, 3.262, 4.292, 5.558",\
                 "0.646, 0.694, 0.832, 1.056, 1.386, 1.844, 2.462, 3.276, 4.304, 5.56",\
                 "0.728, 0.78, 0.92, 1.138, 1.452, 1.896, 2.506, 3.308, 4.324, 5.572");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.4776, 0.5842, 0.9638, 1.71, 2.899, 4.565, 6.767, 9.535, 12.92, 16.95",\
                 "0.4774, 0.5844, 0.9638, 1.71, 2.895, 4.57, 6.765, 9.537, 12.93, 16.99",\
                 "0.4778, 0.5844, 0.9638, 1.712, 2.9, 4.572, 6.767, 9.538, 12.93, 16.95",\
                 "0.4792, 0.5848, 0.9626, 1.711, 2.895, 4.568, 6.776, 9.547, 12.91, 16.95",\
                 "0.482, 0.588, 0.9652, 1.71, 2.898, 4.57, 6.767, 9.536, 12.92, 16.96",\
                 "0.5004, 0.6064, 0.9796, 1.717, 2.899, 4.57, 6.766, 9.535, 12.92, 16.96",\
                 "0.5224, 0.6248, 0.9946, 1.733, 2.91, 4.571, 6.774, 9.534, 12.92, 16.95",\
                 "0.552, 0.654, 1.008, 1.738, 2.92, 4.586, 6.778, 9.554, 12.92, 16.98",\
                 "0.588, 0.684, 1.03, 1.752, 2.922, 4.596, 6.788, 9.552, 12.93, 16.95",\
                 "0.636, 0.728, 1.06, 1.762, 2.928, 4.596, 6.794, 9.56, 12.94, 16.96");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("2.719, 2.788, 2.981, 3.251, 3.58, 3.971, 4.435, 4.986, 5.642, 6.415",\
                 "2.768, 2.838, 3.031, 3.301, 3.63, 4.021, 4.485, 5.037, 5.692, 6.465",\
                 "2.949, 3.019, 3.211, 3.482, 3.812, 4.202, 4.666, 5.218, 5.873, 6.646",\
                 "3.33, 3.4, 3.593, 3.863, 4.191, 4.583, 5.047, 5.599, 6.254, 7.028",\
                 "3.954, 4.024, 4.216, 4.486, 4.815, 5.206, 5.67, 6.222, 6.878, 7.65",\
                 "4.85, 4.92, 5.112, 5.382, 5.711, 6.101, 6.566, 7.118, 7.774, 8.546",\
                 "6.037, 6.106, 6.299, 6.569, 6.897, 7.289, 7.753, 8.306, 8.961, 9.734",\
                 "7.506, 7.578, 7.774, 8.048, 8.379, 8.772, 9.238, 9.79, 10.45, 11.22",\
                 "9.202, 9.281, 9.491, 9.779, 10.12, 10.52, 10.99, 11.54, 12.2, 12.97",\
                 "11.08, 11.17, 11.4, 11.7, 12.06, 12.47, 12.94, 13.5, 14.16, 14.93");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("1.22, 1.301, 1.563, 2.036, 2.759, 3.765, 5.084, 6.745, 8.765, 11.18",\
                 "1.272, 1.353, 1.616, 2.089, 2.811, 3.818, 5.137, 6.794, 8.822, 11.24",\
                 "1.46, 1.541, 1.803, 2.276, 2.998, 4.004, 5.325, 6.981, 9.01, 11.43",\
                 "1.809, 1.889, 2.151, 2.622, 3.344, 4.35, 5.671, 7.335, 9.362, 11.77",\
                 "2.339, 2.42, 2.681, 3.151, 3.873, 4.879, 6.199, 7.859, 9.886, 12.3",\
                 "2.989, 3.071, 3.336, 3.808, 4.529, 5.535, 6.855, 8.52, 10.55, 12.95",\
                 "3.719, 3.804, 4.071, 4.546, 5.27, 6.275, 7.595, 9.256, 11.28, 13.7",\
                 "4.527, 4.613, 4.885, 5.36, 6.082, 7.091, 8.412, 10.07, 12.1, 14.52",\
                 "5.409, 5.5, 5.777, 6.254, 6.975, 7.983, 9.306, 10.97, 12.99, 15.41",\
                 "6.364, 6.459, 6.743, 7.222, 7.944, 8.949, 10.27, 11.93, 13.96, 16.37");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.543, 0.5928, 0.74, 0.9828, 1.329, 1.801, 2.434, 3.256, 4.293, 5.557",\
                 "0.5424, 0.5918, 0.7408, 0.9832, 1.331, 1.804, 2.434, 3.257, 4.293, 5.557",\
                 "0.5426, 0.5924, 0.741, 0.9834, 1.33, 1.804, 2.434, 3.257, 4.294, 5.551",\
                 "0.543, 0.5928, 0.7406, 0.9834, 1.329, 1.804, 2.434, 3.257, 4.293, 5.556",\
                 "0.5426, 0.5932, 0.7406, 0.9838, 1.331, 1.804, 2.433, 3.257, 4.292, 5.558",\
                 "0.544, 0.5934, 0.7418, 0.9838, 1.33, 1.804, 2.435, 3.258, 4.291, 5.557",\
                 "0.5472, 0.597, 0.746, 0.986, 1.332, 1.804, 2.434, 3.258, 4.294, 5.556",\
                 "0.572, 0.62, 0.766, 1.004, 1.344, 1.816, 2.44, 3.262, 4.296, 5.558",\
                 "0.646, 0.694, 0.832, 1.056, 1.384, 1.84, 2.46, 3.272, 4.302, 5.56",\
                 "0.73, 0.78, 0.92, 1.138, 1.452, 1.896, 2.506, 3.306, 4.324, 5.572");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.00379, 0.01358, 0.03229, 0.06142, 0.1023, 0.1561, 0.2239, 0.3066, 0.4052");
          values("0.4776, 0.5842, 0.9638, 1.71, 2.899, 4.565, 6.767, 9.535, 12.92, 16.95",\
                 "0.4774, 0.5844, 0.9638, 1.71, 2.895, 4.57, 6.765, 9.537, 12.93, 16.99",\
                 "0.4778, 0.5844, 0.9638, 1.712, 2.9, 4.572, 6.767, 9.538, 12.93, 16.95",\
                 "0.4792, 0.5848, 0.9626, 1.711, 2.895, 4.568, 6.776, 9.547, 12.91, 16.95",\
                 "0.482, 0.588, 0.9652, 1.71, 2.898, 4.57, 6.767, 9.536, 12.92, 16.96",\
                 "0.5004, 0.6064, 0.9796, 1.717, 2.899, 4.57, 6.766, 9.535, 12.92, 16.96",\
                 "0.5224, 0.6248, 0.9946, 1.733, 2.91, 4.571, 6.774, 9.534, 12.92, 16.95",\
                 "0.552, 0.654, 1.008, 1.738, 2.92, 4.586, 6.778, 9.554, 12.92, 16.98",\
                 "0.588, 0.684, 1.03, 1.752, 2.922, 4.596, 6.788, 9.552, 12.93, 16.95",\
                 "0.636, 0.728, 1.06, 1.762, 2.928, 4.596, 6.794, 9.56, 12.94, 16.96");
        }
      }
    }
  }