  cell(gf180mcu_fd_sc_mcu9t5v0__xnor3_4) {
    area : 90.316800 ;

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

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

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

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

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

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

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

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

    leakage_power() {
      related_pg_pin : "VDD" ;
      value : "4.36185e-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.004315 ;
      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.005026 ;
      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.007567 ;
      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.8143 ;
      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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.09677, 0.09704, 0.09768, 0.09849, 0.09926, 0.09986, 0.1003, 0.1006, 0.1009, 0.101",\
                 "0.0968, 0.09704, 0.09774, 0.09852, 0.0993, 0.09992, 0.1003, 0.1007, 0.1009, 0.101",\
                 "0.09682, 0.09708, 0.09775, 0.09855, 0.0993, 0.09992, 0.1004, 0.1007, 0.1009, 0.101",\
                 "0.09674, 0.09699, 0.09767, 0.09848, 0.09923, 0.09985, 0.1003, 0.1006, 0.1008, 0.1009",\
                 "0.09666, 0.0969, 0.09756, 0.09837, 0.09913, 0.09975, 0.1002, 0.1005, 0.1007, 0.1005",\
                 "0.09655, 0.09679, 0.09748, 0.09827, 0.09902, 0.09966, 0.1001, 0.1004, 0.1004, 0.09967",\
                 "0.09646, 0.09671, 0.09739, 0.09819, 0.09894, 0.09953, 0.09994, 0.1, 0.09931, 0.09685",\
                 "0.0962, 0.09645, 0.09711, 0.0979, 0.0986, 0.09906, 0.099, 0.0974, 0.09411, 0.09124",\
                 "0.093, 0.09322, 0.0938, 0.09434, 0.09417, 0.09132, 0.08795, 0.08558, 0.0839, 0.08271",\
                 "0.05678, 0.05687, 0.0573, 0.05805, 0.05883, 0.05947, 0.05993, 0.06026, 0.06048, 0.06063");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.01014, 0.01033, 0.0109, 0.01157, 0.01251, 0.01336, 0.01538, 0.05007, 0.2348, 0.4881",\
                 "0.01009, 0.01031, 0.01085, 0.0116, 0.01235, 0.01334, 0.01529, 0.05216, 0.2402, 0.4912",\
                 "0.01002, 0.01021, 0.01081, 0.01149, 0.01235, 0.01318, 0.01576, 0.06099, 0.2614, 0.5024",\
                 "0.009957, 0.01016, 0.01072, 0.01147, 0.01221, 0.0132, 0.01781, 0.08376, 0.3016, 0.5197",\
                 "0.00988, 0.01014, 0.01067, 0.01139, 0.01213, 0.01314, 0.02342, 0.133, 0.3536, 0.5338",\
                 "0.009803, 0.01005, 0.01061, 0.0113, 0.01208, 0.01396, 0.04968, 0.2194, 0.3971, 0.5266",\
                 "0.009679, 0.009901, 0.01051, 0.0112, 0.01204, 0.02595, 0.1441, 0.2903, 0.3938, 0.4665",\
                 "0.009405, 0.009673, 0.01016, 0.01099, 0.0304, 0.1248, 0.2004, 0.2499, 0.2828, 0.3054",\
                 "-0.02, -0.01949, -0.01881, -0.01844, -0.01824, -0.01818, -0.01822, -0.01818, -0.01818, -0.01817",\
                 "-0.05699, -0.05699, -0.057, -0.057, -0.05699, -0.05699, -0.05699, -0.05699, -0.05699, -0.05699");
        }
      }

      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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.08714, 0.08736, 0.08799, 0.08875, 0.08951, 0.09012, 0.0906, 0.09095, 0.0912, 0.09136",\
                 "0.0871, 0.08732, 0.08794, 0.0887, 0.08945, 0.09007, 0.09055, 0.0909, 0.09115, 0.09132",\
                 "0.08697, 0.08723, 0.08785, 0.08861, 0.08937, 0.08999, 0.09047, 0.09081, 0.09107, 0.09123",\
                 "0.08692, 0.08716, 0.08779, 0.08854, 0.08929, 0.08993, 0.09041, 0.09075, 0.091, 0.09116",\
                 "0.0869, 0.08711, 0.08775, 0.0885, 0.08925, 0.08988, 0.09036, 0.0907, 0.09094, 0.09108",\
                 "0.08682, 0.08705, 0.08768, 0.08843, 0.08918, 0.08982, 0.0903, 0.09063, 0.09084, 0.09082",\
                 "0.08672, 0.08695, 0.08757, 0.08833, 0.08907, 0.08971, 0.09018, 0.09046, 0.09041, 0.08932",\
                 "0.08645, 0.0867, 0.08732, 0.08806, 0.08877, 0.08932, 0.08949, 0.08863, 0.08587, 0.08277",\
                 "0.08044, 0.08067, 0.08116, 0.08144, 0.07941, 0.07589, 0.07349, 0.07189, 0.07079, 0.07002",\
                 "0.03044, 0.03057, 0.03097, 0.03156, 0.03219, 0.03273, 0.03312, 0.03341, 0.03361, 0.03376");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.06362, 0.06383, 0.0643, 0.06497, 0.06572, 0.06659, 0.06759, 0.08219, 0.2077, 0.4798",\
                 "0.06366, 0.06386, 0.06434, 0.06502, 0.06581, 0.06638, 0.06775, 0.08329, 0.2136, 0.4855",\
                 "0.06367, 0.06387, 0.0643, 0.06503, 0.06562, 0.06638, 0.06791, 0.08741, 0.2342, 0.5031",\
                 "0.0636, 0.06384, 0.06433, 0.06505, 0.0656, 0.06651, 0.06824, 0.09715, 0.2717, 0.5305",\
                 "0.06352, 0.06373, 0.06421, 0.06489, 0.06565, 0.06627, 0.06963, 0.1194, 0.3262, 0.5611",\
                 "0.06342, 0.06367, 0.06409, 0.0648, 0.06536, 0.06635, 0.07399, 0.1676, 0.3903, 0.584",\
                 "0.06334, 0.06358, 0.06407, 0.06469, 0.06541, 0.06654, 0.09288, 0.2505, 0.4426, 0.5852",\
                 "0.06323, 0.06343, 0.06399, 0.06459, 0.0652, 0.07218, 0.1656, 0.3314, 0.4557, 0.5439",\
                 "0.06297, 0.06318, 0.06368, 0.06434, 0.06808, 0.1369, 0.2548, 0.3372, 0.3933, 0.4323",\
                 "0.06161, 0.06175, 0.06218, 0.08112, 0.1304, 0.1639, 0.1848, 0.198, 0.2069, 0.2128");
        }
      }

      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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.0955, 0.09574, 0.0964, 0.09722, 0.09798, 0.09858, 0.09903, 0.09936, 0.09957, 0.09971",\
                 "0.0955, 0.09575, 0.09642, 0.09724, 0.09801, 0.09861, 0.09906, 0.09938, 0.09961, 0.09974",\
                 "0.09543, 0.09569, 0.09636, 0.09715, 0.09795, 0.09854, 0.09899, 0.0993, 0.09953, 0.09965",\
                 "0.09532, 0.09559, 0.09623, 0.09704, 0.09782, 0.09842, 0.09887, 0.09919, 0.09941, 0.09951",\
                 "0.0952, 0.09547, 0.09614, 0.09694, 0.09772, 0.09832, 0.09877, 0.09909, 0.09929, 0.09929",\
                 "0.09514, 0.09541, 0.09605, 0.09686, 0.09763, 0.09823, 0.09868, 0.09898, 0.09908, 0.09852",\
                 "0.09505, 0.09529, 0.09599, 0.09678, 0.09754, 0.09812, 0.09851, 0.09853, 0.09746, 0.09466",\
                 "0.09413, 0.0944, 0.09503, 0.09576, 0.09629, 0.09623, 0.09433, 0.0908, 0.088, 0.08595",\
                 "0.06248, 0.06184, 0.06107, 0.06105, 0.06144, 0.06187, 0.06221, 0.06246, 0.06264, 0.06276",\
                 "0.01928, 0.01928, 0.01927, 0.01926, 0.01924, 0.01923, 0.01923, 0.01922, 0.01921, 0.01921");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.07064, 0.07089, 0.07137, 0.07204, 0.07297, 0.07384, 0.07486, 0.08019, 0.1475, 0.3933",\
                 "0.07064, 0.07085, 0.07142, 0.07207, 0.07298, 0.07381, 0.07497, 0.08042, 0.1498, 0.3991",\
                 "0.07063, 0.07085, 0.07136, 0.0721, 0.07292, 0.07381, 0.07488, 0.08179, 0.1619, 0.4191",\
                 "0.0706, 0.07078, 0.07134, 0.07217, 0.07282, 0.07384, 0.07492, 0.08511, 0.1876, 0.4569",\
                 "0.07049, 0.07072, 0.07133, 0.07209, 0.0729, 0.07355, 0.07527, 0.09398, 0.2367, 0.5077",\
                 "0.07045, 0.07066, 0.07122, 0.07194, 0.07276, 0.07368, 0.07615, 0.1196, 0.3177, 0.5609",\
                 "0.07038, 0.0706, 0.07117, 0.07184, 0.07266, 0.07359, 0.08286, 0.1875, 0.4094, 0.5936",\
                 "0.07027, 0.0705, 0.07105, 0.07179, 0.07267, 0.07501, 0.1258, 0.3021, 0.463, 0.5787",\
                 "0.07005, 0.0703, 0.0708, 0.07152, 0.07308, 0.1105, 0.2444, 0.3545, 0.4299, 0.4825",\
                 "0.06957, 0.06981, 0.07037, 0.07703, 0.1358, 0.1865, 0.2185, 0.2387, 0.252, 0.2611");
        }
      }

      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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.0714, 0.07163, 0.07227, 0.07301, 0.07374, 0.07438, 0.07486, 0.07521, 0.07546, 0.07564",\
                 "0.07139, 0.07164, 0.07224, 0.073, 0.07374, 0.07436, 0.07485, 0.07521, 0.07545, 0.07563",\
                 "0.07139, 0.07163, 0.07224, 0.07299, 0.07373, 0.07436, 0.07485, 0.0752, 0.07546, 0.07564",\
                 "0.07134, 0.0716, 0.0722, 0.07296, 0.07371, 0.07432, 0.07481, 0.07516, 0.0754, 0.07559",\
                 "0.07124, 0.07146, 0.07209, 0.07285, 0.07358, 0.07421, 0.07469, 0.07504, 0.0753, 0.07549",\
                 "0.07114, 0.07137, 0.07199, 0.07273, 0.07346, 0.07409, 0.07458, 0.07493, 0.07518, 0.07536",\
                 "0.07102, 0.07125, 0.07186, 0.07261, 0.07333, 0.07396, 0.07445, 0.0748, 0.07505, 0.07519",\
                 "0.07088, 0.07113, 0.07173, 0.07247, 0.0732, 0.07382, 0.07431, 0.07466, 0.07487, 0.07472",\
                 "0.07079, 0.07105, 0.0716, 0.07234, 0.07305, 0.07367, 0.07412, 0.07431, 0.0738, 0.07167",\
                 "0.07002, 0.07025, 0.07083, 0.07153, 0.07211, 0.07233, 0.07143, 0.06835, 0.06523, 0.06291");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.02611, 0.02636, 0.02681, 0.02753, 0.02827, 0.02888, 0.02999, 0.03889, 0.1322, 0.3972",\
                 "0.02621, 0.02639, 0.02695, 0.02755, 0.02817, 0.02914, 0.03012, 0.03905, 0.137, 0.4035",\
                 "0.02612, 0.02635, 0.02678, 0.02747, 0.02815, 0.02906, 0.02975, 0.04148, 0.1529, 0.4228",\
                 "0.02599, 0.0262, 0.02666, 0.02737, 0.02796, 0.02895, 0.0301, 0.04746, 0.188, 0.4581",\
                 "0.02588, 0.0261, 0.02654, 0.02729, 0.02788, 0.0287, 0.03084, 0.0653, 0.2512, 0.5034",\
                 "0.02581, 0.026, 0.02648, 0.02716, 0.02797, 0.02871, 0.03477, 0.1164, 0.3389, 0.5427",\
                 "0.02573, 0.02593, 0.02639, 0.02711, 0.02789, 0.02938, 0.06278, 0.2292, 0.4109, 0.5442",\
                 "0.02556, 0.02575, 0.02632, 0.0269, 0.02786, 0.05411, 0.1862, 0.3105, 0.3969, 0.4575",\
                 "0.02438, 0.02461, 0.02503, 0.03412, 0.09195, 0.1382, 0.1675, 0.1862, 0.1986, 0.2071",\
                 "-0.03306, -0.03306, -0.03306, -0.03306, -0.03306, -0.03306, -0.03306, -0.03307, -0.03307, -0.03307");
        }
      }

      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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.09573, 0.096, 0.09668, 0.09748, 0.09824, 0.09885, 0.0993, 0.09962, 0.09984, 0.09997",\
                 "0.09578, 0.09604, 0.09671, 0.09752, 0.09828, 0.09889, 0.09935, 0.09966, 0.09989, 0.1",\
                 "0.09578, 0.09603, 0.0967, 0.0975, 0.09828, 0.09889, 0.09934, 0.09965, 0.09988, 0.09998",\
                 "0.09572, 0.09598, 0.09664, 0.09744, 0.09819, 0.09883, 0.09927, 0.09959, 0.09981, 0.09987",\
                 "0.09563, 0.09589, 0.09657, 0.09738, 0.09813, 0.09874, 0.0992, 0.09951, 0.0997, 0.09961",\
                 "0.09558, 0.09582, 0.0965, 0.09731, 0.09808, 0.09867, 0.09912, 0.09941, 0.0995, 0.0989",\
                 "0.09549, 0.09573, 0.09641, 0.09723, 0.09801, 0.09859, 0.09901, 0.09916, 0.09862, 0.09645",\
                 "0.09531, 0.09556, 0.09622, 0.09701, 0.09772, 0.09824, 0.09831, 0.09715, 0.09408, 0.09106",\
                 "0.09291, 0.09314, 0.09374, 0.09433, 0.09447, 0.09264, 0.08901, 0.08628, 0.08435, 0.08295",\
                 "0.06136, 0.06088, 0.06038, 0.06054, 0.06104, 0.06153, 0.06191, 0.06218, 0.06236, 0.0625");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("-0.01527, -0.0151, -0.01454, -0.01379, -0.01306, -0.01186, -0.01032, 0.0223, 0.2027, 0.4587",\
                 "-0.01535, -0.01515, -0.01454, -0.01381, -0.01311, -0.01215, -0.009869, 0.02388, 0.207, 0.4614",\
                 "-0.01548, -0.0153, -0.01469, -0.01397, -0.01309, -0.01234, -0.009833, 0.03134, 0.2267, 0.4722",\
                 "-0.01558, -0.01533, -0.01474, -0.01405, -0.01328, -0.01257, -0.008247, 0.05218, 0.2672, 0.4907",\
                 "-0.01565, -0.01541, -0.01488, -0.01413, -0.01335, -0.01247, -0.003227, 0.1008, 0.3222, 0.5074",\
                 "-0.01571, -0.01546, -0.01499, -0.01423, -0.01336, -0.01176, 0.02173, 0.1891, 0.3701, 0.5023",\
                 "-0.01583, -0.01559, -0.01507, -0.01433, -0.01352, 0.0004315, 0.1186, 0.2648, 0.3684, 0.4411",\
                 "-0.01612, -0.0159, -0.01538, -0.01447, 0.008846, 0.1022, 0.1727, 0.2186, 0.2492, 0.2702",\
                 "-0.05658, -0.0568, -0.05712, -0.05729, -0.05738, -0.05739, -0.05745, -0.05747, -0.0575, -0.05746",\
                 "-0.08383, -0.08383, -0.08383, -0.08383, -0.08383, -0.08383, -0.08383, -0.08383, -0.08383, -0.08383");
        }
      }

      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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.08657, 0.08679, 0.08743, 0.08819, 0.08892, 0.08956, 0.09004, 0.09038, 0.09063, 0.0908",\
                 "0.08649, 0.08673, 0.08735, 0.08812, 0.08886, 0.0895, 0.08997, 0.09031, 0.09057, 0.09074",\
                 "0.08638, 0.08661, 0.08722, 0.08799, 0.08875, 0.08936, 0.08985, 0.09019, 0.09044, 0.09061",\
                 "0.0863, 0.08652, 0.08714, 0.0879, 0.08865, 0.08928, 0.08976, 0.09011, 0.09035, 0.09052",\
                 "0.08621, 0.08645, 0.08708, 0.08785, 0.08859, 0.08923, 0.0897, 0.09004, 0.09028, 0.09043",\
                 "0.08617, 0.08641, 0.08702, 0.08778, 0.08855, 0.08917, 0.08964, 0.08997, 0.09019, 0.09019",\
                 "0.08606, 0.08629, 0.08693, 0.08769, 0.08842, 0.08906, 0.08953, 0.08981, 0.08977, 0.08867",\
                 "0.08576, 0.08601, 0.08664, 0.08738, 0.0881, 0.08863, 0.08875, 0.08773, 0.08479, 0.08175",\
                 "0.078, 0.07821, 0.07867, 0.07848, 0.07503, 0.07214, 0.07026, 0.06905, 0.06822, 0.06765",\
                 "0.02611, 0.0262, 0.02648, 0.02692, 0.02737, 0.02774, 0.02801, 0.02818, 0.02831, 0.0284");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.0646, 0.06479, 0.0653, 0.06594, 0.06659, 0.06727, 0.06867, 0.08145, 0.2002, 0.4712",\
                 "0.06461, 0.06484, 0.06527, 0.066, 0.06659, 0.06768, 0.06902, 0.08241, 0.2056, 0.4768",\
                 "0.06465, 0.06487, 0.06536, 0.06591, 0.06659, 0.06743, 0.06884, 0.08582, 0.2237, 0.4942",\
                 "0.06456, 0.0648, 0.06528, 0.06584, 0.06651, 0.06734, 0.06902, 0.09437, 0.2601, 0.5231",\
                 "0.06449, 0.06473, 0.06522, 0.06582, 0.06669, 0.06742, 0.07011, 0.1142, 0.3142, 0.5557",\
                 "0.06442, 0.06459, 0.06511, 0.06578, 0.06635, 0.06737, 0.07367, 0.158, 0.3805, 0.5821",\
                 "0.06436, 0.06454, 0.06509, 0.06574, 0.06649, 0.06751, 0.08951, 0.2388, 0.4378, 0.588",\
                 "0.06431, 0.06449, 0.06496, 0.06563, 0.06639, 0.07178, 0.1535, 0.3253, 0.4583, 0.5531",\
                 "0.06406, 0.06426, 0.06471, 0.06536, 0.06782, 0.1253, 0.2514, 0.3432, 0.4059, 0.4495",\
                 "0.06299, 0.06325, 0.06363, 0.07434, 0.1314, 0.1752, 0.2028, 0.2205, 0.2321, 0.2402");
        }
      }

      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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.09618, 0.09643, 0.0971, 0.09791, 0.09868, 0.09929, 0.09974, 0.1001, 0.1003, 0.1004",\
                 "0.09613, 0.09638, 0.09705, 0.09786, 0.09862, 0.09923, 0.09969, 0.1, 0.1002, 0.1004",\
                 "0.09608, 0.09634, 0.09699, 0.0978, 0.09855, 0.09918, 0.09963, 0.09994, 0.1002, 0.1003",\
                 "0.096, 0.09626, 0.09692, 0.09775, 0.0985, 0.09911, 0.09957, 0.09988, 0.1001, 0.1002",\
                 "0.09594, 0.09619, 0.09688, 0.09767, 0.09843, 0.09905, 0.09949, 0.09981, 0.1, 0.09996",\
                 "0.0959, 0.09614, 0.09681, 0.09762, 0.09838, 0.099, 0.09943, 0.09972, 0.09977, 0.099",\
                 "0.09579, 0.09605, 0.09673, 0.09754, 0.09828, 0.09887, 0.09922, 0.09909, 0.09762, 0.09458",\
                 "0.0945, 0.09473, 0.09535, 0.09604, 0.09647, 0.09605, 0.09327, 0.08986, 0.08736, 0.08555",\
                 "0.05637, 0.05643, 0.05685, 0.05758, 0.05837, 0.059, 0.05946, 0.05979, 0.06001, 0.06016",\
                 "0.01829, 0.01829, 0.01829, 0.01828, 0.01828, 0.01827, 0.01827, 0.01826, 0.01826, 0.01826");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.07094, 0.07115, 0.07168, 0.07249, 0.07332, 0.07416, 0.07528, 0.08059, 0.1488, 0.3969",\
                 "0.07095, 0.07118, 0.07171, 0.07247, 0.07325, 0.07416, 0.07531, 0.08111, 0.1518, 0.4011",\
                 "0.07095, 0.07118, 0.07173, 0.07255, 0.07327, 0.07418, 0.07502, 0.08275, 0.1632, 0.422",\
                 "0.07095, 0.07116, 0.07175, 0.07244, 0.07319, 0.07397, 0.07527, 0.08543, 0.1874, 0.4566",\
                 "0.07092, 0.07113, 0.07172, 0.07247, 0.07317, 0.07437, 0.07562, 0.09371, 0.2333, 0.5048",\
                 "0.07081, 0.07102, 0.07163, 0.07232, 0.07311, 0.0741, 0.07667, 0.1164, 0.3097, 0.5569",\
                 "0.07076, 0.07101, 0.07161, 0.07234, 0.07307, 0.07407, 0.08181, 0.1777, 0.4004, 0.5921",\
                 "0.07066, 0.07086, 0.07147, 0.07219, 0.0729, 0.07494, 0.1161, 0.2894, 0.4605, 0.5844",\
                 "0.07054, 0.07084, 0.07131, 0.0721, 0.07325, 0.09985, 0.2329, 0.3557, 0.4406, 0.4998",\
                 "0.07011, 0.07033, 0.07097, 0.07381, 0.1259, 0.193, 0.236, 0.2635, 0.2816, 0.2941");
        }
      }

      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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.07178, 0.07201, 0.07265, 0.07338, 0.07412, 0.07475, 0.07524, 0.07559, 0.07584, 0.07602",\
                 "0.07177, 0.07201, 0.07262, 0.07339, 0.07413, 0.07476, 0.07524, 0.0756, 0.07585, 0.07604",\
                 "0.07179, 0.07206, 0.07264, 0.0734, 0.07413, 0.07477, 0.07525, 0.0756, 0.07585, 0.07604",\
                 "0.07178, 0.07202, 0.07263, 0.07338, 0.07412, 0.07476, 0.07523, 0.07558, 0.07584, 0.07602",\
                 "0.07172, 0.07194, 0.07256, 0.0733, 0.07404, 0.07467, 0.07516, 0.0755, 0.07575, 0.07594",\
                 "0.0716, 0.07185, 0.07247, 0.07321, 0.07395, 0.07458, 0.07507, 0.07541, 0.07567, 0.07584",\
                 "0.07151, 0.07175, 0.07236, 0.0731, 0.07384, 0.07446, 0.07494, 0.07531, 0.07555, 0.0757",\
                 "0.07143, 0.07164, 0.07224, 0.07299, 0.0737, 0.07432, 0.07481, 0.07517, 0.07538, 0.07532",\
                 "0.07129, 0.07151, 0.07213, 0.07287, 0.07359, 0.07419, 0.07465, 0.07489, 0.07459, 0.07285",\
                 "0.07075, 0.07097, 0.07156, 0.07227, 0.07292, 0.07327, 0.07285, 0.07046, 0.06713, 0.06458");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.009159, 0.00938, 0.009828, 0.01056, 0.01129, 0.01192, 0.0136, 0.02348, 0.1276, 0.3955",\
                 "0.009133, 0.009364, 0.009818, 0.01048, 0.01129, 0.01188, 0.01307, 0.02376, 0.1316, 0.4003",\
                 "0.009055, 0.00926, 0.009781, 0.01041, 0.01123, 0.01205, 0.01309, 0.0266, 0.1483, 0.4196",\
                 "0.009006, 0.009213, 0.009651, 0.0103, 0.0111, 0.01179, 0.0134, 0.03391, 0.1857, 0.4534",\
                 "0.008956, 0.009153, 0.009603, 0.0103, 0.01097, 0.01191, 0.01432, 0.0548, 0.2509, 0.4958",\
                 "0.008891, 0.00908, 0.009596, 0.01027, 0.01084, 0.01156, 0.01926, 0.1131, 0.3358, 0.5295",\
                 "0.008814, 0.009017, 0.009549, 0.01019, 0.01075, 0.01269, 0.05481, 0.2278, 0.3985, 0.5226",\
                 "0.008621, 0.008824, 0.009361, 0.009942, 0.01115, 0.04708, 0.1812, 0.2931, 0.3704, 0.4244",\
                 "0.007122, 0.007328, 0.007698, 0.02627, 0.07594, 0.1095, 0.1305, 0.1438, 0.1526, 0.1585",\
                 "-0.05162, -0.05162, -0.05162, -0.05163, -0.05163, -0.05163, -0.05163, -0.05163, -0.05163, -0.05163");
        }
      }

      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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.07202, 0.07225, 0.07289, 0.07364, 0.07438, 0.07498, 0.07544, 0.07578, 0.07603, 0.0762",\
                 "0.07211, 0.07236, 0.07298, 0.07374, 0.07448, 0.07508, 0.07554, 0.07587, 0.07612, 0.0763",\
                 "0.07208, 0.07233, 0.07296, 0.07371, 0.07445, 0.07505, 0.07552, 0.07586, 0.07611, 0.07629",\
                 "0.07163, 0.07189, 0.07251, 0.07328, 0.07404, 0.07462, 0.07508, 0.07542, 0.07567, 0.07585",\
                 "0.07123, 0.07147, 0.0721, 0.07285, 0.0736, 0.0742, 0.07466, 0.07499, 0.07525, 0.07544",\
                 "0.07087, 0.07111, 0.07173, 0.07252, 0.07327, 0.07388, 0.07434, 0.07469, 0.07493, 0.0751",\
                 "0.07061, 0.07086, 0.07149, 0.07227, 0.07302, 0.07364, 0.07409, 0.07444, 0.07466, 0.07481",\
                 "0.07037, 0.07064, 0.07128, 0.07205, 0.0728, 0.0734, 0.07388, 0.0742, 0.07443, 0.07448",\
                 "0.07016, 0.07042, 0.07108, 0.07182, 0.07258, 0.07318, 0.07365, 0.07393, 0.07398, 0.07327",\
                 "0.06978, 0.07004, 0.07069, 0.07147, 0.07219, 0.07274, 0.07301, 0.07258, 0.07038, 0.0672");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.07446, 0.07465, 0.07522, 0.07597, 0.07685, 0.07756, 0.07867, 0.08134, 0.1197, 0.3196",\
                 "0.07442, 0.0747, 0.07524, 0.07589, 0.07682, 0.0779, 0.07869, 0.08163, 0.1219, 0.3257",\
                 "0.07438, 0.07462, 0.0752, 0.07587, 0.07664, 0.07758, 0.07828, 0.08208, 0.1294, 0.3477",\
                 "0.07429, 0.07456, 0.07515, 0.07583, 0.07657, 0.07763, 0.07829, 0.0836, 0.1491, 0.3901",\
                 "0.07426, 0.07446, 0.07498, 0.07574, 0.07651, 0.07727, 0.07843, 0.08826, 0.1871, 0.4551",\
                 "0.07404, 0.07433, 0.07486, 0.0756, 0.07645, 0.07734, 0.07869, 0.1027, 0.2639, 0.5294",\
                 "0.07378, 0.07404, 0.07466, 0.07529, 0.07609, 0.07727, 0.0822, 0.1578, 0.379, 0.5883",\
                 "0.07346, 0.07367, 0.07434, 0.07497, 0.0759, 0.07761, 0.1189, 0.2919, 0.4632, 0.5873",\
                 "0.0731, 0.07329, 0.07391, 0.07453, 0.07682, 0.1312, 0.259, 0.3534, 0.4174, 0.4619",\
                 "0.07061, 0.07029, 0.07766, 0.09488, 0.1068, 0.1138, 0.118, 0.1205, 0.1222, 0.1233");
        }
      }

      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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.0682, 0.06846, 0.06914, 0.06996, 0.07072, 0.07132, 0.07176, 0.07208, 0.07231, 0.07247",\
                 "0.06828, 0.06852, 0.06921, 0.07003, 0.0708, 0.0714, 0.07185, 0.07217, 0.07239, 0.07254",\
                 "0.06797, 0.06822, 0.06892, 0.06976, 0.07053, 0.07115, 0.07159, 0.07193, 0.07214, 0.07229",\
                 "0.06759, 0.06783, 0.0685, 0.06935, 0.07012, 0.07075, 0.07121, 0.07155, 0.07175, 0.07192",\
                 "0.06723, 0.06751, 0.06816, 0.06896, 0.06973, 0.07034, 0.07081, 0.07116, 0.07138, 0.07154",\
                 "0.067, 0.06724, 0.06789, 0.06866, 0.06937, 0.06997, 0.07044, 0.07079, 0.07105, 0.07122",\
                 "0.06684, 0.06708, 0.06764, 0.06834, 0.06902, 0.06959, 0.07008, 0.07046, 0.07074, 0.07093",\
                 "0.06665, 0.06686, 0.06739, 0.06802, 0.06866, 0.06924, 0.06973, 0.07014, 0.07041, 0.07041",\
                 "0.06645, 0.06664, 0.06715, 0.06776, 0.06835, 0.06889, 0.06934, 0.06944, 0.06846, 0.06577",\
                 "0.06202, 0.06222, 0.06261, 0.06287, 0.06213, 0.05861, 0.05566, 0.05368, 0.05235, 0.05145");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.04684, 0.04709, 0.04779, 0.04877, 0.04971, 0.05067, 0.05119, 0.05241, 0.05857, 0.128",\
                 "0.04684, 0.04714, 0.0478, 0.0488, 0.04986, 0.05075, 0.05124, 0.05267, 0.06005, 0.1315",\
                 "0.04687, 0.04715, 0.0478, 0.04874, 0.04963, 0.05072, 0.05163, 0.05259, 0.06118, 0.1408",\
                 "0.04682, 0.04705, 0.04772, 0.04859, 0.04945, 0.05021, 0.05098, 0.05239, 0.06387, 0.1629",\
                 "0.04649, 0.04676, 0.04725, 0.04794, 0.04881, 0.04963, 0.05067, 0.05168, 0.07059, 0.2058",\
                 "0.04618, 0.04641, 0.04688, 0.0476, 0.04827, 0.04915, 0.05021, 0.05282, 0.08746, 0.2802",\
                 "0.04588, 0.04608, 0.04658, 0.04721, 0.04788, 0.04876, 0.04932, 0.05603, 0.134, 0.3906",\
                 "0.04562, 0.04581, 0.04628, 0.04671, 0.04766, 0.04816, 0.04976, 0.07399, 0.2378, 0.5022",\
                 "0.04543, 0.0456, 0.04595, 0.04648, 0.04701, 0.048, 0.05647, 0.1581, 0.3799, 0.5673",\
                 "0.04525, 0.04543, 0.04583, 0.04627, 0.04683, 0.0527, 0.1398, 0.3087, 0.4381, 0.5302");
        }
      }

      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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.0682, 0.06847, 0.06914, 0.06996, 0.07072, 0.07132, 0.07176, 0.07208, 0.07231, 0.07247",\
                 "0.06828, 0.06852, 0.06921, 0.07003, 0.0708, 0.0714, 0.07185, 0.07217, 0.07239, 0.07254",\
                 "0.06797, 0.06822, 0.06892, 0.06976, 0.07053, 0.07115, 0.0716, 0.07193, 0.07214, 0.07229",\
                 "0.0676, 0.06783, 0.0685, 0.06933, 0.07013, 0.07075, 0.0712, 0.07154, 0.07175, 0.07191",\
                 "0.06724, 0.06751, 0.06816, 0.06895, 0.06972, 0.07035, 0.07081, 0.07116, 0.07139, 0.07154",\
                 "0.06701, 0.06725, 0.0679, 0.06865, 0.06937, 0.06997, 0.07044, 0.0708, 0.07105, 0.07123",\
                 "0.06682, 0.06708, 0.06764, 0.06835, 0.06901, 0.06959, 0.07008, 0.07046, 0.07074, 0.07092",\
                 "0.06664, 0.06685, 0.06739, 0.06804, 0.06866, 0.06923, 0.06973, 0.07014, 0.07042, 0.07041",\
                 "0.06645, 0.06665, 0.06715, 0.06776, 0.06836, 0.0689, 0.06934, 0.06945, 0.06846, 0.06577",\
                 "0.06202, 0.06222, 0.0626, 0.06288, 0.06213, 0.05862, 0.05566, 0.05368, 0.05236, 0.05145");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.04685, 0.04713, 0.04779, 0.04878, 0.04982, 0.05052, 0.05156, 0.05244, 0.05942, 0.1288",\
                 "0.04686, 0.04714, 0.0478, 0.04873, 0.04985, 0.05075, 0.05123, 0.05221, 0.0592, 0.1315",\
                 "0.04687, 0.04716, 0.0478, 0.04878, 0.04963, 0.05055, 0.05122, 0.05228, 0.06137, 0.1418",\
                 "0.0468, 0.04709, 0.04769, 0.0486, 0.04943, 0.05026, 0.05088, 0.05244, 0.06301, 0.1636",\
                 "0.04649, 0.04673, 0.04736, 0.04808, 0.04883, 0.04972, 0.05047, 0.05208, 0.07075, 0.2052",\
                 "0.04619, 0.04639, 0.04692, 0.0476, 0.04836, 0.04914, 0.05017, 0.05248, 0.08749, 0.2801",\
                 "0.04588, 0.04607, 0.04658, 0.04721, 0.04788, 0.04875, 0.04932, 0.05603, 0.134, 0.3906",\
                 "0.04564, 0.04584, 0.04628, 0.0468, 0.04767, 0.04819, 0.04948, 0.07456, 0.2376, 0.5023",\
                 "0.04542, 0.04559, 0.04595, 0.04641, 0.047, 0.048, 0.05647, 0.1582, 0.3801, 0.5673",\
                 "0.04524, 0.04545, 0.04578, 0.0463, 0.04689, 0.05299, 0.1405, 0.3086, 0.4381, 0.5302");
        }
      }

      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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.07202, 0.07225, 0.07287, 0.07363, 0.07436, 0.07496, 0.07542, 0.07577, 0.07602, 0.0762",\
                 "0.07209, 0.07234, 0.07297, 0.07374, 0.07446, 0.07505, 0.07552, 0.07587, 0.07611, 0.0763",\
                 "0.07207, 0.07231, 0.07295, 0.0737, 0.07444, 0.07505, 0.07551, 0.07585, 0.07611, 0.07628",\
                 "0.07164, 0.07186, 0.07249, 0.07327, 0.074, 0.0746, 0.07506, 0.07542, 0.07566, 0.07585",\
                 "0.0712, 0.07145, 0.07208, 0.07283, 0.07356, 0.07417, 0.07464, 0.07499, 0.07524, 0.07542",\
                 "0.07084, 0.07109, 0.07172, 0.0725, 0.07326, 0.07386, 0.07432, 0.07467, 0.07492, 0.07508",\
                 "0.0706, 0.07084, 0.07147, 0.07225, 0.07299, 0.0736, 0.07406, 0.0744, 0.07464, 0.07479",\
                 "0.0704, 0.07063, 0.07127, 0.07204, 0.07278, 0.07337, 0.07383, 0.07418, 0.0744, 0.07447",\
                 "0.07016, 0.0704, 0.07102, 0.07179, 0.07254, 0.07316, 0.07361, 0.0739, 0.07395, 0.07322",\
                 "0.06977, 0.07005, 0.07065, 0.07144, 0.07217, 0.07272, 0.07298, 0.07251, 0.07028, 0.06709");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.07444, 0.07468, 0.07525, 0.07597, 0.07671, 0.07766, 0.07869, 0.08147, 0.1197, 0.3194",\
                 "0.07448, 0.07469, 0.07523, 0.076, 0.07677, 0.07752, 0.07843, 0.08161, 0.1217, 0.3285",\
                 "0.07441, 0.07467, 0.07523, 0.07596, 0.07671, 0.07748, 0.07862, 0.08214, 0.1294, 0.3482",\
                 "0.07434, 0.0746, 0.07516, 0.07596, 0.07674, 0.07764, 0.0785, 0.08366, 0.1479, 0.3904",\
                 "0.07429, 0.07447, 0.07506, 0.07578, 0.07654, 0.07753, 0.0784, 0.08821, 0.1883, 0.4551",\
                 "0.07412, 0.07435, 0.07497, 0.07565, 0.07641, 0.07713, 0.07886, 0.1034, 0.2637, 0.5296",\
                 "0.07383, 0.07405, 0.07459, 0.07532, 0.07607, 0.07689, 0.08252, 0.1578, 0.379, 0.5883",\
                 "0.0735, 0.07373, 0.07435, 0.07495, 0.07586, 0.07782, 0.1188, 0.2918, 0.4632, 0.5874",\
                 "0.07315, 0.07337, 0.07399, 0.07462, 0.07684, 0.131, 0.2591, 0.3534, 0.4176, 0.4621",\
                 "0.07072, 0.07043, 0.07775, 0.09511, 0.1071, 0.1143, 0.1184, 0.121, 0.1227, 0.1238");
        }
      }

      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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("12.08, 12.19, 12.45, 12.79, 13.19, 13.64, 14.16, 14.75, 15.44, 16.23",\
                 "12.15, 12.25, 12.52, 12.86, 13.26, 13.71, 14.23, 14.82, 15.51, 16.3",\
                 "12.35, 12.45, 12.71, 13.05, 13.45, 13.9, 14.42, 15.01, 15.7, 16.49",\
                 "12.66, 12.77, 13.03, 13.37, 13.77, 14.22, 14.74, 15.33, 16.02, 16.81",\
                 "13.06, 13.16, 13.42, 13.77, 14.17, 14.62, 15.13, 15.73, 16.41, 17.21",\
                 "13.49, 13.59, 13.85, 14.2, 14.6, 15.05, 15.56, 16.16, 16.84, 17.63",\
                 "13.95, 14.05, 14.31, 14.65, 15.05, 15.51, 16.02, 16.61, 17.3, 18.09",\
                 "14.42, 14.52, 14.79, 15.13, 15.53, 15.98, 16.5, 17.09, 17.78, 18.57",\
                 "14.91, 15.01, 15.27, 15.62, 16.01, 16.47, 16.98, 17.58, 18.26, 19.06",\
                 "15.41, 15.51, 15.77, 16.11, 16.51, 16.96, 17.48, 18.07, 18.76, 19.55");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("11.64, 11.73, 11.99, 12.47, 13.19, 14.21, 15.53, 17.2, 19.24, 21.67",\
                 "11.69, 11.77, 12.04, 12.51, 13.24, 14.25, 15.58, 17.25, 19.28, 21.71",\
                 "11.87, 11.96, 12.22, 12.69, 13.42, 14.43, 15.76, 17.43, 19.46, 21.89",\
                 "12.24, 12.33, 12.59, 13.07, 13.79, 14.8, 16.13, 17.8, 19.84, 22.26",\
                 "12.82, 12.9, 13.17, 13.64, 14.37, 15.38, 16.71, 18.38, 20.41, 22.84",\
                 "13.61, 13.7, 13.97, 14.44, 15.16, 16.17, 17.5, 19.17, 21.21, 23.63",\
                 "14.66, 14.74, 15.01, 15.48, 16.21, 17.22, 18.54, 20.21, 22.25, 24.68",\
                 "15.96, 16.05, 16.31, 16.79, 17.51, 18.52, 19.85, 21.52, 23.56, 25.98",\
                 "17.53, 17.61, 17.88, 18.35, 19.08, 20.09, 21.42, 23.09, 25.12, 27.55",\
                 "19.32, 19.41, 19.67, 20.14, 20.87, 21.88, 23.21, 24.88, 26.92, 29.34");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.79, 0.85, 1.026, 1.286, 1.65, 2.128, 2.75, 3.542, 4.546, 5.774",\
                 "0.792, 0.852, 1.024, 1.288, 1.648, 2.124, 2.75, 3.54, 4.546, 5.774",\
                 "0.792, 0.852, 1.024, 1.288, 1.65, 2.126, 2.75, 3.544, 4.546, 5.772",\
                 "0.792, 0.852, 1.024, 1.288, 1.65, 2.126, 2.75, 3.542, 4.544, 5.772",\
                 "0.79, 0.852, 1.024, 1.286, 1.648, 2.128, 2.75, 3.542, 4.546, 5.772",\
                 "0.792, 0.852, 1.024, 1.286, 1.648, 2.126, 2.75, 3.544, 4.544, 5.774",\
                 "0.792, 0.852, 1.024, 1.288, 1.65, 2.13, 2.75, 3.542, 4.546, 5.772",\
                 "0.792, 0.85, 1.024, 1.286, 1.65, 2.128, 2.748, 3.544, 4.544, 5.772",\
                 "0.792, 0.852, 1.024, 1.286, 1.648, 2.126, 2.748, 3.544, 4.548, 5.772",\
                 "0.792, 0.852, 1.026, 1.286, 1.65, 2.13, 2.748, 3.546, 4.546, 5.774");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.446, 0.546, 0.918, 1.664, 2.854, 4.534, 6.746, 9.534, 12.94, 16.98",\
                 "0.446, 0.55, 0.918, 1.668, 2.854, 4.534, 6.748, 9.536, 12.93, 16.98",\
                 "0.446, 0.548, 0.918, 1.664, 2.854, 4.532, 6.746, 9.532, 12.93, 16.98",\
                 "0.446, 0.548, 0.918, 1.666, 2.858, 4.536, 6.748, 9.534, 12.94, 16.99",\
                 "0.446, 0.546, 0.918, 1.666, 2.858, 4.536, 6.748, 9.526, 12.93, 16.99",\
                 "0.446, 0.546, 0.918, 1.664, 2.858, 4.534, 6.748, 9.536, 12.94, 16.98",\
                 "0.446, 0.548, 0.916, 1.666, 2.858, 4.534, 6.746, 9.536, 12.94, 17.01",\
                 "0.446, 0.55, 0.918, 1.664, 2.854, 4.532, 6.742, 9.53, 12.95, 16.98",\
                 "0.446, 0.55, 0.918, 1.666, 2.854, 4.532, 6.746, 9.534, 12.93, 16.98",\
                 "0.444, 0.548, 0.918, 1.664, 2.854, 4.536, 6.746, 9.526, 12.93, 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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("5.869, 5.971, 6.236, 6.584, 6.987, 7.443, 7.963, 8.558, 9.245, 10.04",\
                 "5.912, 6.015, 6.28, 6.628, 7.032, 7.487, 8.007, 8.602, 9.29, 10.08",\
                 "6.074, 6.176, 6.441, 6.789, 7.192, 7.648, 8.168, 8.764, 9.451, 10.25",\
                 "6.38, 6.482, 6.747, 7.095, 7.498, 7.954, 8.473, 9.068, 9.756, 10.55",\
                 "6.853, 6.955, 7.221, 7.569, 7.972, 8.428, 8.947, 9.543, 10.23, 11.03",\
                 "7.502, 7.603, 7.868, 8.216, 8.619, 9.075, 9.595, 10.19, 10.88, 11.67",\
                 "8.243, 8.345, 8.61, 8.959, 9.361, 9.817, 10.34, 10.93, 11.62, 12.41",\
                 "9.029, 9.131, 9.396, 9.744, 10.15, 10.6, 11.12, 11.72, 12.41, 13.2",\
                 "9.847, 9.948, 10.21, 10.56, 10.97, 11.42, 11.94, 12.54, 13.22, 14.02",\
                 "10.69, 10.79, 11.05, 11.4, 11.81, 12.26, 12.78, 13.38, 14.06, 14.86");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("8.79, 8.893, 9.194, 9.692, 10.42, 11.44, 12.77, 14.44, 16.47, 18.9",\
                 "8.855, 8.957, 9.259, 9.756, 10.49, 11.5, 12.83, 14.5, 16.54, 18.96",\
                 "9.041, 9.144, 9.445, 9.942, 10.67, 11.69, 13.02, 14.69, 16.72, 19.15",\
                 "9.412, 9.515, 9.817, 10.31, 11.05, 12.06, 13.39, 15.06, 17.1, 19.52",\
                 "10.01, 10.12, 10.42, 10.92, 11.65, 12.66, 13.99, 15.66, 17.7, 20.12",\
                 "10.88, 10.98, 11.28, 11.78, 12.51, 13.52, 14.85, 16.52, 18.56, 20.99",\
                 "12.03, 12.13, 12.43, 12.93, 13.66, 14.67, 16, 17.67, 19.71, 22.14",\
                 "13.48, 13.59, 13.89, 14.38, 15.12, 16.13, 17.46, 19.13, 21.17, 23.59",\
                 "15.27, 15.37, 15.67, 16.17, 16.9, 17.91, 19.24, 20.91, 22.95, 25.38",\
                 "17.39, 17.5, 17.8, 18.3, 19.03, 20.04, 21.37, 23.04, 25.08, 27.5");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.8048, 0.8662, 1.039, 1.304, 1.665, 2.142, 2.764, 3.556, 4.561, 5.783",\
                 "0.8048, 0.8656, 1.039, 1.303, 1.665, 2.142, 2.768, 3.556, 4.559, 5.782",\
                 "0.8046, 0.8654, 1.038, 1.303, 1.666, 2.144, 2.764, 3.558, 4.559, 5.787",\
                 "0.8048, 0.8648, 1.038, 1.303, 1.664, 2.142, 2.764, 3.556, 4.557, 5.783",\
                 "0.805, 0.8662, 1.039, 1.303, 1.668, 2.144, 2.766, 3.556, 4.556, 5.786",\
                 "0.803, 0.8668, 1.038, 1.302, 1.666, 2.144, 2.768, 3.56, 4.558, 5.786",\
                 "0.806, 0.866, 1.038, 1.302, 1.668, 2.144, 2.766, 3.56, 4.558, 5.786",\
                 "0.806, 0.866, 1.04, 1.304, 1.668, 2.148, 2.768, 3.562, 4.558, 5.788",\
                 "0.808, 0.868, 1.04, 1.304, 1.67, 2.146, 2.768, 3.558, 4.558, 5.786",\
                 "0.808, 0.868, 1.04, 1.306, 1.668, 2.146, 2.764, 3.562, 4.558, 5.784");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.561, 0.6686, 1.034, 1.752, 2.918, 4.586, 6.794, 9.58, 12.99, 17.05",\
                 "0.5608, 0.6688, 1.035, 1.753, 2.916, 4.59, 6.798, 9.58, 12.98, 17.03",\
                 "0.5608, 0.6688, 1.036, 1.751, 2.916, 4.584, 6.798, 9.584, 12.99, 17.05",\
                 "0.562, 0.67, 1.036, 1.752, 2.914, 4.586, 6.796, 9.58, 12.98, 17.03",\
                 "0.562, 0.67, 1.036, 1.752, 2.914, 4.584, 6.798, 9.584, 12.98, 17.03",\
                 "0.562, 0.67, 1.036, 1.752, 2.92, 4.59, 6.8, 9.584, 12.98, 17.04",\
                 "0.56, 0.67, 1.036, 1.752, 2.918, 4.588, 6.798, 9.584, 12.97, 17.04",\
                 "0.562, 0.67, 1.036, 1.752, 2.916, 4.584, 6.796, 9.574, 12.98, 17.03",\
                 "0.562, 0.668, 1.038, 1.752, 2.916, 4.586, 6.798, 9.584, 12.98, 17.03",\
                 "0.56, 0.67, 1.036, 1.752, 2.916, 4.586, 6.8, 9.582, 12.98, 17.03");
        }
      }

      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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("12.08, 12.19, 12.45, 12.79, 13.19, 13.64, 14.16, 14.75, 15.44, 16.23",\
                 "12.15, 12.25, 12.52, 12.86, 13.26, 13.71, 14.23, 14.82, 15.51, 16.3",\
                 "12.35, 12.45, 12.71, 13.05, 13.45, 13.9, 14.42, 15.01, 15.7, 16.49",\
                 "12.66, 12.77, 13.03, 13.37, 13.77, 14.22, 14.74, 15.33, 16.02, 16.81",\
                 "13.06, 13.16, 13.42, 13.77, 14.17, 14.62, 15.13, 15.73, 16.41, 17.21",\
                 "13.49, 13.59, 13.85, 14.2, 14.6, 15.05, 15.56, 16.16, 16.84, 17.63",\
                 "13.95, 14.05, 14.31, 14.65, 15.05, 15.51, 16.02, 16.61, 17.3, 18.09",\
                 "14.42, 14.52, 14.79, 15.13, 15.53, 15.98, 16.5, 17.09, 17.78, 18.57",\
                 "14.91, 15.01, 15.27, 15.62, 16.01, 16.47, 16.98, 17.58, 18.26, 19.06",\
                 "15.41, 15.51, 15.77, 16.11, 16.51, 16.96, 17.48, 18.07, 18.76, 19.55");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("11.64, 11.73, 11.99, 12.47, 13.19, 14.21, 15.53, 17.2, 19.24, 21.67",\
                 "11.69, 11.77, 12.04, 12.51, 13.24, 14.25, 15.58, 17.25, 19.28, 21.71",\
                 "11.87, 11.96, 12.22, 12.69, 13.42, 14.43, 15.76, 17.43, 19.46, 21.89",\
                 "12.24, 12.33, 12.59, 13.07, 13.79, 14.8, 16.13, 17.8, 19.84, 22.26",\
                 "12.82, 12.9, 13.17, 13.64, 14.37, 15.38, 16.71, 18.38, 20.41, 22.84",\
                 "13.61, 13.7, 13.97, 14.44, 15.16, 16.17, 17.5, 19.17, 21.21, 23.63",\
                 "14.66, 14.74, 15.01, 15.48, 16.21, 17.22, 18.54, 20.21, 22.25, 24.68",\
                 "15.96, 16.05, 16.31, 16.79, 17.51, 18.52, 19.85, 21.52, 23.56, 25.98",\
                 "17.53, 17.61, 17.88, 18.35, 19.08, 20.09, 21.42, 23.09, 25.12, 27.55",\
                 "19.32, 19.41, 19.67, 20.14, 20.87, 21.88, 23.21, 24.88, 26.92, 29.34");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.8048, 0.8662, 1.039, 1.304, 1.665, 2.142, 2.764, 3.556, 4.561, 5.783",\
                 "0.8048, 0.8656, 1.039, 1.303, 1.665, 2.142, 2.768, 3.556, 4.559, 5.782",\
                 "0.8046, 0.8654, 1.038, 1.303, 1.666, 2.144, 2.764, 3.558, 4.559, 5.787",\
                 "0.8048, 0.8648, 1.038, 1.303, 1.664, 2.142, 2.764, 3.556, 4.557, 5.783",\
                 "0.805, 0.8662, 1.039, 1.303, 1.668, 2.144, 2.766, 3.556, 4.556, 5.786",\
                 "0.803, 0.8668, 1.038, 1.302, 1.666, 2.144, 2.768, 3.56, 4.558, 5.786",\
                 "0.806, 0.866, 1.038, 1.302, 1.668, 2.144, 2.766, 3.56, 4.558, 5.786",\
                 "0.806, 0.866, 1.04, 1.304, 1.668, 2.148, 2.768, 3.562, 4.558, 5.788",\
                 "0.808, 0.868, 1.04, 1.304, 1.67, 2.146, 2.768, 3.558, 4.558, 5.786",\
                 "0.808, 0.868, 1.04, 1.306, 1.668, 2.146, 2.764, 3.562, 4.558, 5.784");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.561, 0.6686, 1.034, 1.752, 2.918, 4.586, 6.794, 9.58, 12.99, 17.05",\
                 "0.5608, 0.6688, 1.035, 1.753, 2.916, 4.59, 6.798, 9.58, 12.98, 17.03",\
                 "0.5608, 0.6688, 1.036, 1.751, 2.916, 4.584, 6.798, 9.584, 12.99, 17.05",\
                 "0.562, 0.67, 1.036, 1.752, 2.914, 4.586, 6.796, 9.58, 12.98, 17.03",\
                 "0.562, 0.67, 1.036, 1.752, 2.914, 4.584, 6.798, 9.584, 12.98, 17.03",\
                 "0.562, 0.67, 1.036, 1.752, 2.92, 4.59, 6.8, 9.584, 12.98, 17.04",\
                 "0.56, 0.67, 1.036, 1.752, 2.918, 4.588, 6.798, 9.584, 12.97, 17.04",\
                 "0.562, 0.67, 1.036, 1.752, 2.916, 4.584, 6.796, 9.574, 12.98, 17.03",\
                 "0.562, 0.668, 1.038, 1.752, 2.916, 4.586, 6.798, 9.584, 12.98, 17.03",\
                 "0.56, 0.67, 1.036, 1.752, 2.916, 4.586, 6.8, 9.582, 12.98, 17.03");
        }
      }

      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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("9.577, 9.679, 9.943, 10.29, 10.69, 11.15, 11.67, 12.26, 12.95, 13.75",\
                 "9.621, 9.722, 9.987, 10.33, 10.74, 11.19, 11.71, 12.31, 12.99, 13.79",\
                 "9.803, 9.905, 10.17, 10.52, 10.92, 11.37, 11.89, 12.49, 13.18, 13.97",\
                 "10.18, 10.28, 10.54, 10.89, 11.29, 11.75, 12.27, 12.86, 13.55, 14.35",\
                 "10.75, 10.85, 11.12, 11.47, 11.87, 12.32, 12.84, 13.44, 14.13, 14.92",\
                 "11.55, 11.65, 11.91, 12.26, 12.66, 13.12, 13.64, 14.23, 14.92, 15.71",\
                 "12.59, 12.69, 12.96, 13.3, 13.71, 14.16, 14.68, 15.28, 15.96, 16.76",\
                 "13.9, 14, 14.26, 14.61, 15.01, 15.47, 15.99, 16.58, 17.27, 18.06",\
                 "15.46, 15.56, 15.83, 16.18, 16.58, 17.03, 17.55, 18.15, 18.84, 19.63",\
                 "17.25, 17.36, 17.62, 17.97, 18.37, 18.83, 19.34, 19.94, 20.63, 21.42");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("9.811, 9.913, 10.21, 10.71, 11.44, 12.46, 13.79, 15.46, 17.49, 19.92",\
                 "9.877, 9.981, 10.28, 10.78, 11.51, 12.53, 13.86, 15.52, 17.56, 19.99",\
                 "10.07, 10.18, 10.48, 10.98, 11.71, 12.72, 14.05, 15.72, 17.76, 20.18",\
                 "10.4, 10.5, 10.8, 11.3, 12.03, 13.04, 14.37, 16.04, 18.08, 20.51",\
                 "10.79, 10.9, 11.2, 11.69, 12.43, 13.44, 14.77, 16.44, 18.48, 20.9",\
                 "11.22, 11.33, 11.63, 12.12, 12.86, 13.87, 15.2, 16.87, 18.91, 21.33",\
                 "11.68, 11.78, 12.08, 12.58, 13.32, 14.33, 15.66, 17.33, 19.36, 21.79",\
                 "12.16, 12.26, 12.56, 13.06, 13.79, 14.81, 16.14, 17.8, 19.84, 22.27",\
                 "12.64, 12.75, 13.05, 13.55, 14.28, 15.29, 16.62, 18.29, 20.33, 22.76",\
                 "13.14, 13.24, 13.54, 14.04, 14.78, 15.79, 17.12, 18.79, 20.82, 23.25");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.8016, 0.863, 1.036, 1.299, 1.664, 2.142, 2.76, 3.556, 4.554, 5.784",\
                 "0.8012, 0.8636, 1.037, 1.3, 1.664, 2.144, 2.76, 3.556, 4.558, 5.782",\
                 "0.8032, 0.864, 1.038, 1.3, 1.662, 2.14, 2.76, 3.556, 4.554, 5.786",\
                 "0.802, 0.864, 1.036, 1.302, 1.664, 2.142, 2.76, 3.556, 4.554, 5.784",\
                 "0.802, 0.864, 1.036, 1.3, 1.662, 2.14, 2.76, 3.556, 4.556, 5.786",\
                 "0.802, 0.864, 1.036, 1.302, 1.662, 2.14, 2.762, 3.554, 4.554, 5.784",\
                 "0.802, 0.862, 1.036, 1.3, 1.664, 2.14, 2.762, 3.556, 4.556, 5.784",\
                 "0.802, 0.864, 1.036, 1.302, 1.662, 2.14, 2.76, 3.558, 4.556, 5.78",\
                 "0.802, 0.862, 1.036, 1.3, 1.662, 2.14, 2.764, 3.558, 4.556, 5.786",\
                 "0.802, 0.862, 1.036, 1.3, 1.666, 2.142, 2.764, 3.556, 4.552, 5.786");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.5616, 0.6686, 1.035, 1.752, 2.918, 4.584, 6.792, 9.58, 12.97, 17.04",\
                 "0.563, 0.6702, 1.034, 1.752, 2.92, 4.584, 6.794, 9.578, 12.98, 17.03",\
                 "0.56, 0.67, 1.036, 1.754, 2.914, 4.586, 6.8, 9.578, 12.99, 17.03",\
                 "0.56, 0.668, 1.034, 1.752, 2.916, 4.588, 6.8, 9.58, 12.98, 17.03",\
                 "0.562, 0.67, 1.036, 1.754, 2.916, 4.586, 6.796, 9.578, 12.98, 17.03",\
                 "0.562, 0.668, 1.036, 1.752, 2.914, 4.592, 6.796, 9.58, 12.98, 17.05",\
                 "0.562, 0.67, 1.034, 1.754, 2.92, 4.586, 6.798, 9.578, 12.98, 17.03",\
                 "0.562, 0.668, 1.034, 1.752, 2.916, 4.584, 6.796, 9.574, 12.97, 17.05",\
                 "0.56, 0.668, 1.036, 1.75, 2.92, 4.584, 6.792, 9.584, 12.99, 17.05",\
                 "0.562, 0.668, 1.036, 1.75, 2.916, 4.584, 6.798, 9.584, 12.99, 17.04");
        }
      }

      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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("11.06, 11.16, 11.42, 11.77, 12.17, 12.62, 13.14, 13.73, 14.41, 15.21",\
                 "11.13, 11.23, 11.49, 11.83, 12.23, 12.68, 13.2, 13.79, 14.48, 15.27",\
                 "11.31, 11.41, 11.67, 12.02, 12.42, 12.87, 13.38, 13.98, 14.66, 15.45",\
                 "11.68, 11.78, 12.04, 12.39, 12.79, 13.24, 13.76, 14.35, 15.03, 15.83",\
                 "12.28, 12.38, 12.64, 12.99, 13.39, 13.84, 14.36, 14.95, 15.63, 16.43",\
                 "13.15, 13.25, 13.51, 13.85, 14.25, 14.7, 15.22, 15.81, 16.5, 17.29",\
                 "14.3, 14.4, 14.66, 15, 15.4, 15.85, 16.37, 16.96, 17.65, 18.44",\
                 "15.75, 15.85, 16.12, 16.46, 16.86, 17.31, 17.83, 18.42, 19.11, 19.9",\
                 "17.54, 17.64, 17.9, 18.24, 18.64, 19.09, 19.61, 20.2, 20.89, 21.68",\
                 "19.65, 19.75, 20.01, 20.36, 20.76, 21.21, 21.73, 22.32, 23, 23.8");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("7.92, 8.006, 8.271, 8.744, 9.469, 10.48, 11.81, 13.48, 15.52, 17.94",\
                 "7.964, 8.049, 8.315, 8.788, 9.513, 10.52, 11.85, 13.52, 15.56, 17.99",\
                 "8.125, 8.211, 8.476, 8.949, 9.674, 10.69, 12.01, 13.68, 15.72, 18.15",\
                 "8.431, 8.517, 8.782, 9.256, 9.981, 10.99, 12.32, 13.99, 16.03, 18.45",\
                 "8.907, 8.992, 9.257, 9.731, 10.46, 11.47, 12.8, 14.47, 16.5, 18.93",\
                 "9.555, 9.64, 9.905, 10.38, 11.1, 12.11, 13.44, 15.11, 17.15, 19.58",\
                 "10.3, 10.38, 10.65, 11.12, 11.85, 12.86, 14.19, 15.85, 17.89, 20.32",\
                 "11.09, 11.17, 11.44, 11.91, 12.63, 13.65, 14.97, 16.64, 18.68, 21.11",\
                 "11.9, 11.99, 12.25, 12.73, 13.45, 14.46, 15.79, 17.46, 19.5, 21.92",\
                 "12.75, 12.83, 13.1, 13.57, 14.29, 15.3, 16.63, 18.3, 20.34, 22.77");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.79, 0.852, 1.024, 1.286, 1.652, 2.124, 2.75, 3.546, 4.546, 5.772",\
                 "0.792, 0.852, 1.024, 1.288, 1.652, 2.13, 2.75, 3.546, 4.548, 5.772",\
                 "0.792, 0.852, 1.024, 1.288, 1.65, 2.128, 2.752, 3.54, 4.546, 5.774",\
                 "0.792, 0.852, 1.024, 1.288, 1.652, 2.126, 2.75, 3.544, 4.546, 5.774",\
                 "0.79, 0.852, 1.024, 1.288, 1.65, 2.126, 2.75, 3.542, 4.546, 5.774",\
                 "0.792, 0.852, 1.024, 1.286, 1.65, 2.126, 2.75, 3.54, 4.546, 5.774",\
                 "0.792, 0.852, 1.024, 1.286, 1.65, 2.13, 2.752, 3.546, 4.544, 5.772",\
                 "0.79, 0.852, 1.024, 1.288, 1.65, 2.124, 2.75, 3.54, 4.544, 5.776",\
                 "0.792, 0.852, 1.028, 1.288, 1.652, 2.128, 2.746, 3.544, 4.544, 5.774",\
                 "0.792, 0.852, 1.024, 1.286, 1.652, 2.126, 2.75, 3.542, 4.542, 5.772");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.4438, 0.549, 0.9176, 1.664, 2.859, 4.535, 6.744, 9.532, 12.93, 16.98",\
                 "0.4444, 0.5462, 0.9172, 1.665, 2.854, 4.535, 6.744, 9.53, 12.93, 16.98",\
                 "0.445, 0.549, 0.9182, 1.667, 2.857, 4.533, 6.746, 9.534, 12.93, 16.98",\
                 "0.4454, 0.5466, 0.9172, 1.664, 2.86, 4.536, 6.744, 9.536, 12.93, 16.99",\
                 "0.444, 0.548, 0.918, 1.664, 2.854, 4.532, 6.744, 9.536, 12.93, 16.99",\
                 "0.444, 0.546, 0.916, 1.668, 2.856, 4.536, 6.746, 9.53, 12.93, 16.98",\
                 "0.446, 0.546, 0.916, 1.664, 2.86, 4.534, 6.746, 9.53, 12.93, 16.98",\
                 "0.444, 0.546, 0.916, 1.664, 2.856, 4.532, 6.744, 9.53, 12.94, 17.01",\
                 "0.444, 0.548, 0.916, 1.664, 2.858, 4.532, 6.74, 9.526, 12.93, 17",\
                 "0.444, 0.548, 0.916, 1.666, 2.858, 4.534, 6.748, 9.538, 12.94, 17.02");
        }
      }

      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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("11.06, 11.16, 11.42, 11.77, 12.17, 12.62, 13.14, 13.73, 14.41, 15.21",\
                 "11.13, 11.23, 11.49, 11.83, 12.23, 12.68, 13.2, 13.79, 14.48, 15.27",\
                 "11.31, 11.41, 11.67, 12.02, 12.42, 12.87, 13.38, 13.98, 14.66, 15.45",\
                 "11.68, 11.78, 12.04, 12.39, 12.79, 13.24, 13.76, 14.35, 15.03, 15.83",\
                 "12.28, 12.38, 12.64, 12.99, 13.39, 13.84, 14.36, 14.95, 15.63, 16.43",\
                 "13.15, 13.25, 13.51, 13.85, 14.25, 14.7, 15.22, 15.81, 16.5, 17.29",\
                 "14.3, 14.4, 14.66, 15, 15.4, 15.85, 16.37, 16.96, 17.65, 18.44",\
                 "15.75, 15.85, 16.12, 16.46, 16.86, 17.31, 17.83, 18.42, 19.11, 19.9",\
                 "17.54, 17.64, 17.9, 18.24, 18.64, 19.09, 19.61, 20.2, 20.89, 21.68",\
                 "19.65, 19.75, 20.01, 20.36, 20.76, 21.21, 21.73, 22.32, 23, 23.8");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("9.811, 9.913, 10.21, 10.71, 11.44, 12.46, 13.79, 15.46, 17.49, 19.92",\
                 "9.877, 9.981, 10.28, 10.78, 11.51, 12.53, 13.86, 15.52, 17.56, 19.99",\
                 "10.07, 10.18, 10.48, 10.98, 11.71, 12.72, 14.05, 15.72, 17.76, 20.18",\
                 "10.4, 10.5, 10.8, 11.3, 12.03, 13.04, 14.37, 16.04, 18.08, 20.51",\
                 "10.79, 10.9, 11.2, 11.69, 12.43, 13.44, 14.77, 16.44, 18.48, 20.9",\
                 "11.22, 11.33, 11.63, 12.12, 12.86, 13.87, 15.2, 16.87, 18.91, 21.33",\
                 "11.68, 11.78, 12.08, 12.58, 13.32, 14.33, 15.66, 17.33, 19.36, 21.79",\
                 "12.16, 12.26, 12.56, 13.06, 13.79, 14.81, 16.14, 17.8, 19.84, 22.27",\
                 "12.64, 12.75, 13.05, 13.55, 14.28, 15.29, 16.62, 18.29, 20.33, 22.76",\
                 "13.14, 13.24, 13.54, 14.04, 14.78, 15.79, 17.12, 18.79, 20.82, 23.25");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.8016, 0.863, 1.036, 1.299, 1.664, 2.142, 2.76, 3.556, 4.554, 5.784",\
                 "0.8012, 0.8636, 1.037, 1.3, 1.664, 2.144, 2.76, 3.556, 4.558, 5.782",\
                 "0.8032, 0.864, 1.038, 1.3, 1.662, 2.14, 2.76, 3.556, 4.554, 5.786",\
                 "0.802, 0.864, 1.036, 1.302, 1.664, 2.142, 2.76, 3.556, 4.554, 5.784",\
                 "0.802, 0.864, 1.036, 1.3, 1.662, 2.14, 2.76, 3.556, 4.556, 5.786",\
                 "0.802, 0.864, 1.036, 1.302, 1.662, 2.14, 2.762, 3.554, 4.554, 5.784",\
                 "0.802, 0.862, 1.036, 1.3, 1.664, 2.14, 2.762, 3.556, 4.556, 5.784",\
                 "0.802, 0.864, 1.036, 1.302, 1.662, 2.14, 2.76, 3.558, 4.556, 5.78",\
                 "0.802, 0.862, 1.036, 1.3, 1.662, 2.14, 2.764, 3.558, 4.556, 5.786",\
                 "0.802, 0.862, 1.036, 1.3, 1.666, 2.142, 2.764, 3.556, 4.552, 5.786");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.5616, 0.6686, 1.035, 1.752, 2.918, 4.584, 6.792, 9.58, 12.97, 17.04",\
                 "0.563, 0.6702, 1.034, 1.752, 2.92, 4.584, 6.794, 9.578, 12.98, 17.03",\
                 "0.56, 0.67, 1.036, 1.754, 2.914, 4.586, 6.8, 9.578, 12.99, 17.03",\
                 "0.56, 0.668, 1.034, 1.752, 2.916, 4.588, 6.8, 9.58, 12.98, 17.03",\
                 "0.562, 0.67, 1.036, 1.754, 2.916, 4.586, 6.796, 9.578, 12.98, 17.03",\
                 "0.562, 0.668, 1.036, 1.752, 2.914, 4.592, 6.796, 9.58, 12.98, 17.05",\
                 "0.562, 0.67, 1.034, 1.754, 2.92, 4.586, 6.798, 9.578, 12.98, 17.03",\
                 "0.562, 0.668, 1.034, 1.752, 2.916, 4.584, 6.796, 9.574, 12.97, 17.05",\
                 "0.56, 0.668, 1.036, 1.75, 2.92, 4.584, 6.792, 9.584, 12.99, 17.05",\
                 "0.562, 0.668, 1.036, 1.75, 2.916, 4.584, 6.798, 9.584, 12.99, 17.04");
        }
      }

      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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("11.86, 11.96, 12.22, 12.56, 12.96, 13.41, 13.93, 14.52, 15.21, 16",\
                 "11.91, 12.01, 12.27, 12.62, 13.02, 13.47, 13.99, 14.58, 15.26, 16.06",\
                 "12.09, 12.19, 12.45, 12.8, 13.19, 13.65, 14.16, 14.76, 15.44, 16.23",\
                 "12.41, 12.51, 12.77, 13.11, 13.51, 13.96, 14.48, 15.07, 15.76, 16.55",\
                 "12.8, 12.9, 13.16, 13.51, 13.9, 14.36, 14.87, 15.47, 16.15, 16.94",\
                 "13.22, 13.32, 13.59, 13.93, 14.33, 14.78, 15.3, 15.89, 16.58, 17.37",\
                 "13.67, 13.78, 14.03, 14.38, 14.78, 15.23, 15.75, 16.34, 17.03, 17.82",\
                 "14.14, 14.24, 14.5, 14.85, 15.25, 15.7, 16.22, 16.81, 17.49, 18.29",\
                 "14.63, 14.73, 14.99, 15.33, 15.73, 16.19, 16.7, 17.29, 17.98, 18.77",\
                 "15.12, 15.22, 15.48, 15.83, 16.23, 16.68, 17.19, 17.79, 18.47, 19.27");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("11.51, 11.59, 11.86, 12.33, 13.06, 14.07, 15.4, 17.07, 19.1, 21.53",\
                 "11.53, 11.62, 11.88, 12.36, 13.08, 14.09, 15.42, 17.09, 19.13, 21.55",\
                 "11.68, 11.77, 12.03, 12.51, 13.23, 14.24, 15.57, 17.24, 19.28, 21.7",\
                 "12.04, 12.13, 12.4, 12.87, 13.59, 14.61, 15.93, 17.6, 19.64, 22.07",\
                 "12.65, 12.73, 13, 13.47, 14.2, 15.21, 16.54, 18.21, 20.24, 22.67",\
                 "13.51, 13.59, 13.86, 14.34, 15.06, 16.07, 17.4, 19.07, 21.1, 23.53",\
                 "14.66, 14.74, 15.01, 15.48, 16.2, 17.22, 18.54, 20.21, 22.25, 24.68",\
                 "16.1, 16.18, 16.45, 16.92, 17.65, 18.66, 19.99, 21.66, 23.69, 26.12",\
                 "17.83, 17.92, 18.18, 18.66, 19.38, 20.39, 21.72, 23.39, 25.43, 27.85",\
                 "19.81, 19.9, 20.17, 20.64, 21.36, 22.38, 23.7, 25.37, 27.41, 29.84");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.792, 0.852, 1.024, 1.288, 1.65, 2.126, 2.752, 3.542, 4.546, 5.774",\
                 "0.792, 0.854, 1.024, 1.288, 1.652, 2.126, 2.752, 3.544, 4.546, 5.772",\
                 "0.792, 0.852, 1.024, 1.288, 1.65, 2.128, 2.752, 3.54, 4.546, 5.772",\
                 "0.792, 0.85, 1.024, 1.288, 1.648, 2.126, 2.75, 3.542, 4.546, 5.776",\
                 "0.792, 0.852, 1.024, 1.288, 1.65, 2.128, 2.752, 3.544, 4.546, 5.774",\
                 "0.79, 0.85, 1.024, 1.286, 1.65, 2.126, 2.75, 3.546, 4.546, 5.774",\
                 "0.794, 0.852, 1.024, 1.288, 1.652, 2.128, 2.75, 3.542, 4.544, 5.774",\
                 "0.792, 0.852, 1.026, 1.286, 1.65, 2.128, 2.75, 3.542, 4.546, 5.77",\
                 "0.792, 0.852, 1.024, 1.288, 1.652, 2.132, 2.748, 3.546, 4.544, 5.776",\
                 "0.792, 0.852, 1.024, 1.288, 1.652, 2.13, 2.752, 3.546, 4.546, 5.774");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.446, 0.546, 0.918, 1.666, 2.856, 4.532, 6.746, 9.536, 12.93, 16.98",\
                 "0.446, 0.548, 0.918, 1.668, 2.854, 4.532, 6.744, 9.532, 12.93, 16.98",\
                 "0.446, 0.548, 0.918, 1.668, 2.858, 4.534, 6.746, 9.534, 12.94, 16.98",\
                 "0.446, 0.546, 0.918, 1.666, 2.858, 4.534, 6.746, 9.536, 12.93, 16.98",\
                 "0.446, 0.546, 0.918, 1.668, 2.856, 4.536, 6.746, 9.534, 12.93, 16.99",\
                 "0.446, 0.546, 0.918, 1.666, 2.854, 4.532, 6.744, 9.534, 12.93, 16.99",\
                 "0.446, 0.548, 0.918, 1.666, 2.858, 4.532, 6.746, 9.526, 12.94, 17.01",\
                 "0.446, 0.55, 0.916, 1.664, 2.854, 4.532, 6.748, 9.534, 12.95, 16.98",\
                 "0.444, 0.55, 0.916, 1.666, 2.858, 4.536, 6.748, 9.534, 12.93, 17.02",\
                 "0.446, 0.548, 0.918, 1.664, 2.858, 4.532, 6.748, 9.538, 12.93, 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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("5.897, 6, 6.265, 6.613, 7.015, 7.472, 7.991, 8.586, 9.275, 10.07",\
                 "5.948, 6.05, 6.315, 6.664, 7.067, 7.523, 8.043, 8.638, 9.326, 10.12",\
                 "6.097, 6.199, 6.463, 6.812, 7.214, 7.67, 8.191, 8.786, 9.473, 10.27",\
                 "6.363, 6.466, 6.731, 7.079, 7.482, 7.938, 8.459, 9.053, 9.741, 10.54",\
                 "6.773, 6.875, 7.14, 7.489, 7.891, 8.347, 8.867, 9.463, 10.15, 10.94",\
                 "7.33, 7.432, 7.696, 8.045, 8.448, 8.904, 9.424, 10.02, 10.71, 11.5",\
                 "7.987, 8.09, 8.355, 8.703, 9.106, 9.563, 10.08, 10.68, 11.36, 12.16",\
                 "8.712, 8.813, 9.077, 9.426, 9.829, 10.28, 10.8, 11.4, 12.09, 12.88",\
                 "9.486, 9.587, 9.852, 10.2, 10.6, 11.06, 11.58, 12.18, 12.86, 13.66",\
                 "10.3, 10.4, 10.66, 11.01, 11.42, 11.87, 12.39, 12.99, 13.68, 14.47");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("9.123, 9.226, 9.527, 10.03, 10.76, 11.77, 13.1, 14.77, 16.81, 19.23",\
                 "9.162, 9.264, 9.566, 10.06, 10.8, 11.81, 13.14, 14.81, 16.85, 19.27",\
                 "9.353, 9.456, 9.757, 10.25, 10.99, 12, 13.33, 15, 17.04, 19.46",\
                 "9.738, 9.842, 10.14, 10.64, 11.37, 12.39, 13.72, 15.39, 17.42, 19.85",\
                 "10.35, 10.46, 10.76, 11.26, 11.99, 13, 14.33, 16, 18.04, 20.46",\
                 "11.22, 11.33, 11.63, 12.13, 12.86, 13.87, 15.2, 16.87, 18.91, 21.33",\
                 "12.38, 12.48, 12.78, 13.28, 14.01, 15.03, 16.36, 18.03, 20.06, 22.49",\
                 "13.84, 13.94, 14.24, 14.74, 15.47, 16.49, 17.81, 19.48, 21.52, 23.95",\
                 "15.62, 15.73, 16.03, 16.53, 17.26, 18.27, 19.6, 21.27, 23.31, 25.73",\
                 "17.75, 17.86, 18.16, 18.65, 19.39, 20.4, 21.73, 23.4, 25.44, 27.86");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.8052, 0.8662, 1.038, 1.303, 1.666, 2.144, 2.764, 3.557, 4.555, 5.786",\
                 "0.8048, 0.8654, 1.039, 1.303, 1.669, 2.143, 2.767, 3.558, 4.559, 5.782",\
                 "0.8046, 0.8658, 1.039, 1.304, 1.665, 2.143, 2.767, 3.556, 4.557, 5.786",\
                 "0.805, 0.8644, 1.039, 1.303, 1.665, 2.143, 2.767, 3.556, 4.557, 5.786",\
                 "0.8044, 0.8644, 1.038, 1.303, 1.666, 2.143, 2.763, 3.56, 4.558, 5.786",\
                 "0.8036, 0.8666, 1.038, 1.304, 1.664, 2.144, 2.764, 3.558, 4.56, 5.782",\
                 "0.806, 0.864, 1.04, 1.302, 1.666, 2.146, 2.768, 3.558, 4.558, 5.784",\
                 "0.804, 0.866, 1.04, 1.304, 1.668, 2.148, 2.768, 3.56, 4.556, 5.786",\
                 "0.806, 0.866, 1.04, 1.304, 1.666, 2.144, 2.768, 3.562, 4.558, 5.786",\
                 "0.806, 0.866, 1.042, 1.304, 1.666, 2.146, 2.766, 3.558, 4.562, 5.784");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.5616, 0.6692, 1.034, 1.752, 2.916, 4.584, 6.792, 9.584, 12.99, 17.04",\
                 "0.5618, 0.6694, 1.036, 1.751, 2.92, 4.584, 6.796, 9.582, 12.99, 17.05",\
                 "0.5616, 0.6692, 1.036, 1.752, 2.92, 4.594, 6.798, 9.58, 12.99, 17.04",\
                 "0.562, 0.67, 1.036, 1.75, 2.916, 4.586, 6.796, 9.576, 12.99, 17.03",\
                 "0.562, 0.67, 1.034, 1.754, 2.916, 4.594, 6.8, 9.582, 12.99, 17.03",\
                 "0.562, 0.668, 1.034, 1.752, 2.916, 4.586, 6.798, 9.582, 12.98, 17.04",\
                 "0.562, 0.67, 1.034, 1.752, 2.914, 4.584, 6.8, 9.578, 12.98, 17.03",\
                 "0.562, 0.67, 1.034, 1.754, 2.916, 4.584, 6.792, 9.578, 12.98, 17.03",\
                 "0.562, 0.668, 1.036, 1.75, 2.916, 4.588, 6.8, 9.576, 12.99, 17.05",\
                 "0.562, 0.67, 1.036, 1.752, 2.92, 4.586, 6.794, 9.582, 12.99, 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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("11.86, 11.96, 12.22, 12.56, 12.96, 13.41, 13.93, 14.52, 15.21, 16",\
                 "11.91, 12.01, 12.27, 12.62, 13.02, 13.47, 13.99, 14.58, 15.26, 16.06",\
                 "12.09, 12.19, 12.45, 12.8, 13.19, 13.65, 14.16, 14.76, 15.44, 16.23",\
                 "12.41, 12.51, 12.77, 13.11, 13.51, 13.96, 14.48, 15.07, 15.76, 16.55",\
                 "12.8, 12.9, 13.16, 13.51, 13.9, 14.36, 14.87, 15.47, 16.15, 16.94",\
                 "13.22, 13.32, 13.59, 13.93, 14.33, 14.78, 15.3, 15.89, 16.58, 17.37",\
                 "13.67, 13.78, 14.03, 14.38, 14.78, 15.23, 15.75, 16.34, 17.03, 17.82",\
                 "14.14, 14.24, 14.5, 14.85, 15.25, 15.7, 16.22, 16.81, 17.49, 18.29",\
                 "14.63, 14.73, 14.99, 15.33, 15.73, 16.19, 16.7, 17.29, 17.98, 18.77",\
                 "15.12, 15.22, 15.48, 15.83, 16.23, 16.68, 17.19, 17.79, 18.47, 19.27");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("11.51, 11.59, 11.86, 12.33, 13.06, 14.07, 15.4, 17.07, 19.1, 21.53",\
                 "11.53, 11.62, 11.88, 12.36, 13.08, 14.09, 15.42, 17.09, 19.13, 21.55",\
                 "11.68, 11.77, 12.03, 12.51, 13.23, 14.24, 15.57, 17.24, 19.28, 21.7",\
                 "12.04, 12.13, 12.4, 12.87, 13.59, 14.61, 15.93, 17.6, 19.64, 22.07",\
                 "12.65, 12.73, 13, 13.47, 14.2, 15.21, 16.54, 18.21, 20.24, 22.67",\
                 "13.51, 13.59, 13.86, 14.34, 15.06, 16.07, 17.4, 19.07, 21.1, 23.53",\
                 "14.66, 14.74, 15.01, 15.48, 16.2, 17.22, 18.54, 20.21, 22.25, 24.68",\
                 "16.1, 16.18, 16.45, 16.92, 17.65, 18.66, 19.99, 21.66, 23.69, 26.12",\
                 "17.83, 17.92, 18.18, 18.66, 19.38, 20.39, 21.72, 23.39, 25.43, 27.85",\
                 "19.81, 19.9, 20.17, 20.64, 21.36, 22.38, 23.7, 25.37, 27.41, 29.84");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.8052, 0.8662, 1.038, 1.303, 1.666, 2.144, 2.764, 3.557, 4.555, 5.786",\
                 "0.8048, 0.8654, 1.039, 1.303, 1.669, 2.143, 2.767, 3.558, 4.559, 5.782",\
                 "0.8046, 0.8658, 1.039, 1.304, 1.665, 2.143, 2.767, 3.556, 4.557, 5.786",\
                 "0.805, 0.8644, 1.039, 1.303, 1.665, 2.143, 2.767, 3.556, 4.557, 5.786",\
                 "0.8044, 0.8644, 1.038, 1.303, 1.666, 2.143, 2.763, 3.56, 4.558, 5.786",\
                 "0.8036, 0.8666, 1.038, 1.304, 1.664, 2.144, 2.764, 3.558, 4.56, 5.782",\
                 "0.806, 0.864, 1.04, 1.302, 1.666, 2.146, 2.768, 3.558, 4.558, 5.784",\
                 "0.804, 0.866, 1.04, 1.304, 1.668, 2.148, 2.768, 3.56, 4.556, 5.786",\
                 "0.806, 0.866, 1.04, 1.304, 1.666, 2.144, 2.768, 3.562, 4.558, 5.786",\
                 "0.806, 0.866, 1.042, 1.304, 1.666, 2.146, 2.766, 3.558, 4.562, 5.784");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.5616, 0.6692, 1.034, 1.752, 2.916, 4.584, 6.792, 9.584, 12.99, 17.04",\
                 "0.5618, 0.6694, 1.036, 1.751, 2.92, 4.584, 6.796, 9.582, 12.99, 17.05",\
                 "0.5616, 0.6692, 1.036, 1.752, 2.92, 4.594, 6.798, 9.58, 12.99, 17.04",\
                 "0.562, 0.67, 1.036, 1.75, 2.916, 4.586, 6.796, 9.576, 12.99, 17.03",\
                 "0.562, 0.67, 1.034, 1.754, 2.916, 4.594, 6.8, 9.582, 12.99, 17.03",\
                 "0.562, 0.668, 1.034, 1.752, 2.916, 4.586, 6.798, 9.582, 12.98, 17.04",\
                 "0.562, 0.67, 1.034, 1.752, 2.914, 4.584, 6.8, 9.578, 12.98, 17.03",\
                 "0.562, 0.67, 1.034, 1.754, 2.916, 4.584, 6.792, 9.578, 12.98, 17.03",\
                 "0.562, 0.668, 1.036, 1.75, 2.916, 4.588, 6.8, 9.576, 12.99, 17.05",\
                 "0.562, 0.67, 1.036, 1.752, 2.92, 4.586, 6.794, 9.582, 12.99, 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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("9.442, 9.544, 9.808, 10.16, 10.56, 11.01, 11.53, 12.13, 12.82, 13.61",\
                 "9.466, 9.567, 9.832, 10.18, 10.58, 11.04, 11.56, 12.15, 12.84, 13.63",\
                 "9.615, 9.718, 9.981, 10.33, 10.73, 11.19, 11.71, 12.3, 12.99, 13.78",\
                 "9.977, 10.08, 10.34, 10.69, 11.09, 11.55, 12.07, 12.66, 13.35, 14.15",\
                 "10.58, 10.68, 10.95, 11.3, 11.7, 12.15, 12.67, 13.27, 13.95, 14.75",\
                 "11.44, 11.54, 11.81, 12.16, 12.56, 13.01, 13.54, 14.13, 14.82, 15.61",\
                 "12.59, 12.69, 12.95, 13.3, 13.7, 14.16, 14.68, 15.27, 15.96, 16.76",\
                 "14.03, 14.13, 14.4, 14.74, 15.15, 15.6, 16.12, 16.72, 17.4, 18.2",\
                 "15.77, 15.87, 16.13, 16.48, 16.88, 17.34, 17.86, 18.45, 19.14, 19.93",\
                 "17.75, 17.85, 18.11, 18.46, 18.86, 19.32, 19.84, 20.43, 21.12, 21.91");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("9.583, 9.685, 9.987, 10.48, 11.22, 12.23, 13.56, 15.23, 17.27, 19.69",\
                 "9.639, 9.742, 10.04, 10.54, 11.27, 12.29, 13.62, 15.29, 17.32, 19.75",\
                 "9.818, 9.921, 10.22, 10.72, 11.45, 12.47, 13.79, 15.46, 17.5, 19.93",\
                 "10.13, 10.24, 10.54, 11.04, 11.77, 12.78, 14.11, 15.78, 17.82, 20.25",\
                 "10.53, 10.63, 10.93, 11.43, 12.16, 13.18, 14.51, 16.18, 18.21, 20.64",\
                 "10.95, 11.05, 11.36, 11.85, 12.59, 13.6, 14.93, 16.6, 18.64, 21.06",\
                 "11.4, 11.51, 11.81, 12.3, 13.04, 14.05, 15.38, 17.05, 19.09, 21.51",\
                 "11.87, 11.97, 12.28, 12.77, 13.5, 14.52, 15.85, 17.52, 19.55, 21.98",\
                 "12.35, 12.46, 12.76, 13.25, 13.99, 15, 16.33, 18, 20.04, 22.46",\
                 "12.85, 12.95, 13.25, 13.75, 14.48, 15.49, 16.82, 18.49, 20.53, 22.96");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.8026, 0.8636, 1.037, 1.3, 1.662, 2.142, 2.76, 3.554, 4.552, 5.784",\
                 "0.8026, 0.8634, 1.037, 1.3, 1.662, 2.14, 2.76, 3.556, 4.554, 5.784",\
                 "0.802, 0.8614, 1.036, 1.3, 1.662, 2.14, 2.76, 3.554, 4.554, 5.784",\
                 "0.802, 0.862, 1.036, 1.302, 1.662, 2.138, 2.76, 3.556, 4.554, 5.784",\
                 "0.802, 0.864, 1.034, 1.3, 1.662, 2.14, 2.76, 3.556, 4.554, 5.786",\
                 "0.802, 0.862, 1.036, 1.302, 1.66, 2.14, 2.76, 3.556, 4.556, 5.784",\
                 "0.804, 0.864, 1.036, 1.3, 1.662, 2.142, 2.762, 3.554, 4.554, 5.784",\
                 "0.804, 0.862, 1.036, 1.3, 1.664, 2.142, 2.762, 3.554, 4.556, 5.78",\
                 "0.804, 0.864, 1.036, 1.3, 1.662, 2.14, 2.762, 3.558, 4.556, 5.786",\
                 "0.802, 0.864, 1.036, 1.3, 1.662, 2.14, 2.762, 3.556, 4.556, 5.78");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.5612, 0.669, 1.036, 1.75, 2.914, 4.586, 6.796, 9.576, 12.99, 17.04",\
                 "0.5614, 0.669, 1.035, 1.75, 2.916, 4.594, 6.792, 9.582, 12.98, 17.04",\
                 "0.562, 0.668, 1.032, 1.748, 2.916, 4.586, 6.796, 9.582, 12.99, 17.04",\
                 "0.56, 0.67, 1.036, 1.75, 2.916, 4.584, 6.792, 9.584, 12.99, 17.03",\
                 "0.562, 0.668, 1.034, 1.752, 2.916, 4.588, 6.798, 9.576, 12.98, 17.03",\
                 "0.562, 0.67, 1.034, 1.752, 2.916, 4.588, 6.796, 9.578, 12.98, 17.03",\
                 "0.56, 0.668, 1.034, 1.752, 2.92, 4.586, 6.8, 9.582, 12.97, 17.03",\
                 "0.56, 0.668, 1.034, 1.752, 2.918, 4.59, 6.796, 9.576, 12.97, 17.05",\
                 "0.56, 0.67, 1.036, 1.748, 2.916, 4.586, 6.792, 9.58, 12.98, 17.03",\
                 "0.562, 0.668, 1.036, 1.75, 2.916, 4.59, 6.794, 9.576, 12.98, 17.04");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("11.39, 11.49, 11.75, 12.1, 12.5, 12.95, 13.46, 14.06, 14.74, 15.54",\
                 "11.43, 11.53, 11.79, 12.13, 12.53, 12.99, 13.5, 14.09, 14.78, 15.57",\
                 "11.62, 11.72, 11.98, 12.32, 12.72, 13.18, 13.69, 14.28, 14.97, 15.76",\
                 "12, 12.11, 12.37, 12.71, 13.11, 13.56, 14.08, 14.67, 15.36, 16.15",\
                 "12.62, 12.72, 12.98, 13.32, 13.72, 14.18, 14.69, 15.28, 15.97, 16.76",\
                 "13.49, 13.59, 13.85, 14.2, 14.59, 15.05, 15.56, 16.16, 16.84, 17.63",\
                 "14.64, 14.74, 15.01, 15.35, 15.75, 16.2, 16.72, 17.31, 18, 18.79",\
                 "16.1, 16.21, 16.47, 16.81, 17.21, 17.66, 18.18, 18.77, 19.46, 20.25",\
                 "17.89, 17.99, 18.25, 18.6, 18.99, 19.45, 19.96, 20.56, 21.24, 22.03",\
                 "20.01, 20.11, 20.37, 20.72, 21.12, 21.57, 22.09, 22.68, 23.36, 24.16");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("7.949, 8.034, 8.3, 8.773, 9.498, 10.51, 11.84, 13.51, 15.54, 17.97",\
                 "7.999, 8.084, 8.35, 8.824, 9.548, 10.56, 11.89, 13.56, 15.59, 18.02",\
                 "8.148, 8.233, 8.499, 8.972, 9.697, 10.71, 12.04, 13.71, 15.74, 18.17",\
                 "8.416, 8.501, 8.766, 9.24, 9.965, 10.98, 12.3, 13.97, 16.01, 18.44",\
                 "8.825, 8.91, 9.176, 9.65, 10.38, 11.39, 12.71, 14.38, 16.42, 18.85",\
                 "9.383, 9.468, 9.733, 10.21, 10.93, 11.94, 13.27, 14.94, 16.98, 19.4",\
                 "10.04, 10.13, 10.39, 10.87, 11.59, 12.6, 13.93, 15.6, 17.64, 20.06",\
                 "10.76, 10.85, 11.11, 11.59, 12.31, 13.32, 14.65, 16.32, 18.36, 20.78",\
                 "11.54, 11.62, 11.89, 12.36, 13.09, 14.1, 15.43, 17.1, 19.13, 21.56",\
                 "12.35, 12.44, 12.7, 13.18, 13.9, 14.91, 16.24, 17.91, 19.94, 22.37");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.792, 0.852, 1.024, 1.286, 1.65, 2.126, 2.75, 3.546, 4.546, 5.774",\
                 "0.792, 0.852, 1.024, 1.286, 1.648, 2.126, 2.75, 3.54, 4.548, 5.774",\
                 "0.792, 0.85, 1.024, 1.288, 1.65, 2.128, 2.75, 3.542, 4.546, 5.774",\
                 "0.792, 0.852, 1.024, 1.286, 1.65, 2.128, 2.752, 3.546, 4.546, 5.776",\
                 "0.792, 0.852, 1.024, 1.286, 1.65, 2.128, 2.75, 3.542, 4.546, 5.776",\
                 "0.792, 0.852, 1.024, 1.286, 1.65, 2.128, 2.75, 3.542, 4.548, 5.774",\
                 "0.792, 0.852, 1.024, 1.288, 1.648, 2.126, 2.748, 3.542, 4.548, 5.772",\
                 "0.79, 0.85, 1.024, 1.286, 1.648, 2.128, 2.748, 3.542, 4.544, 5.776",\
                 "0.792, 0.852, 1.024, 1.288, 1.648, 2.126, 2.752, 3.544, 4.546, 5.776",\
                 "0.79, 0.85, 1.024, 1.286, 1.65, 2.126, 2.75, 3.542, 4.542, 5.77");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.4444, 0.546, 0.917, 1.663, 2.854, 4.535, 6.746, 9.538, 12.93, 17.01",\
                 "0.4446, 0.5462, 0.9172, 1.666, 2.86, 4.534, 6.744, 9.532, 12.93, 17",\
                 "0.4442, 0.5474, 0.918, 1.664, 2.858, 4.534, 6.748, 9.538, 12.93, 17.01",\
                 "0.4448, 0.5478, 0.9178, 1.667, 2.852, 4.532, 6.744, 9.536, 12.93, 16.99",\
                 "0.444, 0.546, 0.916, 1.664, 2.854, 4.532, 6.744, 9.536, 12.93, 16.98",\
                 "0.446, 0.546, 0.918, 1.666, 2.854, 4.536, 6.744, 9.532, 12.93, 16.98",\
                 "0.444, 0.546, 0.916, 1.664, 2.858, 4.536, 6.748, 9.538, 12.93, 16.98",\
                 "0.444, 0.544, 0.918, 1.664, 2.854, 4.534, 6.746, 9.53, 12.93, 16.98",\
                 "0.444, 0.546, 0.916, 1.664, 2.854, 4.534, 6.742, 9.524, 12.93, 16.98",\
                 "0.444, 0.548, 0.916, 1.664, 2.854, 4.532, 6.74, 9.528, 12.94, 17.02");
        }
      }

      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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("11.39, 11.49, 11.75, 12.1, 12.5, 12.95, 13.46, 14.06, 14.74, 15.54",\
                 "11.43, 11.53, 11.79, 12.13, 12.53, 12.99, 13.5, 14.09, 14.78, 15.57",\
                 "11.62, 11.72, 11.98, 12.32, 12.72, 13.18, 13.69, 14.28, 14.97, 15.76",\
                 "12, 12.11, 12.37, 12.71, 13.11, 13.56, 14.08, 14.67, 15.36, 16.15",\
                 "12.62, 12.72, 12.98, 13.32, 13.72, 14.18, 14.69, 15.28, 15.97, 16.76",\
                 "13.49, 13.59, 13.85, 14.2, 14.59, 15.05, 15.56, 16.16, 16.84, 17.63",\
                 "14.64, 14.74, 15.01, 15.35, 15.75, 16.2, 16.72, 17.31, 18, 18.79",\
                 "16.1, 16.21, 16.47, 16.81, 17.21, 17.66, 18.18, 18.77, 19.46, 20.25",\
                 "17.89, 17.99, 18.25, 18.6, 18.99, 19.45, 19.96, 20.56, 21.24, 22.03",\
                 "20.01, 20.11, 20.37, 20.72, 21.12, 21.57, 22.09, 22.68, 23.36, 24.16");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("9.583, 9.685, 9.987, 10.48, 11.22, 12.23, 13.56, 15.23, 17.27, 19.69",\
                 "9.639, 9.742, 10.04, 10.54, 11.27, 12.29, 13.62, 15.29, 17.32, 19.75",\
                 "9.818, 9.921, 10.22, 10.72, 11.45, 12.47, 13.79, 15.46, 17.5, 19.93",\
                 "10.13, 10.24, 10.54, 11.04, 11.77, 12.78, 14.11, 15.78, 17.82, 20.25",\
                 "10.53, 10.63, 10.93, 11.43, 12.16, 13.18, 14.51, 16.18, 18.21, 20.64",\
                 "10.95, 11.05, 11.36, 11.85, 12.59, 13.6, 14.93, 16.6, 18.64, 21.06",\
                 "11.4, 11.51, 11.81, 12.3, 13.04, 14.05, 15.38, 17.05, 19.09, 21.51",\
                 "11.87, 11.97, 12.28, 12.77, 13.5, 14.52, 15.85, 17.52, 19.55, 21.98",\
                 "12.35, 12.46, 12.76, 13.25, 13.99, 15, 16.33, 18, 20.04, 22.46",\
                 "12.85, 12.95, 13.25, 13.75, 14.48, 15.49, 16.82, 18.49, 20.53, 22.96");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.8026, 0.8636, 1.037, 1.3, 1.662, 2.142, 2.76, 3.554, 4.552, 5.784",\
                 "0.8026, 0.8634, 1.037, 1.3, 1.662, 2.14, 2.76, 3.556, 4.554, 5.784",\
                 "0.802, 0.8614, 1.036, 1.3, 1.662, 2.14, 2.76, 3.554, 4.554, 5.784",\
                 "0.802, 0.862, 1.036, 1.302, 1.662, 2.138, 2.76, 3.556, 4.554, 5.784",\
                 "0.802, 0.864, 1.034, 1.3, 1.662, 2.14, 2.76, 3.556, 4.554, 5.786",\
                 "0.802, 0.862, 1.036, 1.302, 1.66, 2.14, 2.76, 3.556, 4.556, 5.784",\
                 "0.804, 0.864, 1.036, 1.3, 1.662, 2.142, 2.762, 3.554, 4.554, 5.784",\
                 "0.804, 0.862, 1.036, 1.3, 1.664, 2.142, 2.762, 3.554, 4.556, 5.78",\
                 "0.804, 0.864, 1.036, 1.3, 1.662, 2.14, 2.762, 3.558, 4.556, 5.786",\
                 "0.802, 0.864, 1.036, 1.3, 1.662, 2.14, 2.762, 3.556, 4.556, 5.78");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.5612, 0.669, 1.036, 1.75, 2.914, 4.586, 6.796, 9.576, 12.99, 17.04",\
                 "0.5614, 0.669, 1.035, 1.75, 2.916, 4.594, 6.792, 9.582, 12.98, 17.04",\
                 "0.562, 0.668, 1.032, 1.748, 2.916, 4.586, 6.796, 9.582, 12.99, 17.04",\
                 "0.56, 0.67, 1.036, 1.75, 2.916, 4.584, 6.792, 9.584, 12.99, 17.03",\
                 "0.562, 0.668, 1.034, 1.752, 2.916, 4.588, 6.798, 9.576, 12.98, 17.03",\
                 "0.562, 0.67, 1.034, 1.752, 2.916, 4.588, 6.796, 9.578, 12.98, 17.03",\
                 "0.56, 0.668, 1.034, 1.752, 2.92, 4.586, 6.8, 9.582, 12.97, 17.03",\
                 "0.56, 0.668, 1.034, 1.752, 2.918, 4.59, 6.796, 9.576, 12.97, 17.05",\
                 "0.56, 0.67, 1.036, 1.748, 2.916, 4.586, 6.792, 9.58, 12.98, 17.03",\
                 "0.562, 0.668, 1.036, 1.75, 2.916, 4.59, 6.794, 9.576, 12.98, 17.04");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("4.961, 5.063, 5.327, 5.675, 6.076, 6.532, 7.05, 7.645, 8.332, 9.127",\
                 "5.021, 5.123, 5.387, 5.734, 6.136, 6.592, 7.11, 7.706, 8.393, 9.187",\
                 "5.199, 5.3, 5.564, 5.913, 6.314, 6.77, 7.288, 7.884, 8.571, 9.365",\
                 "5.507, 5.609, 5.872, 6.221, 6.623, 7.078, 7.597, 8.193, 8.88, 9.674",\
                 "5.966, 6.068, 6.331, 6.68, 7.082, 7.536, 8.055, 8.651, 9.338, 10.13",\
                 "6.488, 6.591, 6.855, 7.203, 7.604, 8.06, 8.578, 9.174, 9.861, 10.65",\
                 "7.049, 7.151, 7.414, 7.762, 8.165, 8.621, 9.14, 9.735, 10.42, 11.22",\
                 "7.636, 7.736, 8.002, 8.349, 8.752, 9.207, 9.727, 10.32, 11.01, 11.8",\
                 "8.25, 8.351, 8.615, 8.962, 9.365, 9.819, 10.34, 10.94, 11.62, 12.42",\
                 "8.884, 8.986, 9.25, 9.599, 10, 10.45, 10.97, 11.57, 12.25, 13.05");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("6.36, 6.445, 6.711, 7.184, 7.909, 8.921, 10.25, 11.92, 13.95, 16.38",\
                 "6.414, 6.499, 6.765, 7.238, 7.963, 8.974, 10.3, 11.97, 14.01, 16.44",\
                 "6.614, 6.7, 6.965, 7.438, 8.164, 9.175, 10.5, 12.17, 14.21, 16.64",\
                 "6.996, 7.082, 7.347, 7.82, 8.545, 9.557, 10.88, 12.55, 14.59, 17.02",\
                 "7.576, 7.661, 7.926, 8.4, 9.124, 10.14, 11.46, 13.13, 15.17, 17.6",\
                 "8.379, 8.464, 8.73, 9.204, 9.928, 10.94, 12.27, 13.94, 15.97, 18.4",\
                 "9.432, 9.519, 9.784, 10.26, 10.98, 11.99, 13.32, 14.99, 17.03, 19.45",\
                 "10.76, 10.84, 11.11, 11.58, 12.31, 13.32, 14.65, 16.32, 18.35, 20.78",\
                 "12.37, 12.45, 12.72, 13.19, 13.92, 14.93, 16.25, 17.92, 19.96, 22.39",\
                 "14.24, 14.33, 14.6, 15.07, 15.79, 16.81, 18.13, 19.8, 21.84, 24.26");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.8012, 0.8624, 1.035, 1.299, 1.665, 2.142, 2.764, 3.555, 4.555, 5.784",\
                 "0.801, 0.8622, 1.035, 1.3, 1.662, 2.141, 2.764, 3.556, 4.557, 5.782",\
                 "0.8016, 0.8616, 1.036, 1.299, 1.665, 2.143, 2.764, 3.555, 4.557, 5.782",\
                 "0.802, 0.8622, 1.035, 1.3, 1.661, 2.14, 2.764, 3.556, 4.556, 5.782",\
                 "0.8012, 0.8626, 1.036, 1.299, 1.662, 2.139, 2.764, 3.555, 4.553, 5.782",\
                 "0.802, 0.8632, 1.036, 1.3, 1.663, 2.14, 2.764, 3.554, 4.556, 5.782",\
                 "0.8, 0.862, 1.036, 1.3, 1.662, 2.14, 2.764, 3.556, 4.558, 5.784",\
                 "0.804, 0.866, 1.038, 1.3, 1.666, 2.142, 2.768, 3.56, 4.556, 5.786",\
                 "0.8, 0.86, 1.034, 1.298, 1.662, 2.142, 2.766, 3.558, 4.56, 5.786",\
                 "0.802, 0.862, 1.034, 1.298, 1.66, 2.14, 2.76, 3.554, 4.55, 5.782");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.4448, 0.5468, 0.9176, 1.664, 2.856, 4.532, 6.746, 9.535, 12.93, 16.99",\
                 "0.445, 0.5466, 0.9176, 1.664, 2.854, 4.533, 6.745, 9.536, 12.93, 16.99",\
                 "0.4452, 0.547, 0.9178, 1.667, 2.854, 4.535, 6.747, 9.536, 12.93, 16.99",\
                 "0.4452, 0.5476, 0.9178, 1.667, 2.856, 4.536, 6.746, 9.538, 12.94, 16.98",\
                 "0.4454, 0.547, 0.9178, 1.666, 2.854, 4.534, 6.746, 9.536, 12.93, 17",\
                 "0.444, 0.55, 0.918, 1.666, 2.854, 4.536, 6.748, 9.536, 12.93, 16.98",\
                 "0.446, 0.548, 0.918, 1.664, 2.858, 4.532, 6.748, 9.538, 12.94, 16.99",\
                 "0.446, 0.546, 0.918, 1.664, 2.856, 4.536, 6.748, 9.534, 12.93, 17",\
                 "0.444, 0.548, 0.918, 1.666, 2.854, 4.536, 6.74, 9.534, 12.95, 16.98",\
                 "0.448, 0.548, 0.92, 1.664, 2.854, 4.538, 6.742, 9.526, 12.95, 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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("4.99, 5.093, 5.357, 5.706, 6.108, 6.565, 7.083, 7.679, 8.367, 9.161",\
                 "5.05, 5.153, 5.417, 5.765, 6.168, 6.624, 7.143, 7.739, 8.426, 9.221",\
                 "5.228, 5.33, 5.595, 5.944, 6.346, 6.801, 7.321, 7.918, 8.604, 9.399",\
                 "5.536, 5.638, 5.904, 6.252, 6.655, 7.11, 7.63, 8.226, 8.914, 9.708",\
                 "5.997, 6.099, 6.364, 6.713, 7.115, 7.572, 8.091, 8.687, 9.373, 10.17",\
                 "6.52, 6.623, 6.888, 7.237, 7.639, 8.096, 8.614, 9.21, 9.897, 10.69",\
                 "7.082, 7.184, 7.449, 7.798, 8.2, 8.658, 9.176, 9.771, 10.46, 11.25",\
                 "7.669, 7.77, 8.035, 8.384, 8.786, 9.243, 9.763, 10.36, 11.05, 11.84",\
                 "8.281, 8.384, 8.647, 8.996, 9.399, 9.853, 10.37, 10.97, 11.66, 12.45",\
                 "8.913, 9.017, 9.281, 9.629, 10.03, 10.49, 11.01, 11.6, 12.29, 13.08");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("6.36, 6.445, 6.711, 7.184, 7.908, 8.92, 10.25, 11.92, 13.95, 16.38",\
                 "6.415, 6.5, 6.766, 7.239, 7.964, 8.975, 10.3, 11.97, 14.01, 16.44",\
                 "6.617, 6.702, 6.968, 7.441, 8.166, 9.177, 10.5, 12.17, 14.21, 16.64",\
                 "7, 7.085, 7.35, 7.824, 8.548, 9.561, 10.89, 12.56, 14.59, 17.02",\
                 "7.578, 7.663, 7.928, 8.402, 9.126, 10.14, 11.47, 13.13, 15.17, 17.6",\
                 "8.38, 8.465, 8.731, 9.204, 9.929, 10.94, 12.27, 13.94, 15.97, 18.4",\
                 "9.432, 9.517, 9.782, 10.26, 10.98, 11.99, 13.32, 14.99, 17.03, 19.45",\
                 "10.76, 10.84, 11.11, 11.58, 12.3, 13.32, 14.64, 16.31, 18.35, 20.78",\
                 "12.36, 12.45, 12.71, 13.19, 13.91, 14.92, 16.25, 17.92, 19.96, 22.39",\
                 "14.24, 14.32, 14.59, 15.06, 15.79, 16.8, 18.13, 19.8, 21.83, 24.26");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.8044, 0.8656, 1.038, 1.303, 1.664, 2.146, 2.768, 3.557, 4.559, 5.784",\
                 "0.8048, 0.8658, 1.039, 1.302, 1.665, 2.144, 2.768, 3.558, 4.56, 5.783",\
                 "0.8048, 0.8654, 1.039, 1.302, 1.668, 2.144, 2.768, 3.558, 4.559, 5.785",\
                 "0.8048, 0.8658, 1.039, 1.302, 1.665, 2.144, 2.768, 3.557, 4.557, 5.787",\
                 "0.805, 0.8644, 1.039, 1.303, 1.664, 2.144, 2.768, 3.558, 4.557, 5.786",\
                 "0.8052, 0.866, 1.039, 1.303, 1.663, 2.142, 2.768, 3.558, 4.56, 5.782",\
                 "0.804, 0.864, 1.038, 1.302, 1.664, 2.146, 2.766, 3.562, 4.554, 5.784",\
                 "0.806, 0.868, 1.04, 1.304, 1.67, 2.146, 2.772, 3.564, 4.558, 5.784",\
                 "0.802, 0.864, 1.038, 1.302, 1.666, 2.144, 2.768, 3.56, 4.56, 5.79",\
                 "0.804, 0.862, 1.038, 1.302, 1.664, 2.142, 2.766, 3.56, 4.554, 5.784");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.444, 0.546, 0.918, 1.665, 2.859, 4.536, 6.745, 9.532, 12.93, 16.99",\
                 "0.445, 0.5468, 0.9158, 1.665, 2.86, 4.534, 6.746, 9.534, 12.93, 17.02",\
                 "0.444, 0.546, 0.917, 1.664, 2.854, 4.536, 6.745, 9.534, 12.93, 16.99",\
                 "0.4444, 0.5474, 0.9178, 1.664, 2.857, 4.536, 6.746, 9.53, 12.93, 16.98",\
                 "0.4438, 0.5468, 0.9176, 1.664, 2.854, 4.538, 6.746, 9.526, 12.95, 17.01",\
                 "0.444, 0.548, 0.916, 1.664, 2.86, 4.534, 6.744, 9.536, 12.93, 16.98",\
                 "0.444, 0.546, 0.918, 1.664, 2.854, 4.534, 6.746, 9.538, 12.94, 16.99",\
                 "0.444, 0.548, 0.916, 1.666, 2.856, 4.534, 6.748, 9.532, 12.93, 16.99",\
                 "0.446, 0.546, 0.918, 1.664, 2.854, 4.536, 6.742, 9.534, 12.93, 16.98",\
                 "0.448, 0.55, 0.918, 1.664, 2.856, 4.536, 6.742, 9.538, 12.95, 16.98");
        }
      }

      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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("4.99, 5.093, 5.357, 5.706, 6.108, 6.565, 7.083, 7.679, 8.367, 9.161",\
                 "5.05, 5.153, 5.417, 5.765, 6.168, 6.624, 7.143, 7.739, 8.426, 9.221",\
                 "5.228, 5.33, 5.595, 5.944, 6.346, 6.801, 7.321, 7.918, 8.604, 9.399",\
                 "5.536, 5.638, 5.904, 6.252, 6.655, 7.11, 7.63, 8.226, 8.914, 9.708",\
                 "5.997, 6.099, 6.364, 6.713, 7.115, 7.572, 8.091, 8.687, 9.373, 10.17",\
                 "6.52, 6.623, 6.888, 7.237, 7.639, 8.096, 8.614, 9.21, 9.897, 10.69",\
                 "7.082, 7.184, 7.449, 7.798, 8.2, 8.658, 9.176, 9.771, 10.46, 11.25",\
                 "7.669, 7.77, 8.035, 8.384, 8.786, 9.243, 9.763, 10.36, 11.05, 11.84",\
                 "8.281, 8.384, 8.647, 8.996, 9.399, 9.853, 10.37, 10.97, 11.66, 12.45",\
                 "8.913, 9.017, 9.281, 9.629, 10.03, 10.49, 11.01, 11.6, 12.29, 13.08");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("6.36, 6.445, 6.711, 7.184, 7.909, 8.921, 10.25, 11.92, 13.95, 16.38",\
                 "6.414, 6.499, 6.765, 7.238, 7.963, 8.974, 10.3, 11.97, 14.01, 16.44",\
                 "6.614, 6.7, 6.965, 7.438, 8.164, 9.175, 10.5, 12.17, 14.21, 16.64",\
                 "6.996, 7.082, 7.347, 7.82, 8.545, 9.557, 10.88, 12.55, 14.59, 17.02",\
                 "7.576, 7.661, 7.926, 8.4, 9.124, 10.14, 11.46, 13.13, 15.17, 17.6",\
                 "8.379, 8.464, 8.73, 9.204, 9.928, 10.94, 12.27, 13.94, 15.97, 18.4",\
                 "9.432, 9.519, 9.784, 10.26, 10.98, 11.99, 13.32, 14.99, 17.03, 19.45",\
                 "10.76, 10.84, 11.11, 11.58, 12.31, 13.32, 14.65, 16.32, 18.35, 20.78",\
                 "12.37, 12.45, 12.72, 13.19, 13.92, 14.93, 16.25, 17.92, 19.96, 22.39",\
                 "14.24, 14.33, 14.6, 15.07, 15.79, 16.81, 18.13, 19.8, 21.84, 24.26");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.8044, 0.8656, 1.038, 1.303, 1.664, 2.146, 2.768, 3.557, 4.559, 5.784",\
                 "0.8048, 0.8658, 1.039, 1.302, 1.665, 2.144, 2.768, 3.558, 4.56, 5.783",\
                 "0.8048, 0.8654, 1.039, 1.302, 1.668, 2.144, 2.768, 3.558, 4.559, 5.785",\
                 "0.8048, 0.8658, 1.039, 1.302, 1.665, 2.144, 2.768, 3.557, 4.557, 5.787",\
                 "0.805, 0.8644, 1.039, 1.303, 1.664, 2.144, 2.768, 3.558, 4.557, 5.786",\
                 "0.8052, 0.866, 1.039, 1.303, 1.663, 2.142, 2.768, 3.558, 4.56, 5.782",\
                 "0.804, 0.864, 1.038, 1.302, 1.664, 2.146, 2.766, 3.562, 4.554, 5.784",\
                 "0.806, 0.868, 1.04, 1.304, 1.67, 2.146, 2.772, 3.564, 4.558, 5.784",\
                 "0.802, 0.864, 1.038, 1.302, 1.666, 2.144, 2.768, 3.56, 4.56, 5.79",\
                 "0.804, 0.862, 1.038, 1.302, 1.664, 2.142, 2.766, 3.56, 4.554, 5.784");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.444, 0.546, 0.918, 1.665, 2.859, 4.536, 6.745, 9.532, 12.93, 16.99",\
                 "0.445, 0.5468, 0.9158, 1.665, 2.86, 4.534, 6.746, 9.534, 12.93, 17.02",\
                 "0.444, 0.546, 0.917, 1.664, 2.854, 4.536, 6.745, 9.534, 12.93, 16.99",\
                 "0.4444, 0.5474, 0.9178, 1.664, 2.857, 4.536, 6.746, 9.53, 12.93, 16.98",\
                 "0.4438, 0.5468, 0.9176, 1.664, 2.854, 4.538, 6.746, 9.526, 12.95, 17.01",\
                 "0.444, 0.548, 0.916, 1.664, 2.86, 4.534, 6.744, 9.536, 12.93, 16.98",\
                 "0.444, 0.546, 0.918, 1.664, 2.854, 4.534, 6.746, 9.538, 12.94, 16.99",\
                 "0.444, 0.548, 0.916, 1.666, 2.856, 4.534, 6.748, 9.532, 12.93, 16.99",\
                 "0.446, 0.546, 0.918, 1.664, 2.854, 4.536, 6.742, 9.534, 12.93, 16.98",\
                 "0.448, 0.55, 0.918, 1.664, 2.856, 4.536, 6.742, 9.538, 12.95, 16.98");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("3.855, 3.955, 4.217, 4.562, 4.961, 5.414, 5.93, 6.523, 7.208, 8.001",\
                 "3.914, 4.015, 4.277, 4.621, 5.021, 5.473, 5.989, 6.582, 7.268, 8.062",\
                 "4.102, 4.204, 4.465, 4.81, 5.209, 5.662, 6.178, 6.771, 7.457, 8.249",\
                 "4.486, 4.587, 4.848, 5.193, 5.593, 6.045, 6.563, 7.155, 7.84, 8.633",\
                 "5.109, 5.209, 5.471, 5.815, 6.215, 6.667, 7.184, 7.777, 8.462, 9.255",\
                 "6, 6.102, 6.363, 6.708, 7.107, 7.559, 8.076, 8.669, 9.354, 10.15",\
                 "7.187, 7.288, 7.549, 7.893, 8.292, 8.744, 9.262, 9.855, 10.54, 11.33",\
                 "8.688, 8.789, 9.049, 9.393, 9.792, 10.25, 10.76, 11.36, 12.04, 12.83",\
                 "10.5, 10.6, 10.87, 11.21, 11.62, 12.07, 12.59, 13.18, 13.87, 14.66",\
                 "12.57, 12.68, 12.96, 13.32, 13.73, 14.19, 14.71, 15.31, 16, 16.79");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("1.623, 1.719, 2.008, 2.499, 3.231, 4.245, 5.575, 7.245, 9.28, 11.71",\
                 "1.673, 1.769, 2.058, 2.549, 3.281, 4.295, 5.626, 7.294, 9.331, 11.75",\
                 "1.857, 1.953, 2.242, 2.732, 3.465, 4.48, 5.809, 7.479, 9.515, 11.94",\
                 "2.207, 2.303, 2.591, 3.081, 3.813, 4.827, 6.157, 7.828, 9.865, 12.29",\
                 "2.75, 2.846, 3.133, 3.623, 4.354, 5.368, 6.697, 8.368, 10.41, 12.83",\
                 "3.483, 3.579, 3.869, 4.359, 5.089, 6.103, 7.432, 9.104, 11.14, 13.57",\
                 "4.326, 4.427, 4.724, 5.218, 5.949, 6.961, 8.291, 9.961, 12, 14.43",\
                 "5.257, 5.361, 5.665, 6.162, 6.897, 7.911, 9.239, 10.91, 12.95, 15.37",\
                 "6.271, 6.379, 6.692, 7.194, 7.928, 8.942, 10.27, 11.94, 13.98, 16.41",\
                 "7.364, 7.48, 7.802, 8.312, 9.045, 10.06, 11.39, 13.06, 15.1, 17.52");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.7926, 0.854, 1.025, 1.288, 1.653, 2.13, 2.751, 3.542, 4.546, 5.774",\
                 "0.7922, 0.8528, 1.025, 1.288, 1.652, 2.128, 2.752, 3.544, 4.547, 5.772",\
                 "0.7932, 0.8532, 1.025, 1.289, 1.653, 2.129, 2.752, 3.544, 4.546, 5.774",\
                 "0.793, 0.8532, 1.025, 1.288, 1.653, 2.128, 2.751, 3.545, 4.544, 5.775",\
                 "0.793, 0.8534, 1.025, 1.289, 1.65, 2.127, 2.752, 3.545, 4.546, 5.777",\
                 "0.7934, 0.8526, 1.025, 1.289, 1.65, 2.127, 2.752, 3.546, 4.546, 5.776",\
                 "0.792, 0.854, 1.026, 1.288, 1.652, 2.128, 2.752, 3.546, 4.544, 5.776",\
                 "0.796, 0.856, 1.03, 1.292, 1.656, 2.13, 2.754, 3.548, 4.546, 5.776",\
                 "0.828, 0.884, 1.056, 1.314, 1.668, 2.138, 2.756, 3.552, 4.55, 5.778",\
                 "0.912, 0.968, 1.126, 1.368, 1.706, 2.172, 2.782, 3.566, 4.562, 5.784");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.5058, 0.6152, 0.9894, 1.723, 2.9, 4.579, 6.789, 9.572, 12.98, 17.03",\
                 "0.5044, 0.6148, 0.9894, 1.723, 2.906, 4.577, 6.789, 9.573, 13, 17.03",\
                 "0.5054, 0.6142, 0.9896, 1.723, 2.901, 4.581, 6.787, 9.572, 13, 17.03",\
                 "0.5046, 0.6152, 0.9896, 1.723, 2.903, 4.577, 6.788, 9.597, 13, 17.06",\
                 "0.5058, 0.6146, 0.9904, 1.721, 2.902, 4.577, 6.798, 9.577, 13, 17.03",\
                 "0.518, 0.6254, 0.9962, 1.725, 2.901, 4.584, 6.796, 9.573, 12.98, 17.03",\
                 "0.552, 0.6582, 1.022, 1.741, 2.907, 4.577, 6.786, 9.572, 12.97, 17.06",\
                 "0.596, 0.696, 1.052, 1.76, 2.926, 4.588, 6.798, 9.576, 12.99, 17.03",\
                 "0.646, 0.746, 1.088, 1.78, 2.936, 4.602, 6.804, 9.59, 12.98, 17.03",\
                 "0.708, 0.802, 1.132, 1.808, 2.95, 4.61, 6.818, 9.594, 12.99, 17.04");
        }
      }

      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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("3.855, 3.955, 4.217, 4.562, 4.961, 5.414, 5.93, 6.523, 7.208, 8.001",\
                 "3.914, 4.015, 4.277, 4.621, 5.021, 5.473, 5.989, 6.582, 7.268, 8.062",\
                 "4.102, 4.204, 4.465, 4.81, 5.209, 5.662, 6.178, 6.771, 7.457, 8.25",\
                 "4.486, 4.587, 4.849, 5.194, 5.593, 6.045, 6.561, 7.155, 7.84, 8.634",\
                 "5.109, 5.21, 5.471, 5.816, 6.214, 6.667, 7.184, 7.776, 8.463, 9.256",\
                 "6, 6.101, 6.362, 6.707, 7.107, 7.559, 8.075, 8.668, 9.354, 10.15",\
                 "7.186, 7.288, 7.548, 7.894, 8.292, 8.745, 9.261, 9.855, 10.54, 11.33",\
                 "8.688, 8.789, 9.05, 9.394, 9.792, 10.25, 10.76, 11.36, 12.04, 12.83",\
                 "10.5, 10.6, 10.86, 11.21, 11.62, 12.07, 12.59, 13.18, 13.87, 14.66",\
                 "12.57, 12.68, 12.96, 13.32, 13.73, 14.19, 14.71, 15.31, 16, 16.79");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("1.623, 1.719, 2.008, 2.498, 3.231, 4.246, 5.576, 7.245, 9.28, 11.71",\
                 "1.673, 1.769, 2.058, 2.548, 3.281, 4.295, 5.626, 7.295, 9.331, 11.75",\
                 "1.857, 1.953, 2.242, 2.732, 3.465, 4.48, 5.81, 7.479, 9.514, 11.94",\
                 "2.206, 2.303, 2.591, 3.081, 3.813, 4.827, 6.157, 7.826, 9.863, 12.29",\
                 "2.75, 2.845, 3.133, 3.623, 4.354, 5.368, 6.697, 8.368, 10.41, 12.83",\
                 "3.483, 3.579, 3.87, 4.359, 5.089, 6.103, 7.432, 9.104, 11.14, 13.57",\
                 "4.326, 4.427, 4.724, 5.218, 5.949, 6.961, 8.291, 9.961, 12, 14.43",\
                 "5.257, 5.362, 5.665, 6.163, 6.897, 7.911, 9.237, 10.91, 12.95, 15.38",\
                 "6.271, 6.379, 6.692, 7.194, 7.928, 8.942, 10.27, 11.94, 13.98, 16.41",\
                 "7.364, 7.48, 7.802, 8.311, 9.046, 10.06, 11.39, 13.06, 15.1, 17.52");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.7926, 0.8538, 1.025, 1.288, 1.653, 2.13, 2.751, 3.542, 4.546, 5.774",\
                 "0.7922, 0.8528, 1.025, 1.288, 1.652, 2.128, 2.752, 3.544, 4.547, 5.772",\
                 "0.7932, 0.8532, 1.025, 1.288, 1.653, 2.129, 2.752, 3.544, 4.546, 5.774",\
                 "0.7934, 0.8532, 1.025, 1.288, 1.65, 2.128, 2.752, 3.544, 4.547, 5.777",\
                 "0.7928, 0.8534, 1.025, 1.288, 1.65, 2.126, 2.751, 3.545, 4.547, 5.777",\
                 "0.793, 0.8536, 1.025, 1.289, 1.65, 2.131, 2.753, 3.544, 4.548, 5.774",\
                 "0.794, 0.854, 1.024, 1.29, 1.652, 2.128, 2.752, 3.544, 4.546, 5.776",\
                 "0.796, 0.856, 1.03, 1.294, 1.652, 2.132, 2.752, 3.546, 4.544, 5.776",\
                 "0.828, 0.886, 1.056, 1.314, 1.666, 2.14, 2.756, 3.55, 4.548, 5.776",\
                 "0.914, 0.966, 1.126, 1.366, 1.708, 2.172, 2.782, 3.57, 4.56, 5.78");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.5046, 0.6138, 0.9896, 1.723, 2.906, 4.576, 6.787, 9.597, 12.98, 17.04",\
                 "0.505, 0.6148, 0.9896, 1.721, 2.906, 4.577, 6.788, 9.589, 12.98, 17.03",\
                 "0.505, 0.6144, 0.9896, 1.723, 2.901, 4.585, 6.789, 9.591, 12.97, 17.03",\
                 "0.505, 0.6136, 0.9896, 1.723, 2.9, 4.576, 6.789, 9.572, 12.97, 17.05",\
                 "0.5058, 0.615, 0.991, 1.723, 2.904, 4.584, 6.802, 9.58, 13, 17.06",\
                 "0.518, 0.6256, 0.9946, 1.724, 2.902, 4.584, 6.796, 9.588, 12.98, 17.04",\
                 "0.552, 0.6582, 1.022, 1.741, 2.907, 4.577, 6.786, 9.572, 12.97, 17.06",\
                 "0.594, 0.696, 1.05, 1.762, 2.924, 4.588, 6.79, 9.574, 12.98, 17.03",\
                 "0.646, 0.746, 1.088, 1.782, 2.936, 4.604, 6.804, 9.582, 12.98, 17.04",\
                 "0.71, 0.802, 1.134, 1.808, 2.95, 4.616, 6.818, 9.594, 12.99, 17.06");
        }
      }

      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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("3.855, 3.955, 4.217, 4.562, 4.961, 5.414, 5.93, 6.523, 7.208, 8.001",\
                 "3.914, 4.015, 4.277, 4.621, 5.021, 5.473, 5.989, 6.582, 7.268, 8.062",\
                 "4.102, 4.204, 4.465, 4.81, 5.209, 5.662, 6.178, 6.771, 7.457, 8.25",\
                 "4.486, 4.587, 4.849, 5.194, 5.593, 6.045, 6.561, 7.155, 7.84, 8.634",\
                 "5.109, 5.21, 5.471, 5.816, 6.214, 6.667, 7.184, 7.776, 8.463, 9.256",\
                 "6, 6.101, 6.362, 6.707, 7.107, 7.559, 8.075, 8.668, 9.354, 10.15",\
                 "7.186, 7.288, 7.548, 7.894, 8.292, 8.745, 9.261, 9.855, 10.54, 11.33",\
                 "8.688, 8.789, 9.05, 9.394, 9.792, 10.25, 10.76, 11.36, 12.04, 12.83",\
                 "10.5, 10.6, 10.86, 11.21, 11.62, 12.07, 12.59, 13.18, 13.87, 14.66",\
                 "12.57, 12.68, 12.96, 13.32, 13.73, 14.19, 14.71, 15.31, 16, 16.79");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("1.623, 1.719, 2.008, 2.498, 3.231, 4.246, 5.576, 7.245, 9.28, 11.71",\
                 "1.673, 1.769, 2.058, 2.548, 3.281, 4.295, 5.626, 7.295, 9.331, 11.75",\
                 "1.857, 1.953, 2.242, 2.732, 3.465, 4.48, 5.81, 7.479, 9.514, 11.94",\
                 "2.206, 2.303, 2.591, 3.081, 3.813, 4.827, 6.157, 7.826, 9.863, 12.29",\
                 "2.75, 2.845, 3.133, 3.623, 4.354, 5.368, 6.697, 8.368, 10.41, 12.83",\
                 "3.483, 3.579, 3.87, 4.359, 5.089, 6.103, 7.432, 9.104, 11.14, 13.57",\
                 "4.326, 4.427, 4.724, 5.218, 5.949, 6.961, 8.291, 9.961, 12, 14.43",\
                 "5.257, 5.362, 5.665, 6.163, 6.897, 7.911, 9.237, 10.91, 12.95, 15.38",\
                 "6.271, 6.379, 6.692, 7.194, 7.928, 8.942, 10.27, 11.94, 13.98, 16.41",\
                 "7.364, 7.48, 7.802, 8.311, 9.046, 10.06, 11.39, 13.06, 15.1, 17.52");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.7926, 0.854, 1.025, 1.288, 1.653, 2.13, 2.751, 3.542, 4.546, 5.774",\
                 "0.7922, 0.8528, 1.025, 1.288, 1.652, 2.128, 2.752, 3.544, 4.547, 5.772",\
                 "0.7932, 0.8532, 1.025, 1.289, 1.653, 2.129, 2.752, 3.544, 4.546, 5.774",\
                 "0.793, 0.8532, 1.025, 1.288, 1.653, 2.128, 2.751, 3.545, 4.544, 5.775",\
                 "0.793, 0.8534, 1.025, 1.289, 1.65, 2.127, 2.752, 3.545, 4.546, 5.777",\
                 "0.7934, 0.8526, 1.025, 1.289, 1.65, 2.127, 2.752, 3.546, 4.546, 5.776",\
                 "0.792, 0.854, 1.026, 1.288, 1.652, 2.128, 2.752, 3.546, 4.544, 5.776",\
                 "0.796, 0.856, 1.03, 1.292, 1.656, 2.13, 2.754, 3.548, 4.546, 5.776",\
                 "0.828, 0.884, 1.056, 1.314, 1.668, 2.138, 2.756, 3.552, 4.55, 5.778",\
                 "0.912, 0.968, 1.126, 1.368, 1.706, 2.172, 2.782, 3.566, 4.562, 5.784");
        }

        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.006613, 0.02632, 0.06394, 0.1226, 0.2048, 0.3131, 0.4494, 0.6159, 0.8143");
          values("0.5046, 0.6138, 0.9896, 1.723, 2.906, 4.576, 6.787, 9.597, 12.98, 17.04",\
                 "0.505, 0.6148, 0.9896, 1.721, 2.906, 4.577, 6.788, 9.589, 12.98, 17.03",\
                 "0.505, 0.6144, 0.9896, 1.723, 2.901, 4.585, 6.789, 9.591, 12.97, 17.03",\
                 "0.505, 0.6136, 0.9896, 1.723, 2.9, 4.576, 6.789, 9.572, 12.97, 17.05",\
                 "0.5058, 0.615, 0.991, 1.723, 2.904, 4.584, 6.802, 9.58, 13, 17.06",\
                 "0.518, 0.6256, 0.9946, 1.724, 2.902, 4.584, 6.796, 9.588, 12.98, 17.04",\
                 "0.552, 0.6582, 1.022, 1.741, 2.907, 4.577, 6.786, 9.572, 12.97, 17.06",\
                 "0.594, 0.696, 1.05, 1.762, 2.924, 4.588, 6.79, 9.574, 12.98, 17.03",\
                 "0.646, 0.746, 1.088, 1.782, 2.936, 4.604, 6.804, 9.582, 12.98, 17.04",\
                 "0.71, 0.802, 1.134, 1.808, 2.95, 4.616, 6.818, 9.594, 12.99, 17.06");
        }
      }
    }
  }