  cell(gf180mcu_fd_sc_mcu9t5v0__xnor3_2) {
    area : 79.027200 ;

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

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

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

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

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

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

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

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

    leakage_power() {
      related_pg_pin : "VDD" ;
      value : "3.834216e-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.005422 ;
      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.006207 ;
      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.008636 ;
      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(ZN) {
      direction : output ;
      function : "(!(A1^A2^A3))" ;
      max_capacitance : 0.4065 ;
      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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.08017, 0.0803, 0.08067, 0.08108, 0.08145, 0.0817, 0.08186, 0.08197, 0.08205, 0.0821",\
                 "0.08023, 0.08034, 0.08071, 0.08113, 0.08149, 0.08175, 0.08193, 0.08202, 0.08209, 0.08215",\
                 "0.08019, 0.08032, 0.08068, 0.0811, 0.08147, 0.08172, 0.08189, 0.082, 0.08207, 0.08212",\
                 "0.07998, 0.08011, 0.08047, 0.08091, 0.08125, 0.0815, 0.08169, 0.08179, 0.08186, 0.08191",\
                 "0.07977, 0.0799, 0.08026, 0.08068, 0.08105, 0.08128, 0.08146, 0.08157, 0.08164, 0.08168",\
                 "0.07959, 0.07973, 0.08009, 0.08052, 0.08087, 0.08113, 0.0813, 0.08141, 0.08148, 0.08151",\
                 "0.07945, 0.07958, 0.07995, 0.08038, 0.08074, 0.08099, 0.08116, 0.08127, 0.08133, 0.08131",\
                 "0.07933, 0.07945, 0.07982, 0.08024, 0.08061, 0.08086, 0.08103, 0.08113, 0.08112, 0.08066",\
                 "0.07918, 0.07933, 0.0797, 0.08012, 0.08048, 0.08072, 0.08087, 0.08073, 0.07966, 0.07778",\
                 "0.07877, 0.07889, 0.07924, 0.07959, 0.07977, 0.07917, 0.07701, 0.07506, 0.07369, 0.07271");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.06758, 0.06767, 0.06801, 0.06844, 0.06888, 0.06946, 0.06985, 0.07424, 0.1206, 0.2527",\
                 "0.06754, 0.06767, 0.06796, 0.06841, 0.06885, 0.0693, 0.06974, 0.07426, 0.1231, 0.256",\
                 "0.06749, 0.0676, 0.06793, 0.06831, 0.06877, 0.0693, 0.06976, 0.0756, 0.1309, 0.2658",\
                 "0.06743, 0.06758, 0.06789, 0.06833, 0.0688, 0.06919, 0.06977, 0.07881, 0.1487, 0.2835",\
                 "0.06735, 0.06748, 0.06778, 0.06818, 0.06877, 0.06914, 0.07014, 0.08753, 0.1801, 0.3055",\
                 "0.06722, 0.06734, 0.06768, 0.06808, 0.06854, 0.06916, 0.07223, 0.112, 0.2229, 0.3242",\
                 "0.06702, 0.06716, 0.06748, 0.06789, 0.0684, 0.06915, 0.08469, 0.166, 0.2578, 0.3252",\
                 "0.06683, 0.06695, 0.06724, 0.0677, 0.06827, 0.07895, 0.1425, 0.2079, 0.2537, 0.2858",\
                 "0.06646, 0.06655, 0.06689, 0.06877, 0.09578, 0.1265, 0.1462, 0.1589, 0.1673, 0.173",\
                 "0.02308, 0.02308, 0.02307, 0.02308, 0.02308, 0.02308, 0.02308, 0.02308, 0.02308, 0.02308");
        }
      }

      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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.06908, 0.06922, 0.06955, 0.06993, 0.0703, 0.07058, 0.07078, 0.07091, 0.07099, 0.07106",\
                 "0.06907, 0.0692, 0.06951, 0.06992, 0.07027, 0.07055, 0.07075, 0.07088, 0.07096, 0.07102",\
                 "0.06899, 0.06911, 0.06945, 0.06985, 0.07021, 0.07048, 0.07068, 0.07081, 0.07091, 0.07097",\
                 "0.06894, 0.06906, 0.0694, 0.0698, 0.07017, 0.07044, 0.07064, 0.07076, 0.07085, 0.07091",\
                 "0.06888, 0.06901, 0.06934, 0.06972, 0.0701, 0.07038, 0.07057, 0.07071, 0.07078, 0.07084",\
                 "0.06876, 0.06888, 0.06921, 0.06961, 0.06997, 0.07026, 0.07046, 0.07058, 0.07067, 0.07072",\
                 "0.06858, 0.06872, 0.06904, 0.06946, 0.06981, 0.07008, 0.07028, 0.07041, 0.07049, 0.07045",\
                 "0.06841, 0.06853, 0.06885, 0.06925, 0.06962, 0.0699, 0.07008, 0.07018, 0.07001, 0.06898",\
                 "0.06808, 0.06821, 0.06854, 0.06892, 0.06925, 0.06936, 0.06869, 0.0667, 0.06485, 0.0635",\
                 "0.04073, 0.04094, 0.0414, 0.04191, 0.04235, 0.04267, 0.04288, 0.04302, 0.04312, 0.04319");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.06249, 0.0626, 0.06288, 0.06329, 0.0637, 0.06407, 0.0646, 0.06622, 0.08785, 0.1935",\
                 "0.06256, 0.06266, 0.06293, 0.06334, 0.06372, 0.0642, 0.06466, 0.06652, 0.08931, 0.1963",\
                 "0.06253, 0.06264, 0.06294, 0.06334, 0.06377, 0.06423, 0.06471, 0.0668, 0.09409, 0.2069",\
                 "0.06233, 0.06241, 0.06273, 0.06308, 0.06359, 0.06392, 0.06475, 0.06783, 0.1032, 0.2261",\
                 "0.06213, 0.06222, 0.06252, 0.06291, 0.06335, 0.06381, 0.06446, 0.06955, 0.1212, 0.2538",\
                 "0.06197, 0.06209, 0.06235, 0.06274, 0.06313, 0.06362, 0.06429, 0.07553, 0.1514, 0.2846",\
                 "0.06181, 0.06191, 0.0622, 0.06259, 0.06301, 0.06349, 0.06525, 0.09199, 0.1962, 0.311",\
                 "0.06169, 0.06181, 0.0621, 0.06245, 0.06289, 0.06349, 0.07082, 0.1343, 0.2397, 0.3229",\
                 "0.06158, 0.06166, 0.06194, 0.06231, 0.06279, 0.0654, 0.1033, 0.1892, 0.2577, 0.3065",\
                 "0.06136, 0.06148, 0.06173, 0.06214, 0.06441, 0.09954, 0.1568, 0.1971, 0.2244, 0.2435");
        }
      }

      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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.07817, 0.07833, 0.0787, 0.0791, 0.07947, 0.07972, 0.07988, 0.08, 0.08006, 0.0801",\
                 "0.07821, 0.07835, 0.07872, 0.07914, 0.0795, 0.07975, 0.07992, 0.08003, 0.0801, 0.08015",\
                 "0.07808, 0.07821, 0.07858, 0.079, 0.07935, 0.0796, 0.07977, 0.07989, 0.07996, 0.08001",\
                 "0.07789, 0.078, 0.07836, 0.07879, 0.07915, 0.0794, 0.07957, 0.07968, 0.07975, 0.07979",\
                 "0.07769, 0.07783, 0.07821, 0.07862, 0.07899, 0.07924, 0.07941, 0.07952, 0.07959, 0.07963",\
                 "0.07758, 0.0777, 0.07807, 0.0785, 0.07885, 0.07911, 0.07928, 0.07938, 0.07946, 0.07949",\
                 "0.07748, 0.0776, 0.07798, 0.07839, 0.07875, 0.07901, 0.07918, 0.07929, 0.07935, 0.07929",\
                 "0.07739, 0.07751, 0.07789, 0.0783, 0.07866, 0.07892, 0.07909, 0.07915, 0.07888, 0.07767",\
                 "0.07716, 0.0773, 0.07766, 0.07805, 0.07833, 0.07822, 0.07679, 0.07459, 0.07298, 0.0718",\
                 "0.04319, 0.04329, 0.04358, 0.04396, 0.04428, 0.04451, 0.04466, 0.04476, 0.04481, 0.04486");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.05677, 0.05687, 0.0572, 0.05759, 0.0581, 0.05863, 0.05894, 0.05984, 0.0726, 0.1573",\
                 "0.05675, 0.05686, 0.05719, 0.05759, 0.05808, 0.05851, 0.05891, 0.05989, 0.07361, 0.1585",\
                 "0.05675, 0.05685, 0.05717, 0.05759, 0.05805, 0.05863, 0.05894, 0.06007, 0.07579, 0.1696",\
                 "0.05669, 0.05683, 0.0571, 0.05755, 0.05807, 0.05845, 0.0587, 0.0609, 0.08199, 0.1878",\
                 "0.05657, 0.05671, 0.05697, 0.05741, 0.05787, 0.05834, 0.05872, 0.06199, 0.09616, 0.2187",\
                 "0.05643, 0.05656, 0.05689, 0.05731, 0.05776, 0.05817, 0.05871, 0.06515, 0.1247, 0.2599",\
                 "0.05628, 0.05641, 0.05673, 0.05711, 0.0575, 0.05819, 0.05925, 0.07936, 0.1751, 0.2979",\
                 "0.05612, 0.05625, 0.05655, 0.05696, 0.05742, 0.05794, 0.06401, 0.1227, 0.2306, 0.317",\
                 "0.05598, 0.05608, 0.0564, 0.05684, 0.05723, 0.06017, 0.1023, 0.1866, 0.2515, 0.2978",\
                 "0.05576, 0.05586, 0.05621, 0.05654, 0.0627, 0.1082, 0.1522, 0.1815, 0.2012, 0.2149");
        }
      }

      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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.04822, 0.04834, 0.04868, 0.04908, 0.04944, 0.04972, 0.04992, 0.05005, 0.05014, 0.0502",\
                 "0.04823, 0.04834, 0.04868, 0.04907, 0.04944, 0.04973, 0.04992, 0.05005, 0.05014, 0.05021",\
                 "0.04821, 0.04834, 0.04867, 0.04906, 0.04943, 0.0497, 0.0499, 0.05004, 0.05013, 0.0502",\
                 "0.04816, 0.04828, 0.04859, 0.04899, 0.04935, 0.04964, 0.04983, 0.04997, 0.05006, 0.05012",\
                 "0.04799, 0.04811, 0.04844, 0.04885, 0.0492, 0.04947, 0.04967, 0.04981, 0.0499, 0.04996",\
                 "0.04782, 0.04794, 0.04827, 0.04867, 0.04904, 0.04931, 0.0495, 0.04964, 0.04973, 0.0498",\
                 "0.04766, 0.04778, 0.0481, 0.04849, 0.04885, 0.04912, 0.04934, 0.04947, 0.04956, 0.04962",\
                 "0.0475, 0.04762, 0.04796, 0.04834, 0.0487, 0.04898, 0.04919, 0.04932, 0.04941, 0.04945",\
                 "0.04735, 0.04748, 0.04779, 0.04817, 0.04853, 0.04882, 0.04902, 0.04914, 0.04918, 0.04883",\
                 "0.0472, 0.04731, 0.04762, 0.04802, 0.04836, 0.04862, 0.04874, 0.04828, 0.04665, 0.04482");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.05998, 0.06012, 0.06037, 0.06079, 0.06125, 0.06162, 0.06213, 0.06333, 0.07892, 0.1674",\
                 "0.06001, 0.06015, 0.06039, 0.06082, 0.06123, 0.06175, 0.06224, 0.06344, 0.07889, 0.1718",\
                 "0.05992, 0.06004, 0.06032, 0.0607, 0.06111, 0.06159, 0.06205, 0.06348, 0.08279, 0.1805",\
                 "0.0597, 0.05981, 0.06008, 0.0605, 0.06088, 0.06139, 0.06185, 0.0639, 0.09004, 0.201",\
                 "0.05951, 0.05964, 0.05991, 0.06031, 0.0607, 0.0612, 0.06173, 0.06533, 0.1062, 0.2349",\
                 "0.05941, 0.0595, 0.0598, 0.06018, 0.06059, 0.06105, 0.06186, 0.07106, 0.1419, 0.2763",\
                 "0.05925, 0.05938, 0.05964, 0.06011, 0.06054, 0.061, 0.06315, 0.09497, 0.2021, 0.3119",\
                 "0.05917, 0.05926, 0.05956, 0.05996, 0.06041, 0.06134, 0.07914, 0.1628, 0.2514, 0.3164",\
                 "0.05904, 0.05913, 0.05942, 0.05983, 0.06098, 0.08735, 0.1509, 0.1984, 0.2309, 0.2535",\
                 "0.05501, 0.05468, 0.05784, 0.0634, 0.06725, 0.0696, 0.07097, 0.07181, 0.07236, 0.07275");
        }
      }

      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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.07821, 0.07836, 0.07872, 0.07913, 0.07948, 0.07974, 0.0799, 0.08001, 0.08008, 0.08015",\
                 "0.07826, 0.07837, 0.07874, 0.07916, 0.07953, 0.07978, 0.07996, 0.08006, 0.08012, 0.08017",\
                 "0.07825, 0.07837, 0.07875, 0.07916, 0.07951, 0.07977, 0.07994, 0.08005, 0.08012, 0.08016",\
                 "0.07813, 0.07823, 0.07861, 0.07902, 0.07939, 0.07964, 0.07981, 0.07991, 0.07999, 0.08004",\
                 "0.078, 0.07813, 0.0785, 0.07893, 0.07929, 0.07954, 0.07971, 0.07982, 0.07989, 0.07993",\
                 "0.0779, 0.07801, 0.07839, 0.07881, 0.07916, 0.07941, 0.07959, 0.0797, 0.07977, 0.0798",\
                 "0.07781, 0.07792, 0.07829, 0.07872, 0.07907, 0.07934, 0.07951, 0.07961, 0.07968, 0.07966",\
                 "0.07771, 0.07785, 0.07821, 0.07865, 0.07901, 0.07926, 0.07942, 0.07953, 0.07954, 0.07917",\
                 "0.07764, 0.07781, 0.07815, 0.07858, 0.07893, 0.07918, 0.07934, 0.07927, 0.0784, 0.07659",\
                 "0.07742, 0.07756, 0.07792, 0.0783, 0.07852, 0.07825, 0.07648, 0.07437, 0.07285, 0.07175");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.05867, 0.0588, 0.05911, 0.05954, 0.05998, 0.06042, 0.0609, 0.06476, 0.1098, 0.2412",\
                 "0.05861, 0.05873, 0.05906, 0.05946, 0.05987, 0.06045, 0.06082, 0.06524, 0.1116, 0.2435",\
                 "0.0585, 0.05862, 0.05895, 0.05933, 0.0599, 0.06035, 0.06095, 0.06571, 0.1185, 0.2528",\
                 "0.05842, 0.05853, 0.05882, 0.05925, 0.05974, 0.06017, 0.06072, 0.06884, 0.1354, 0.2706",\
                 "0.05833, 0.05847, 0.05878, 0.05918, 0.05963, 0.06025, 0.06126, 0.07673, 0.1667, 0.294",\
                 "0.05823, 0.05832, 0.05864, 0.05907, 0.05951, 0.05996, 0.06302, 0.1011, 0.2116, 0.3145",\
                 "0.05803, 0.05818, 0.05848, 0.05892, 0.05932, 0.06013, 0.07542, 0.1571, 0.2488, 0.3163",\
                 "0.05785, 0.05796, 0.05827, 0.05868, 0.05929, 0.07141, 0.136, 0.1992, 0.2432, 0.2741",\
                 "0.0574, 0.05753, 0.05782, 0.06146, 0.09006, 0.1149, 0.1306, 0.1406, 0.1472, 0.1518",\
                 "0.01189, 0.01189, 0.01189, 0.01189, 0.01189, 0.01189, 0.01189, 0.01189, 0.01189, 0.01189");
        }
      }

      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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.06817, 0.06828, 0.06863, 0.06902, 0.06938, 0.06966, 0.06985, 0.06998, 0.07008, 0.07014",\
                 "0.06811, 0.06823, 0.06856, 0.06897, 0.06933, 0.06961, 0.0698, 0.06993, 0.07002, 0.07008",\
                 "0.068, 0.06812, 0.06847, 0.06885, 0.06922, 0.0695, 0.06969, 0.06982, 0.06991, 0.06997",\
                 "0.06792, 0.06804, 0.06837, 0.06876, 0.06913, 0.06941, 0.0696, 0.06973, 0.06982, 0.06988",\
                 "0.06783, 0.06796, 0.06829, 0.06868, 0.06905, 0.06932, 0.06951, 0.06965, 0.06974, 0.06979",\
                 "0.06771, 0.06784, 0.06817, 0.06856, 0.06893, 0.06921, 0.0694, 0.06953, 0.06962, 0.06967",\
                 "0.06756, 0.06769, 0.06802, 0.06841, 0.06879, 0.06905, 0.06925, 0.06939, 0.06946, 0.06942",\
                 "0.0674, 0.06752, 0.06784, 0.06825, 0.06862, 0.06888, 0.06907, 0.06917, 0.06895, 0.06784",\
                 "0.06701, 0.06714, 0.06746, 0.06784, 0.06813, 0.06814, 0.06706, 0.06491, 0.06321, 0.06198",\
                 "0.03557, 0.03571, 0.03608, 0.03655, 0.03696, 0.03727, 0.03748, 0.03762, 0.03771, 0.03778");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.06068, 0.0608, 0.06106, 0.06145, 0.06191, 0.06235, 0.06279, 0.06439, 0.08403, 0.1857",\
                 "0.06071, 0.06082, 0.06108, 0.06149, 0.06188, 0.06238, 0.06282, 0.06445, 0.08515, 0.1888",\
                 "0.0607, 0.0608, 0.06112, 0.06146, 0.06195, 0.06253, 0.06284, 0.06467, 0.08891, 0.1991",\
                 "0.06058, 0.06069, 0.06096, 0.06133, 0.06183, 0.06225, 0.06276, 0.06551, 0.09845, 0.2187",\
                 "0.06045, 0.06058, 0.06083, 0.06124, 0.0617, 0.06235, 0.06265, 0.06736, 0.1154, 0.2468",\
                 "0.06035, 0.06047, 0.06075, 0.06113, 0.06151, 0.06202, 0.06279, 0.07231, 0.1452, 0.2787",\
                 "0.06024, 0.06036, 0.06065, 0.06105, 0.06146, 0.06186, 0.0634, 0.08741, 0.1893, 0.3068",\
                 "0.06014, 0.06027, 0.06056, 0.06095, 0.06141, 0.06192, 0.06816, 0.127, 0.2345, 0.3211",\
                 "0.06012, 0.06021, 0.06049, 0.06087, 0.0613, 0.06329, 0.09671, 0.184, 0.2562, 0.3081",\
                 "0.06005, 0.06014, 0.06045, 0.06084, 0.06241, 0.09242, 0.1537, 0.1981, 0.2284, 0.2495");
        }
      }

      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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.0798, 0.07993, 0.0803, 0.08072, 0.08108, 0.08132, 0.0815, 0.08161, 0.08168, 0.08173",\
                 "0.07968, 0.07982, 0.08018, 0.08061, 0.08096, 0.08121, 0.08139, 0.08149, 0.08156, 0.08162",\
                 "0.07959, 0.0797, 0.08008, 0.0805, 0.08085, 0.08111, 0.08129, 0.08139, 0.08146, 0.08151",\
                 "0.07945, 0.07957, 0.07995, 0.08037, 0.08073, 0.08097, 0.08114, 0.08125, 0.08132, 0.08139",\
                 "0.07934, 0.07946, 0.07984, 0.08025, 0.08061, 0.08087, 0.08104, 0.08115, 0.08121, 0.08127",\
                 "0.07924, 0.07938, 0.07975, 0.08018, 0.08053, 0.08078, 0.08096, 0.08106, 0.08113, 0.08117",\
                 "0.07918, 0.07931, 0.07968, 0.08009, 0.08046, 0.0807, 0.08088, 0.08098, 0.08103, 0.08094",\
                 "0.07909, 0.07922, 0.07957, 0.08, 0.08036, 0.08061, 0.08077, 0.08082, 0.08042, 0.07901",\
                 "0.07874, 0.07886, 0.07922, 0.07959, 0.07979, 0.07939, 0.07742, 0.07539, 0.07394, 0.0729",\
                 "0.04182, 0.04189, 0.04208, 0.04232, 0.04251, 0.04264, 0.04271, 0.04275, 0.04279, 0.04281");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.05723, 0.05738, 0.05768, 0.0581, 0.05862, 0.05899, 0.0594, 0.06039, 0.07358, 0.157",\
                 "0.05724, 0.05736, 0.0577, 0.05812, 0.05862, 0.05901, 0.05937, 0.06046, 0.07434, 0.1598",\
                 "0.05726, 0.0574, 0.05771, 0.05812, 0.05865, 0.05902, 0.05948, 0.06043, 0.07688, 0.1693",\
                 "0.05724, 0.05736, 0.05765, 0.05811, 0.05854, 0.05901, 0.05934, 0.06106, 0.08289, 0.188",\
                 "0.05713, 0.05726, 0.05757, 0.058, 0.05841, 0.05896, 0.05931, 0.06215, 0.09572, 0.2181",\
                 "0.05703, 0.05713, 0.05745, 0.05787, 0.05843, 0.05876, 0.05958, 0.06525, 0.1227, 0.2577",\
                 "0.05691, 0.05703, 0.05736, 0.05778, 0.05828, 0.05873, 0.0597, 0.07768, 0.1713, 0.296",\
                 "0.05676, 0.05687, 0.05717, 0.05762, 0.05809, 0.05854, 0.06388, 0.1183, 0.2277, 0.3172",\
                 "0.05661, 0.05671, 0.057, 0.05745, 0.05784, 0.06042, 0.09762, 0.184, 0.2526, 0.3016",\
                 "0.0564, 0.05652, 0.05686, 0.05717, 0.06169, 0.1047, 0.1532, 0.1859, 0.2079, 0.2232");
        }
      }

      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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.04875, 0.04886, 0.04919, 0.04958, 0.04994, 0.05022, 0.05042, 0.05056, 0.05065, 0.05071",\
                 "0.04874, 0.04887, 0.04919, 0.04959, 0.04996, 0.05023, 0.05043, 0.05057, 0.05065, 0.05072",\
                 "0.04876, 0.04889, 0.04921, 0.0496, 0.04998, 0.05025, 0.05044, 0.05058, 0.05067, 0.05073",\
                 "0.04874, 0.04885, 0.04918, 0.04958, 0.04994, 0.05021, 0.05041, 0.05055, 0.05063, 0.0507",\
                 "0.04861, 0.04874, 0.04905, 0.04945, 0.04982, 0.05009, 0.05028, 0.05043, 0.05051, 0.05058",\
                 "0.04848, 0.0486, 0.04894, 0.04933, 0.04969, 0.04997, 0.05016, 0.0503, 0.05039, 0.05045",\
                 "0.04833, 0.04846, 0.04878, 0.04918, 0.04952, 0.0498, 0.05, 0.05014, 0.05022, 0.05029",\
                 "0.04819, 0.04831, 0.04862, 0.04901, 0.04938, 0.04965, 0.04986, 0.04999, 0.05008, 0.05012",\
                 "0.04805, 0.04817, 0.04848, 0.04887, 0.04924, 0.04951, 0.04972, 0.04984, 0.04989, 0.0496",\
                 "0.0479, 0.04802, 0.04833, 0.04871, 0.04906, 0.04934, 0.04947, 0.04917, 0.04773, 0.04586");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.06104, 0.06114, 0.06142, 0.06182, 0.06232, 0.06273, 0.06324, 0.06449, 0.08134, 0.1752",\
                 "0.06091, 0.061, 0.06135, 0.06172, 0.06212, 0.0626, 0.06306, 0.06444, 0.08202, 0.1775",\
                 "0.06082, 0.06095, 0.06117, 0.06161, 0.06211, 0.06249, 0.06305, 0.06455, 0.08582, 0.1878",\
                 "0.0607, 0.06081, 0.06107, 0.06148, 0.06186, 0.06241, 0.06294, 0.06519, 0.09306, 0.209",\
                 "0.0606, 0.06071, 0.06099, 0.06134, 0.06186, 0.06225, 0.06276, 0.06702, 0.1117, 0.2424",\
                 "0.06051, 0.06059, 0.06087, 0.06128, 0.06175, 0.06215, 0.06287, 0.07374, 0.1499, 0.283",\
                 "0.06041, 0.06053, 0.0608, 0.06114, 0.06162, 0.06201, 0.06464, 0.1007, 0.2101, 0.3156",\
                 "0.06029, 0.06039, 0.06071, 0.0611, 0.06146, 0.06253, 0.08429, 0.1704, 0.2544, 0.3153",\
                 "0.06014, 0.06026, 0.0605, 0.06092, 0.0627, 0.09503, 0.1547, 0.1971, 0.226, 0.2462",\
                 "0.04957, 0.04981, 0.05161, 0.05354, 0.05474, 0.0554, 0.05582, 0.05601, 0.05615, 0.05626");
        }
      }

      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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.04876, 0.04888, 0.0492, 0.0496, 0.04995, 0.0502, 0.0504, 0.05053, 0.05062, 0.05068",\
                 "0.04886, 0.04899, 0.04931, 0.04971, 0.05006, 0.05031, 0.05051, 0.05064, 0.05073, 0.05079",\
                 "0.04878, 0.04888, 0.04922, 0.04961, 0.04997, 0.05023, 0.05043, 0.05055, 0.05064, 0.0507",\
                 "0.0482, 0.04833, 0.04865, 0.04905, 0.0494, 0.04966, 0.04986, 0.04999, 0.05009, 0.05015",\
                 "0.04773, 0.04786, 0.04821, 0.04859, 0.04894, 0.04919, 0.04937, 0.04951, 0.04961, 0.04968",\
                 "0.04734, 0.04746, 0.04781, 0.04822, 0.04857, 0.04883, 0.04902, 0.04915, 0.04925, 0.04931",\
                 "0.04708, 0.0472, 0.04753, 0.04794, 0.04828, 0.04855, 0.04874, 0.04886, 0.04895, 0.04901",\
                 "0.04682, 0.04694, 0.04729, 0.04769, 0.04804, 0.0483, 0.04849, 0.0486, 0.04869, 0.04873",\
                 "0.04657, 0.0467, 0.04704, 0.04746, 0.0478, 0.04806, 0.04824, 0.04837, 0.04843, 0.04835",\
                 "0.0463, 0.04642, 0.04676, 0.04718, 0.04753, 0.04778, 0.04796, 0.04799, 0.04752, 0.04602");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.05925, 0.05936, 0.05968, 0.06006, 0.06054, 0.06105, 0.06138, 0.06202, 0.06996, 0.1341",\
                 "0.05922, 0.05932, 0.05966, 0.06007, 0.06052, 0.06099, 0.06138, 0.06184, 0.07046, 0.1364",\
                 "0.05911, 0.05923, 0.05955, 0.05998, 0.06046, 0.06094, 0.06132, 0.06204, 0.07235, 0.1461",\
                 "0.05902, 0.05915, 0.05946, 0.05983, 0.06033, 0.06076, 0.0614, 0.06218, 0.07609, 0.1627",\
                 "0.05886, 0.05895, 0.05929, 0.05968, 0.06022, 0.06075, 0.06096, 0.06275, 0.08565, 0.194",\
                 "0.05853, 0.05865, 0.05897, 0.05941, 0.05978, 0.06024, 0.06065, 0.06454, 0.1089, 0.2399",\
                 "0.0582, 0.05828, 0.05862, 0.05904, 0.05949, 0.0599, 0.0606, 0.07472, 0.1587, 0.2888",\
                 "0.05786, 0.05799, 0.0583, 0.05868, 0.05918, 0.0596, 0.06428, 0.1168, 0.2268, 0.318",\
                 "0.05757, 0.05769, 0.058, 0.05848, 0.05893, 0.06252, 0.1092, 0.1912, 0.2524, 0.2958",\
                 "0.05713, 0.05724, 0.05754, 0.05831, 0.0785, 0.1181, 0.1451, 0.1625, 0.1741, 0.1821");
        }
      }

      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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.04546, 0.0456, 0.04597, 0.0464, 0.04674, 0.04698, 0.04715, 0.04726, 0.04733, 0.04738",\
                 "0.04545, 0.04559, 0.04598, 0.04641, 0.04677, 0.04701, 0.04718, 0.04729, 0.04736, 0.0474",\
                 "0.04505, 0.04517, 0.04555, 0.046, 0.04636, 0.04661, 0.04678, 0.04689, 0.04696, 0.047",\
                 "0.04463, 0.04471, 0.04509, 0.04552, 0.0459, 0.04616, 0.04633, 0.04644, 0.04651, 0.04656",\
                 "0.0443, 0.04443, 0.04476, 0.04516, 0.04552, 0.04579, 0.04598, 0.04611, 0.04619, 0.04624",\
                 "0.04406, 0.04418, 0.04451, 0.04486, 0.04521, 0.04549, 0.04569, 0.04584, 0.04594, 0.04601",\
                 "0.04388, 0.04397, 0.04428, 0.04461, 0.04493, 0.04523, 0.04546, 0.04563, 0.04575, 0.04583",\
                 "0.04375, 0.04384, 0.0441, 0.04442, 0.04473, 0.04502, 0.04527, 0.04545, 0.04558, 0.04567",\
                 "0.04361, 0.0437, 0.04395, 0.04425, 0.04457, 0.04486, 0.0451, 0.04529, 0.04535, 0.04492",\
                 "0.04339, 0.0435, 0.04372, 0.04401, 0.04426, 0.04444, 0.04407, 0.04237, 0.0405, 0.03914");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.02547, 0.02563, 0.02603, 0.02658, 0.02705, 0.0275, 0.0279, 0.02824, 0.03106, 0.06033",\
                 "0.02545, 0.02559, 0.02603, 0.02652, 0.02708, 0.02755, 0.02809, 0.028, 0.03076, 0.06156",\
                 "0.02541, 0.02559, 0.02596, 0.02644, 0.02702, 0.02747, 0.02786, 0.02803, 0.03117, 0.06637",\
                 "0.02521, 0.02531, 0.02566, 0.02612, 0.02661, 0.02706, 0.02755, 0.02763, 0.03208, 0.07649",\
                 "0.02488, 0.02498, 0.02529, 0.02566, 0.02611, 0.02653, 0.02705, 0.02773, 0.03466, 0.09472",\
                 "0.02453, 0.02466, 0.02491, 0.02533, 0.02577, 0.02625, 0.0267, 0.02805, 0.04131, 0.127",\
                 "0.02427, 0.02437, 0.02457, 0.02492, 0.02537, 0.0259, 0.02617, 0.02851, 0.05879, 0.1764",\
                 "0.02406, 0.02416, 0.0244, 0.0247, 0.02506, 0.02557, 0.02596, 0.03389, 0.09989, 0.2349",\
                 "0.02392, 0.02401, 0.02422, 0.02455, 0.02475, 0.0252, 0.02778, 0.06115, 0.1697, 0.2775",\
                 "0.02382, 0.02389, 0.02407, 0.02433, 0.02467, 0.02562, 0.04875, 0.1352, 0.2178, 0.2779");
        }
      }

      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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.04546, 0.0456, 0.04597, 0.0464, 0.04674, 0.04698, 0.04715, 0.04726, 0.04733, 0.04738",\
                 "0.04545, 0.04559, 0.04598, 0.04641, 0.04677, 0.04701, 0.04718, 0.04729, 0.04736, 0.0474",\
                 "0.04504, 0.04518, 0.04555, 0.046, 0.04636, 0.04661, 0.04678, 0.04689, 0.04696, 0.047",\
                 "0.04461, 0.04472, 0.04509, 0.04553, 0.0459, 0.04616, 0.04633, 0.04645, 0.04652, 0.04656",\
                 "0.04431, 0.04442, 0.04477, 0.04517, 0.04553, 0.04579, 0.04598, 0.04611, 0.04619, 0.04624",\
                 "0.04407, 0.04419, 0.0445, 0.04488, 0.04521, 0.04548, 0.04569, 0.04584, 0.04594, 0.04601",\
                 "0.04391, 0.04399, 0.04427, 0.04461, 0.04494, 0.04523, 0.04546, 0.04563, 0.04575, 0.04583",\
                 "0.04372, 0.04384, 0.0441, 0.04442, 0.04473, 0.04502, 0.04526, 0.04544, 0.04558, 0.04567",\
                 "0.04361, 0.04369, 0.04395, 0.04426, 0.04456, 0.04486, 0.0451, 0.04529, 0.04535, 0.04493",\
                 "0.04342, 0.0435, 0.04373, 0.04402, 0.04427, 0.04444, 0.04407, 0.04237, 0.0405, 0.03914");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.02549, 0.02562, 0.02603, 0.02658, 0.02705, 0.0275, 0.02789, 0.02824, 0.03106, 0.06033",\
                 "0.02545, 0.02559, 0.02603, 0.02652, 0.02708, 0.02755, 0.02809, 0.028, 0.03076, 0.06154",\
                 "0.02541, 0.02555, 0.02596, 0.02643, 0.027, 0.02748, 0.02768, 0.02802, 0.03151, 0.06638",\
                 "0.02519, 0.02532, 0.02564, 0.02609, 0.02655, 0.02703, 0.02731, 0.02797, 0.0327, 0.07531",\
                 "0.02488, 0.02498, 0.02527, 0.02575, 0.02613, 0.02659, 0.027, 0.02752, 0.035, 0.09412",\
                 "0.02453, 0.02466, 0.02491, 0.02532, 0.02577, 0.02625, 0.0265, 0.02766, 0.0413, 0.127",\
                 "0.02428, 0.02438, 0.02458, 0.02492, 0.02537, 0.02572, 0.0262, 0.02848, 0.05878, 0.1764",\
                 "0.02408, 0.02416, 0.02438, 0.02464, 0.02506, 0.02557, 0.02609, 0.03409, 0.09981, 0.235",\
                 "0.02392, 0.02402, 0.02424, 0.02455, 0.02475, 0.02523, 0.02765, 0.06115, 0.1697, 0.2774",\
                 "0.02382, 0.02389, 0.02406, 0.02433, 0.0247, 0.02561, 0.0487, 0.1352, 0.2179, 0.2779");
        }
      }

      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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.04873, 0.04887, 0.0492, 0.04959, 0.04994, 0.0502, 0.05039, 0.05052, 0.05061, 0.05068",\
                 "0.04886, 0.04897, 0.0493, 0.0497, 0.05005, 0.05031, 0.05051, 0.05063, 0.05072, 0.05079",\
                 "0.04876, 0.04887, 0.04921, 0.04959, 0.04995, 0.0502, 0.05041, 0.05052, 0.05061, 0.05068",\
                 "0.04819, 0.04832, 0.04864, 0.04905, 0.0494, 0.04966, 0.04985, 0.04998, 0.05008, 0.05014",\
                 "0.04773, 0.04784, 0.04817, 0.04857, 0.04892, 0.04918, 0.04937, 0.0495, 0.04959, 0.04967",\
                 "0.04733, 0.04745, 0.04779, 0.04821, 0.04856, 0.04882, 0.04902, 0.04915, 0.04924, 0.04929",\
                 "0.04707, 0.0472, 0.04753, 0.04792, 0.04826, 0.04854, 0.04873, 0.04884, 0.04893, 0.049",\
                 "0.0468, 0.04692, 0.04727, 0.04767, 0.04803, 0.04829, 0.04847, 0.04859, 0.04868, 0.04873",\
                 "0.04658, 0.04669, 0.04704, 0.04744, 0.04779, 0.04805, 0.04823, 0.04835, 0.04841, 0.04834",\
                 "0.04628, 0.04642, 0.04677, 0.04717, 0.04751, 0.04777, 0.04795, 0.04798, 0.04749, 0.04598");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.05924, 0.05935, 0.05967, 0.06007, 0.06058, 0.06094, 0.06132, 0.06235, 0.06993, 0.1342",\
                 "0.0592, 0.05932, 0.05965, 0.06008, 0.06058, 0.06111, 0.06131, 0.06181, 0.0705, 0.1365",\
                 "0.05908, 0.05923, 0.05952, 0.05998, 0.06041, 0.06085, 0.06134, 0.06203, 0.07231, 0.1463",\
                 "0.05903, 0.05914, 0.05946, 0.05985, 0.0604, 0.06091, 0.06121, 0.0626, 0.0762, 0.1645",\
                 "0.05885, 0.05899, 0.05927, 0.05966, 0.06024, 0.06062, 0.06103, 0.06274, 0.08611, 0.194",\
                 "0.05852, 0.05865, 0.05899, 0.05935, 0.05988, 0.06044, 0.06076, 0.06481, 0.1085, 0.2395",\
                 "0.05817, 0.05828, 0.05861, 0.059, 0.05947, 0.05996, 0.06071, 0.07405, 0.1588, 0.2888",\
                 "0.05785, 0.05798, 0.05833, 0.05874, 0.05918, 0.05978, 0.0644, 0.1168, 0.2269, 0.318",\
                 "0.05756, 0.05769, 0.05799, 0.05845, 0.05885, 0.0625, 0.1095, 0.1912, 0.2524, 0.2958",\
                 "0.05711, 0.05723, 0.0575, 0.05841, 0.07855, 0.1181, 0.145, 0.1625, 0.1741, 0.1821");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("8.714, 8.782, 8.971, 9.237, 9.564, 9.955, 10.42, 10.97, 11.63, 12.4",\
                 "8.776, 8.845, 9.033, 9.3, 9.628, 10.02, 10.48, 11.03, 11.69, 12.47",\
                 "8.956, 9.025, 9.213, 9.48, 9.806, 10.2, 10.66, 11.21, 11.87, 12.65",\
                 "9.265, 9.334, 9.522, 9.789, 10.12, 10.51, 10.97, 11.52, 12.18, 12.96",\
                 "9.69, 9.758, 9.946, 10.21, 10.54, 10.93, 11.39, 11.95, 12.61, 13.38",\
                 "10.16, 10.23, 10.41, 10.68, 11.01, 11.4, 11.86, 12.42, 13.07, 13.85",\
                 "10.66, 10.73, 10.92, 11.18, 11.51, 11.9, 12.36, 12.92, 13.57, 14.35",\
                 "11.18, 11.25, 11.43, 11.7, 12.03, 12.42, 12.88, 13.44, 14.09, 14.87",\
                 "11.72, 11.79, 11.98, 12.25, 12.57, 12.96, 13.43, 13.98, 14.64, 15.41",\
                 "12.28, 12.35, 12.54, 12.8, 13.13, 13.52, 13.99, 14.54, 15.2, 15.97");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("8.984, 9.058, 9.31, 9.778, 10.5, 11.51, 12.83, 14.5, 16.53, 18.95",\
                 "9.036, 9.11, 9.361, 9.829, 10.55, 11.56, 12.88, 14.55, 16.58, 19",\
                 "9.234, 9.308, 9.559, 10.03, 10.75, 11.76, 13.08, 14.75, 16.78, 19.2",\
                 "9.62, 9.695, 9.946, 10.41, 11.14, 12.15, 13.47, 15.13, 17.16, 19.58",\
                 "10.21, 10.28, 10.53, 11, 11.72, 12.73, 14.05, 15.72, 17.75, 20.17",\
                 "11.01, 11.09, 11.34, 11.81, 12.53, 13.54, 14.86, 16.52, 18.56, 20.98",\
                 "12.07, 12.14, 12.39, 12.86, 13.58, 14.59, 15.92, 17.58, 19.61, 22.03",\
                 "13.39, 13.47, 13.72, 14.18, 14.91, 15.92, 17.24, 18.9, 20.93, 23.36",\
                 "14.97, 15.05, 15.3, 15.77, 16.49, 17.5, 18.82, 20.49, 22.52, 24.94",\
                 "16.78, 16.86, 17.11, 17.58, 18.3, 19.31, 20.63, 22.3, 24.33, 26.75");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.5354, 0.5846, 0.733, 0.9772, 1.326, 1.802, 2.439, 3.266, 4.304, 5.572",\
                 "0.5358, 0.584, 0.7326, 0.977, 1.327, 1.803, 2.441, 3.266, 4.304, 5.574",\
                 "0.5352, 0.584, 0.7324, 0.9778, 1.326, 1.804, 2.44, 3.266, 4.306, 5.566",\
                 "0.5354, 0.585, 0.732, 0.978, 1.326, 1.804, 2.44, 3.266, 4.304, 5.568",\
                 "0.536, 0.584, 0.734, 0.978, 1.326, 1.804, 2.44, 3.266, 4.306, 5.568",\
                 "0.536, 0.584, 0.732, 0.976, 1.328, 1.806, 2.44, 3.266, 4.304, 5.566",\
                 "0.536, 0.584, 0.732, 0.976, 1.326, 1.804, 2.442, 3.268, 4.304, 5.574",\
                 "0.536, 0.584, 0.732, 0.978, 1.326, 1.804, 2.442, 3.268, 4.304, 5.574",\
                 "0.536, 0.584, 0.732, 0.98, 1.33, 1.806, 2.44, 3.266, 4.308, 5.568",\
                 "0.536, 0.584, 0.734, 0.978, 1.326, 1.806, 2.44, 3.264, 4.306, 5.566");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.4342, 0.544, 0.9348, 1.697, 2.892, 4.57, 6.776, 9.546, 12.94, 16.99",\
                 "0.434, 0.5434, 0.9348, 1.699, 2.893, 4.566, 6.77, 9.546, 12.94, 17",\
                 "0.4348, 0.5438, 0.9366, 1.699, 2.892, 4.568, 6.774, 9.546, 12.94, 17.02",\
                 "0.434, 0.542, 0.936, 1.698, 2.892, 4.564, 6.772, 9.546, 12.94, 16.99",\
                 "0.434, 0.544, 0.934, 1.698, 2.89, 4.568, 6.772, 9.548, 12.94, 16.98",\
                 "0.434, 0.544, 0.936, 1.7, 2.894, 4.57, 6.78, 9.548, 12.94, 16.99",\
                 "0.434, 0.544, 0.936, 1.698, 2.892, 4.566, 6.77, 9.546, 12.94, 16.98",\
                 "0.436, 0.544, 0.934, 1.698, 2.892, 4.568, 6.776, 9.554, 12.94, 16.98",\
                 "0.434, 0.542, 0.938, 1.702, 2.89, 4.562, 6.774, 9.546, 12.94, 17.02",\
                 "0.434, 0.544, 0.936, 1.7, 2.894, 4.566, 6.774, 9.546, 12.94, 16.99");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("4.248, 4.318, 4.509, 4.779, 5.109, 5.503, 5.97, 6.526, 7.184, 7.961",\
                 "4.297, 4.367, 4.558, 4.828, 5.158, 5.552, 6.019, 6.574, 7.233, 8.009",\
                 "4.476, 4.546, 4.737, 5.008, 5.338, 5.731, 6.198, 6.753, 7.412, 8.188",\
                 "4.818, 4.888, 5.079, 5.349, 5.679, 6.072, 6.539, 7.094, 7.754, 8.529",\
                 "5.347, 5.417, 5.608, 5.878, 6.208, 6.602, 7.069, 7.624, 8.283, 9.059",\
                 "6.068, 6.137, 6.328, 6.599, 6.929, 7.323, 7.789, 8.345, 9.004, 9.779",\
                 "6.903, 6.972, 7.164, 7.433, 7.764, 8.157, 8.624, 9.18, 9.839, 10.62",\
                 "7.819, 7.888, 8.079, 8.351, 8.682, 9.075, 9.542, 10.1, 10.76, 11.53",\
                 "8.81, 8.88, 9.073, 9.341, 9.672, 10.07, 10.53, 11.09, 11.75, 12.52",\
                 "9.878, 9.948, 10.14, 10.41, 10.74, 11.13, 11.6, 12.16, 12.82, 13.59");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("5.742, 5.825, 6.09, 6.564, 7.288, 8.297, 9.621, 11.29, 13.32, 15.73",\
                 "5.803, 5.886, 6.15, 6.624, 7.348, 8.357, 9.681, 11.35, 13.38, 15.8",\
                 "5.99, 6.073, 6.337, 6.811, 7.535, 8.544, 9.868, 11.53, 13.56, 15.98",\
                 "6.369, 6.451, 6.716, 7.189, 7.913, 8.922, 10.25, 11.91, 13.94, 16.36",\
                 "6.983, 7.065, 7.33, 7.803, 8.527, 9.537, 10.86, 12.53, 14.56, 16.98",\
                 "7.864, 7.946, 8.212, 8.685, 9.409, 10.42, 11.74, 13.41, 15.44, 17.86",\
                 "9.036, 9.119, 9.383, 9.857, 10.58, 11.59, 12.91, 14.58, 16.61, 19.03",\
                 "10.52, 10.6, 10.87, 11.34, 12.07, 13.07, 14.4, 16.06, 18.09, 20.51",\
                 "12.33, 12.41, 12.67, 13.15, 13.87, 14.88, 16.2, 17.87, 19.9, 22.32",\
                 "14.43, 14.51, 14.78, 15.25, 15.98, 16.98, 18.31, 19.97, 22, 24.42");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.5474, 0.5966, 0.7458, 0.9894, 1.341, 1.815, 2.452, 3.277, 4.316, 5.578",\
                 "0.5478, 0.597, 0.7454, 0.99, 1.341, 1.818, 2.452, 3.276, 4.314, 5.581",\
                 "0.5478, 0.5954, 0.7456, 0.99, 1.341, 1.818, 2.452, 3.277, 4.313, 5.58",\
                 "0.5462, 0.597, 0.7446, 0.9896, 1.34, 1.816, 2.452, 3.277, 4.315, 5.582",\
                 "0.5474, 0.597, 0.7448, 0.9896, 1.34, 1.815, 2.451, 3.278, 4.315, 5.577",\
                 "0.547, 0.5974, 0.7452, 0.9898, 1.341, 1.818, 2.451, 3.276, 4.314, 5.58",\
                 "0.548, 0.596, 0.746, 0.99, 1.34, 1.818, 2.452, 3.278, 4.314, 5.58",\
                 "0.548, 0.598, 0.746, 0.99, 1.344, 1.818, 2.454, 3.278, 4.312, 5.58",\
                 "0.55, 0.598, 0.748, 0.99, 1.342, 1.818, 2.454, 3.276, 4.316, 5.58",\
                 "0.548, 0.6, 0.746, 0.99, 1.34, 1.816, 2.454, 3.28, 4.314, 5.574");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.5044, 0.6096, 0.9852, 1.73, 2.918, 4.591, 6.792, 9.578, 12.98, 17.01",\
                 "0.506, 0.6116, 0.9854, 1.73, 2.915, 4.59, 6.798, 9.578, 12.96, 17.03",\
                 "0.5056, 0.6104, 0.9838, 1.731, 2.915, 4.592, 6.793, 9.568, 12.99, 17",\
                 "0.5054, 0.6092, 0.9844, 1.731, 2.915, 4.592, 6.792, 9.58, 12.98, 17.01",\
                 "0.5046, 0.6094, 0.9844, 1.731, 2.914, 4.591, 6.794, 9.57, 12.96, 17.02",\
                 "0.504, 0.61, 0.984, 1.73, 2.916, 4.592, 6.798, 9.568, 12.96, 17.01",\
                 "0.504, 0.612, 0.986, 1.73, 2.916, 4.59, 6.796, 9.576, 12.96, 17",\
                 "0.504, 0.612, 0.986, 1.728, 2.918, 4.59, 6.792, 9.57, 12.97, 17.02",\
                 "0.506, 0.61, 0.984, 1.73, 2.916, 4.59, 6.79, 9.584, 12.96, 17.01",\
                 "0.506, 0.612, 0.986, 1.73, 2.92, 4.588, 6.794, 9.576, 12.96, 17");
        }
      }

      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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("8.714, 8.782, 8.971, 9.237, 9.564, 9.955, 10.42, 10.97, 11.63, 12.4",\
                 "8.776, 8.845, 9.033, 9.3, 9.628, 10.02, 10.48, 11.03, 11.69, 12.47",\
                 "8.956, 9.025, 9.213, 9.48, 9.806, 10.2, 10.66, 11.21, 11.87, 12.65",\
                 "9.265, 9.334, 9.522, 9.789, 10.12, 10.51, 10.97, 11.52, 12.18, 12.96",\
                 "9.69, 9.758, 9.946, 10.21, 10.54, 10.93, 11.39, 11.95, 12.61, 13.38",\
                 "10.16, 10.23, 10.41, 10.68, 11.01, 11.4, 11.86, 12.42, 13.07, 13.85",\
                 "10.66, 10.73, 10.92, 11.18, 11.51, 11.9, 12.36, 12.92, 13.57, 14.35",\
                 "11.18, 11.25, 11.43, 11.7, 12.03, 12.42, 12.88, 13.44, 14.09, 14.87",\
                 "11.72, 11.79, 11.98, 12.25, 12.57, 12.96, 13.43, 13.98, 14.64, 15.41",\
                 "12.28, 12.35, 12.54, 12.8, 13.13, 13.52, 13.99, 14.54, 15.2, 15.97");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("8.984, 9.058, 9.31, 9.778, 10.5, 11.51, 12.83, 14.5, 16.53, 18.95",\
                 "9.036, 9.11, 9.361, 9.829, 10.55, 11.56, 12.88, 14.55, 16.58, 19",\
                 "9.234, 9.308, 9.559, 10.03, 10.75, 11.76, 13.08, 14.75, 16.78, 19.2",\
                 "9.62, 9.695, 9.946, 10.41, 11.14, 12.15, 13.47, 15.13, 17.16, 19.58",\
                 "10.21, 10.28, 10.53, 11, 11.72, 12.73, 14.05, 15.72, 17.75, 20.17",\
                 "11.01, 11.09, 11.34, 11.81, 12.53, 13.54, 14.86, 16.52, 18.56, 20.98",\
                 "12.07, 12.14, 12.39, 12.86, 13.58, 14.59, 15.92, 17.58, 19.61, 22.03",\
                 "13.39, 13.47, 13.72, 14.18, 14.91, 15.92, 17.24, 18.9, 20.93, 23.36",\
                 "14.97, 15.05, 15.3, 15.77, 16.49, 17.5, 18.82, 20.49, 22.52, 24.94",\
                 "16.78, 16.86, 17.11, 17.58, 18.3, 19.31, 20.63, 22.3, 24.33, 26.75");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.5474, 0.5966, 0.7458, 0.9894, 1.341, 1.815, 2.452, 3.277, 4.316, 5.578",\
                 "0.5478, 0.597, 0.7454, 0.99, 1.341, 1.818, 2.452, 3.276, 4.314, 5.581",\
                 "0.5478, 0.5954, 0.7456, 0.99, 1.341, 1.818, 2.452, 3.277, 4.313, 5.58",\
                 "0.5462, 0.597, 0.7446, 0.9896, 1.34, 1.816, 2.452, 3.277, 4.315, 5.582",\
                 "0.5474, 0.597, 0.7448, 0.9896, 1.34, 1.815, 2.451, 3.278, 4.315, 5.577",\
                 "0.547, 0.5974, 0.7452, 0.9898, 1.341, 1.818, 2.451, 3.276, 4.314, 5.58",\
                 "0.548, 0.596, 0.746, 0.99, 1.34, 1.818, 2.452, 3.278, 4.314, 5.58",\
                 "0.548, 0.598, 0.746, 0.99, 1.344, 1.818, 2.454, 3.278, 4.312, 5.58",\
                 "0.55, 0.598, 0.748, 0.99, 1.342, 1.818, 2.454, 3.276, 4.316, 5.58",\
                 "0.548, 0.6, 0.746, 0.99, 1.34, 1.816, 2.454, 3.28, 4.314, 5.574");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.5044, 0.6096, 0.9852, 1.73, 2.918, 4.591, 6.792, 9.578, 12.98, 17.01",\
                 "0.506, 0.6116, 0.9854, 1.73, 2.915, 4.59, 6.798, 9.578, 12.96, 17.03",\
                 "0.5056, 0.6104, 0.9838, 1.731, 2.915, 4.592, 6.793, 9.568, 12.99, 17",\
                 "0.5054, 0.6092, 0.9844, 1.731, 2.915, 4.592, 6.792, 9.58, 12.98, 17.01",\
                 "0.5046, 0.6094, 0.9844, 1.731, 2.914, 4.591, 6.794, 9.57, 12.96, 17.02",\
                 "0.504, 0.61, 0.984, 1.73, 2.916, 4.592, 6.798, 9.568, 12.96, 17.01",\
                 "0.504, 0.612, 0.986, 1.73, 2.916, 4.59, 6.796, 9.576, 12.96, 17",\
                 "0.504, 0.612, 0.986, 1.728, 2.918, 4.59, 6.792, 9.57, 12.97, 17.02",\
                 "0.506, 0.61, 0.984, 1.73, 2.916, 4.59, 6.79, 9.584, 12.96, 17.01",\
                 "0.506, 0.612, 0.986, 1.73, 2.92, 4.588, 6.794, 9.576, 12.96, 17");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("7.825, 7.894, 8.086, 8.355, 8.685, 9.078, 9.545, 10.1, 10.76, 11.53",\
                 "7.877, 7.946, 8.136, 8.407, 8.736, 9.13, 9.596, 10.15, 10.81, 11.59",\
                 "8.075, 8.144, 8.335, 8.605, 8.935, 9.328, 9.795, 10.35, 11.01, 11.78",\
                 "8.461, 8.531, 8.722, 8.991, 9.322, 9.715, 10.18, 10.74, 11.39, 12.17",\
                 "9.046, 9.115, 9.306, 9.576, 9.905, 10.3, 10.77, 11.32, 11.98, 12.76",\
                 "9.853, 9.922, 10.11, 10.38, 10.71, 11.11, 11.57, 12.13, 12.79, 13.56",\
                 "10.91, 10.98, 11.17, 11.44, 11.77, 12.16, 12.63, 13.18, 13.84, 14.62",\
                 "12.23, 12.3, 12.49, 12.76, 13.09, 13.48, 13.95, 14.51, 15.16, 15.94",\
                 "13.81, 13.88, 14.08, 14.35, 14.67, 15.07, 15.54, 16.09, 16.75, 17.53",\
                 "15.62, 15.69, 15.88, 16.15, 16.48, 16.88, 17.34, 17.9, 18.56, 19.33");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("6.718, 6.801, 7.066, 7.54, 8.264, 9.273, 10.6, 12.26, 14.29, 16.71",\
                 "6.782, 6.865, 7.129, 7.603, 8.327, 9.336, 10.66, 12.32, 14.36, 16.77",\
                 "6.963, 7.046, 7.31, 7.784, 8.508, 9.518, 10.84, 12.51, 14.54, 16.95",\
                 "7.274, 7.357, 7.621, 8.095, 8.819, 9.828, 11.15, 12.82, 14.85, 17.27",\
                 "7.699, 7.781, 8.045, 8.52, 9.243, 10.25, 11.58, 13.24, 15.27, 17.69",\
                 "8.168, 8.25, 8.515, 8.989, 9.713, 10.72, 12.04, 13.71, 15.74, 18.16",\
                 "8.668, 8.751, 9.016, 9.49, 10.21, 11.22, 12.55, 14.21, 16.24, 18.66",\
                 "9.189, 9.272, 9.536, 10.01, 10.73, 11.74, 13.07, 14.73, 16.76, 19.18",\
                 "9.732, 9.814, 10.08, 10.55, 11.28, 12.29, 13.61, 15.27, 17.3, 19.73",\
                 "10.29, 10.37, 10.64, 11.11, 11.84, 12.85, 14.17, 15.83, 17.86, 20.28");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.5456, 0.5956, 0.743, 0.9886, 1.337, 1.814, 2.451, 3.277, 4.315, 5.58",\
                 "0.5454, 0.5956, 0.7442, 0.9886, 1.34, 1.814, 2.451, 3.276, 4.315, 5.578",\
                 "0.5456, 0.5962, 0.743, 0.9888, 1.338, 1.818, 2.451, 3.276, 4.316, 5.578",\
                 "0.5464, 0.596, 0.744, 0.9882, 1.338, 1.814, 2.45, 3.276, 4.316, 5.58",\
                 "0.546, 0.594, 0.744, 0.988, 1.34, 1.816, 2.45, 3.276, 4.314, 5.578",\
                 "0.544, 0.596, 0.744, 0.988, 1.34, 1.818, 2.45, 3.276, 4.314, 5.58",\
                 "0.546, 0.596, 0.744, 0.988, 1.338, 1.818, 2.45, 3.274, 4.312, 5.576",\
                 "0.546, 0.596, 0.742, 0.99, 1.342, 1.814, 2.45, 3.276, 4.314, 5.578",\
                 "0.546, 0.596, 0.744, 0.988, 1.34, 1.814, 2.45, 3.276, 4.312, 5.582",\
                 "0.546, 0.596, 0.744, 0.99, 1.338, 1.818, 2.452, 3.276, 4.312, 5.58");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.5064, 0.6098, 0.9842, 1.728, 2.919, 4.591, 6.796, 9.572, 12.97, 17.03",\
                 "0.5056, 0.61, 0.9836, 1.731, 2.915, 4.592, 6.796, 9.568, 12.96, 17",\
                 "0.5052, 0.61, 0.9846, 1.731, 2.917, 4.59, 6.796, 9.578, 12.98, 17",\
                 "0.5062, 0.6098, 0.9846, 1.731, 2.917, 4.592, 6.798, 9.58, 12.98, 17.01",\
                 "0.5054, 0.6096, 0.9842, 1.731, 2.914, 4.592, 6.794, 9.578, 12.98, 17.01",\
                 "0.506, 0.61, 0.984, 1.73, 2.914, 4.594, 6.79, 9.578, 12.96, 17",\
                 "0.506, 0.608, 0.984, 1.732, 2.918, 4.592, 6.796, 9.578, 12.97, 17",\
                 "0.504, 0.61, 0.984, 1.73, 2.92, 4.59, 6.796, 9.578, 12.96, 17",\
                 "0.504, 0.608, 0.986, 1.728, 2.914, 4.59, 6.798, 9.568, 12.96, 17.02",\
                 "0.506, 0.61, 0.984, 1.73, 2.916, 4.586, 6.79, 9.576, 12.96, 17");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("7.732, 7.801, 7.989, 8.256, 8.584, 8.973, 9.438, 9.992, 10.65, 11.42",\
                 "7.793, 7.862, 8.05, 8.316, 8.644, 9.034, 9.498, 10.05, 10.71, 11.48",\
                 "7.979, 8.047, 8.235, 8.502, 8.829, 9.219, 9.683, 10.24, 10.89, 11.67",\
                 "8.356, 8.424, 8.613, 8.879, 9.206, 9.598, 10.06, 10.61, 11.27, 12.05",\
                 "8.971, 9.04, 9.227, 9.495, 9.821, 10.21, 10.68, 11.23, 11.89, 12.66",\
                 "9.853, 9.922, 10.11, 10.38, 10.7, 11.09, 11.56, 12.11, 12.77, 13.55",\
                 "11.03, 11.09, 11.28, 11.55, 11.88, 12.27, 12.73, 13.28, 13.94, 14.72",\
                 "12.51, 12.58, 12.77, 13.03, 13.36, 13.75, 14.22, 14.77, 15.43, 16.2",\
                 "14.31, 14.38, 14.57, 14.84, 15.16, 15.55, 16.02, 16.57, 17.23, 18",\
                 "16.4, 16.47, 16.66, 16.92, 17.25, 17.64, 18.11, 18.66, 19.32, 20.09");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("5.408, 5.482, 5.733, 6.202, 6.925, 7.933, 9.256, 10.92, 12.95, 15.37",\
                 "5.456, 5.531, 5.782, 6.251, 6.973, 7.981, 9.305, 10.97, 13, 15.42",\
                 "5.636, 5.711, 5.962, 6.43, 7.153, 8.161, 9.485, 11.15, 13.18, 15.6",\
                 "5.979, 6.053, 6.304, 6.773, 7.495, 8.503, 9.827, 11.49, 13.52, 15.94",\
                 "6.508, 6.583, 6.834, 7.302, 8.025, 9.033, 10.36, 12.02, 14.05, 16.47",\
                 "7.23, 7.305, 7.556, 8.024, 8.747, 9.755, 11.08, 12.74, 14.78, 17.2",\
                 "8.069, 8.143, 8.394, 8.863, 9.584, 10.59, 11.92, 13.58, 15.61, 18.03",\
                 "8.991, 9.065, 9.316, 9.784, 10.51, 11.52, 12.84, 14.5, 16.53, 18.95",\
                 "9.987, 10.06, 10.31, 10.78, 11.5, 12.51, 13.83, 15.5, 17.53, 19.95",\
                 "11.06, 11.13, 11.39, 11.85, 12.57, 13.58, 14.91, 16.57, 18.6, 21.02");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.5358, 0.5854, 0.7336, 0.9786, 1.326, 1.803, 2.441, 3.268, 4.306, 5.568",\
                 "0.536, 0.584, 0.7326, 0.977, 1.327, 1.803, 2.441, 3.266, 4.307, 5.566",\
                 "0.5356, 0.584, 0.7324, 0.9782, 1.328, 1.804, 2.44, 3.266, 4.306, 5.568",\
                 "0.5352, 0.584, 0.7326, 0.977, 1.327, 1.802, 2.44, 3.266, 4.306, 5.568",\
                 "0.536, 0.584, 0.732, 0.978, 1.326, 1.804, 2.442, 3.266, 4.304, 5.568",\
                 "0.534, 0.584, 0.732, 0.978, 1.328, 1.802, 2.44, 3.266, 4.304, 5.568",\
                 "0.534, 0.584, 0.732, 0.978, 1.326, 1.802, 2.442, 3.268, 4.304, 5.574",\
                 "0.536, 0.584, 0.732, 0.978, 1.326, 1.806, 2.442, 3.266, 4.306, 5.568",\
                 "0.536, 0.586, 0.732, 0.978, 1.326, 1.802, 2.44, 3.264, 4.304, 5.57",\
                 "0.536, 0.584, 0.732, 0.978, 1.328, 1.806, 2.442, 3.268, 4.306, 5.568");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.4354, 0.5436, 0.9354, 1.699, 2.893, 4.569, 6.774, 9.546, 12.94, 17.02",\
                 "0.4346, 0.5434, 0.9356, 1.698, 2.891, 4.565, 6.771, 9.548, 12.95, 16.99",\
                 "0.4342, 0.5432, 0.9352, 1.697, 2.893, 4.569, 6.774, 9.546, 12.94, 17.02",\
                 "0.4346, 0.5432, 0.9348, 1.7, 2.893, 4.567, 6.769, 9.561, 12.94, 17.01",\
                 "0.4344, 0.5434, 0.9346, 1.7, 2.893, 4.569, 6.772, 9.558, 12.96, 17.01",\
                 "0.4344, 0.5438, 0.9358, 1.698, 2.892, 4.57, 6.768, 9.546, 12.94, 17.02",\
                 "0.434, 0.542, 0.936, 1.7, 2.892, 4.568, 6.768, 9.562, 12.94, 16.98",\
                 "0.436, 0.544, 0.934, 1.698, 2.892, 4.568, 6.77, 9.546, 12.94, 16.99",\
                 "0.436, 0.542, 0.934, 1.7, 2.89, 4.566, 6.776, 9.548, 12.94, 16.98",\
                 "0.434, 0.542, 0.938, 1.7, 2.888, 4.568, 6.77, 9.56, 12.97, 16.99");
        }
      }

      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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("7.732, 7.801, 7.989, 8.256, 8.584, 8.973, 9.438, 9.992, 10.65, 11.42",\
                 "7.793, 7.862, 8.05, 8.316, 8.644, 9.034, 9.498, 10.05, 10.71, 11.48",\
                 "7.979, 8.047, 8.235, 8.502, 8.829, 9.219, 9.683, 10.24, 10.89, 11.67",\
                 "8.356, 8.424, 8.613, 8.879, 9.206, 9.598, 10.06, 10.61, 11.27, 12.05",\
                 "8.971, 9.04, 9.227, 9.495, 9.821, 10.21, 10.68, 11.23, 11.89, 12.66",\
                 "9.853, 9.922, 10.11, 10.38, 10.7, 11.09, 11.56, 12.11, 12.77, 13.55",\
                 "11.03, 11.09, 11.28, 11.55, 11.88, 12.27, 12.73, 13.28, 13.94, 14.72",\
                 "12.51, 12.58, 12.77, 13.03, 13.36, 13.75, 14.22, 14.77, 15.43, 16.2",\
                 "14.31, 14.38, 14.57, 14.84, 15.16, 15.55, 16.02, 16.57, 17.23, 18",\
                 "16.4, 16.47, 16.66, 16.92, 17.25, 17.64, 18.11, 18.66, 19.32, 20.09");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("5.408, 5.482, 5.733, 6.202, 6.925, 7.933, 9.256, 10.92, 12.95, 15.37",\
                 "5.456, 5.531, 5.782, 6.251, 6.973, 7.981, 9.305, 10.97, 13, 15.42",\
                 "5.636, 5.711, 5.962, 6.43, 7.153, 8.161, 9.485, 11.15, 13.18, 15.6",\
                 "5.979, 6.053, 6.304, 6.773, 7.495, 8.503, 9.827, 11.49, 13.52, 15.94",\
                 "6.508, 6.583, 6.834, 7.302, 8.025, 9.033, 10.36, 12.02, 14.05, 16.47",\
                 "7.23, 7.305, 7.556, 8.024, 8.747, 9.755, 11.08, 12.74, 14.78, 17.2",\
                 "8.069, 8.143, 8.394, 8.863, 9.584, 10.59, 11.92, 13.58, 15.61, 18.03",\
                 "8.991, 9.065, 9.316, 9.784, 10.51, 11.52, 12.84, 14.5, 16.53, 18.95",\
                 "9.987, 10.06, 10.31, 10.78, 11.5, 12.51, 13.83, 15.5, 17.53, 19.95",\
                 "11.06, 11.13, 11.39, 11.85, 12.57, 13.58, 14.91, 16.57, 18.6, 21.02");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.5456, 0.5956, 0.743, 0.9886, 1.337, 1.814, 2.451, 3.277, 4.315, 5.58",\
                 "0.5454, 0.5956, 0.7442, 0.9886, 1.34, 1.814, 2.451, 3.276, 4.315, 5.578",\
                 "0.5456, 0.5962, 0.743, 0.9888, 1.338, 1.818, 2.451, 3.276, 4.316, 5.578",\
                 "0.5464, 0.596, 0.744, 0.9882, 1.338, 1.814, 2.45, 3.276, 4.316, 5.58",\
                 "0.546, 0.594, 0.744, 0.988, 1.34, 1.816, 2.45, 3.276, 4.314, 5.578",\
                 "0.544, 0.596, 0.744, 0.988, 1.34, 1.818, 2.45, 3.276, 4.314, 5.58",\
                 "0.546, 0.596, 0.744, 0.988, 1.338, 1.818, 2.45, 3.274, 4.312, 5.576",\
                 "0.546, 0.596, 0.742, 0.99, 1.342, 1.814, 2.45, 3.276, 4.314, 5.578",\
                 "0.546, 0.596, 0.744, 0.988, 1.34, 1.814, 2.45, 3.276, 4.312, 5.582",\
                 "0.546, 0.596, 0.744, 0.99, 1.338, 1.818, 2.452, 3.276, 4.312, 5.58");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.5064, 0.6098, 0.9842, 1.728, 2.919, 4.591, 6.796, 9.572, 12.97, 17.03",\
                 "0.5056, 0.61, 0.9836, 1.731, 2.915, 4.592, 6.796, 9.568, 12.96, 17",\
                 "0.5052, 0.61, 0.9846, 1.731, 2.917, 4.59, 6.796, 9.578, 12.98, 17",\
                 "0.5062, 0.6098, 0.9846, 1.731, 2.917, 4.592, 6.798, 9.58, 12.98, 17.01",\
                 "0.5054, 0.6096, 0.9842, 1.731, 2.914, 4.592, 6.794, 9.578, 12.98, 17.01",\
                 "0.506, 0.61, 0.984, 1.73, 2.914, 4.594, 6.79, 9.578, 12.96, 17",\
                 "0.506, 0.608, 0.984, 1.732, 2.918, 4.592, 6.796, 9.578, 12.97, 17",\
                 "0.504, 0.61, 0.984, 1.73, 2.92, 4.59, 6.796, 9.578, 12.96, 17",\
                 "0.504, 0.608, 0.986, 1.728, 2.914, 4.59, 6.798, 9.568, 12.96, 17.02",\
                 "0.506, 0.61, 0.984, 1.73, 2.916, 4.586, 6.79, 9.576, 12.96, 17");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("8.481, 8.55, 8.738, 9.004, 9.331, 9.722, 10.19, 10.74, 11.4, 12.17",\
                 "8.537, 8.604, 8.792, 9.06, 9.387, 9.777, 10.24, 10.79, 11.45, 12.23",\
                 "8.711, 8.779, 8.968, 9.234, 9.561, 9.952, 10.41, 10.97, 11.63, 12.4",\
                 "9.032, 9.1, 9.29, 9.556, 9.883, 10.27, 10.74, 11.29, 11.95, 12.72",\
                 "9.458, 9.527, 9.715, 9.981, 10.31, 10.7, 11.16, 11.72, 12.38, 13.15",\
                 "9.924, 9.992, 10.18, 10.45, 10.77, 11.16, 11.63, 12.18, 12.84, 13.61",\
                 "10.42, 10.49, 10.67, 10.94, 11.27, 11.66, 12.12, 12.68, 13.33, 14.11",\
                 "10.93, 11, 11.19, 11.46, 11.78, 12.17, 12.64, 13.19, 13.85, 14.62",\
                 "11.47, 11.54, 11.73, 12, 12.32, 12.71, 13.18, 13.73, 14.39, 15.16",\
                 "12.02, 12.09, 12.28, 12.54, 12.87, 13.26, 13.72, 14.28, 14.94, 15.71");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("8.848, 8.922, 9.174, 9.643, 10.36, 11.37, 12.7, 14.36, 16.39, 18.81",\
                 "8.881, 8.956, 9.207, 9.675, 10.4, 11.41, 12.73, 14.39, 16.42, 18.85",\
                 "9.047, 9.121, 9.373, 9.841, 10.56, 11.57, 12.89, 14.56, 16.59, 19.01",\
                 "9.419, 9.495, 9.746, 10.21, 10.94, 11.94, 13.27, 14.93, 16.96, 19.38",\
                 "10.03, 10.11, 10.36, 10.82, 11.55, 12.56, 13.88, 15.55, 17.57, 20",\
                 "10.9, 10.98, 11.23, 11.7, 12.42, 13.43, 14.75, 16.42, 18.45, 20.87",\
                 "12.06, 12.14, 12.39, 12.86, 13.58, 14.59, 15.91, 17.58, 19.61, 22.02",\
                 "13.52, 13.59, 13.85, 14.31, 15.04, 16.05, 17.37, 19.03, 21.06, 23.48",\
                 "15.27, 15.34, 15.59, 16.06, 16.78, 17.79, 19.12, 20.78, 22.81, 25.23",\
                 "17.26, 17.33, 17.58, 18.05, 18.77, 19.78, 21.1, 22.77, 24.8, 27.22");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.5356, 0.5854, 0.7332, 0.9768, 1.328, 1.803, 2.441, 3.267, 4.304, 5.574",\
                 "0.5352, 0.5854, 0.7326, 0.9778, 1.327, 1.803, 2.44, 3.266, 4.306, 5.572",\
                 "0.5352, 0.584, 0.7324, 0.977, 1.328, 1.805, 2.442, 3.268, 4.306, 5.568",\
                 "0.5356, 0.5846, 0.732, 0.976, 1.326, 1.804, 2.44, 3.268, 4.306, 5.574",\
                 "0.536, 0.584, 0.732, 0.976, 1.328, 1.802, 2.44, 3.266, 4.306, 5.568",\
                 "0.536, 0.584, 0.734, 0.978, 1.328, 1.802, 2.442, 3.268, 4.306, 5.568",\
                 "0.534, 0.584, 0.732, 0.978, 1.326, 1.804, 2.44, 3.266, 4.306, 5.568",\
                 "0.536, 0.584, 0.732, 0.976, 1.328, 1.804, 2.44, 3.264, 4.306, 5.574",\
                 "0.536, 0.584, 0.732, 0.976, 1.328, 1.806, 2.442, 3.266, 4.308, 5.572",\
                 "0.536, 0.584, 0.732, 0.978, 1.326, 1.804, 2.44, 3.268, 4.302, 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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.4344, 0.5442, 0.9348, 1.698, 2.894, 4.564, 6.774, 9.548, 12.94, 17.01",\
                 "0.435, 0.5436, 0.936, 1.696, 2.892, 4.568, 6.772, 9.546, 12.94, 17.01",\
                 "0.435, 0.5436, 0.9354, 1.697, 2.892, 4.568, 6.778, 9.556, 12.95, 17",\
                 "0.436, 0.544, 0.936, 1.698, 2.892, 4.57, 6.772, 9.556, 12.94, 17",\
                 "0.436, 0.542, 0.936, 1.698, 2.89, 4.568, 6.778, 9.546, 12.94, 16.99",\
                 "0.434, 0.544, 0.936, 1.7, 2.894, 4.568, 6.778, 9.544, 12.95, 16.99",\
                 "0.434, 0.542, 0.936, 1.7, 2.894, 4.566, 6.768, 9.556, 12.94, 17.01",\
                 "0.436, 0.542, 0.936, 1.698, 2.892, 4.568, 6.772, 9.556, 12.94, 17.01",\
                 "0.434, 0.542, 0.936, 1.698, 2.89, 4.57, 6.768, 9.546, 12.94, 16.98",\
                 "0.434, 0.544, 0.936, 1.7, 2.894, 4.566, 6.768, 9.566, 12.94, 16.99");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("4.278, 4.348, 4.539, 4.809, 5.139, 5.532, 6, 6.556, 7.214, 7.99",\
                 "4.335, 4.405, 4.596, 4.866, 5.197, 5.59, 6.057, 6.612, 7.271, 8.048",\
                 "4.51, 4.58, 4.77, 5.041, 5.371, 5.764, 6.232, 6.787, 7.446, 8.222",\
                 "4.823, 4.892, 5.083, 5.353, 5.683, 6.077, 6.544, 7.099, 7.758, 8.534",\
                 "5.3, 5.369, 5.56, 5.83, 6.16, 6.554, 7.02, 7.576, 8.235, 9.01",\
                 "5.948, 6.017, 6.209, 6.479, 6.809, 7.202, 7.669, 8.224, 8.883, 9.659",\
                 "6.723, 6.793, 6.985, 7.255, 7.585, 7.978, 8.443, 8.999, 9.658, 10.43",\
                 "7.603, 7.673, 7.864, 8.134, 8.464, 8.858, 9.325, 9.88, 10.54, 11.32",\
                 "8.58, 8.649, 8.84, 9.111, 9.441, 9.835, 10.3, 10.86, 11.52, 12.29",\
                 "9.648, 9.717, 9.909, 10.18, 10.51, 10.9, 11.37, 11.93, 12.58, 13.36");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("6.031, 6.114, 6.378, 6.853, 7.577, 8.586, 9.909, 11.57, 13.61, 16.02",\
                 "6.07, 6.152, 6.417, 6.891, 7.615, 8.624, 9.948, 11.61, 13.64, 16.06",\
                 "6.262, 6.345, 6.609, 7.083, 7.808, 8.816, 10.14, 11.8, 13.83, 16.25",\
                 "6.654, 6.737, 7.001, 7.474, 8.198, 9.208, 10.53, 12.2, 14.23, 16.65",\
                 "7.279, 7.361, 7.626, 8.1, 8.823, 9.833, 11.16, 12.82, 14.85, 17.27",\
                 "8.166, 8.249, 8.514, 8.988, 9.712, 10.72, 12.04, 13.71, 15.74, 18.16",\
                 "9.341, 9.424, 9.688, 10.16, 10.89, 11.9, 13.22, 14.88, 16.92, 19.33",\
                 "10.83, 10.91, 11.17, 11.65, 12.37, 13.38, 14.7, 16.37, 18.4, 20.82",\
                 "12.64, 12.72, 12.99, 13.46, 14.18, 15.19, 16.52, 18.18, 20.21, 22.63",\
                 "14.76, 14.84, 15.11, 15.58, 16.3, 17.32, 18.64, 20.3, 22.33, 24.75");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.5468, 0.5974, 0.746, 0.99, 1.341, 1.815, 2.452, 3.277, 4.316, 5.581",\
                 "0.5474, 0.5974, 0.7454, 0.9896, 1.341, 1.816, 2.452, 3.276, 4.314, 5.581",\
                 "0.5472, 0.5968, 0.7454, 0.99, 1.339, 1.816, 2.451, 3.277, 4.316, 5.578",\
                 "0.547, 0.5962, 0.7448, 0.9892, 1.341, 1.818, 2.452, 3.278, 4.314, 5.58",\
                 "0.5468, 0.5972, 0.7452, 0.9902, 1.341, 1.818, 2.452, 3.277, 4.315, 5.581",\
                 "0.5478, 0.5972, 0.745, 0.9894, 1.341, 1.818, 2.45, 3.277, 4.314, 5.58",\
                 "0.546, 0.598, 0.746, 0.99, 1.34, 1.818, 2.452, 3.278, 4.312, 5.58",\
                 "0.548, 0.598, 0.746, 0.992, 1.34, 1.818, 2.454, 3.276, 4.314, 5.576",\
                 "0.548, 0.598, 0.746, 0.99, 1.342, 1.816, 2.454, 3.274, 4.316, 5.578",\
                 "0.548, 0.598, 0.746, 0.99, 1.342, 1.818, 2.454, 3.28, 4.312, 5.578");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.506, 0.6104, 0.9858, 1.731, 2.914, 4.591, 6.791, 9.574, 12.96, 17",\
                 "0.505, 0.6098, 0.9846, 1.731, 2.915, 4.592, 6.791, 9.575, 12.96, 17.01",\
                 "0.5058, 0.6102, 0.9842, 1.731, 2.92, 4.592, 6.794, 9.577, 12.98, 17.01",\
                 "0.5054, 0.6108, 0.9846, 1.731, 2.915, 4.591, 6.794, 9.57, 12.96, 17.01",\
                 "0.506, 0.6104, 0.9848, 1.728, 2.917, 4.594, 6.798, 9.568, 12.97, 17",\
                 "0.506, 0.61, 0.984, 1.732, 2.916, 4.592, 6.792, 9.568, 12.96, 17.01",\
                 "0.506, 0.61, 0.984, 1.728, 2.914, 4.59, 6.796, 9.568, 12.97, 17.01",\
                 "0.506, 0.61, 0.986, 1.728, 2.914, 4.59, 6.79, 9.57, 12.97, 17.02",\
                 "0.508, 0.61, 0.986, 1.728, 2.916, 4.592, 6.792, 9.568, 12.97, 17.01",\
                 "0.506, 0.612, 0.988, 1.732, 2.914, 4.592, 6.794, 9.576, 12.96, 17.03");
        }
      }

      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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("8.481, 8.55, 8.738, 9.004, 9.331, 9.722, 10.19, 10.74, 11.4, 12.17",\
                 "8.537, 8.604, 8.792, 9.06, 9.387, 9.777, 10.24, 10.79, 11.45, 12.23",\
                 "8.711, 8.779, 8.968, 9.234, 9.561, 9.952, 10.41, 10.97, 11.63, 12.4",\
                 "9.032, 9.1, 9.29, 9.556, 9.883, 10.27, 10.74, 11.29, 11.95, 12.72",\
                 "9.458, 9.527, 9.715, 9.981, 10.31, 10.7, 11.16, 11.72, 12.38, 13.15",\
                 "9.924, 9.992, 10.18, 10.45, 10.77, 11.16, 11.63, 12.18, 12.84, 13.61",\
                 "10.42, 10.49, 10.67, 10.94, 11.27, 11.66, 12.12, 12.68, 13.33, 14.11",\
                 "10.93, 11, 11.19, 11.46, 11.78, 12.17, 12.64, 13.19, 13.85, 14.62",\
                 "11.47, 11.54, 11.73, 12, 12.32, 12.71, 13.18, 13.73, 14.39, 15.16",\
                 "12.02, 12.09, 12.28, 12.54, 12.87, 13.26, 13.72, 14.28, 14.94, 15.71");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("8.848, 8.922, 9.174, 9.643, 10.36, 11.37, 12.7, 14.36, 16.39, 18.81",\
                 "8.881, 8.956, 9.207, 9.675, 10.4, 11.41, 12.73, 14.39, 16.42, 18.85",\
                 "9.047, 9.121, 9.373, 9.841, 10.56, 11.57, 12.89, 14.56, 16.59, 19.01",\
                 "9.419, 9.495, 9.746, 10.21, 10.94, 11.94, 13.27, 14.93, 16.96, 19.38",\
                 "10.03, 10.11, 10.36, 10.82, 11.55, 12.56, 13.88, 15.55, 17.57, 20",\
                 "10.9, 10.98, 11.23, 11.7, 12.42, 13.43, 14.75, 16.42, 18.45, 20.87",\
                 "12.06, 12.14, 12.39, 12.86, 13.58, 14.59, 15.91, 17.58, 19.61, 22.02",\
                 "13.52, 13.59, 13.85, 14.31, 15.04, 16.05, 17.37, 19.03, 21.06, 23.48",\
                 "15.27, 15.34, 15.59, 16.06, 16.78, 17.79, 19.12, 20.78, 22.81, 25.23",\
                 "17.26, 17.33, 17.58, 18.05, 18.77, 19.78, 21.1, 22.77, 24.8, 27.22");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.5468, 0.5974, 0.746, 0.99, 1.341, 1.815, 2.452, 3.277, 4.316, 5.581",\
                 "0.5474, 0.5974, 0.7454, 0.9896, 1.341, 1.816, 2.452, 3.276, 4.314, 5.581",\
                 "0.5472, 0.5968, 0.7454, 0.99, 1.339, 1.816, 2.451, 3.277, 4.316, 5.578",\
                 "0.547, 0.5962, 0.7448, 0.9892, 1.341, 1.818, 2.452, 3.278, 4.314, 5.58",\
                 "0.5468, 0.5972, 0.7452, 0.9902, 1.341, 1.818, 2.452, 3.277, 4.315, 5.581",\
                 "0.5478, 0.5972, 0.745, 0.9894, 1.341, 1.818, 2.45, 3.277, 4.314, 5.58",\
                 "0.546, 0.598, 0.746, 0.99, 1.34, 1.818, 2.452, 3.278, 4.312, 5.58",\
                 "0.548, 0.598, 0.746, 0.992, 1.34, 1.818, 2.454, 3.276, 4.314, 5.576",\
                 "0.548, 0.598, 0.746, 0.99, 1.342, 1.816, 2.454, 3.274, 4.316, 5.578",\
                 "0.548, 0.598, 0.746, 0.99, 1.342, 1.818, 2.454, 3.28, 4.312, 5.578");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.506, 0.6104, 0.9858, 1.731, 2.914, 4.591, 6.791, 9.574, 12.96, 17",\
                 "0.505, 0.6098, 0.9846, 1.731, 2.915, 4.592, 6.791, 9.575, 12.96, 17.01",\
                 "0.5058, 0.6102, 0.9842, 1.731, 2.92, 4.592, 6.794, 9.577, 12.98, 17.01",\
                 "0.5054, 0.6108, 0.9846, 1.731, 2.915, 4.591, 6.794, 9.57, 12.96, 17.01",\
                 "0.506, 0.6104, 0.9848, 1.728, 2.917, 4.594, 6.798, 9.568, 12.97, 17",\
                 "0.506, 0.61, 0.984, 1.732, 2.916, 4.592, 6.792, 9.568, 12.96, 17.01",\
                 "0.506, 0.61, 0.984, 1.728, 2.914, 4.59, 6.796, 9.568, 12.97, 17.01",\
                 "0.506, 0.61, 0.986, 1.728, 2.914, 4.59, 6.79, 9.57, 12.97, 17.02",\
                 "0.508, 0.61, 0.986, 1.728, 2.916, 4.592, 6.792, 9.568, 12.97, 17.01",\
                 "0.506, 0.612, 0.988, 1.732, 2.914, 4.592, 6.794, 9.576, 12.96, 17.03");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("7.69, 7.759, 7.95, 8.219, 8.549, 8.942, 9.41, 9.965, 10.62, 11.4",\
                 "7.722, 7.791, 7.982, 8.252, 8.581, 8.975, 9.442, 9.998, 10.66, 11.43",\
                 "7.888, 7.957, 8.148, 8.418, 8.748, 9.141, 9.608, 10.16, 10.82, 11.6",\
                 "8.26, 8.33, 8.52, 8.79, 9.121, 9.514, 9.98, 10.54, 11.19, 11.97",\
                 "8.872, 8.942, 9.133, 9.402, 9.732, 10.13, 10.59, 11.15, 11.81, 12.58",\
                 "9.746, 9.815, 10.01, 10.28, 10.61, 11, 11.46, 12.02, 12.68, 13.45",\
                 "10.9, 10.97, 11.16, 11.43, 11.76, 12.16, 12.62, 13.18, 13.84, 14.61",\
                 "12.36, 12.43, 12.62, 12.89, 13.22, 13.61, 14.08, 14.64, 15.29, 16.07",\
                 "14.11, 14.18, 14.37, 14.64, 14.97, 15.36, 15.83, 16.38, 17.04, 17.82",\
                 "16.1, 16.17, 16.36, 16.63, 16.96, 17.35, 17.82, 18.37, 19.03, 19.81");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("6.491, 6.573, 6.838, 7.312, 8.036, 9.045, 10.37, 12.03, 14.06, 16.48",\
                 "6.546, 6.629, 6.894, 7.368, 8.092, 9.101, 10.42, 12.09, 14.12, 16.54",\
                 "6.721, 6.804, 7.069, 7.542, 8.266, 9.275, 10.6, 12.26, 14.29, 16.71",\
                 "7.043, 7.125, 7.39, 7.864, 8.588, 9.597, 10.92, 12.59, 14.61, 17.03",\
                 "7.47, 7.553, 7.816, 8.291, 9.014, 10.02, 11.35, 13.01, 15.04, 17.46",\
                 "7.935, 8.017, 8.282, 8.756, 9.479, 10.49, 11.81, 13.48, 15.51, 17.93",\
                 "8.427, 8.509, 8.774, 9.248, 9.972, 10.98, 12.31, 13.97, 16, 18.42",\
                 "8.943, 9.024, 9.289, 9.763, 10.49, 11.5, 12.82, 14.49, 16.52, 18.93",\
                 "9.482, 9.564, 9.829, 10.3, 11.03, 12.03, 13.36, 15.02, 17.05, 19.47",\
                 "10.03, 10.11, 10.38, 10.85, 11.57, 12.58, 13.91, 15.57, 17.6, 20.02");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.5468, 0.5948, 0.744, 0.9892, 1.34, 1.814, 2.452, 3.275, 4.314, 5.576",\
                 "0.5462, 0.5962, 0.744, 0.9884, 1.34, 1.814, 2.45, 3.275, 4.315, 5.576",\
                 "0.5462, 0.5962, 0.7436, 0.9888, 1.338, 1.814, 2.45, 3.276, 4.314, 5.58",\
                 "0.545, 0.5956, 0.7436, 0.9884, 1.339, 1.816, 2.45, 3.276, 4.314, 5.578",\
                 "0.546, 0.594, 0.744, 0.988, 1.34, 1.814, 2.45, 3.276, 4.314, 5.574",\
                 "0.546, 0.596, 0.744, 0.988, 1.338, 1.816, 2.45, 3.274, 4.316, 5.578",\
                 "0.544, 0.596, 0.744, 0.99, 1.338, 1.814, 2.448, 3.276, 4.314, 5.574",\
                 "0.546, 0.594, 0.744, 0.988, 1.338, 1.814, 2.452, 3.274, 4.314, 5.578",\
                 "0.546, 0.596, 0.744, 0.988, 1.338, 1.814, 2.45, 3.276, 4.31, 5.578",\
                 "0.546, 0.594, 0.742, 0.988, 1.338, 1.816, 2.452, 3.276, 4.314, 5.578");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.5052, 0.6096, 0.9848, 1.73, 2.915, 4.593, 6.794, 9.579, 12.96, 17",\
                 "0.5056, 0.6094, 0.9834, 1.731, 2.915, 4.593, 6.794, 9.577, 12.96, 17",\
                 "0.505, 0.6102, 0.9852, 1.731, 2.92, 4.592, 6.797, 9.58, 12.96, 17",\
                 "0.5054, 0.61, 0.9838, 1.728, 2.919, 4.591, 6.792, 9.578, 12.97, 17.01",\
                 "0.5048, 0.6096, 0.985, 1.731, 2.915, 4.588, 6.796, 9.578, 12.97, 17",\
                 "0.504, 0.608, 0.984, 1.728, 2.916, 4.592, 6.79, 9.58, 12.98, 17",\
                 "0.504, 0.61, 0.986, 1.73, 2.92, 4.59, 6.79, 9.568, 12.98, 17",\
                 "0.506, 0.61, 0.984, 1.728, 2.918, 4.592, 6.796, 9.58, 12.96, 17",\
                 "0.506, 0.61, 0.984, 1.728, 2.914, 4.592, 6.794, 9.568, 12.96, 17.01",\
                 "0.506, 0.61, 0.984, 1.73, 2.914, 4.586, 6.788, 9.576, 12.99, 17");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("8.022, 8.09, 8.278, 8.545, 8.872, 9.262, 9.727, 10.28, 10.94, 11.71",\
                 "8.06, 8.128, 8.317, 8.584, 8.91, 9.3, 9.765, 10.32, 10.98, 11.75",\
                 "8.251, 8.32, 8.508, 8.775, 9.101, 9.492, 9.957, 10.51, 11.17, 11.94",\
                 "8.643, 8.712, 8.9, 9.165, 9.494, 9.885, 10.35, 10.9, 11.56, 12.33",\
                 "9.268, 9.336, 9.524, 9.791, 10.12, 10.51, 10.97, 11.53, 12.18, 12.96",\
                 "10.16, 10.22, 10.41, 10.68, 11.01, 11.4, 11.86, 12.41, 13.07, 13.85",\
                 "11.33, 11.4, 11.59, 11.86, 12.18, 12.57, 13.04, 13.59, 14.25, 15.02",\
                 "12.82, 12.89, 13.07, 13.34, 13.67, 14.06, 14.52, 15.07, 15.73, 16.51",\
                 "14.63, 14.69, 14.88, 15.15, 15.48, 15.87, 16.33, 16.88, 17.54, 18.32",\
                 "16.73, 16.8, 16.99, 17.26, 17.59, 17.98, 18.44, 18.99, 19.65, 20.43");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("5.438, 5.512, 5.763, 6.231, 6.954, 7.963, 9.286, 10.95, 12.98, 15.4",\
                 "5.495, 5.57, 5.821, 6.289, 7.011, 8.02, 9.343, 11.01, 13.04, 15.46",\
                 "5.67, 5.744, 5.995, 6.463, 7.186, 8.195, 9.518, 11.18, 13.21, 15.63",\
                 "5.982, 6.057, 6.308, 6.776, 7.499, 8.508, 9.831, 11.5, 13.53, 15.95",\
                 "6.46, 6.534, 6.785, 7.254, 7.976, 8.985, 10.31, 11.97, 14, 16.42",\
                 "7.109, 7.183, 7.435, 7.903, 8.625, 9.634, 10.96, 12.62, 14.65, 17.07",\
                 "7.886, 7.961, 8.212, 8.68, 9.402, 10.41, 11.73, 13.4, 15.43, 17.85",\
                 "8.77, 8.844, 9.095, 9.564, 10.29, 11.3, 12.62, 14.28, 16.31, 18.73",\
                 "9.749, 9.823, 10.07, 10.54, 11.26, 12.27, 13.6, 15.26, 17.29, 19.71",\
                 "10.82, 10.9, 11.15, 11.61, 12.34, 13.34, 14.67, 16.33, 18.36, 20.78");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.536, 0.5854, 0.7334, 0.977, 1.326, 1.803, 2.441, 3.267, 4.304, 5.574",\
                 "0.5354, 0.5848, 0.7324, 0.9766, 1.327, 1.805, 2.44, 3.269, 4.306, 5.574",\
                 "0.5358, 0.5838, 0.7324, 0.9766, 1.327, 1.803, 2.44, 3.268, 4.308, 5.572",\
                 "0.5352, 0.5838, 0.7326, 0.9766, 1.326, 1.802, 2.44, 3.264, 4.306, 5.574",\
                 "0.534, 0.584, 0.734, 0.978, 1.326, 1.802, 2.44, 3.268, 4.306, 5.574",\
                 "0.536, 0.582, 0.732, 0.976, 1.328, 1.804, 2.44, 3.268, 4.304, 5.574",\
                 "0.536, 0.584, 0.734, 0.978, 1.326, 1.802, 2.442, 3.266, 4.304, 5.572",\
                 "0.534, 0.584, 0.732, 0.98, 1.328, 1.804, 2.44, 3.266, 4.306, 5.574",\
                 "0.534, 0.584, 0.732, 0.978, 1.328, 1.804, 2.442, 3.264, 4.306, 5.568",\
                 "0.538, 0.584, 0.734, 0.978, 1.326, 1.804, 2.44, 3.268, 4.306, 5.568");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.4342, 0.5438, 0.9354, 1.699, 2.893, 4.567, 6.767, 9.545, 12.94, 17.01",\
                 "0.4346, 0.5436, 0.9356, 1.698, 2.893, 4.568, 6.772, 9.546, 12.94, 17.01",\
                 "0.4342, 0.5428, 0.9354, 1.7, 2.893, 4.569, 6.776, 9.553, 12.94, 16.98",\
                 "0.4344, 0.5434, 0.9346, 1.699, 2.892, 4.569, 6.771, 9.547, 12.94, 16.99",\
                 "0.4342, 0.5432, 0.9352, 1.698, 2.893, 4.568, 6.772, 9.546, 12.94, 17.01",\
                 "0.4344, 0.5432, 0.9356, 1.7, 2.892, 4.564, 6.776, 9.548, 12.96, 17.01",\
                 "0.434, 0.544, 0.938, 1.698, 2.892, 4.57, 6.772, 9.546, 12.94, 16.98",\
                 "0.436, 0.544, 0.936, 1.7, 2.892, 4.57, 6.778, 9.546, 12.94, 16.99",\
                 "0.434, 0.542, 0.934, 1.7, 2.888, 4.57, 6.768, 9.548, 12.94, 16.98",\
                 "0.434, 0.544, 0.936, 1.696, 2.892, 4.568, 6.772, 9.546, 12.95, 16.99");
        }
      }

      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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("8.022, 8.09, 8.278, 8.545, 8.872, 9.262, 9.727, 10.28, 10.94, 11.71",\
                 "8.06, 8.128, 8.317, 8.584, 8.91, 9.3, 9.765, 10.32, 10.98, 11.75",\
                 "8.251, 8.32, 8.508, 8.775, 9.101, 9.492, 9.957, 10.51, 11.17, 11.94",\
                 "8.643, 8.712, 8.9, 9.165, 9.494, 9.885, 10.35, 10.9, 11.56, 12.33",\
                 "9.268, 9.336, 9.524, 9.791, 10.12, 10.51, 10.97, 11.53, 12.18, 12.96",\
                 "10.16, 10.22, 10.41, 10.68, 11.01, 11.4, 11.86, 12.41, 13.07, 13.85",\
                 "11.33, 11.4, 11.59, 11.86, 12.18, 12.57, 13.04, 13.59, 14.25, 15.02",\
                 "12.82, 12.89, 13.07, 13.34, 13.67, 14.06, 14.52, 15.07, 15.73, 16.51",\
                 "14.63, 14.69, 14.88, 15.15, 15.48, 15.87, 16.33, 16.88, 17.54, 18.32",\
                 "16.73, 16.8, 16.99, 17.26, 17.59, 17.98, 18.44, 18.99, 19.65, 20.43");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("5.438, 5.512, 5.763, 6.231, 6.954, 7.963, 9.286, 10.95, 12.98, 15.4",\
                 "5.495, 5.57, 5.821, 6.289, 7.011, 8.02, 9.343, 11.01, 13.04, 15.46",\
                 "5.67, 5.744, 5.995, 6.463, 7.186, 8.195, 9.518, 11.18, 13.21, 15.63",\
                 "5.982, 6.057, 6.308, 6.776, 7.499, 8.508, 9.831, 11.5, 13.53, 15.95",\
                 "6.46, 6.534, 6.785, 7.254, 7.976, 8.985, 10.31, 11.97, 14, 16.42",\
                 "7.109, 7.183, 7.435, 7.903, 8.625, 9.634, 10.96, 12.62, 14.65, 17.07",\
                 "7.886, 7.961, 8.212, 8.68, 9.402, 10.41, 11.73, 13.4, 15.43, 17.85",\
                 "8.77, 8.844, 9.095, 9.564, 10.29, 11.3, 12.62, 14.28, 16.31, 18.73",\
                 "9.749, 9.823, 10.07, 10.54, 11.26, 12.27, 13.6, 15.26, 17.29, 19.71",\
                 "10.82, 10.9, 11.15, 11.61, 12.34, 13.34, 14.67, 16.33, 18.36, 20.78");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.5468, 0.5948, 0.744, 0.9892, 1.34, 1.814, 2.452, 3.275, 4.314, 5.576",\
                 "0.5462, 0.5962, 0.744, 0.9884, 1.34, 1.814, 2.45, 3.275, 4.315, 5.576",\
                 "0.5462, 0.5962, 0.7436, 0.9888, 1.338, 1.814, 2.45, 3.276, 4.314, 5.58",\
                 "0.545, 0.5956, 0.7436, 0.9884, 1.339, 1.816, 2.45, 3.276, 4.314, 5.578",\
                 "0.546, 0.594, 0.744, 0.988, 1.34, 1.814, 2.45, 3.276, 4.314, 5.574",\
                 "0.546, 0.596, 0.744, 0.988, 1.338, 1.816, 2.45, 3.274, 4.316, 5.578",\
                 "0.544, 0.596, 0.744, 0.99, 1.338, 1.814, 2.448, 3.276, 4.314, 5.574",\
                 "0.546, 0.594, 0.744, 0.988, 1.338, 1.814, 2.452, 3.274, 4.314, 5.578",\
                 "0.546, 0.596, 0.744, 0.988, 1.338, 1.814, 2.45, 3.276, 4.31, 5.578",\
                 "0.546, 0.594, 0.742, 0.988, 1.338, 1.816, 2.452, 3.276, 4.314, 5.578");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.4342, 0.5438, 0.9354, 1.699, 2.893, 4.567, 6.767, 9.545, 12.94, 17.01",\
                 "0.4346, 0.5436, 0.9356, 1.698, 2.893, 4.568, 6.772, 9.546, 12.94, 17.01",\
                 "0.4342, 0.5428, 0.9354, 1.7, 2.893, 4.569, 6.776, 9.553, 12.94, 16.98",\
                 "0.4344, 0.5434, 0.9346, 1.699, 2.892, 4.569, 6.771, 9.547, 12.94, 16.99",\
                 "0.4342, 0.5432, 0.9352, 1.698, 2.893, 4.568, 6.772, 9.546, 12.94, 17.01",\
                 "0.4344, 0.5432, 0.9356, 1.7, 2.892, 4.564, 6.776, 9.548, 12.96, 17.01",\
                 "0.434, 0.544, 0.938, 1.698, 2.892, 4.57, 6.772, 9.546, 12.94, 16.98",\
                 "0.436, 0.544, 0.936, 1.7, 2.892, 4.57, 6.778, 9.546, 12.94, 16.99",\
                 "0.434, 0.542, 0.934, 1.7, 2.888, 4.57, 6.768, 9.548, 12.94, 16.98",\
                 "0.434, 0.544, 0.936, 1.696, 2.892, 4.568, 6.772, 9.546, 12.95, 16.99");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("3.573, 3.643, 3.833, 4.103, 4.432, 4.825, 5.292, 5.847, 6.506, 7.282",\
                 "3.64, 3.71, 3.901, 4.17, 4.5, 4.892, 5.36, 5.915, 6.573, 7.349",\
                 "3.833, 3.903, 4.093, 4.363, 4.693, 5.085, 5.552, 6.107, 6.766, 7.542",\
                 "4.171, 4.24, 4.431, 4.7, 5.03, 5.423, 5.89, 6.446, 7.104, 7.88",\
                 "4.672, 4.742, 4.931, 5.202, 5.531, 5.924, 6.391, 6.946, 7.605, 8.382",\
                 "5.265, 5.335, 5.526, 5.795, 6.125, 6.518, 6.985, 7.54, 8.199, 8.974",\
                 "5.935, 6.005, 6.195, 6.465, 6.795, 7.188, 7.655, 8.21, 8.869, 9.645",\
                 "6.678, 6.748, 6.938, 7.208, 7.537, 7.931, 8.398, 8.954, 9.613, 10.39",\
                 "7.497, 7.567, 7.757, 8.027, 8.357, 8.749, 9.215, 9.77, 10.43, 11.21",\
                 "8.384, 8.454, 8.644, 8.913, 9.243, 9.636, 10.1, 10.66, 11.32, 12.09");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("4.184, 4.257, 4.509, 4.977, 5.7, 6.708, 8.032, 9.697, 11.73, 14.15",\
                 "4.238, 4.312, 4.563, 5.032, 5.754, 6.763, 8.086, 9.751, 11.78, 14.2",\
                 "4.441, 4.516, 4.767, 5.235, 5.958, 6.967, 8.289, 9.955, 11.98, 14.41",\
                 "4.833, 4.907, 5.158, 5.627, 6.349, 7.357, 8.682, 10.35, 12.38, 14.8",\
                 "5.425, 5.499, 5.75, 6.219, 6.941, 7.95, 9.273, 10.94, 12.97, 15.39",\
                 "6.244, 6.319, 6.569, 7.038, 7.761, 8.769, 10.09, 11.76, 13.79, 16.21",\
                 "7.317, 7.392, 7.643, 8.111, 8.834, 9.842, 11.17, 12.83, 14.86, 17.28",\
                 "8.655, 8.73, 8.981, 9.449, 10.17, 11.18, 12.5, 14.17, 16.2, 18.62",\
                 "10.23, 10.31, 10.56, 11.03, 11.75, 12.76, 14.08, 15.75, 17.78, 20.2",\
                 "12.02, 12.1, 12.35, 12.81, 13.54, 14.55, 15.87, 17.54, 19.56, 21.99");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.5456, 0.5956, 0.7432, 0.9884, 1.34, 1.814, 2.45, 3.276, 4.315, 5.579",\
                 "0.5462, 0.595, 0.7436, 0.9884, 1.339, 1.816, 2.451, 3.277, 4.311, 5.578",\
                 "0.545, 0.5942, 0.7434, 0.988, 1.339, 1.817, 2.451, 3.276, 4.315, 5.579",\
                 "0.546, 0.595, 0.743, 0.988, 1.338, 1.817, 2.451, 3.277, 4.315, 5.581",\
                 "0.546, 0.595, 0.7434, 0.988, 1.339, 1.817, 2.451, 3.275, 4.312, 5.58",\
                 "0.5462, 0.5954, 0.7436, 0.9882, 1.338, 1.817, 2.45, 3.276, 4.316, 5.578",\
                 "0.5446, 0.5944, 0.7434, 0.992, 1.342, 1.818, 2.45, 3.276, 4.314, 5.576",\
                 "0.544, 0.594, 0.742, 0.986, 1.34, 1.818, 2.454, 3.28, 4.318, 5.576",\
                 "0.544, 0.594, 0.742, 0.986, 1.338, 1.814, 2.45, 3.274, 4.312, 5.578",\
                 "0.544, 0.592, 0.74, 0.986, 1.34, 1.812, 2.448, 3.272, 4.314, 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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.4356, 0.5442, 0.9362, 1.699, 2.893, 4.568, 6.772, 9.547, 12.94, 16.98",\
                 "0.4356, 0.5436, 0.9368, 1.697, 2.893, 4.568, 6.773, 9.546, 12.96, 16.98",\
                 "0.4346, 0.5436, 0.936, 1.698, 2.891, 4.568, 6.772, 9.546, 12.94, 17.02",\
                 "0.4346, 0.5436, 0.9368, 1.697, 2.893, 4.568, 6.778, 9.547, 12.94, 16.98",\
                 "0.4356, 0.5436, 0.936, 1.699, 2.893, 4.568, 6.778, 9.546, 12.94, 17.01",\
                 "0.4346, 0.5436, 0.9354, 1.698, 2.89, 4.564, 6.772, 9.548, 12.94, 17.01",\
                 "0.436, 0.544, 0.938, 1.696, 2.894, 4.57, 6.768, 9.558, 12.94, 16.98",\
                 "0.436, 0.544, 0.936, 1.7, 2.892, 4.566, 6.766, 9.546, 12.94, 17",\
                 "0.438, 0.546, 0.936, 1.698, 2.892, 4.566, 6.768, 9.548, 12.94, 16.98",\
                 "0.44, 0.546, 0.938, 1.696, 2.894, 4.566, 6.774, 9.562, 12.94, 16.99");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("3.587, 3.657, 3.848, 4.118, 4.448, 4.842, 5.308, 5.864, 6.522, 7.298",\
                 "3.655, 3.724, 3.916, 4.185, 4.515, 4.909, 5.376, 5.931, 6.59, 7.366",\
                 "3.848, 3.917, 4.108, 4.378, 4.708, 5.102, 5.568, 6.124, 6.783, 7.559",\
                 "4.186, 4.255, 4.446, 4.717, 5.047, 5.44, 5.907, 6.462, 7.121, 7.897",\
                 "4.688, 4.758, 4.949, 5.218, 5.549, 5.942, 6.409, 6.965, 7.623, 8.399",\
                 "5.282, 5.352, 5.543, 5.813, 6.143, 6.536, 7.003, 7.559, 8.217, 8.994",\
                 "5.954, 6.023, 6.213, 6.484, 6.813, 7.207, 7.674, 8.23, 8.889, 9.665",\
                 "6.696, 6.765, 6.956, 7.225, 7.556, 7.95, 8.417, 8.973, 9.633, 10.41",\
                 "7.515, 7.584, 7.775, 8.045, 8.374, 8.768, 9.234, 9.789, 10.45, 11.23",\
                 "8.4, 8.47, 8.661, 8.93, 9.261, 9.654, 10.12, 10.68, 11.33, 12.11");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("4.192, 4.267, 4.517, 4.986, 5.708, 6.717, 8.04, 9.705, 11.74, 14.16",\
                 "4.247, 4.321, 4.573, 5.041, 5.763, 6.772, 8.095, 9.76, 11.79, 14.21",\
                 "4.452, 4.527, 4.777, 5.246, 5.968, 6.976, 8.3, 9.965, 12, 14.42",\
                 "4.843, 4.917, 5.168, 5.637, 6.359, 7.368, 8.691, 10.36, 12.39, 14.81",\
                 "5.433, 5.507, 5.758, 6.227, 6.949, 7.958, 9.281, 10.95, 12.98, 15.4",\
                 "6.251, 6.325, 6.576, 7.044, 7.767, 8.776, 10.1, 11.76, 13.79, 16.21",\
                 "7.322, 7.396, 7.647, 8.116, 8.838, 9.846, 11.17, 12.84, 14.87, 17.28",\
                 "8.657, 8.731, 8.983, 9.451, 10.17, 11.18, 12.51, 14.17, 16.2, 18.62",\
                 "10.24, 10.31, 10.56, 11.03, 11.75, 12.76, 14.08, 15.75, 17.78, 20.2",\
                 "12.02, 12.1, 12.35, 12.82, 13.54, 14.55, 15.87, 17.54, 19.57, 21.99");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.5478, 0.5962, 0.7448, 0.99, 1.341, 1.816, 2.453, 3.278, 4.315, 5.581",\
                 "0.547, 0.5972, 0.7442, 0.9898, 1.341, 1.818, 2.452, 3.278, 4.313, 5.58",\
                 "0.5468, 0.597, 0.7458, 0.9898, 1.341, 1.818, 2.452, 3.278, 4.315, 5.58",\
                 "0.5468, 0.5968, 0.7452, 0.9896, 1.341, 1.816, 2.452, 3.275, 4.315, 5.578",\
                 "0.5466, 0.597, 0.7448, 0.9896, 1.341, 1.819, 2.452, 3.278, 4.313, 5.58",\
                 "0.5472, 0.5964, 0.7458, 0.9898, 1.341, 1.818, 2.453, 3.278, 4.316, 5.578",\
                 "0.547, 0.5964, 0.7458, 0.992, 1.344, 1.818, 2.452, 3.278, 4.316, 5.576",\
                 "0.546, 0.596, 0.744, 0.988, 1.342, 1.818, 2.452, 3.278, 4.318, 5.582",\
                 "0.546, 0.596, 0.744, 0.988, 1.34, 1.816, 2.45, 3.276, 4.314, 5.58",\
                 "0.546, 0.596, 0.744, 0.988, 1.342, 1.816, 2.452, 3.274, 4.31, 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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.4344, 0.5436, 0.935, 1.698, 2.893, 4.569, 6.779, 9.558, 12.94, 17",\
                 "0.4342, 0.5434, 0.9366, 1.699, 2.893, 4.569, 6.77, 9.547, 12.96, 16.98",\
                 "0.4356, 0.5434, 0.9344, 1.7, 2.892, 4.566, 6.773, 9.545, 12.94, 17.02",\
                 "0.4354, 0.5434, 0.9366, 1.699, 2.893, 4.569, 6.768, 9.564, 12.94, 17.02",\
                 "0.4344, 0.5438, 0.9362, 1.697, 2.893, 4.567, 6.774, 9.546, 12.94, 16.98",\
                 "0.4344, 0.5438, 0.936, 1.699, 2.89, 4.57, 6.774, 9.546, 12.94, 16.99",\
                 "0.434, 0.544, 0.934, 1.698, 2.892, 4.568, 6.77, 9.546, 12.96, 16.98",\
                 "0.436, 0.544, 0.934, 1.7, 2.892, 4.568, 6.778, 9.548, 12.94, 16.98",\
                 "0.436, 0.546, 0.936, 1.698, 2.89, 4.568, 6.778, 9.546, 12.94, 16.98",\
                 "0.44, 0.546, 0.938, 1.698, 2.892, 4.566, 6.776, 9.562, 12.94, 16.99");
        }
      }

      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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("3.587, 3.657, 3.848, 4.118, 4.448, 4.842, 5.308, 5.864, 6.522, 7.298",\
                 "3.655, 3.724, 3.916, 4.185, 4.515, 4.909, 5.376, 5.931, 6.59, 7.366",\
                 "3.848, 3.917, 4.108, 4.378, 4.708, 5.102, 5.568, 6.124, 6.783, 7.559",\
                 "4.186, 4.255, 4.446, 4.717, 5.047, 5.44, 5.907, 6.462, 7.121, 7.897",\
                 "4.688, 4.758, 4.949, 5.218, 5.549, 5.942, 6.409, 6.965, 7.623, 8.399",\
                 "5.282, 5.352, 5.543, 5.813, 6.143, 6.536, 7.003, 7.559, 8.217, 8.994",\
                 "5.954, 6.023, 6.213, 6.484, 6.813, 7.207, 7.674, 8.23, 8.889, 9.665",\
                 "6.696, 6.765, 6.956, 7.225, 7.556, 7.95, 8.417, 8.973, 9.633, 10.41",\
                 "7.515, 7.584, 7.775, 8.045, 8.374, 8.768, 9.234, 9.789, 10.45, 11.23",\
                 "8.4, 8.47, 8.661, 8.93, 9.261, 9.654, 10.12, 10.68, 11.33, 12.11");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("4.192, 4.267, 4.517, 4.986, 5.708, 6.717, 8.04, 9.705, 11.74, 14.16",\
                 "4.247, 4.321, 4.573, 5.041, 5.763, 6.772, 8.095, 9.76, 11.79, 14.21",\
                 "4.452, 4.527, 4.777, 5.246, 5.968, 6.976, 8.3, 9.965, 12, 14.42",\
                 "4.843, 4.917, 5.168, 5.637, 6.359, 7.368, 8.691, 10.36, 12.39, 14.81",\
                 "5.433, 5.507, 5.758, 6.227, 6.949, 7.958, 9.281, 10.95, 12.98, 15.4",\
                 "6.251, 6.325, 6.576, 7.044, 7.767, 8.776, 10.1, 11.76, 13.79, 16.21",\
                 "7.322, 7.396, 7.647, 8.116, 8.838, 9.846, 11.17, 12.84, 14.87, 17.28",\
                 "8.657, 8.731, 8.983, 9.451, 10.17, 11.18, 12.51, 14.17, 16.2, 18.62",\
                 "10.24, 10.31, 10.56, 11.03, 11.75, 12.76, 14.08, 15.75, 17.78, 20.2",\
                 "12.02, 12.1, 12.35, 12.82, 13.54, 14.55, 15.87, 17.54, 19.57, 21.99");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.5478, 0.5962, 0.7448, 0.99, 1.341, 1.816, 2.453, 3.278, 4.315, 5.581",\
                 "0.547, 0.5972, 0.7442, 0.9898, 1.341, 1.818, 2.452, 3.278, 4.313, 5.58",\
                 "0.5468, 0.597, 0.7458, 0.9898, 1.341, 1.818, 2.452, 3.278, 4.315, 5.58",\
                 "0.5468, 0.5968, 0.7452, 0.9896, 1.341, 1.816, 2.452, 3.275, 4.315, 5.578",\
                 "0.5466, 0.597, 0.7448, 0.9896, 1.341, 1.819, 2.452, 3.278, 4.313, 5.58",\
                 "0.5472, 0.5964, 0.7458, 0.9898, 1.341, 1.818, 2.453, 3.278, 4.316, 5.578",\
                 "0.547, 0.5964, 0.7458, 0.992, 1.344, 1.818, 2.452, 3.278, 4.316, 5.576",\
                 "0.546, 0.596, 0.744, 0.988, 1.342, 1.818, 2.452, 3.278, 4.318, 5.582",\
                 "0.546, 0.596, 0.744, 0.988, 1.34, 1.816, 2.45, 3.276, 4.314, 5.58",\
                 "0.546, 0.596, 0.744, 0.988, 1.342, 1.816, 2.452, 3.274, 4.31, 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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.4344, 0.5436, 0.935, 1.698, 2.893, 4.569, 6.779, 9.558, 12.94, 17",\
                 "0.4342, 0.5434, 0.9366, 1.699, 2.893, 4.569, 6.77, 9.547, 12.96, 16.98",\
                 "0.4356, 0.5434, 0.9344, 1.7, 2.892, 4.566, 6.773, 9.545, 12.94, 17.02",\
                 "0.4354, 0.5434, 0.9366, 1.699, 2.893, 4.569, 6.768, 9.564, 12.94, 17.02",\
                 "0.4344, 0.5438, 0.9362, 1.697, 2.893, 4.567, 6.774, 9.546, 12.94, 16.98",\
                 "0.4344, 0.5438, 0.936, 1.699, 2.89, 4.57, 6.774, 9.546, 12.94, 16.99",\
                 "0.434, 0.544, 0.934, 1.698, 2.892, 4.568, 6.77, 9.546, 12.96, 16.98",\
                 "0.436, 0.544, 0.934, 1.7, 2.892, 4.568, 6.778, 9.548, 12.94, 16.98",\
                 "0.436, 0.546, 0.936, 1.698, 2.89, 4.568, 6.778, 9.546, 12.94, 16.98",\
                 "0.44, 0.546, 0.938, 1.698, 2.892, 4.566, 6.776, 9.562, 12.94, 16.99");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("2.626, 2.694, 2.883, 3.15, 3.477, 3.867, 4.332, 4.885, 5.542, 6.318",\
                 "2.679, 2.748, 2.936, 3.204, 3.53, 3.921, 4.385, 4.939, 5.596, 6.371",\
                 "2.857, 2.926, 3.114, 3.382, 3.708, 4.099, 4.564, 5.117, 5.775, 6.55",\
                 "3.238, 3.305, 3.494, 3.761, 4.089, 4.479, 4.944, 5.498, 6.155, 6.93",\
                 "3.863, 3.931, 4.119, 4.386, 4.713, 5.104, 5.568, 6.122, 6.779, 7.554",\
                 "4.759, 4.827, 5.016, 5.282, 5.61, 6.001, 6.465, 7.019, 7.676, 8.451",\
                 "5.947, 6.015, 6.203, 6.471, 6.797, 7.189, 7.654, 8.207, 8.865, 9.64",\
                 "7.413, 7.484, 7.676, 7.946, 8.276, 8.669, 9.135, 9.688, 10.35, 11.12",\
                 "9.098, 9.176, 9.384, 9.666, 10.01, 10.4, 10.87, 11.43, 12.09, 12.86",\
                 "10.97, 11.05, 11.28, 11.58, 11.93, 12.34, 12.82, 13.38, 14.04, 14.81");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("1.206, 1.286, 1.547, 2.02, 2.744, 3.753, 5.075, 6.738, 8.767, 11.19",\
                 "1.255, 1.335, 1.596, 2.07, 2.794, 3.803, 5.126, 6.789, 8.818, 11.24",\
                 "1.438, 1.518, 1.779, 2.252, 2.977, 3.985, 5.309, 6.971, 9.002, 11.42",\
                 "1.786, 1.866, 2.125, 2.597, 3.321, 4.331, 5.654, 7.318, 9.349, 11.77",\
                 "2.315, 2.395, 2.655, 3.126, 3.849, 4.858, 6.182, 7.847, 9.878, 12.3",\
                 "2.958, 3.04, 3.304, 3.777, 4.499, 5.507, 6.834, 8.499, 10.53, 12.95",\
                 "3.681, 3.765, 4.031, 4.506, 5.233, 6.241, 7.563, 9.23, 11.26, 13.68",\
                 "4.48, 4.567, 4.837, 5.313, 6.037, 7.05, 8.373, 10.04, 12.07, 14.49",\
                 "5.355, 5.444, 5.719, 6.196, 6.919, 7.931, 9.257, 10.92, 12.95, 15.37",\
                 "6.299, 6.393, 6.674, 7.152, 7.876, 8.885, 10.21, 11.88, 13.91, 16.33");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.5364, 0.5846, 0.7328, 0.9792, 1.329, 1.806, 2.44, 3.267, 4.308, 5.572",\
                 "0.5362, 0.5858, 0.7328, 0.9774, 1.329, 1.806, 2.44, 3.267, 4.307, 5.571",\
                 "0.5364, 0.5844, 0.7326, 0.9794, 1.329, 1.806, 2.44, 3.267, 4.308, 5.57",\
                 "0.536, 0.5856, 0.7336, 0.9778, 1.328, 1.806, 2.442, 3.267, 4.306, 5.572",\
                 "0.5364, 0.5854, 0.7332, 0.9794, 1.329, 1.806, 2.441, 3.267, 4.307, 5.567",\
                 "0.537, 0.5858, 0.7346, 0.9784, 1.329, 1.806, 2.44, 3.266, 4.308, 5.566",\
                 "0.5412, 0.5914, 0.7384, 0.984, 1.332, 1.808, 2.444, 3.268, 4.306, 5.568",\
                 "0.57, 0.616, 0.762, 0.998, 1.346, 1.816, 2.448, 3.268, 4.306, 5.574",\
                 "0.646, 0.692, 0.828, 1.052, 1.384, 1.846, 2.468, 3.286, 4.316, 5.578",\
                 "0.728, 0.778, 0.916, 1.132, 1.448, 1.902, 2.51, 3.32, 4.338, 5.588");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.4758, 0.5834, 0.9654, 1.721, 2.909, 4.587, 6.789, 9.569, 12.98, 17.01",\
                 "0.4758, 0.5836, 0.965, 1.718, 2.909, 4.584, 6.806, 9.566, 12.96, 17",\
                 "0.476, 0.5854, 0.9656, 1.718, 2.908, 4.59, 6.797, 9.569, 12.96, 17",\
                 "0.4778, 0.5838, 0.9658, 1.72, 2.914, 4.586, 6.789, 9.571, 12.97, 17.03",\
                 "0.4816, 0.588, 0.968, 1.718, 2.909, 4.584, 6.793, 9.574, 12.97, 17.02",\
                 "0.5014, 0.6068, 0.9822, 1.727, 2.914, 4.592, 6.789, 9.59, 12.96, 17.02",\
                 "0.5234, 0.627, 0.9962, 1.742, 2.923, 4.591, 6.789, 9.57, 12.97, 17.01",\
                 "0.5534, 0.652, 1.014, 1.746, 2.934, 4.606, 6.798, 9.582, 12.98, 17.01",\
                 "0.59, 0.684, 1.032, 1.756, 2.936, 4.612, 6.814, 9.584, 12.99, 17",\
                 "0.64, 0.726, 1.062, 1.768, 2.94, 4.618, 6.82, 9.594, 12.98, 17.03");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("2.626, 2.694, 2.883, 3.15, 3.477, 3.867, 4.332, 4.885, 5.542, 6.318",\
                 "2.679, 2.748, 2.936, 3.204, 3.53, 3.921, 4.385, 4.939, 5.596, 6.371",\
                 "2.857, 2.926, 3.114, 3.382, 3.708, 4.099, 4.564, 5.117, 5.775, 6.55",\
                 "3.237, 3.306, 3.495, 3.761, 4.088, 4.479, 4.944, 5.497, 6.155, 6.93",\
                 "3.863, 3.931, 4.119, 4.386, 4.714, 5.104, 5.568, 6.122, 6.779, 7.555",\
                 "4.759, 4.828, 5.016, 5.283, 5.61, 6.001, 6.465, 7.018, 7.676, 8.451",\
                 "5.947, 6.015, 6.203, 6.47, 6.797, 7.189, 7.653, 8.207, 8.865, 9.64",\
                 "7.413, 7.484, 7.676, 7.947, 8.276, 8.669, 9.135, 9.688, 10.35, 11.12",\
                 "9.098, 9.176, 9.384, 9.667, 10.01, 10.4, 10.87, 11.43, 12.09, 12.86",\
                 "10.97, 11.05, 11.28, 11.58, 11.93, 12.34, 12.82, 13.38, 14.04, 14.81");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("1.206, 1.286, 1.547, 2.02, 2.744, 3.753, 5.075, 6.738, 8.767, 11.19",\
                 "1.255, 1.335, 1.596, 2.07, 2.794, 3.803, 5.126, 6.789, 8.818, 11.24",\
                 "1.438, 1.518, 1.779, 2.252, 2.977, 3.987, 5.309, 6.971, 9.002, 11.42",\
                 "1.786, 1.866, 2.125, 2.597, 3.321, 4.33, 5.653, 7.317, 9.347, 11.77",\
                 "2.315, 2.395, 2.655, 3.126, 3.849, 4.858, 6.183, 7.848, 9.877, 12.3",\
                 "2.958, 3.04, 3.304, 3.777, 4.499, 5.507, 6.833, 8.499, 10.53, 12.95",\
                 "3.682, 3.765, 4.03, 4.506, 5.233, 6.241, 7.563, 9.229, 11.26, 13.68",\
                 "4.48, 4.567, 4.837, 5.311, 6.038, 7.05, 8.374, 10.04, 12.07, 14.49",\
                 "5.355, 5.444, 5.719, 6.196, 6.919, 7.931, 9.255, 10.92, 12.95, 15.38",\
                 "6.299, 6.393, 6.674, 7.152, 7.876, 8.885, 10.21, 11.88, 13.91, 16.33");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.5364, 0.5846, 0.7328, 0.9792, 1.329, 1.806, 2.44, 3.267, 4.308, 5.572",\
                 "0.5362, 0.5858, 0.7328, 0.9774, 1.329, 1.806, 2.44, 3.267, 4.307, 5.571",\
                 "0.5364, 0.585, 0.7326, 0.9776, 1.329, 1.806, 2.441, 3.266, 4.308, 5.571",\
                 "0.536, 0.5848, 0.733, 0.9788, 1.329, 1.806, 2.44, 3.267, 4.307, 5.573",\
                 "0.536, 0.5856, 0.7338, 0.978, 1.329, 1.806, 2.442, 3.266, 4.304, 5.571",\
                 "0.5372, 0.5856, 0.7346, 0.9784, 1.33, 1.806, 2.441, 3.266, 4.306, 5.566",\
                 "0.5426, 0.5904, 0.7382, 0.984, 1.332, 1.808, 2.442, 3.268, 4.308, 5.572",\
                 "0.57, 0.616, 0.762, 0.998, 1.344, 1.818, 2.446, 3.272, 4.306, 5.574",\
                 "0.646, 0.692, 0.828, 1.052, 1.382, 1.848, 2.47, 3.286, 4.316, 5.576",\
                 "0.728, 0.778, 0.916, 1.132, 1.448, 1.902, 2.51, 3.32, 4.34, 5.588");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.4758, 0.5834, 0.9654, 1.721, 2.909, 4.587, 6.789, 9.569, 12.98, 17.01",\
                 "0.4758, 0.5836, 0.9652, 1.718, 2.909, 4.584, 6.806, 9.566, 12.96, 17",\
                 "0.476, 0.5836, 0.9656, 1.718, 2.909, 4.584, 6.792, 9.569, 12.97, 17.02",\
                 "0.4772, 0.5832, 0.9664, 1.718, 2.909, 4.595, 6.79, 9.569, 12.98, 17.01",\
                 "0.4816, 0.588, 0.9664, 1.721, 2.909, 4.595, 6.803, 9.584, 12.98, 17.04",\
                 "0.5014, 0.6066, 0.9822, 1.726, 2.914, 4.592, 6.792, 9.582, 12.96, 17.02",\
                 "0.5246, 0.6256, 0.9966, 1.741, 2.923, 4.589, 6.79, 9.57, 12.97, 17.01",\
                 "0.5528, 0.652, 1.012, 1.748, 2.932, 4.606, 6.802, 9.59, 12.99, 17.01",\
                 "0.59, 0.684, 1.032, 1.756, 2.936, 4.61, 6.814, 9.584, 12.99, 17.01",\
                 "0.64, 0.726, 1.062, 1.768, 2.94, 4.616, 6.82, 9.594, 12.98, 17.03");
        }
      }

      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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("2.626, 2.694, 2.883, 3.15, 3.477, 3.867, 4.332, 4.885, 5.542, 6.318",\
                 "2.679, 2.748, 2.936, 3.204, 3.53, 3.921, 4.385, 4.939, 5.596, 6.371",\
                 "2.857, 2.926, 3.114, 3.382, 3.708, 4.099, 4.564, 5.117, 5.775, 6.55",\
                 "3.237, 3.306, 3.495, 3.761, 4.088, 4.479, 4.944, 5.497, 6.155, 6.93",\
                 "3.863, 3.931, 4.119, 4.386, 4.714, 5.104, 5.568, 6.122, 6.779, 7.555",\
                 "4.759, 4.828, 5.016, 5.283, 5.61, 6.001, 6.465, 7.018, 7.676, 8.451",\
                 "5.947, 6.015, 6.203, 6.47, 6.797, 7.189, 7.653, 8.207, 8.865, 9.64",\
                 "7.413, 7.484, 7.676, 7.947, 8.276, 8.669, 9.135, 9.688, 10.35, 11.12",\
                 "9.098, 9.176, 9.384, 9.667, 10.01, 10.4, 10.87, 11.43, 12.09, 12.86",\
                 "10.97, 11.05, 11.28, 11.58, 11.93, 12.34, 12.82, 13.38, 14.04, 14.81");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("1.206, 1.286, 1.547, 2.02, 2.744, 3.753, 5.075, 6.738, 8.767, 11.19",\
                 "1.255, 1.335, 1.596, 2.07, 2.794, 3.803, 5.126, 6.789, 8.818, 11.24",\
                 "1.438, 1.518, 1.779, 2.252, 2.977, 3.985, 5.309, 6.971, 9.002, 11.42",\
                 "1.786, 1.866, 2.125, 2.597, 3.321, 4.331, 5.654, 7.318, 9.349, 11.77",\
                 "2.315, 2.395, 2.655, 3.126, 3.849, 4.858, 6.182, 7.847, 9.878, 12.3",\
                 "2.958, 3.04, 3.304, 3.777, 4.499, 5.507, 6.834, 8.499, 10.53, 12.95",\
                 "3.681, 3.765, 4.031, 4.506, 5.233, 6.241, 7.563, 9.23, 11.26, 13.68",\
                 "4.48, 4.567, 4.837, 5.313, 6.037, 7.05, 8.373, 10.04, 12.07, 14.49",\
                 "5.355, 5.444, 5.719, 6.196, 6.919, 7.931, 9.257, 10.92, 12.95, 15.37",\
                 "6.299, 6.393, 6.674, 7.152, 7.876, 8.885, 10.21, 11.88, 13.91, 16.33");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.5364, 0.5846, 0.7328, 0.9792, 1.329, 1.806, 2.44, 3.267, 4.308, 5.572",\
                 "0.5362, 0.5858, 0.7328, 0.9774, 1.329, 1.806, 2.44, 3.267, 4.307, 5.571",\
                 "0.5364, 0.585, 0.7326, 0.9776, 1.329, 1.806, 2.441, 3.266, 4.308, 5.571",\
                 "0.536, 0.5848, 0.733, 0.9788, 1.329, 1.806, 2.44, 3.267, 4.307, 5.573",\
                 "0.536, 0.5856, 0.7338, 0.978, 1.329, 1.806, 2.442, 3.266, 4.304, 5.571",\
                 "0.5372, 0.5856, 0.7346, 0.9784, 1.33, 1.806, 2.441, 3.266, 4.306, 5.566",\
                 "0.5426, 0.5904, 0.7382, 0.984, 1.332, 1.808, 2.442, 3.268, 4.308, 5.572",\
                 "0.57, 0.616, 0.762, 0.998, 1.344, 1.818, 2.446, 3.272, 4.306, 5.574",\
                 "0.646, 0.692, 0.828, 1.052, 1.382, 1.848, 2.47, 3.286, 4.316, 5.576",\
                 "0.728, 0.778, 0.916, 1.132, 1.448, 1.902, 2.51, 3.32, 4.34, 5.588");
        }

        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.003799, 0.01362, 0.03238, 0.06161, 0.1026, 0.1566, 0.2246, 0.3075, 0.4065");
          values("0.4758, 0.5834, 0.9654, 1.721, 2.909, 4.587, 6.789, 9.569, 12.98, 17.01",\
                 "0.4758, 0.5836, 0.9652, 1.718, 2.909, 4.584, 6.806, 9.566, 12.96, 17",\
                 "0.476, 0.5836, 0.9656, 1.718, 2.909, 4.584, 6.792, 9.569, 12.97, 17.02",\
                 "0.4772, 0.5832, 0.9664, 1.718, 2.909, 4.595, 6.79, 9.569, 12.98, 17.01",\
                 "0.4816, 0.588, 0.9664, 1.721, 2.909, 4.595, 6.803, 9.584, 12.98, 17.04",\
                 "0.5014, 0.6066, 0.9822, 1.726, 2.914, 4.592, 6.792, 9.582, 12.96, 17.02",\
                 "0.5246, 0.6256, 0.9966, 1.741, 2.923, 4.589, 6.79, 9.57, 12.97, 17.01",\
                 "0.5528, 0.652, 1.012, 1.748, 2.932, 4.606, 6.802, 9.59, 12.99, 17.01",\
                 "0.59, 0.684, 1.032, 1.756, 2.936, 4.61, 6.814, 9.584, 12.99, 17.01",\
                 "0.64, 0.726, 1.062, 1.768, 2.94, 4.616, 6.82, 9.594, 12.98, 17.03");
        }
      }
    }
  }