  cell(gf180mcu_fd_sc_mcu9t5v0__xor3_4) {
    area : 90.316800 ;

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

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

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

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

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

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

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

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

    leakage_power() {
      related_pg_pin : "VDD" ;
      value : "4.436694e-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.004573 ;
      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.004908 ;
      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.007447 ;
      direction : input ;
      driver_waveform_rise : driver_waveform_default_rise ;
      driver_waveform_fall : driver_waveform_default_fall ;
      input_voltage : default ;
      max_transition : 17 ;
      related_ground_pin : VSS ;
      related_power_pin : VDD ;
    }

    pin(Z) {
      direction : output ;
      function : "(A1^A2^A3)" ;
      max_capacitance : 0.8124 ;
      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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.08507, 0.08533, 0.086, 0.08682, 0.08758, 0.0882, 0.08866, 0.08897, 0.0892, 0.08935",\
                 "0.08506, 0.08529, 0.08597, 0.08677, 0.08754, 0.08817, 0.08862, 0.08893, 0.08916, 0.08931",\
                 "0.08493, 0.0852, 0.08587, 0.08668, 0.08747, 0.08808, 0.08852, 0.08884, 0.08907, 0.08922",\
                 "0.08488, 0.08516, 0.08581, 0.08662, 0.08739, 0.08801, 0.08845, 0.08878, 0.089, 0.08914",\
                 "0.08487, 0.08511, 0.08577, 0.0866, 0.08735, 0.08799, 0.08843, 0.08874, 0.08897, 0.08908",\
                 "0.08481, 0.08505, 0.08572, 0.08654, 0.08733, 0.08793, 0.08837, 0.08868, 0.08889, 0.08887",\
                 "0.08472, 0.08498, 0.08566, 0.08647, 0.08723, 0.08786, 0.08829, 0.08857, 0.08856, 0.08761",\
                 "0.08456, 0.08484, 0.08547, 0.08628, 0.08706, 0.08758, 0.08781, 0.08715, 0.08458, 0.08139",\
                 "0.07992, 0.08015, 0.0807, 0.0811, 0.07985, 0.07615, 0.07342, 0.07155, 0.07027, 0.06936",\
                 "0.03147, 0.03162, 0.03206, 0.03271, 0.03336, 0.03391, 0.0343, 0.03456, 0.03474, 0.03487");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.06616, 0.06633, 0.06686, 0.06746, 0.06809, 0.06892, 0.06994, 0.08296, 0.2027, 0.4731",\
                 "0.06619, 0.06639, 0.06684, 0.06748, 0.06815, 0.06892, 0.06994, 0.08406, 0.2084, 0.4787",\
                 "0.06621, 0.06642, 0.06692, 0.06748, 0.06815, 0.06898, 0.07007, 0.08775, 0.2273, 0.4968",\
                 "0.06613, 0.06634, 0.06678, 0.0674, 0.06801, 0.06877, 0.07046, 0.09668, 0.2642, 0.5254",\
                 "0.06604, 0.06625, 0.06667, 0.0673, 0.06801, 0.06877, 0.07148, 0.1171, 0.3193, 0.5577",\
                 "0.06594, 0.06615, 0.06662, 0.06722, 0.06797, 0.06871, 0.07534, 0.1624, 0.3846, 0.5832",\
                 "0.06583, 0.06604, 0.0665, 0.06712, 0.06776, 0.06886, 0.09238, 0.244, 0.4403, 0.5874",\
                 "0.06569, 0.06587, 0.06631, 0.06699, 0.06773, 0.07365, 0.1598, 0.3289, 0.458, 0.5499",\
                 "0.0654, 0.06561, 0.06606, 0.0667, 0.06958, 0.1319, 0.2543, 0.3416, 0.4012, 0.4427",\
                 "0.06429, 0.06448, 0.06488, 0.07903, 0.133, 0.1717, 0.196, 0.2116, 0.2218, 0.2288");
        }
      }

      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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.09704, 0.09735, 0.09804, 0.09885, 0.09955, 0.1001, 0.1004, 0.1007, 0.1009, 0.101",\
                 "0.09709, 0.09738, 0.09808, 0.09891, 0.0996, 0.1001, 0.1005, 0.1007, 0.1009, 0.101",\
                 "0.09707, 0.09739, 0.09809, 0.09894, 0.09962, 0.1001, 0.1005, 0.1008, 0.1009, 0.101",\
                 "0.09705, 0.09731, 0.09802, 0.09885, 0.09953, 0.1001, 0.1004, 0.1007, 0.1008, 0.1009",\
                 "0.09692, 0.09721, 0.09792, 0.09875, 0.09945, 0.09997, 0.1003, 0.1006, 0.1007, 0.1008",\
                 "0.09681, 0.09712, 0.0978, 0.09861, 0.09933, 0.09984, 0.1002, 0.1005, 0.1006, 0.1006",\
                 "0.09668, 0.09697, 0.09767, 0.0985, 0.09921, 0.09973, 0.1001, 0.1003, 0.1004, 0.09974",\
                 "0.09658, 0.09686, 0.09757, 0.09837, 0.09908, 0.0996, 0.09995, 0.1, 0.09902, 0.09601",\
                 "0.09635, 0.09668, 0.09738, 0.09816, 0.09884, 0.09923, 0.09841, 0.09492, 0.09143, 0.08888",\
                 "0.08729, 0.08744, 0.08531, 0.08113, 0.07867, 0.07733, 0.07657, 0.07612, 0.07583, 0.07564");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.02789, 0.02817, 0.02876, 0.02959, 0.03046, 0.03126, 0.03214, 0.04476, 0.1593, 0.4302",\
                 "0.02783, 0.02811, 0.0287, 0.02948, 0.03049, 0.0312, 0.03216, 0.04534, 0.1637, 0.4348",\
                 "0.02776, 0.02802, 0.02863, 0.02941, 0.03033, 0.03131, 0.03251, 0.04871, 0.1819, 0.4525",\
                 "0.0277, 0.028, 0.02856, 0.02935, 0.03027, 0.03126, 0.03249, 0.05762, 0.2199, 0.4838",\
                 "0.02764, 0.0279, 0.02855, 0.0293, 0.0303, 0.03125, 0.03362, 0.08031, 0.2846, 0.5212",\
                 "0.0276, 0.02787, 0.02842, 0.02925, 0.03025, 0.03125, 0.03985, 0.1417, 0.3628, 0.5491",\
                 "0.02755, 0.02775, 0.0284, 0.02922, 0.03002, 0.03243, 0.07774, 0.252, 0.418, 0.5383",\
                 "0.02745, 0.02771, 0.02834, 0.02914, 0.0307, 0.06591, 0.1998, 0.3118, 0.3891, 0.4432",\
                 "0.02733, 0.02757, 0.02815, 0.04033, 0.09635, 0.1376, 0.1635, 0.18, 0.1908, 0.1982",\
                 "-0.0313, -0.03131, -0.0313, -0.0313, -0.0313, -0.0313, -0.0313, -0.0313, -0.0313, -0.0313");
        }
      }

      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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.06919, 0.06946, 0.07012, 0.07092, 0.07169, 0.07231, 0.07277, 0.0731, 0.07333, 0.07348",\
                 "0.0692, 0.06945, 0.07011, 0.07091, 0.07168, 0.07231, 0.07277, 0.0731, 0.07332, 0.07347",\
                 "0.0692, 0.06944, 0.0701, 0.07092, 0.07168, 0.0723, 0.07277, 0.07309, 0.07333, 0.07348",\
                 "0.06913, 0.0694, 0.07005, 0.07085, 0.07162, 0.07224, 0.0727, 0.07303, 0.07326, 0.07341",\
                 "0.06898, 0.06925, 0.06991, 0.07072, 0.0715, 0.0721, 0.07257, 0.07288, 0.07312, 0.07327",\
                 "0.06886, 0.06911, 0.06978, 0.07058, 0.07133, 0.07195, 0.07241, 0.07273, 0.07298, 0.07312",\
                 "0.06873, 0.069, 0.06963, 0.07044, 0.0712, 0.07181, 0.07228, 0.07261, 0.07284, 0.07296",\
                 "0.06864, 0.06889, 0.06954, 0.07032, 0.07107, 0.07169, 0.07216, 0.07249, 0.07269, 0.07262",\
                 "0.06855, 0.06877, 0.06942, 0.07021, 0.07099, 0.07159, 0.07202, 0.07225, 0.07195, 0.07022",\
                 "0.06813, 0.06836, 0.06899, 0.06977, 0.07044, 0.07082, 0.07043, 0.06803, 0.06465, 0.06204");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.03528, 0.03545, 0.03593, 0.03657, 0.03723, 0.03787, 0.03896, 0.04707, 0.1346, 0.3966",\
                 "0.03532, 0.03549, 0.03598, 0.0366, 0.03736, 0.03811, 0.0387, 0.04746, 0.1399, 0.4037",\
                 "0.03524, 0.0354, 0.03591, 0.03652, 0.03725, 0.03804, 0.03906, 0.04954, 0.1543, 0.4233",\
                 "0.03512, 0.03531, 0.03579, 0.03638, 0.03721, 0.03787, 0.03944, 0.05514, 0.1893, 0.4593",\
                 "0.035, 0.03522, 0.03568, 0.03633, 0.03703, 0.03763, 0.03963, 0.07088, 0.2516, 0.5064",\
                 "0.03491, 0.03511, 0.03556, 0.03621, 0.037, 0.03768, 0.04308, 0.1194, 0.3404, 0.5481",\
                 "0.03483, 0.03496, 0.03544, 0.03613, 0.03679, 0.03831, 0.06824, 0.2305, 0.4163, 0.5534",\
                 "0.03462, 0.0348, 0.03525, 0.03592, 0.03688, 0.05968, 0.189, 0.3181, 0.4083, 0.4717",\
                 "0.03364, 0.0338, 0.03423, 0.04069, 0.09876, 0.1503, 0.1832, 0.2043, 0.2183, 0.228",\
                 "-0.02396, -0.02397, -0.02397, -0.02396, -0.02397, -0.02397, -0.02397, -0.02398, -0.02398, -0.02398");
        }
      }

      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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.09555, 0.09584, 0.09653, 0.09735, 0.09803, 0.09856, 0.09892, 0.09917, 0.09934, 0.09945",\
                 "0.09553, 0.09583, 0.09655, 0.09737, 0.09807, 0.09859, 0.09896, 0.09922, 0.09938, 0.09949",\
                 "0.0955, 0.09577, 0.09648, 0.0973, 0.098, 0.09851, 0.09888, 0.09914, 0.09931, 0.09942",\
                 "0.09534, 0.09566, 0.09637, 0.09718, 0.09788, 0.0984, 0.09876, 0.09902, 0.09919, 0.0993",\
                 "0.09527, 0.09554, 0.09624, 0.09705, 0.09776, 0.09827, 0.09864, 0.0989, 0.09907, 0.09916",\
                 "0.09518, 0.09544, 0.09615, 0.09697, 0.09768, 0.0982, 0.09856, 0.0988, 0.09897, 0.09897",\
                 "0.09504, 0.09533, 0.09605, 0.09687, 0.09757, 0.09808, 0.09843, 0.09868, 0.0987, 0.09777",\
                 "0.09494, 0.09522, 0.09593, 0.09673, 0.09743, 0.09794, 0.09817, 0.09733, 0.09416, 0.09083",\
                 "0.08991, 0.09012, 0.09032, 0.08768, 0.08345, 0.08085, 0.07927, 0.07826, 0.0776, 0.07716",\
                 "0.01643, 0.01643, 0.01643, 0.01643, 0.01642, 0.01642, 0.01641, 0.01641, 0.01641, 0.01641");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.07214, 0.07241, 0.073, 0.07384, 0.07467, 0.07547, 0.07652, 0.07853, 0.1099, 0.2909",\
                 "0.07214, 0.07241, 0.07301, 0.07379, 0.07459, 0.0755, 0.07626, 0.07864, 0.1107, 0.2967",\
                 "0.07213, 0.07239, 0.07302, 0.07379, 0.07459, 0.07567, 0.07657, 0.07933, 0.117, 0.3152",\
                 "0.07209, 0.07233, 0.07293, 0.07379, 0.07456, 0.07544, 0.07656, 0.0799, 0.1305, 0.3536",\
                 "0.07208, 0.07226, 0.07292, 0.07375, 0.07459, 0.07541, 0.07643, 0.08306, 0.1598, 0.4135",\
                 "0.07195, 0.07224, 0.07279, 0.07363, 0.07461, 0.07529, 0.07624, 0.09111, 0.2192, 0.4904",\
                 "0.07189, 0.07212, 0.07274, 0.07356, 0.07433, 0.07525, 0.07771, 0.1194, 0.3169, 0.5599",\
                 "0.07177, 0.07203, 0.07263, 0.07345, 0.07446, 0.0752, 0.08674, 0.2036, 0.421, 0.5954",\
                 "0.07171, 0.07197, 0.07256, 0.07348, 0.07433, 0.07907, 0.1536, 0.3275, 0.4657, 0.5644",\
                 "0.07169, 0.07195, 0.07254, 0.07335, 0.07917, 0.158, 0.2661, 0.34, 0.3902, 0.425");
        }
      }

      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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.0845, 0.08477, 0.08543, 0.08624, 0.08701, 0.08762, 0.08808, 0.08839, 0.08862, 0.08876",\
                 "0.08445, 0.0847, 0.08537, 0.08619, 0.08695, 0.08758, 0.08802, 0.08834, 0.08857, 0.08871",\
                 "0.08435, 0.08459, 0.08526, 0.08606, 0.08685, 0.08745, 0.0879, 0.08821, 0.08845, 0.0886",\
                 "0.08425, 0.08449, 0.08516, 0.08598, 0.08677, 0.08737, 0.08783, 0.08813, 0.08836, 0.0885",\
                 "0.0842, 0.08446, 0.08513, 0.08593, 0.08672, 0.08733, 0.08776, 0.08808, 0.08831, 0.08843",\
                 "0.08415, 0.08441, 0.08508, 0.08588, 0.08667, 0.08728, 0.08772, 0.08803, 0.08824, 0.08823",\
                 "0.0841, 0.08433, 0.085, 0.08582, 0.08658, 0.0872, 0.08764, 0.08792, 0.08791, 0.08695",\
                 "0.08392, 0.08415, 0.08482, 0.08561, 0.08635, 0.0869, 0.08708, 0.08627, 0.08352, 0.08037",\
                 "0.07769, 0.07792, 0.07846, 0.07861, 0.07574, 0.07248, 0.07029, 0.06883, 0.06784, 0.06713",\
                 "0.02755, 0.02766, 0.02796, 0.02841, 0.02885, 0.0292, 0.02941, 0.02955, 0.02965, 0.02971");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.06675, 0.06697, 0.06741, 0.06799, 0.06879, 0.06942, 0.07062, 0.08208, 0.1938, 0.4636",\
                 "0.06676, 0.06696, 0.06742, 0.06805, 0.06883, 0.06963, 0.07057, 0.08264, 0.199, 0.4691",\
                 "0.06682, 0.06697, 0.06746, 0.06807, 0.06881, 0.06966, 0.07068, 0.08561, 0.2167, 0.487",\
                 "0.06672, 0.06689, 0.06734, 0.06796, 0.06873, 0.06924, 0.07091, 0.09377, 0.2522, 0.5169",\
                 "0.06663, 0.06682, 0.06725, 0.06791, 0.06868, 0.06942, 0.07226, 0.1119, 0.3068, 0.5517",\
                 "0.06655, 0.06672, 0.06722, 0.0678, 0.06858, 0.06921, 0.0749, 0.1528, 0.3741, 0.5805",\
                 "0.06646, 0.06666, 0.06709, 0.06775, 0.06855, 0.06961, 0.08879, 0.2317, 0.4347, 0.5894",\
                 "0.06634, 0.0665, 0.06698, 0.06762, 0.06845, 0.07291, 0.1486, 0.3217, 0.4596, 0.5582",\
                 "0.0661, 0.06629, 0.06676, 0.0673, 0.06942, 0.1203, 0.2495, 0.3463, 0.4127, 0.459",\
                 "0.06523, 0.06542, 0.06584, 0.07334, 0.1314, 0.1808, 0.2123, 0.2325, 0.2458, 0.2549");
        }
      }

      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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.0959, 0.0962, 0.0969, 0.0977, 0.09839, 0.09892, 0.09928, 0.09953, 0.0997, 0.09981",\
                 "0.09591, 0.09619, 0.0969, 0.09775, 0.09842, 0.09896, 0.09931, 0.09956, 0.09973, 0.09984",\
                 "0.09589, 0.0962, 0.09691, 0.09775, 0.09843, 0.09896, 0.09932, 0.09957, 0.09972, 0.09983",\
                 "0.09583, 0.09613, 0.09684, 0.09766, 0.09836, 0.09887, 0.09924, 0.0995, 0.09966, 0.09976",\
                 "0.09576, 0.09604, 0.09674, 0.09758, 0.09827, 0.09878, 0.09917, 0.09941, 0.09957, 0.09965",\
                 "0.09568, 0.09596, 0.09665, 0.09747, 0.09818, 0.09869, 0.09906, 0.0993, 0.09946, 0.09947",\
                 "0.09554, 0.09584, 0.09657, 0.09738, 0.09808, 0.09859, 0.09898, 0.09921, 0.09931, 0.09882",\
                 "0.09542, 0.09574, 0.09644, 0.09726, 0.09798, 0.09848, 0.09884, 0.09899, 0.09828, 0.09559",\
                 "0.09529, 0.0956, 0.09629, 0.09712, 0.0978, 0.09826, 0.09791, 0.09506, 0.09136, 0.08863",\
                 "0.08983, 0.09004, 0.09017, 0.08692, 0.08294, 0.08054, 0.0791, 0.07819, 0.0776, 0.07719");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("-0.01889, -0.01864, -0.01797, -0.01726, -0.01621, -0.01536, -0.01453, -0.00287, 0.1066, 0.3777",\
                 "-0.01896, -0.01868, -0.01808, -0.01723, -0.01629, -0.01559, -0.01436, -0.002598, 0.1104, 0.3817",\
                 "-0.01906, -0.01879, -0.01818, -0.01732, -0.01658, -0.01572, -0.01443, 0.0003983, 0.1269, 0.3982",\
                 "-0.01916, -0.01892, -0.0183, -0.01748, -0.0165, -0.01557, -0.01452, 0.008079, 0.1638, 0.4301",\
                 "-0.01918, -0.01892, -0.01838, -0.01747, -0.01653, -0.0156, -0.01295, 0.0297, 0.2289, 0.4705",\
                 "-0.01927, -0.01901, -0.0184, -0.01755, -0.01676, -0.01565, -0.007327, 0.09056, 0.3125, 0.5015",\
                 "-0.0193, -0.01906, -0.01848, -0.01765, -0.01664, -0.01442, 0.03055, 0.2052, 0.3712, 0.4914",\
                 "-0.01937, -0.01915, -0.0185, -0.01771, -0.01616, 0.02438, 0.157, 0.2643, 0.3381, 0.3897",\
                 "-0.01956, -0.01936, -0.01882, 0.002305, 0.04883, 0.07954, 0.09851, 0.1105, 0.1184, 0.1238",\
                 "-0.08077, -0.08077, -0.08077, -0.08077, -0.08077, -0.08076, -0.08077, -0.08076, -0.08077, -0.08077");
        }
      }

      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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.0696, 0.06984, 0.0705, 0.0713, 0.07209, 0.07269, 0.07316, 0.07348, 0.07371, 0.07386",\
                 "0.06959, 0.06986, 0.07051, 0.07131, 0.07208, 0.0727, 0.07318, 0.07349, 0.07372, 0.07388",\
                 "0.0696, 0.06984, 0.07052, 0.07132, 0.07208, 0.07272, 0.07318, 0.0735, 0.07374, 0.07389",\
                 "0.06958, 0.06982, 0.0705, 0.07129, 0.07208, 0.07267, 0.07313, 0.07347, 0.0737, 0.07386",\
                 "0.06946, 0.06972, 0.07038, 0.07119, 0.07195, 0.07258, 0.07304, 0.07337, 0.0736, 0.07375",\
                 "0.06933, 0.06959, 0.07027, 0.07107, 0.07183, 0.07244, 0.07291, 0.07324, 0.07347, 0.07362",\
                 "0.06923, 0.06948, 0.07015, 0.07095, 0.07171, 0.07233, 0.07279, 0.07313, 0.07335, 0.07348",\
                 "0.06916, 0.0694, 0.07004, 0.07082, 0.07158, 0.07221, 0.07268, 0.073, 0.07322, 0.07317",\
                 "0.06901, 0.06928, 0.06993, 0.07074, 0.07149, 0.07211, 0.07256, 0.07282, 0.07266, 0.07127",\
                 "0.06873, 0.06898, 0.06963, 0.07041, 0.07112, 0.07158, 0.0715, 0.06979, 0.06645, 0.06362");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.009274, 0.009442, 0.009966, 0.01059, 0.01126, 0.01203, 0.01296, 0.02248, 0.1208, 0.3869",\
                 "0.009219, 0.009398, 0.009889, 0.01049, 0.01123, 0.01195, 0.01292, 0.02289, 0.1246, 0.3919",\
                 "0.00917, 0.009364, 0.009837, 0.01044, 0.0111, 0.0118, 0.01294, 0.02554, 0.1412, 0.4114",\
                 "0.009083, 0.00929, 0.009777, 0.0103, 0.01091, 0.01182, 0.01308, 0.03236, 0.1777, 0.4461",\
                 "0.009014, 0.009235, 0.009686, 0.01035, 0.01107, 0.01163, 0.01392, 0.05132, 0.2423, 0.4902",\
                 "0.008945, 0.00912, 0.009612, 0.01022, 0.01086, 0.01186, 0.01851, 0.1057, 0.3286, 0.5265",\
                 "0.008841, 0.009053, 0.009482, 0.0101, 0.01088, 0.01268, 0.05049, 0.2206, 0.3956, 0.5233",\
                 "0.008653, 0.008797, 0.009291, 0.009942, 0.01118, 0.04259, 0.176, 0.2926, 0.3734, 0.43",\
                 "0.00741, 0.007582, 0.008015, 0.02237, 0.07612, 0.1144, 0.1384, 0.1538, 0.1639, 0.1708",\
                 "-0.0522, -0.0522, -0.0522, -0.0522, -0.0522, -0.0522, -0.05221, -0.05221, -0.05221, -0.05221");
        }
      }

      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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.09643, 0.09671, 0.09743, 0.09824, 0.09895, 0.09947, 0.09983, 0.1001, 0.1002, 0.1004",\
                 "0.09639, 0.09665, 0.09738, 0.0982, 0.09889, 0.09941, 0.09978, 0.1, 0.1002, 0.1003",\
                 "0.09634, 0.09664, 0.09731, 0.09813, 0.09883, 0.09934, 0.09971, 0.09996, 0.1001, 0.1002",\
                 "0.09626, 0.09656, 0.09724, 0.09806, 0.09876, 0.09927, 0.09964, 0.09989, 0.1001, 0.1002",\
                 "0.09613, 0.09645, 0.09717, 0.09801, 0.09869, 0.0992, 0.09958, 0.09982, 0.09999, 0.1001",\
                 "0.09609, 0.09638, 0.09707, 0.09789, 0.0986, 0.0991, 0.0995, 0.09974, 0.09989, 0.09983",\
                 "0.09597, 0.09628, 0.09698, 0.09781, 0.0985, 0.09901, 0.09938, 0.09962, 0.09956, 0.0983",\
                 "0.09586, 0.09613, 0.09684, 0.09765, 0.09836, 0.09886, 0.09897, 0.09752, 0.09391, 0.0908",\
                 "0.08663, 0.08673, 0.08443, 0.08032, 0.07792, 0.07661, 0.07587, 0.07543, 0.07515, 0.07496",\
                 "0.01598, 0.01598, 0.01597, 0.01597, 0.01597, 0.01597, 0.01597, 0.01597, 0.01597, 0.01597");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.0725, 0.0728, 0.07335, 0.07422, 0.07517, 0.0761, 0.07666, 0.07922, 0.1098, 0.2928",\
                 "0.07257, 0.07277, 0.0734, 0.07417, 0.07498, 0.07587, 0.07692, 0.07883, 0.1121, 0.2985",\
                 "0.07254, 0.07282, 0.07344, 0.0742, 0.07502, 0.07615, 0.07661, 0.07974, 0.1178, 0.3171",\
                 "0.07253, 0.07282, 0.07342, 0.07422, 0.07519, 0.07612, 0.07704, 0.08024, 0.1308, 0.3532",\
                 "0.07249, 0.07276, 0.07332, 0.07416, 0.07515, 0.07608, 0.07664, 0.08332, 0.158, 0.41",\
                 "0.07245, 0.07268, 0.07327, 0.07409, 0.0749, 0.07574, 0.07669, 0.0908, 0.2122, 0.4835",\
                 "0.07237, 0.07261, 0.07325, 0.07401, 0.07481, 0.07594, 0.0782, 0.115, 0.3053, 0.554",\
                 "0.07228, 0.07257, 0.07316, 0.07401, 0.07498, 0.07596, 0.08547, 0.1911, 0.4117, 0.5946",\
                 "0.07219, 0.07244, 0.07304, 0.07382, 0.07468, 0.07834, 0.1408, 0.3173, 0.466, 0.5726",\
                 "0.07216, 0.07246, 0.07303, 0.07379, 0.07757, 0.1428, 0.263, 0.348, 0.4059, 0.4462");
        }
      }

      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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.0675, 0.06774, 0.06841, 0.06923, 0.06999, 0.07059, 0.07105, 0.07136, 0.07158, 0.07173",\
                 "0.06754, 0.06777, 0.06846, 0.06927, 0.07005, 0.07065, 0.0711, 0.07141, 0.07163, 0.07179",\
                 "0.06726, 0.06753, 0.06821, 0.06904, 0.06981, 0.07043, 0.07088, 0.0712, 0.07141, 0.07157",\
                 "0.06689, 0.06714, 0.06781, 0.06863, 0.06941, 0.07004, 0.0705, 0.07083, 0.07105, 0.07119",\
                 "0.06654, 0.0668, 0.06745, 0.06826, 0.06902, 0.06964, 0.0701, 0.07044, 0.07067, 0.07083",\
                 "0.06632, 0.06656, 0.06719, 0.06796, 0.06867, 0.06926, 0.06974, 0.0701, 0.07034, 0.07053",\
                 "0.06616, 0.06637, 0.06696, 0.06766, 0.06831, 0.06889, 0.06937, 0.06976, 0.07003, 0.07022",\
                 "0.06594, 0.06615, 0.06669, 0.06735, 0.06795, 0.06854, 0.06902, 0.06944, 0.06972, 0.06972",\
                 "0.06574, 0.06596, 0.06645, 0.06706, 0.06765, 0.0682, 0.06862, 0.06877, 0.06784, 0.06519",\
                 "0.06153, 0.06174, 0.06212, 0.06241, 0.06172, 0.05823, 0.05522, 0.0532, 0.05186, 0.05092");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.04718, 0.04745, 0.0481, 0.04903, 0.05016, 0.05102, 0.0516, 0.05225, 0.05939, 0.1276",\
                 "0.04723, 0.04748, 0.04815, 0.04905, 0.05009, 0.05109, 0.05197, 0.05249, 0.06002, 0.1307",\
                 "0.04728, 0.04753, 0.04827, 0.04913, 0.05022, 0.05112, 0.05203, 0.05293, 0.06065, 0.1407",\
                 "0.04716, 0.04745, 0.04805, 0.04885, 0.0498, 0.05088, 0.05132, 0.05269, 0.06329, 0.162",\
                 "0.04686, 0.04707, 0.04771, 0.04842, 0.04937, 0.05025, 0.05066, 0.05254, 0.06955, 0.2041",\
                 "0.04652, 0.04674, 0.0473, 0.04798, 0.04881, 0.04945, 0.05019, 0.05251, 0.08764, 0.2776",\
                 "0.04622, 0.04638, 0.04692, 0.04754, 0.04831, 0.04908, 0.04966, 0.05592, 0.1326, 0.3858",\
                 "0.04597, 0.0462, 0.04662, 0.04717, 0.04797, 0.04851, 0.05026, 0.07455, 0.2351, 0.4997",\
                 "0.04579, 0.04595, 0.04638, 0.04689, 0.04747, 0.04845, 0.05695, 0.1563, 0.3779, 0.5661",\
                 "0.04559, 0.04579, 0.04614, 0.04665, 0.04722, 0.05325, 0.1388, 0.3074, 0.4375, 0.5304");
        }
      }

      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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.07142, 0.07171, 0.07242, 0.07325, 0.07395, 0.07446, 0.07483, 0.07507, 0.07523, 0.07533",\
                 "0.07147, 0.07173, 0.07248, 0.07331, 0.07402, 0.07454, 0.0749, 0.07514, 0.0753, 0.07541",\
                 "0.07144, 0.07171, 0.07244, 0.07327, 0.07399, 0.0745, 0.07486, 0.0751, 0.07526, 0.07539",\
                 "0.07091, 0.07122, 0.07194, 0.07276, 0.07346, 0.07397, 0.07432, 0.07457, 0.07471, 0.07485",\
                 "0.07038, 0.07066, 0.07137, 0.07219, 0.07289, 0.07341, 0.07377, 0.07401, 0.07419, 0.07431",\
                 "0.06999, 0.07025, 0.07099, 0.07181, 0.07249, 0.07303, 0.07339, 0.07364, 0.07382, 0.07393",\
                 "0.06966, 0.06995, 0.07066, 0.07149, 0.07219, 0.0727, 0.07308, 0.07332, 0.07348, 0.0736",\
                 "0.06936, 0.06966, 0.0704, 0.07121, 0.07191, 0.07244, 0.07279, 0.07303, 0.0732, 0.07331",\
                 "0.06916, 0.06946, 0.07018, 0.07098, 0.07168, 0.07222, 0.07259, 0.07282, 0.073, 0.07301",\
                 "0.06901, 0.06931, 0.07001, 0.07084, 0.0715, 0.07206, 0.07242, 0.07265, 0.07255, 0.07116");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.07564, 0.0759, 0.0765, 0.07732, 0.07819, 0.07909, 0.0799, 0.08131, 0.09986, 0.2359",\
                 "0.07567, 0.07592, 0.07653, 0.07713, 0.07803, 0.07878, 0.07985, 0.08144, 0.1007, 0.24",\
                 "0.07571, 0.07594, 0.07654, 0.07731, 0.07804, 0.07894, 0.08007, 0.08118, 0.1046, 0.259",\
                 "0.07575, 0.07599, 0.07663, 0.07734, 0.07826, 0.07893, 0.08, 0.0819, 0.1145, 0.2983",\
                 "0.07564, 0.07594, 0.07648, 0.07714, 0.07821, 0.07878, 0.07996, 0.08353, 0.1375, 0.3673",\
                 "0.07547, 0.07575, 0.07632, 0.07711, 0.07801, 0.07891, 0.07993, 0.09041, 0.194, 0.4632",\
                 "0.07526, 0.0755, 0.07607, 0.07684, 0.07777, 0.07839, 0.08056, 0.1196, 0.3124, 0.5586",\
                 "0.07509, 0.07529, 0.07586, 0.07667, 0.07759, 0.07863, 0.0963, 0.2368, 0.4415, 0.5986",\
                 "0.07478, 0.07502, 0.07561, 0.07629, 0.07735, 0.1001, 0.2295, 0.3587, 0.4491, 0.5125",\
                 "0.07376, 0.07399, 0.07453, 0.09678, 0.1416, 0.1709, 0.1892, 0.2007, 0.2083, 0.2134");
        }
      }

      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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.07142, 0.07171, 0.07242, 0.07325, 0.07395, 0.07446, 0.07483, 0.07507, 0.07523, 0.07533",\
                 "0.07148, 0.07176, 0.07248, 0.07331, 0.07402, 0.07454, 0.07489, 0.07514, 0.0753, 0.07542",\
                 "0.0714, 0.0717, 0.07243, 0.07327, 0.07399, 0.0745, 0.07486, 0.0751, 0.07526, 0.07539",\
                 "0.0709, 0.07122, 0.07194, 0.07276, 0.07347, 0.07397, 0.07432, 0.07457, 0.07473, 0.07487",\
                 "0.07038, 0.07066, 0.07137, 0.0722, 0.0729, 0.07341, 0.07377, 0.07401, 0.07419, 0.07431",\
                 "0.06996, 0.07025, 0.07098, 0.0718, 0.0725, 0.07302, 0.0734, 0.07365, 0.07381, 0.07394",\
                 "0.06965, 0.06995, 0.07067, 0.0715, 0.07219, 0.07273, 0.07307, 0.07332, 0.07347, 0.07361",\
                 "0.06937, 0.06966, 0.07039, 0.07121, 0.07191, 0.07244, 0.07279, 0.07306, 0.0732, 0.07331",\
                 "0.06914, 0.06946, 0.07017, 0.07098, 0.07168, 0.07222, 0.07259, 0.07282, 0.073, 0.07301",\
                 "0.06901, 0.06931, 0.07001, 0.07084, 0.0715, 0.07205, 0.07241, 0.07265, 0.07255, 0.07117");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.07569, 0.0759, 0.07649, 0.07732, 0.07819, 0.07908, 0.0799, 0.08131, 0.09985, 0.2359",\
                 "0.07564, 0.0759, 0.07647, 0.07716, 0.07798, 0.07878, 0.07985, 0.08125, 0.1007, 0.24",\
                 "0.0757, 0.07596, 0.07652, 0.07719, 0.0782, 0.07918, 0.08007, 0.08124, 0.1047, 0.2593",\
                 "0.07579, 0.07596, 0.07653, 0.07732, 0.07829, 0.07917, 0.07997, 0.0823, 0.1138, 0.2981",\
                 "0.07566, 0.07594, 0.07647, 0.07724, 0.0782, 0.07884, 0.0796, 0.08414, 0.1382, 0.3673",\
                 "0.07547, 0.07574, 0.07629, 0.07711, 0.07801, 0.07889, 0.07996, 0.09039, 0.1946, 0.4632",\
                 "0.07526, 0.07554, 0.07606, 0.0769, 0.0776, 0.0787, 0.08059, 0.1196, 0.3112, 0.5586",\
                 "0.07506, 0.07528, 0.07588, 0.07651, 0.07757, 0.07865, 0.09623, 0.2358, 0.4415, 0.5986",\
                 "0.07478, 0.07498, 0.07563, 0.07628, 0.07755, 0.1002, 0.2295, 0.3587, 0.4491, 0.5125",\
                 "0.07378, 0.07398, 0.07451, 0.0968, 0.1416, 0.171, 0.1891, 0.2007, 0.2083, 0.2134");
        }
      }

      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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.06747, 0.06774, 0.06842, 0.06924, 0.06999, 0.07059, 0.07105, 0.07135, 0.07158, 0.07172",\
                 "0.06752, 0.06778, 0.06847, 0.06928, 0.07004, 0.07065, 0.0711, 0.07142, 0.07163, 0.07178",\
                 "0.06726, 0.06752, 0.06821, 0.06904, 0.06981, 0.07043, 0.07088, 0.0712, 0.07141, 0.07157",\
                 "0.06688, 0.06716, 0.0678, 0.06864, 0.06942, 0.07003, 0.07051, 0.07082, 0.07105, 0.0712",\
                 "0.06655, 0.0668, 0.06746, 0.06827, 0.06901, 0.06963, 0.0701, 0.07044, 0.07067, 0.07082",\
                 "0.06633, 0.06655, 0.06722, 0.06795, 0.06866, 0.06926, 0.06974, 0.0701, 0.07034, 0.07053",\
                 "0.06614, 0.06638, 0.06697, 0.06766, 0.06831, 0.06888, 0.06938, 0.06976, 0.07004, 0.07022",\
                 "0.06594, 0.06616, 0.06669, 0.06735, 0.06795, 0.06853, 0.06903, 0.06944, 0.06972, 0.06972",\
                 "0.06575, 0.06596, 0.06645, 0.06705, 0.06765, 0.06819, 0.06865, 0.06877, 0.06784, 0.06518",\
                 "0.06151, 0.0617, 0.06209, 0.06238, 0.06167, 0.05819, 0.05518, 0.05317, 0.05183, 0.05089");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.04715, 0.04747, 0.0481, 0.04909, 0.04996, 0.05091, 0.05189, 0.05264, 0.05939, 0.1265",\
                 "0.04723, 0.04748, 0.04811, 0.04911, 0.05022, 0.05089, 0.05197, 0.05247, 0.06002, 0.1298",\
                 "0.04729, 0.04753, 0.04818, 0.04916, 0.05004, 0.05096, 0.05169, 0.05241, 0.06065, 0.1403",\
                 "0.04718, 0.04744, 0.04806, 0.04887, 0.04993, 0.05063, 0.05132, 0.05246, 0.06397, 0.162",\
                 "0.04684, 0.04711, 0.04761, 0.04841, 0.04918, 0.05003, 0.05065, 0.05226, 0.06971, 0.2037",\
                 "0.04653, 0.04677, 0.04726, 0.04801, 0.04865, 0.04974, 0.05025, 0.05242, 0.08747, 0.2773",\
                 "0.04625, 0.04642, 0.04689, 0.0476, 0.04831, 0.04909, 0.04969, 0.05597, 0.1318, 0.386",\
                 "0.04597, 0.04613, 0.04663, 0.04721, 0.04799, 0.04853, 0.04982, 0.07357, 0.2348, 0.4995",\
                 "0.04577, 0.04597, 0.04634, 0.04679, 0.04742, 0.0484, 0.05695, 0.1566, 0.3779, 0.566",\
                 "0.04562, 0.04579, 0.04615, 0.04686, 0.04721, 0.05341, 0.1387, 0.3075, 0.4377, 0.5305");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("10.96, 11.02, 11.2, 11.45, 11.75, 12.11, 12.56, 13.1, 13.76, 14.53",\
                 "11.02, 11.09, 11.27, 11.51, 11.82, 12.18, 12.63, 13.17, 13.82, 14.59",\
                 "11.22, 11.28, 11.46, 11.71, 12.01, 12.38, 12.82, 13.36, 14.02, 14.79",\
                 "11.54, 11.61, 11.79, 12.03, 12.33, 12.7, 13.14, 13.69, 14.34, 15.11",\
                 "11.94, 12.01, 12.19, 12.43, 12.73, 13.1, 13.54, 14.09, 14.74, 15.51",\
                 "12.37, 12.44, 12.62, 12.87, 13.17, 13.53, 13.98, 14.52, 15.17, 15.95",\
                 "12.83, 12.9, 13.08, 13.32, 13.63, 13.99, 14.44, 14.98, 15.63, 16.41",\
                 "13.31, 13.38, 13.56, 13.81, 14.11, 14.47, 14.92, 15.46, 16.11, 16.89",\
                 "13.8, 13.87, 14.05, 14.3, 14.6, 14.96, 15.41, 15.95, 16.6, 17.38",\
                 "14.3, 14.37, 14.55, 14.8, 15.1, 15.46, 15.91, 16.45, 17.1, 17.88");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("9.541, 9.638, 9.928, 10.42, 11.15, 12.16, 13.49, 15.15, 17.19, 19.61",\
                 "9.585, 9.683, 9.973, 10.46, 11.19, 12.2, 13.53, 15.2, 17.23, 19.66",\
                 "9.769, 9.866, 10.16, 10.65, 11.38, 12.39, 13.72, 15.38, 17.42, 19.84",\
                 "10.14, 10.24, 10.53, 11.02, 11.75, 12.76, 14.09, 15.75, 17.79, 20.21",\
                 "10.72, 10.81, 11.1, 11.59, 12.32, 13.34, 14.66, 16.33, 18.36, 20.79",\
                 "11.51, 11.61, 11.9, 12.39, 13.12, 14.13, 15.46, 17.12, 19.16, 21.58",\
                 "12.55, 12.65, 12.94, 13.43, 14.16, 15.17, 16.5, 18.16, 20.2, 22.62",\
                 "13.86, 13.95, 14.25, 14.74, 15.47, 16.48, 17.81, 19.47, 21.5, 23.93",\
                 "15.43, 15.52, 15.81, 16.3, 17.03, 18.05, 19.37, 21.04, 23.08, 25.5",\
                 "17.22, 17.32, 17.61, 18.1, 18.83, 19.84, 21.17, 22.83, 24.87, 27.29");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.46, 0.506, 0.646, 0.876, 1.212, 1.692, 2.346, 3.198, 4.262, 5.554",\
                 "0.46, 0.504, 0.646, 0.874, 1.214, 1.692, 2.346, 3.2, 4.264, 5.554",\
                 "0.46, 0.506, 0.644, 0.874, 1.214, 1.692, 2.346, 3.2, 4.264, 5.55",\
                 "0.458, 0.506, 0.646, 0.874, 1.212, 1.69, 2.344, 3.198, 4.266, 5.55",\
                 "0.46, 0.506, 0.646, 0.874, 1.214, 1.692, 2.344, 3.198, 4.264, 5.552",\
                 "0.46, 0.508, 0.644, 0.874, 1.214, 1.692, 2.346, 3.196, 4.266, 5.552",\
                 "0.46, 0.506, 0.646, 0.876, 1.214, 1.692, 2.344, 3.198, 4.264, 5.554",\
                 "0.458, 0.506, 0.646, 0.874, 1.214, 1.692, 2.344, 3.198, 4.266, 5.556",\
                 "0.458, 0.506, 0.646, 0.874, 1.214, 1.69, 2.344, 3.198, 4.26, 5.552",\
                 "0.46, 0.506, 0.646, 0.876, 1.212, 1.692, 2.344, 3.198, 4.262, 5.554");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.5156, 0.6244, 0.9978, 1.726, 2.898, 4.568, 6.774, 9.566, 12.97, 17.04",\
                 "0.5154, 0.6248, 0.9966, 1.722, 2.902, 4.57, 6.774, 9.568, 12.95, 17.01",\
                 "0.5148, 0.624, 0.998, 1.726, 2.896, 4.574, 6.772, 9.568, 12.96, 17",\
                 "0.516, 0.624, 0.996, 1.724, 2.898, 4.568, 6.772, 9.57, 12.95, 17",\
                 "0.516, 0.624, 0.996, 1.724, 2.902, 4.574, 6.776, 9.558, 12.97, 16.99",\
                 "0.516, 0.622, 0.996, 1.722, 2.902, 4.576, 6.772, 9.562, 12.95, 17",\
                 "0.514, 0.624, 0.996, 1.726, 2.896, 4.572, 6.772, 9.568, 12.95, 17.01",\
                 "0.516, 0.624, 0.996, 1.726, 2.902, 4.568, 6.774, 9.552, 12.95, 17",\
                 "0.514, 0.624, 0.996, 1.724, 2.898, 4.578, 6.774, 9.56, 12.96, 17",\
                 "0.516, 0.624, 0.996, 1.724, 2.896, 4.568, 6.778, 9.568, 12.96, 17");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("5.633, 5.733, 5.993, 6.335, 6.731, 7.18, 7.693, 8.282, 8.965, 9.755",\
                 "5.677, 5.778, 6.037, 6.379, 6.776, 7.224, 7.737, 8.326, 9.009, 9.8",\
                 "5.838, 5.938, 6.198, 6.54, 6.936, 7.385, 7.898, 8.488, 9.17, 9.961",\
                 "6.141, 6.242, 6.501, 6.844, 7.239, 7.689, 8.202, 8.792, 9.475, 10.26",\
                 "6.613, 6.713, 6.972, 7.314, 7.711, 8.159, 8.673, 9.261, 9.944, 10.73",\
                 "7.251, 7.351, 7.611, 7.952, 8.349, 8.798, 9.311, 9.9, 10.58, 11.37",\
                 "7.97, 8.07, 8.33, 8.672, 9.068, 9.517, 10.03, 10.62, 11.3, 12.09",\
                 "8.73, 8.829, 9.089, 9.432, 9.828, 10.28, 10.79, 11.38, 12.06, 12.85",\
                 "9.518, 9.618, 9.877, 10.22, 10.62, 11.07, 11.58, 12.17, 12.85, 13.64",\
                 "10.33, 10.43, 10.69, 11.03, 11.43, 11.88, 12.39, 12.98, 13.66, 14.45");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("8.651, 8.752, 9.052, 9.549, 10.28, 11.29, 12.62, 14.29, 16.32, 18.74",\
                 "8.715, 8.816, 9.116, 9.613, 10.35, 11.36, 12.68, 14.35, 16.39, 18.81",\
                 "8.901, 9.002, 9.302, 9.799, 10.53, 11.54, 12.87, 14.54, 16.57, 18.99",\
                 "9.272, 9.373, 9.674, 10.17, 10.9, 11.92, 13.24, 14.91, 16.94, 19.36",\
                 "9.872, 9.974, 10.27, 10.77, 11.5, 12.52, 13.84, 15.51, 17.54, 19.96",\
                 "10.74, 10.84, 11.14, 11.63, 12.37, 13.38, 14.71, 16.37, 18.41, 20.83",\
                 "11.89, 11.99, 12.29, 12.78, 13.52, 14.53, 15.86, 17.52, 19.56, 21.98",\
                 "13.34, 13.44, 13.74, 14.24, 14.97, 15.99, 17.31, 18.98, 21.01, 23.43",\
                 "15.13, 15.23, 15.53, 16.02, 16.76, 17.77, 19.1, 20.76, 22.8, 25.22",\
                 "17.25, 17.35, 17.66, 18.15, 18.88, 19.9, 21.22, 22.89, 24.92, 27.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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.792, 0.8508, 1.022, 1.283, 1.642, 2.115, 2.736, 3.526, 4.531, 5.76",\
                 "0.791, 0.8512, 1.022, 1.283, 1.643, 2.114, 2.736, 3.528, 4.529, 5.76",\
                 "0.7916, 0.851, 1.022, 1.282, 1.644, 2.116, 2.733, 3.529, 4.532, 5.761",\
                 "0.7922, 0.8508, 1.022, 1.282, 1.641, 2.116, 2.736, 3.53, 4.53, 5.761",\
                 "0.7916, 0.851, 1.022, 1.282, 1.639, 2.114, 2.734, 3.527, 4.53, 5.76",\
                 "0.7912, 0.851, 1.022, 1.284, 1.64, 2.116, 2.734, 3.53, 4.53, 5.76",\
                 "0.79, 0.85, 1.024, 1.282, 1.64, 2.116, 2.736, 3.526, 4.53, 5.76",\
                 "0.792, 0.852, 1.022, 1.284, 1.642, 2.116, 2.738, 3.526, 4.528, 5.758",\
                 "0.792, 0.852, 1.022, 1.286, 1.642, 2.118, 2.734, 3.53, 4.53, 5.76",\
                 "0.792, 0.854, 1.022, 1.284, 1.644, 2.114, 2.74, 3.53, 4.53, 5.758");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.567, 0.673, 1.037, 1.754, 2.918, 4.584, 6.786, 9.566, 12.96, 17",\
                 "0.5668, 0.6728, 1.039, 1.754, 2.921, 4.588, 6.79, 9.566, 12.97, 17.02",\
                 "0.5666, 0.6726, 1.037, 1.753, 2.918, 4.588, 6.788, 9.57, 12.96, 17",\
                 "0.5664, 0.672, 1.036, 1.754, 2.92, 4.586, 6.786, 9.56, 12.96, 17",\
                 "0.568, 0.674, 1.038, 1.752, 2.92, 4.582, 6.786, 9.562, 12.96, 17",\
                 "0.566, 0.672, 1.036, 1.754, 2.918, 4.586, 6.786, 9.562, 12.96, 17.01",\
                 "0.566, 0.674, 1.038, 1.754, 2.92, 4.592, 6.788, 9.572, 12.96, 17.01",\
                 "0.566, 0.674, 1.04, 1.752, 2.922, 4.594, 6.79, 9.56, 12.97, 17.01",\
                 "0.566, 0.674, 1.038, 1.752, 2.918, 4.584, 6.792, 9.566, 12.96, 17.02",\
                 "0.568, 0.674, 1.036, 1.754, 2.92, 4.588, 6.788, 9.564, 12.97, 17");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("10.96, 11.02, 11.2, 11.45, 11.75, 12.11, 12.56, 13.1, 13.76, 14.53",\
                 "11.02, 11.09, 11.27, 11.51, 11.82, 12.18, 12.63, 13.17, 13.82, 14.59",\
                 "11.22, 11.28, 11.46, 11.71, 12.01, 12.38, 12.82, 13.36, 14.02, 14.79",\
                 "11.54, 11.61, 11.79, 12.03, 12.33, 12.7, 13.14, 13.69, 14.34, 15.11",\
                 "11.94, 12.01, 12.19, 12.43, 12.73, 13.1, 13.54, 14.09, 14.74, 15.51",\
                 "12.37, 12.44, 12.62, 12.87, 13.17, 13.53, 13.98, 14.52, 15.17, 15.95",\
                 "12.83, 12.9, 13.08, 13.32, 13.63, 13.99, 14.44, 14.98, 15.63, 16.41",\
                 "13.31, 13.38, 13.56, 13.81, 14.11, 14.47, 14.92, 15.46, 16.11, 16.89",\
                 "13.8, 13.87, 14.05, 14.3, 14.6, 14.96, 15.41, 15.95, 16.6, 17.38",\
                 "14.3, 14.37, 14.55, 14.8, 15.1, 15.46, 15.91, 16.45, 17.1, 17.88");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("8.651, 8.752, 9.052, 9.549, 10.28, 11.29, 12.62, 14.29, 16.32, 18.74",\
                 "8.715, 8.816, 9.116, 9.613, 10.35, 11.36, 12.68, 14.35, 16.39, 18.81",\
                 "8.901, 9.002, 9.302, 9.799, 10.53, 11.54, 12.87, 14.54, 16.57, 18.99",\
                 "9.272, 9.373, 9.674, 10.17, 10.9, 11.92, 13.24, 14.91, 16.94, 19.36",\
                 "9.872, 9.974, 10.27, 10.77, 11.5, 12.52, 13.84, 15.51, 17.54, 19.96",\
                 "10.74, 10.84, 11.14, 11.63, 12.37, 13.38, 14.71, 16.37, 18.41, 20.83",\
                 "11.89, 11.99, 12.29, 12.78, 13.52, 14.53, 15.86, 17.52, 19.56, 21.98",\
                 "13.34, 13.44, 13.74, 14.24, 14.97, 15.99, 17.31, 18.98, 21.01, 23.43",\
                 "15.13, 15.23, 15.53, 16.02, 16.76, 17.77, 19.1, 20.76, 22.8, 25.22",\
                 "17.25, 17.35, 17.66, 18.15, 18.88, 19.9, 21.22, 22.89, 24.92, 27.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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.792, 0.8508, 1.022, 1.283, 1.642, 2.115, 2.736, 3.526, 4.531, 5.76",\
                 "0.791, 0.8512, 1.022, 1.283, 1.643, 2.114, 2.736, 3.528, 4.529, 5.76",\
                 "0.7916, 0.851, 1.022, 1.282, 1.644, 2.116, 2.733, 3.529, 4.532, 5.761",\
                 "0.7922, 0.8508, 1.022, 1.282, 1.641, 2.116, 2.736, 3.53, 4.53, 5.761",\
                 "0.7916, 0.851, 1.022, 1.282, 1.639, 2.114, 2.734, 3.527, 4.53, 5.76",\
                 "0.7912, 0.851, 1.022, 1.284, 1.64, 2.116, 2.734, 3.53, 4.53, 5.76",\
                 "0.79, 0.85, 1.024, 1.282, 1.64, 2.116, 2.736, 3.526, 4.53, 5.76",\
                 "0.792, 0.852, 1.022, 1.284, 1.642, 2.116, 2.738, 3.526, 4.528, 5.758",\
                 "0.792, 0.852, 1.022, 1.286, 1.642, 2.118, 2.734, 3.53, 4.53, 5.76",\
                 "0.792, 0.854, 1.022, 1.284, 1.644, 2.114, 2.74, 3.53, 4.53, 5.758");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.5156, 0.6244, 0.9978, 1.726, 2.898, 4.568, 6.774, 9.566, 12.97, 17.04",\
                 "0.5154, 0.6248, 0.9966, 1.722, 2.902, 4.57, 6.774, 9.568, 12.95, 17.01",\
                 "0.5148, 0.624, 0.998, 1.726, 2.896, 4.574, 6.772, 9.568, 12.96, 17",\
                 "0.516, 0.624, 0.996, 1.724, 2.898, 4.568, 6.772, 9.57, 12.95, 17",\
                 "0.516, 0.624, 0.996, 1.724, 2.902, 4.574, 6.776, 9.558, 12.97, 16.99",\
                 "0.516, 0.622, 0.996, 1.722, 2.902, 4.576, 6.772, 9.562, 12.95, 17",\
                 "0.514, 0.624, 0.996, 1.726, 2.896, 4.572, 6.772, 9.568, 12.95, 17.01",\
                 "0.516, 0.624, 0.996, 1.726, 2.902, 4.568, 6.774, 9.552, 12.95, 17",\
                 "0.514, 0.624, 0.996, 1.724, 2.898, 4.578, 6.774, 9.56, 12.96, 17",\
                 "0.516, 0.624, 0.996, 1.724, 2.896, 4.568, 6.778, 9.568, 12.96, 17");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("9.445, 9.544, 9.804, 10.15, 10.54, 10.99, 11.5, 12.09, 12.77, 13.56",\
                 "9.488, 9.589, 9.847, 10.19, 10.59, 11.03, 11.55, 12.14, 12.82, 13.61",\
                 "9.671, 9.772, 10.03, 10.37, 10.77, 11.22, 11.73, 12.32, 13, 13.79",\
                 "10.04, 10.14, 10.4, 10.75, 11.14, 11.59, 12.1, 12.69, 13.37, 14.17",\
                 "10.62, 10.72, 10.98, 11.32, 11.72, 12.17, 12.68, 13.27, 13.95, 14.74",\
                 "11.41, 11.51, 11.77, 12.12, 12.51, 12.96, 13.47, 14.06, 14.74, 15.53",\
                 "12.46, 12.56, 12.81, 13.16, 13.55, 14, 14.51, 15.1, 15.79, 16.58",\
                 "13.76, 13.86, 14.12, 14.46, 14.86, 15.31, 15.82, 16.41, 17.09, 17.88",\
                 "15.33, 15.43, 15.69, 16.03, 16.43, 16.87, 17.39, 17.98, 18.66, 19.45",\
                 "17.12, 17.22, 17.48, 17.83, 18.22, 18.67, 19.18, 19.77, 20.45, 21.24");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("9.641, 9.743, 10.04, 10.54, 11.27, 12.29, 13.61, 15.28, 17.31, 19.73",\
                 "9.708, 9.81, 10.11, 10.61, 11.34, 12.35, 13.68, 15.35, 17.38, 19.8",\
                 "9.904, 10.01, 10.31, 10.8, 11.53, 12.55, 13.88, 15.54, 17.58, 20",\
                 "10.23, 10.33, 10.63, 11.12, 11.86, 12.87, 14.2, 15.86, 17.9, 20.32",\
                 "10.63, 10.73, 11.03, 11.52, 12.26, 13.27, 14.6, 16.26, 18.3, 20.72",\
                 "11.06, 11.16, 11.46, 11.96, 12.69, 13.7, 15.03, 16.7, 18.73, 21.15",\
                 "11.52, 11.62, 11.92, 12.42, 13.15, 14.16, 15.49, 17.16, 19.19, 21.61",\
                 "12, 12.1, 12.4, 12.9, 13.63, 14.64, 15.97, 17.64, 19.67, 22.09",\
                 "12.49, 12.59, 12.89, 13.39, 14.12, 15.13, 16.46, 18.13, 20.16, 22.58",\
                 "12.99, 13.09, 13.39, 13.89, 14.62, 15.63, 16.96, 18.63, 20.66, 23.08");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.7902, 0.8504, 1.02, 1.281, 1.64, 2.114, 2.734, 3.526, 4.528, 5.76",\
                 "0.7906, 0.85, 1.021, 1.282, 1.642, 2.114, 2.734, 3.524, 4.528, 5.76",\
                 "0.7904, 0.851, 1.02, 1.28, 1.638, 2.112, 2.734, 3.526, 4.528, 5.76",\
                 "0.79, 0.85, 1.02, 1.282, 1.64, 2.112, 2.736, 3.528, 4.53, 5.758",\
                 "0.792, 0.85, 1.02, 1.282, 1.64, 2.112, 2.734, 3.528, 4.528, 5.758",\
                 "0.792, 0.85, 1.02, 1.28, 1.64, 2.112, 2.734, 3.528, 4.528, 5.76",\
                 "0.79, 0.85, 1.022, 1.282, 1.64, 2.112, 2.734, 3.524, 4.528, 5.76",\
                 "0.79, 0.85, 1.022, 1.282, 1.638, 2.112, 2.736, 3.526, 4.528, 5.756",\
                 "0.792, 0.848, 1.02, 1.282, 1.64, 2.114, 2.734, 3.532, 4.528, 5.758",\
                 "0.79, 0.848, 1.02, 1.282, 1.64, 2.112, 2.734, 3.526, 4.528, 5.762");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.5674, 0.6736, 1.037, 1.754, 2.92, 4.584, 6.792, 9.568, 12.97, 17.01",\
                 "0.567, 0.6724, 1.037, 1.756, 2.92, 4.586, 6.784, 9.562, 12.97, 17.02",\
                 "0.568, 0.674, 1.038, 1.756, 2.918, 4.586, 6.786, 9.564, 12.97, 17",\
                 "0.568, 0.672, 1.036, 1.756, 2.918, 4.59, 6.792, 9.564, 12.96, 17",\
                 "0.568, 0.674, 1.038, 1.752, 2.92, 4.584, 6.79, 9.568, 12.96, 17",\
                 "0.568, 0.674, 1.038, 1.754, 2.92, 4.588, 6.792, 9.57, 12.95, 17",\
                 "0.568, 0.674, 1.038, 1.754, 2.92, 4.584, 6.786, 9.562, 12.95, 16.99",\
                 "0.566, 0.674, 1.038, 1.752, 2.922, 4.59, 6.79, 9.562, 12.95, 17.02",\
                 "0.568, 0.674, 1.038, 1.754, 2.918, 4.584, 6.784, 9.568, 12.95, 17",\
                 "0.566, 0.674, 1.038, 1.752, 2.916, 4.588, 6.792, 9.57, 12.97, 17.01");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("9.971, 10.04, 10.22, 10.46, 10.76, 11.13, 11.58, 12.12, 12.77, 13.55",\
                 "10.03, 10.1, 10.28, 10.53, 10.83, 11.19, 11.64, 12.18, 12.83, 13.61",\
                 "10.22, 10.29, 10.47, 10.71, 11.01, 11.38, 11.82, 12.37, 13.02, 13.79",\
                 "10.59, 10.66, 10.84, 11.08, 11.39, 11.75, 12.2, 12.74, 13.39, 14.17",\
                 "11.19, 11.26, 11.44, 11.69, 11.99, 12.35, 12.8, 13.34, 13.99, 14.77",\
                 "12.06, 12.12, 12.3, 12.55, 12.85, 13.22, 13.66, 14.2, 14.86, 15.63",\
                 "13.21, 13.27, 13.45, 13.7, 14, 14.37, 14.81, 15.35, 16.01, 16.78",\
                 "14.66, 14.73, 14.91, 15.15, 15.46, 15.82, 16.27, 16.81, 17.46, 18.24",\
                 "16.45, 16.51, 16.69, 16.94, 17.24, 17.61, 18.05, 18.59, 19.25, 20.02",\
                 "18.56, 18.63, 18.81, 19.06, 19.36, 19.72, 20.17, 20.71, 21.36, 22.14");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("5.754, 5.85, 6.141, 6.631, 7.362, 8.374, 9.7, 11.37, 13.4, 15.83",\
                 "5.799, 5.895, 6.185, 6.676, 7.406, 8.418, 9.744, 11.41, 13.45, 15.87",\
                 "5.959, 6.055, 6.345, 6.836, 7.566, 8.578, 9.904, 11.57, 13.61, 16.03",\
                 "6.264, 6.361, 6.651, 7.142, 7.872, 8.883, 10.21, 11.88, 13.91, 16.34",\
                 "6.739, 6.835, 7.125, 7.616, 8.346, 9.358, 10.68, 12.35, 14.39, 16.81",\
                 "7.376, 7.472, 7.763, 8.253, 8.983, 9.996, 11.32, 12.99, 15.02, 17.45",\
                 "8.096, 8.193, 8.483, 8.973, 9.703, 10.72, 12.04, 13.71, 15.74, 18.17",\
                 "8.856, 8.952, 9.243, 9.734, 10.46, 11.48, 12.8, 14.47, 16.5, 18.92",\
                 "9.643, 9.74, 10.03, 10.52, 11.25, 12.26, 13.59, 15.26, 17.29, 19.71",\
                 "10.46, 10.55, 10.84, 11.33, 12.07, 13.08, 14.4, 16.07, 18.1, 20.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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.4586, 0.5068, 0.646, 0.874, 1.216, 1.692, 2.344, 3.198, 4.266, 5.554",\
                 "0.46, 0.506, 0.644, 0.874, 1.214, 1.692, 2.344, 3.198, 4.264, 5.556",\
                 "0.46, 0.506, 0.646, 0.874, 1.212, 1.69, 2.344, 3.196, 4.266, 5.556",\
                 "0.46, 0.508, 0.646, 0.874, 1.212, 1.69, 2.344, 3.198, 4.266, 5.556",\
                 "0.46, 0.506, 0.646, 0.874, 1.212, 1.69, 2.344, 3.2, 4.264, 5.554",\
                 "0.458, 0.506, 0.646, 0.874, 1.212, 1.69, 2.344, 3.196, 4.266, 5.556",\
                 "0.46, 0.506, 0.646, 0.874, 1.216, 1.69, 2.344, 3.198, 4.268, 5.554",\
                 "0.46, 0.506, 0.646, 0.874, 1.212, 1.69, 2.344, 3.196, 4.266, 5.548",\
                 "0.46, 0.506, 0.648, 0.874, 1.212, 1.694, 2.344, 3.198, 4.264, 5.552",\
                 "0.46, 0.508, 0.646, 0.872, 1.212, 1.69, 2.344, 3.198, 4.26, 5.554");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.5154, 0.6244, 0.996, 1.725, 2.896, 4.568, 6.779, 9.567, 12.97, 17.03",\
                 "0.5152, 0.6238, 0.9966, 1.723, 2.897, 4.567, 6.776, 9.568, 12.95, 17.02",\
                 "0.5152, 0.6244, 0.9972, 1.723, 2.897, 4.567, 6.772, 9.566, 12.95, 17",\
                 "0.5152, 0.6242, 0.9972, 1.725, 2.897, 4.568, 6.782, 9.562, 12.97, 17.03",\
                 "0.5156, 0.6236, 0.997, 1.724, 2.9, 4.568, 6.78, 9.566, 12.95, 17",\
                 "0.5154, 0.6242, 0.996, 1.726, 2.896, 4.566, 6.774, 9.554, 12.96, 17.01",\
                 "0.516, 0.624, 0.996, 1.726, 2.896, 4.568, 6.784, 9.552, 12.97, 16.99",\
                 "0.514, 0.624, 0.998, 1.724, 2.9, 4.568, 6.774, 9.554, 12.95, 16.99",\
                 "0.516, 0.624, 0.996, 1.724, 2.896, 4.574, 6.772, 9.556, 12.95, 16.99",\
                 "0.514, 0.624, 0.996, 1.726, 2.902, 4.57, 6.774, 9.57, 12.95, 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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("9.971, 10.04, 10.22, 10.46, 10.76, 11.13, 11.58, 12.12, 12.77, 13.55",\
                 "10.03, 10.1, 10.28, 10.53, 10.83, 11.19, 11.64, 12.18, 12.83, 13.61",\
                 "10.22, 10.29, 10.47, 10.71, 11.01, 11.38, 11.82, 12.37, 13.02, 13.79",\
                 "10.59, 10.66, 10.84, 11.08, 11.39, 11.75, 12.2, 12.74, 13.39, 14.17",\
                 "11.19, 11.26, 11.44, 11.69, 11.99, 12.35, 12.8, 13.34, 13.99, 14.77",\
                 "12.06, 12.12, 12.3, 12.55, 12.85, 13.22, 13.66, 14.2, 14.86, 15.63",\
                 "13.21, 13.27, 13.45, 13.7, 14, 14.37, 14.81, 15.35, 16.01, 16.78",\
                 "14.66, 14.73, 14.91, 15.15, 15.46, 15.82, 16.27, 16.81, 17.46, 18.24",\
                 "16.45, 16.51, 16.69, 16.94, 17.24, 17.61, 18.05, 18.59, 19.25, 20.02",\
                 "18.56, 18.63, 18.81, 19.06, 19.36, 19.72, 20.17, 20.71, 21.36, 22.14");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("9.641, 9.743, 10.04, 10.54, 11.27, 12.29, 13.61, 15.28, 17.31, 19.73",\
                 "9.708, 9.81, 10.11, 10.61, 11.34, 12.35, 13.68, 15.35, 17.38, 19.8",\
                 "9.904, 10.01, 10.31, 10.8, 11.53, 12.55, 13.88, 15.54, 17.58, 20",\
                 "10.23, 10.33, 10.63, 11.12, 11.86, 12.87, 14.2, 15.86, 17.9, 20.32",\
                 "10.63, 10.73, 11.03, 11.52, 12.26, 13.27, 14.6, 16.26, 18.3, 20.72",\
                 "11.06, 11.16, 11.46, 11.96, 12.69, 13.7, 15.03, 16.7, 18.73, 21.15",\
                 "11.52, 11.62, 11.92, 12.42, 13.15, 14.16, 15.49, 17.16, 19.19, 21.61",\
                 "12, 12.1, 12.4, 12.9, 13.63, 14.64, 15.97, 17.64, 19.67, 22.09",\
                 "12.49, 12.59, 12.89, 13.39, 14.12, 15.13, 16.46, 18.13, 20.16, 22.58",\
                 "12.99, 13.09, 13.39, 13.89, 14.62, 15.63, 16.96, 18.63, 20.66, 23.08");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.7902, 0.8504, 1.02, 1.281, 1.64, 2.114, 2.734, 3.526, 4.528, 5.76",\
                 "0.7906, 0.85, 1.021, 1.282, 1.642, 2.114, 2.734, 3.524, 4.528, 5.76",\
                 "0.7904, 0.851, 1.02, 1.28, 1.638, 2.112, 2.734, 3.526, 4.528, 5.76",\
                 "0.79, 0.85, 1.02, 1.282, 1.64, 2.112, 2.736, 3.528, 4.53, 5.758",\
                 "0.792, 0.85, 1.02, 1.282, 1.64, 2.112, 2.734, 3.528, 4.528, 5.758",\
                 "0.792, 0.85, 1.02, 1.28, 1.64, 2.112, 2.734, 3.528, 4.528, 5.76",\
                 "0.79, 0.85, 1.022, 1.282, 1.64, 2.112, 2.734, 3.524, 4.528, 5.76",\
                 "0.79, 0.85, 1.022, 1.282, 1.638, 2.112, 2.736, 3.526, 4.528, 5.756",\
                 "0.792, 0.848, 1.02, 1.282, 1.64, 2.114, 2.734, 3.532, 4.528, 5.758",\
                 "0.79, 0.848, 1.02, 1.282, 1.64, 2.112, 2.734, 3.526, 4.528, 5.762");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.5154, 0.6244, 0.996, 1.725, 2.896, 4.568, 6.779, 9.567, 12.97, 17.03",\
                 "0.5152, 0.6238, 0.9966, 1.723, 2.897, 4.567, 6.776, 9.568, 12.95, 17.02",\
                 "0.5152, 0.6244, 0.9972, 1.723, 2.897, 4.567, 6.772, 9.566, 12.95, 17",\
                 "0.5152, 0.6242, 0.9972, 1.725, 2.897, 4.568, 6.782, 9.562, 12.97, 17.03",\
                 "0.5156, 0.6236, 0.997, 1.724, 2.9, 4.568, 6.78, 9.566, 12.95, 17",\
                 "0.5154, 0.6242, 0.996, 1.726, 2.896, 4.566, 6.774, 9.554, 12.96, 17.01",\
                 "0.516, 0.624, 0.996, 1.726, 2.896, 4.568, 6.784, 9.552, 12.97, 16.99",\
                 "0.514, 0.624, 0.998, 1.724, 2.9, 4.568, 6.774, 9.554, 12.95, 16.99",\
                 "0.516, 0.624, 0.996, 1.724, 2.896, 4.574, 6.772, 9.556, 12.95, 16.99",\
                 "0.514, 0.624, 0.996, 1.726, 2.902, 4.57, 6.774, 9.57, 12.95, 17.02");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("10.73, 10.8, 10.98, 11.22, 11.52, 11.89, 12.33, 12.88, 13.53, 14.3",\
                 "10.79, 10.85, 11.03, 11.28, 11.58, 11.94, 12.39, 12.93, 13.58, 14.36",\
                 "10.96, 11.03, 11.21, 11.46, 11.76, 12.12, 12.57, 13.11, 13.76, 14.54",\
                 "11.28, 11.35, 11.53, 11.77, 12.08, 12.44, 12.89, 13.43, 14.08, 14.86",\
                 "11.68, 11.75, 11.92, 12.17, 12.47, 12.84, 13.28, 13.82, 14.48, 15.25",\
                 "12.11, 12.18, 12.35, 12.6, 12.9, 13.27, 13.71, 14.25, 14.91, 15.68",\
                 "12.56, 12.63, 12.81, 13.05, 13.35, 13.72, 14.16, 14.71, 15.36, 16.13",\
                 "13.03, 13.1, 13.28, 13.52, 13.82, 14.19, 14.64, 15.18, 15.83, 16.61",\
                 "13.52, 13.59, 13.77, 14.01, 14.31, 14.68, 15.13, 15.67, 16.32, 17.09",\
                 "14.02, 14.09, 14.26, 14.51, 14.81, 15.18, 15.62, 16.16, 16.82, 17.59");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("9.41, 9.506, 9.797, 10.29, 11.02, 12.03, 13.36, 15.02, 17.06, 19.48",\
                 "9.433, 9.53, 9.821, 10.31, 11.04, 12.05, 13.38, 15.05, 17.08, 19.51",\
                 "9.583, 9.68, 9.97, 10.46, 11.19, 12.2, 13.53, 15.19, 17.23, 19.65",\
                 "9.946, 10.04, 10.33, 10.82, 11.55, 12.57, 13.89, 15.56, 17.59, 20.02",\
                 "10.55, 10.64, 10.94, 11.43, 12.16, 13.17, 14.49, 16.16, 18.2, 20.62",\
                 "11.41, 11.51, 11.8, 12.29, 13.02, 14.03, 15.36, 17.02, 19.06, 21.48",\
                 "12.56, 12.65, 12.94, 13.43, 14.16, 15.18, 16.5, 18.17, 20.2, 22.62",\
                 "14, 14.1, 14.39, 14.88, 15.61, 16.62, 17.94, 19.61, 21.64, 24.07",\
                 "15.74, 15.83, 16.12, 16.61, 17.34, 18.36, 19.68, 21.35, 23.38, 25.81",\
                 "17.72, 17.82, 18.11, 18.6, 19.33, 20.34, 21.67, 23.33, 25.37, 27.79");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.46, 0.508, 0.646, 0.874, 1.212, 1.69, 2.344, 3.198, 4.262, 5.554",\
                 "0.458, 0.506, 0.644, 0.874, 1.212, 1.692, 2.346, 3.2, 4.264, 5.552",\
                 "0.458, 0.506, 0.646, 0.874, 1.214, 1.69, 2.346, 3.2, 4.266, 5.552",\
                 "0.458, 0.508, 0.646, 0.874, 1.212, 1.69, 2.344, 3.196, 4.268, 5.548",\
                 "0.458, 0.506, 0.646, 0.872, 1.214, 1.69, 2.344, 3.198, 4.266, 5.554",\
                 "0.46, 0.508, 0.646, 0.874, 1.212, 1.69, 2.344, 3.196, 4.266, 5.556",\
                 "0.46, 0.508, 0.646, 0.874, 1.214, 1.69, 2.344, 3.198, 4.266, 5.556",\
                 "0.458, 0.506, 0.646, 0.876, 1.212, 1.69, 2.344, 3.2, 4.264, 5.552",\
                 "0.46, 0.506, 0.646, 0.872, 1.214, 1.69, 2.344, 3.196, 4.262, 5.552",\
                 "0.46, 0.508, 0.646, 0.872, 1.214, 1.69, 2.344, 3.198, 4.266, 5.556");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.5154, 0.6238, 0.9966, 1.723, 2.902, 4.57, 6.776, 9.568, 12.95, 17.02",\
                 "0.5152, 0.625, 0.9952, 1.723, 2.9, 4.568, 6.776, 9.564, 12.95, 17.01",\
                 "0.5162, 0.6246, 0.996, 1.724, 2.898, 4.568, 6.778, 9.57, 12.96, 17.01",\
                 "0.516, 0.624, 0.996, 1.724, 2.902, 4.578, 6.776, 9.568, 12.96, 17",\
                 "0.514, 0.624, 0.996, 1.724, 2.902, 4.576, 6.788, 9.552, 12.95, 16.99",\
                 "0.516, 0.624, 0.998, 1.724, 2.896, 4.574, 6.772, 9.56, 12.95, 17",\
                 "0.514, 0.624, 0.998, 1.724, 2.898, 4.572, 6.776, 9.568, 12.95, 17.02",\
                 "0.516, 0.624, 0.998, 1.724, 2.896, 4.576, 6.774, 9.552, 12.95, 17",\
                 "0.516, 0.624, 0.998, 1.724, 2.896, 4.568, 6.786, 9.556, 12.95, 17",\
                 "0.516, 0.624, 0.998, 1.724, 2.896, 4.568, 6.78, 9.57, 12.96, 17");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("5.662, 5.762, 6.021, 6.364, 6.76, 7.208, 7.722, 8.311, 8.993, 9.784",\
                 "5.713, 5.813, 6.072, 6.414, 6.81, 7.259, 7.773, 8.362, 9.044, 9.834",\
                 "5.861, 5.961, 6.221, 6.563, 6.959, 7.407, 7.921, 8.51, 9.192, 9.983",\
                 "6.127, 6.227, 6.487, 6.829, 7.225, 7.674, 8.187, 8.777, 9.46, 10.25",\
                 "6.534, 6.633, 6.893, 7.235, 7.631, 8.081, 8.593, 9.183, 9.864, 10.66",\
                 "7.083, 7.183, 7.443, 7.786, 8.181, 8.63, 9.144, 9.733, 10.41, 11.21",\
                 "7.723, 7.822, 8.081, 8.424, 8.82, 9.269, 9.783, 10.37, 11.05, 11.85",\
                 "8.423, 8.525, 8.782, 9.125, 9.521, 9.969, 10.48, 11.07, 11.75, 12.55",\
                 "9.172, 9.272, 9.531, 9.874, 10.27, 10.72, 11.23, 11.82, 12.51, 13.3",\
                 "9.959, 10.06, 10.32, 10.66, 11.06, 11.51, 12.02, 12.61, 13.29, 14.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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("8.986, 9.088, 9.388, 9.885, 10.62, 11.63, 12.96, 14.62, 16.66, 19.08",\
                 "9.024, 9.125, 9.426, 9.922, 10.65, 11.67, 12.99, 14.66, 16.69, 19.12",\
                 "9.215, 9.317, 9.617, 10.11, 10.85, 11.86, 13.19, 14.85, 16.89, 19.31",\
                 "9.601, 9.702, 10, 10.5, 11.23, 12.24, 13.57, 15.24, 17.27, 19.69",\
                 "10.21, 10.32, 10.62, 11.11, 11.85, 12.86, 14.19, 15.85, 17.89, 20.31",\
                 "11.09, 11.19, 11.49, 11.98, 12.72, 13.73, 15.06, 16.72, 18.76, 21.18",\
                 "12.24, 12.34, 12.64, 13.14, 13.87, 14.88, 16.21, 17.88, 19.91, 22.33",\
                 "13.7, 13.8, 14.1, 14.6, 15.33, 16.34, 17.67, 19.34, 21.37, 23.79",\
                 "15.49, 15.59, 15.89, 16.38, 17.12, 18.13, 19.46, 21.12, 23.16, 25.58",\
                 "17.61, 17.71, 18.02, 18.51, 19.24, 20.26, 21.58, 23.25, 25.28, 27.71");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.7908, 0.8508, 1.022, 1.282, 1.64, 2.115, 2.735, 3.525, 4.529, 5.757",\
                 "0.7916, 0.851, 1.022, 1.283, 1.641, 2.115, 2.735, 3.526, 4.529, 5.759",\
                 "0.7916, 0.851, 1.022, 1.283, 1.642, 2.115, 2.736, 3.525, 4.53, 5.759",\
                 "0.7906, 0.8502, 1.022, 1.283, 1.639, 2.115, 2.732, 3.53, 4.531, 5.758",\
                 "0.7914, 0.8502, 1.022, 1.283, 1.641, 2.113, 2.735, 3.528, 4.53, 5.762",\
                 "0.7924, 0.851, 1.022, 1.282, 1.642, 2.116, 2.736, 3.528, 4.53, 5.762",\
                 "0.792, 0.852, 1.022, 1.282, 1.64, 2.114, 2.736, 3.528, 4.53, 5.758",\
                 "0.79, 0.852, 1.022, 1.286, 1.64, 2.116, 2.734, 3.528, 4.528, 5.76",\
                 "0.792, 0.852, 1.022, 1.284, 1.642, 2.116, 2.732, 3.53, 4.53, 5.76",\
                 "0.794, 0.852, 1.022, 1.282, 1.642, 2.116, 2.736, 3.528, 4.532, 5.756");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.5674, 0.6734, 1.038, 1.754, 2.921, 4.588, 6.784, 9.568, 12.97, 17",\
                 "0.5674, 0.6734, 1.039, 1.754, 2.92, 4.588, 6.794, 9.56, 12.97, 17.02",\
                 "0.5672, 0.673, 1.038, 1.754, 2.92, 4.59, 6.792, 9.564, 12.97, 17.01",\
                 "0.568, 0.672, 1.038, 1.754, 2.918, 4.59, 6.786, 9.562, 12.96, 17",\
                 "0.568, 0.674, 1.038, 1.754, 2.922, 4.584, 6.792, 9.562, 12.97, 17",\
                 "0.568, 0.674, 1.038, 1.754, 2.918, 4.592, 6.786, 9.562, 12.96, 17.01",\
                 "0.568, 0.674, 1.038, 1.754, 2.922, 4.592, 6.792, 9.562, 12.96, 17",\
                 "0.568, 0.672, 1.038, 1.752, 2.922, 4.588, 6.784, 9.56, 12.95, 17",\
                 "0.568, 0.674, 1.038, 1.756, 2.92, 4.582, 6.792, 9.566, 12.96, 17.01",\
                 "0.568, 0.672, 1.038, 1.754, 2.922, 4.582, 6.792, 9.566, 12.97, 17.02");
        }
      }

      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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("10.73, 10.8, 10.98, 11.22, 11.52, 11.89, 12.33, 12.88, 13.53, 14.3",\
                 "10.79, 10.85, 11.03, 11.28, 11.58, 11.94, 12.39, 12.93, 13.58, 14.36",\
                 "10.96, 11.03, 11.21, 11.46, 11.76, 12.12, 12.57, 13.11, 13.76, 14.54",\
                 "11.28, 11.35, 11.53, 11.77, 12.08, 12.44, 12.89, 13.43, 14.08, 14.86",\
                 "11.68, 11.75, 11.92, 12.17, 12.47, 12.84, 13.28, 13.82, 14.48, 15.25",\
                 "12.11, 12.18, 12.35, 12.6, 12.9, 13.27, 13.71, 14.25, 14.91, 15.68",\
                 "12.56, 12.63, 12.81, 13.05, 13.35, 13.72, 14.16, 14.71, 15.36, 16.13",\
                 "13.03, 13.1, 13.28, 13.52, 13.82, 14.19, 14.64, 15.18, 15.83, 16.61",\
                 "13.52, 13.59, 13.77, 14.01, 14.31, 14.68, 15.13, 15.67, 16.32, 17.09",\
                 "14.02, 14.09, 14.26, 14.51, 14.81, 15.18, 15.62, 16.16, 16.82, 17.59");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("9.41, 9.506, 9.797, 10.29, 11.02, 12.03, 13.36, 15.02, 17.06, 19.48",\
                 "9.433, 9.53, 9.821, 10.31, 11.04, 12.05, 13.38, 15.05, 17.08, 19.51",\
                 "9.583, 9.68, 9.97, 10.46, 11.19, 12.2, 13.53, 15.19, 17.23, 19.65",\
                 "9.946, 10.04, 10.33, 10.82, 11.55, 12.57, 13.89, 15.56, 17.59, 20.02",\
                 "10.55, 10.64, 10.94, 11.43, 12.16, 13.17, 14.49, 16.16, 18.2, 20.62",\
                 "11.41, 11.51, 11.8, 12.29, 13.02, 14.03, 15.36, 17.02, 19.06, 21.48",\
                 "12.56, 12.65, 12.94, 13.43, 14.16, 15.18, 16.5, 18.17, 20.2, 22.62",\
                 "14, 14.1, 14.39, 14.88, 15.61, 16.62, 17.94, 19.61, 21.64, 24.07",\
                 "15.74, 15.83, 16.12, 16.61, 17.34, 18.36, 19.68, 21.35, 23.38, 25.81",\
                 "17.72, 17.82, 18.11, 18.6, 19.33, 20.34, 21.67, 23.33, 25.37, 27.79");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.7908, 0.8508, 1.022, 1.282, 1.64, 2.115, 2.735, 3.525, 4.529, 5.757",\
                 "0.7916, 0.851, 1.022, 1.283, 1.641, 2.115, 2.735, 3.526, 4.529, 5.759",\
                 "0.7916, 0.851, 1.022, 1.283, 1.642, 2.115, 2.736, 3.525, 4.53, 5.759",\
                 "0.7906, 0.8502, 1.022, 1.283, 1.639, 2.115, 2.732, 3.53, 4.531, 5.758",\
                 "0.7914, 0.8502, 1.022, 1.283, 1.641, 2.113, 2.735, 3.528, 4.53, 5.762",\
                 "0.7924, 0.851, 1.022, 1.282, 1.642, 2.116, 2.736, 3.528, 4.53, 5.762",\
                 "0.792, 0.852, 1.022, 1.282, 1.64, 2.114, 2.736, 3.528, 4.53, 5.758",\
                 "0.79, 0.852, 1.022, 1.286, 1.64, 2.116, 2.734, 3.528, 4.528, 5.76",\
                 "0.792, 0.852, 1.022, 1.284, 1.642, 2.116, 2.732, 3.53, 4.53, 5.76",\
                 "0.794, 0.852, 1.022, 1.282, 1.642, 2.116, 2.736, 3.528, 4.532, 5.756");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.5674, 0.6734, 1.038, 1.754, 2.921, 4.588, 6.784, 9.568, 12.97, 17",\
                 "0.5674, 0.6734, 1.039, 1.754, 2.92, 4.588, 6.794, 9.56, 12.97, 17.02",\
                 "0.5672, 0.673, 1.038, 1.754, 2.92, 4.59, 6.792, 9.564, 12.97, 17.01",\
                 "0.568, 0.672, 1.038, 1.754, 2.918, 4.59, 6.786, 9.562, 12.96, 17",\
                 "0.568, 0.674, 1.038, 1.754, 2.922, 4.584, 6.792, 9.562, 12.97, 17",\
                 "0.568, 0.674, 1.038, 1.754, 2.918, 4.592, 6.786, 9.562, 12.96, 17.01",\
                 "0.568, 0.674, 1.038, 1.754, 2.922, 4.592, 6.792, 9.562, 12.96, 17",\
                 "0.568, 0.672, 1.038, 1.752, 2.922, 4.588, 6.784, 9.56, 12.95, 17",\
                 "0.568, 0.674, 1.038, 1.756, 2.92, 4.582, 6.792, 9.566, 12.96, 17.01",\
                 "0.568, 0.672, 1.038, 1.754, 2.922, 4.582, 6.792, 9.566, 12.97, 17.02");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("9.312, 9.412, 9.671, 10.01, 10.41, 10.86, 11.37, 11.96, 12.64, 13.43",\
                 "9.337, 9.437, 9.696, 10.04, 10.43, 10.88, 11.39, 11.98, 12.67, 13.46",\
                 "9.485, 9.585, 9.845, 10.19, 10.58, 11.03, 11.54, 12.13, 12.82, 13.61",\
                 "9.848, 9.949, 10.21, 10.55, 10.94, 11.39, 11.91, 12.5, 13.18, 13.97",\
                 "10.45, 10.55, 10.81, 11.15, 11.55, 12, 12.51, 13.1, 13.78, 14.57",\
                 "11.31, 11.41, 11.67, 12.02, 12.41, 12.86, 13.37, 13.96, 14.64, 15.43",\
                 "12.46, 12.56, 12.82, 13.16, 13.56, 14, 14.52, 15.11, 15.79, 16.58",\
                 "13.9, 14, 14.26, 14.6, 15, 15.45, 15.96, 16.55, 17.23, 18.02",\
                 "15.64, 15.74, 16, 16.34, 16.74, 17.18, 17.7, 18.29, 18.97, 19.76",\
                 "17.62, 17.72, 17.98, 18.32, 18.72, 19.17, 19.68, 20.27, 20.95, 21.74");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("9.409, 9.512, 9.811, 10.31, 11.04, 12.05, 13.38, 15.05, 17.08, 19.5",\
                 "9.466, 9.568, 9.868, 10.36, 11.1, 12.11, 13.44, 15.1, 17.14, 19.56",\
                 "9.645, 9.747, 10.05, 10.54, 11.27, 12.29, 13.61, 15.28, 17.32, 19.74",\
                 "9.963, 10.06, 10.36, 10.86, 11.59, 12.61, 13.93, 15.6, 17.63, 20.06",\
                 "10.36, 10.46, 10.76, 11.26, 11.99, 13, 14.33, 16, 18.03, 20.45",\
                 "10.79, 10.89, 11.19, 11.68, 12.42, 13.43, 14.76, 16.43, 18.46, 20.88",\
                 "11.24, 11.34, 11.64, 12.14, 12.87, 13.88, 15.21, 16.88, 18.91, 21.33",\
                 "11.71, 11.81, 12.11, 12.61, 13.34, 14.35, 15.68, 17.35, 19.38, 21.8",\
                 "12.2, 12.3, 12.6, 13.1, 13.83, 14.84, 16.17, 17.83, 19.87, 22.29",\
                 "12.7, 12.8, 13.1, 13.59, 14.33, 15.34, 16.67, 18.33, 20.37, 22.79");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.7904, 0.8508, 1.021, 1.281, 1.64, 2.114, 2.736, 3.528, 4.528, 5.76",\
                 "0.7904, 0.8502, 1.022, 1.282, 1.64, 2.112, 2.736, 3.528, 4.528, 5.758",\
                 "0.7898, 0.8498, 1.021, 1.282, 1.638, 2.112, 2.734, 3.524, 4.528, 5.758",\
                 "0.792, 0.85, 1.02, 1.28, 1.638, 2.112, 2.734, 3.528, 4.528, 5.76",\
                 "0.79, 0.85, 1.022, 1.282, 1.638, 2.112, 2.734, 3.528, 4.528, 5.76",\
                 "0.79, 0.85, 1.02, 1.282, 1.638, 2.112, 2.734, 3.528, 4.528, 5.76",\
                 "0.79, 0.85, 1.022, 1.28, 1.64, 2.112, 2.734, 3.526, 4.53, 5.76",\
                 "0.79, 0.85, 1.02, 1.282, 1.642, 2.112, 2.736, 3.528, 4.528, 5.754",\
                 "0.79, 0.852, 1.02, 1.28, 1.64, 2.114, 2.736, 3.526, 4.53, 5.758",\
                 "0.79, 0.85, 1.02, 1.282, 1.642, 2.114, 2.734, 3.528, 4.53, 5.76");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.5672, 0.6724, 1.037, 1.754, 2.92, 4.59, 6.79, 9.562, 12.97, 17.01",\
                 "0.5666, 0.6726, 1.038, 1.756, 2.92, 4.592, 6.786, 9.564, 12.97, 17.01",\
                 "0.5664, 0.672, 1.036, 1.754, 2.918, 4.592, 6.792, 9.562, 12.97, 17.01",\
                 "0.566, 0.674, 1.038, 1.752, 2.922, 4.582, 6.79, 9.568, 12.97, 17",\
                 "0.568, 0.674, 1.038, 1.752, 2.922, 4.586, 6.786, 9.562, 12.96, 16.99",\
                 "0.568, 0.674, 1.038, 1.754, 2.92, 4.59, 6.792, 9.568, 12.97, 17",\
                 "0.566, 0.672, 1.038, 1.754, 2.92, 4.594, 6.792, 9.56, 12.95, 17",\
                 "0.568, 0.674, 1.038, 1.754, 2.92, 4.586, 6.786, 9.56, 12.95, 17",\
                 "0.566, 0.672, 1.036, 1.754, 2.918, 4.584, 6.784, 9.566, 12.96, 17.03",\
                 "0.566, 0.672, 1.036, 1.752, 2.92, 4.586, 6.794, 9.57, 12.95, 17.02");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("10.3, 10.37, 10.55, 10.79, 11.09, 11.46, 11.91, 12.45, 13.1, 13.88",\
                 "10.34, 10.41, 10.58, 10.83, 11.13, 11.5, 11.94, 12.48, 13.14, 13.91",\
                 "10.53, 10.6, 10.77, 11.02, 11.32, 11.69, 12.13, 12.68, 13.33, 14.1",\
                 "10.92, 10.98, 11.16, 11.41, 11.71, 12.07, 12.52, 13.06, 13.71, 14.49",\
                 "11.53, 11.6, 11.78, 12.02, 12.32, 12.69, 13.13, 13.68, 14.33, 15.1",\
                 "12.4, 12.47, 12.65, 12.89, 13.19, 13.56, 14.01, 14.55, 15.2, 15.97",\
                 "13.55, 13.62, 13.8, 14.05, 14.35, 14.71, 15.16, 15.7, 16.35, 17.13",\
                 "15.01, 15.08, 15.26, 15.51, 15.81, 16.17, 16.62, 17.16, 17.81, 18.59",\
                 "16.8, 16.87, 17.05, 17.29, 17.59, 17.96, 18.41, 18.95, 19.6, 20.37",\
                 "18.93, 18.99, 19.17, 19.42, 19.72, 20.08, 20.53, 21.07, 21.72, 22.5");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("5.782, 5.878, 6.169, 6.659, 7.39, 8.402, 9.728, 11.39, 13.43, 15.85",\
                 "5.834, 5.93, 6.22, 6.711, 7.441, 8.453, 9.779, 11.45, 13.48, 15.91",\
                 "5.982, 6.078, 6.369, 6.859, 7.59, 8.602, 9.927, 11.59, 13.63, 16.05",\
                 "6.249, 6.345, 6.636, 7.126, 7.856, 8.869, 10.19, 11.86, 13.9, 16.32",\
                 "6.657, 6.754, 7.044, 7.535, 8.265, 9.277, 10.6, 12.27, 14.31, 16.73",\
                 "7.209, 7.305, 7.595, 8.086, 8.816, 9.828, 11.15, 12.82, 14.85, 17.28",\
                 "7.854, 7.951, 8.241, 8.732, 9.462, 10.47, 11.8, 13.47, 15.5, 17.92",\
                 "8.56, 8.657, 8.947, 9.437, 10.17, 11.18, 12.51, 14.17, 16.21, 18.63",\
                 "9.31, 9.407, 9.698, 10.19, 10.92, 11.93, 13.26, 14.92, 16.95, 19.38",\
                 "10.1, 10.19, 10.49, 10.98, 11.71, 12.72, 14.04, 15.71, 17.74, 20.16");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.46, 0.508, 0.646, 0.874, 1.214, 1.692, 2.344, 3.198, 4.264, 5.556",\
                 "0.46, 0.506, 0.644, 0.874, 1.214, 1.69, 2.344, 3.2, 4.266, 5.55",\
                 "0.46, 0.506, 0.646, 0.874, 1.214, 1.69, 2.344, 3.198, 4.264, 5.548",\
                 "0.458, 0.508, 0.646, 0.876, 1.214, 1.69, 2.344, 3.198, 4.264, 5.55",\
                 "0.458, 0.506, 0.646, 0.874, 1.214, 1.69, 2.344, 3.198, 4.266, 5.556",\
                 "0.46, 0.506, 0.646, 0.872, 1.212, 1.688, 2.346, 3.198, 4.266, 5.55",\
                 "0.458, 0.508, 0.646, 0.874, 1.214, 1.692, 2.344, 3.198, 4.266, 5.554",\
                 "0.458, 0.508, 0.644, 0.874, 1.214, 1.692, 2.344, 3.198, 4.266, 5.546",\
                 "0.458, 0.506, 0.646, 0.874, 1.214, 1.692, 2.344, 3.196, 4.266, 5.556",\
                 "0.46, 0.506, 0.646, 0.874, 1.212, 1.692, 2.344, 3.198, 4.266, 5.552");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.515, 0.6244, 0.9972, 1.725, 2.896, 4.575, 6.771, 9.569, 12.95, 17",\
                 "0.515, 0.6242, 0.9964, 1.723, 2.897, 4.567, 6.777, 9.551, 12.97, 17.04",\
                 "0.5154, 0.6244, 0.9974, 1.724, 2.896, 4.578, 6.774, 9.567, 12.95, 17",\
                 "0.5154, 0.624, 0.9972, 1.725, 2.902, 4.574, 6.784, 9.56, 12.96, 17.02",\
                 "0.5152, 0.6244, 0.9966, 1.725, 2.902, 4.576, 6.774, 9.554, 12.96, 17",\
                 "0.5154, 0.6242, 0.9964, 1.724, 2.896, 4.568, 6.778, 9.552, 12.95, 17.02",\
                 "0.516, 0.624, 0.996, 1.722, 2.898, 4.576, 6.782, 9.552, 12.95, 17",\
                 "0.516, 0.624, 0.996, 1.724, 2.904, 4.574, 6.778, 9.56, 12.95, 17",\
                 "0.516, 0.624, 0.996, 1.724, 2.896, 4.572, 6.784, 9.556, 12.94, 17",\
                 "0.514, 0.624, 0.996, 1.722, 2.898, 4.566, 6.772, 9.562, 12.97, 16.99");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("10.3, 10.37, 10.55, 10.79, 11.09, 11.46, 11.91, 12.45, 13.1, 13.88",\
                 "10.34, 10.41, 10.58, 10.83, 11.13, 11.5, 11.94, 12.48, 13.14, 13.91",\
                 "10.53, 10.6, 10.77, 11.02, 11.32, 11.69, 12.13, 12.68, 13.33, 14.1",\
                 "10.92, 10.98, 11.16, 11.41, 11.71, 12.07, 12.52, 13.06, 13.71, 14.49",\
                 "11.53, 11.6, 11.78, 12.02, 12.32, 12.69, 13.13, 13.68, 14.33, 15.1",\
                 "12.4, 12.47, 12.65, 12.89, 13.19, 13.56, 14.01, 14.55, 15.2, 15.97",\
                 "13.55, 13.62, 13.8, 14.05, 14.35, 14.71, 15.16, 15.7, 16.35, 17.13",\
                 "15.01, 15.08, 15.26, 15.51, 15.81, 16.17, 16.62, 17.16, 17.81, 18.59",\
                 "16.8, 16.87, 17.05, 17.29, 17.59, 17.96, 18.41, 18.95, 19.6, 20.37",\
                 "18.93, 18.99, 19.17, 19.42, 19.72, 20.08, 20.53, 21.07, 21.72, 22.5");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("9.409, 9.512, 9.811, 10.31, 11.04, 12.05, 13.38, 15.05, 17.08, 19.5",\
                 "9.466, 9.568, 9.868, 10.36, 11.1, 12.11, 13.44, 15.1, 17.14, 19.56",\
                 "9.645, 9.747, 10.05, 10.54, 11.27, 12.29, 13.61, 15.28, 17.32, 19.74",\
                 "9.963, 10.06, 10.36, 10.86, 11.59, 12.61, 13.93, 15.6, 17.63, 20.06",\
                 "10.36, 10.46, 10.76, 11.26, 11.99, 13, 14.33, 16, 18.03, 20.45",\
                 "10.79, 10.89, 11.19, 11.68, 12.42, 13.43, 14.76, 16.43, 18.46, 20.88",\
                 "11.24, 11.34, 11.64, 12.14, 12.87, 13.88, 15.21, 16.88, 18.91, 21.33",\
                 "11.71, 11.81, 12.11, 12.61, 13.34, 14.35, 15.68, 17.35, 19.38, 21.8",\
                 "12.2, 12.3, 12.6, 13.1, 13.83, 14.84, 16.17, 17.83, 19.87, 22.29",\
                 "12.7, 12.8, 13.1, 13.59, 14.33, 15.34, 16.67, 18.33, 20.37, 22.79");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.7904, 0.8508, 1.021, 1.281, 1.64, 2.114, 2.736, 3.528, 4.528, 5.76",\
                 "0.7904, 0.8502, 1.022, 1.282, 1.64, 2.112, 2.736, 3.528, 4.528, 5.758",\
                 "0.7898, 0.8498, 1.021, 1.282, 1.638, 2.112, 2.734, 3.524, 4.528, 5.758",\
                 "0.792, 0.85, 1.02, 1.28, 1.638, 2.112, 2.734, 3.528, 4.528, 5.76",\
                 "0.79, 0.85, 1.022, 1.282, 1.638, 2.112, 2.734, 3.528, 4.528, 5.76",\
                 "0.79, 0.85, 1.02, 1.282, 1.638, 2.112, 2.734, 3.528, 4.528, 5.76",\
                 "0.79, 0.85, 1.022, 1.28, 1.64, 2.112, 2.734, 3.526, 4.53, 5.76",\
                 "0.79, 0.85, 1.02, 1.282, 1.642, 2.112, 2.736, 3.528, 4.528, 5.754",\
                 "0.79, 0.852, 1.02, 1.28, 1.64, 2.114, 2.736, 3.526, 4.53, 5.758",\
                 "0.79, 0.85, 1.02, 1.282, 1.642, 2.114, 2.734, 3.528, 4.53, 5.76");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.515, 0.6244, 0.9972, 1.725, 2.896, 4.575, 6.771, 9.569, 12.95, 17",\
                 "0.515, 0.6242, 0.9964, 1.723, 2.897, 4.567, 6.777, 9.551, 12.97, 17.04",\
                 "0.5154, 0.6244, 0.9974, 1.724, 2.896, 4.578, 6.774, 9.567, 12.95, 17",\
                 "0.5154, 0.624, 0.9972, 1.725, 2.902, 4.574, 6.784, 9.56, 12.96, 17.02",\
                 "0.5152, 0.6244, 0.9966, 1.725, 2.902, 4.576, 6.774, 9.554, 12.96, 17",\
                 "0.5154, 0.6242, 0.9964, 1.724, 2.896, 4.568, 6.778, 9.552, 12.95, 17.02",\
                 "0.516, 0.624, 0.996, 1.722, 2.898, 4.576, 6.782, 9.552, 12.95, 17",\
                 "0.516, 0.624, 0.996, 1.724, 2.904, 4.574, 6.778, 9.56, 12.95, 17",\
                 "0.516, 0.624, 0.996, 1.724, 2.896, 4.572, 6.784, 9.556, 12.94, 17",\
                 "0.514, 0.624, 0.996, 1.722, 2.898, 4.566, 6.772, 9.562, 12.97, 16.99");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("3.541, 3.609, 3.787, 4.032, 4.333, 4.698, 5.144, 5.685, 6.338, 7.112",\
                 "3.594, 3.662, 3.84, 4.086, 4.386, 4.752, 5.197, 5.738, 6.391, 7.165",\
                 "3.74, 3.808, 3.985, 4.231, 4.532, 4.897, 5.342, 5.884, 6.537, 7.311",\
                 "3.987, 4.054, 4.233, 4.478, 4.779, 5.145, 5.589, 6.131, 6.784, 7.559",\
                 "4.372, 4.439, 4.617, 4.863, 5.163, 5.529, 5.974, 6.516, 7.169, 7.943",\
                 "4.874, 4.941, 5.12, 5.365, 5.665, 6.031, 6.476, 7.017, 7.671, 8.445",\
                 "5.444, 5.511, 5.689, 5.934, 6.235, 6.601, 7.046, 7.588, 8.241, 9.015",\
                 "6.07, 6.137, 6.315, 6.56, 6.861, 7.225, 7.67, 8.211, 8.863, 9.638",\
                 "6.731, 6.799, 6.977, 7.222, 7.523, 7.888, 8.332, 8.873, 9.524, 10.3",\
                 "7.419, 7.488, 7.665, 7.91, 8.211, 8.577, 9.021, 9.562, 10.21, 10.99");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("4.336, 4.434, 4.728, 5.222, 5.954, 6.967, 8.295, 9.962, 11.99, 14.41",\
                 "4.393, 4.491, 4.784, 5.278, 6.01, 7.023, 8.35, 10.02, 12.05, 14.47",\
                 "4.613, 4.711, 5.005, 5.498, 6.231, 7.244, 8.57, 10.24, 12.27, 14.69",\
                 "5.04, 5.137, 5.431, 5.925, 6.657, 7.671, 8.998, 10.67, 12.7, 15.12",\
                 "5.711, 5.809, 6.103, 6.597, 7.328, 8.342, 9.669, 11.34, 13.37, 15.79",\
                 "6.658, 6.755, 7.05, 7.543, 8.276, 9.288, 10.62, 12.28, 14.32, 16.74",\
                 "7.906, 8.004, 8.298, 8.791, 9.524, 10.54, 11.86, 13.53, 15.56, 17.99",\
                 "9.455, 9.552, 9.847, 10.34, 11.07, 12.09, 13.41, 15.08, 17.11, 19.53",\
                 "11.26, 11.36, 11.66, 12.15, 12.88, 13.9, 15.22, 16.89, 18.92, 21.35",\
                 "13.28, 13.38, 13.67, 14.17, 14.9, 15.91, 17.24, 18.91, 20.94, 23.36");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.4574, 0.5052, 0.6438, 0.873, 1.212, 1.689, 2.343, 3.197, 4.264, 5.547",\
                 "0.4578, 0.5054, 0.6448, 0.8722, 1.213, 1.689, 2.343, 3.196, 4.263, 5.55",\
                 "0.4572, 0.5048, 0.6436, 0.873, 1.211, 1.69, 2.343, 3.195, 4.263, 5.554",\
                 "0.4568, 0.5046, 0.6444, 0.873, 1.211, 1.692, 2.342, 3.196, 4.261, 5.547",\
                 "0.4574, 0.5044, 0.6448, 0.872, 1.214, 1.69, 2.342, 3.196, 4.264, 5.553",\
                 "0.4576, 0.505, 0.6446, 0.872, 1.214, 1.689, 2.342, 3.196, 4.265, 5.553",\
                 "0.458, 0.5054, 0.645, 0.8724, 1.21, 1.688, 2.344, 3.196, 4.264, 5.552",\
                 "0.456, 0.504, 0.644, 0.872, 1.21, 1.684, 2.34, 3.19, 4.26, 5.552",\
                 "0.46, 0.506, 0.646, 0.874, 1.212, 1.69, 2.338, 3.19, 4.25, 5.536",\
                 "0.46, 0.506, 0.646, 0.876, 1.214, 1.69, 2.342, 3.19, 4.258, 5.534");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.5288, 0.6386, 1.011, 1.737, 2.91, 4.576, 6.788, 9.573, 12.97, 17",\
                 "0.5284, 0.6376, 1.011, 1.735, 2.907, 4.576, 6.791, 9.558, 12.97, 17",\
                 "0.5288, 0.6378, 1.009, 1.737, 2.907, 4.576, 6.793, 9.56, 12.95, 17",\
                 "0.5286, 0.6374, 1.011, 1.737, 2.912, 4.576, 6.79, 9.562, 12.95, 17.01",\
                 "0.5286, 0.6376, 1.009, 1.735, 2.909, 4.576, 6.791, 9.558, 12.96, 17.02",\
                 "0.529, 0.6384, 1.009, 1.737, 2.912, 4.586, 6.788, 9.57, 12.96, 17",\
                 "0.528, 0.638, 1.01, 1.736, 2.912, 4.576, 6.78, 9.572, 12.97, 17",\
                 "0.528, 0.638, 1.012, 1.736, 2.908, 4.576, 6.782, 9.574, 12.95, 16.99",\
                 "0.53, 0.64, 1.012, 1.734, 2.908, 4.582, 6.786, 9.564, 12.96, 17.01",\
                 "0.534, 0.642, 1.014, 1.736, 2.908, 4.582, 6.794, 9.574, 12.97, 16.99");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("3.541, 3.609, 3.787, 4.032, 4.333, 4.698, 5.143, 5.685, 6.338, 7.112",\
                 "3.594, 3.662, 3.84, 4.086, 4.386, 4.752, 5.197, 5.738, 6.391, 7.166",\
                 "3.74, 3.808, 3.985, 4.231, 4.531, 4.897, 5.342, 5.884, 6.537, 7.311",\
                 "3.987, 4.055, 4.233, 4.478, 4.779, 5.144, 5.589, 6.131, 6.784, 7.558",\
                 "4.372, 4.439, 4.617, 4.863, 5.163, 5.529, 5.974, 6.516, 7.169, 7.943",\
                 "4.873, 4.941, 5.119, 5.365, 5.665, 6.031, 6.476, 7.018, 7.671, 8.445",\
                 "5.444, 5.511, 5.689, 5.934, 6.235, 6.601, 7.046, 7.588, 8.241, 9.015",\
                 "6.07, 6.137, 6.315, 6.56, 6.861, 7.225, 7.67, 8.211, 8.863, 9.638",\
                 "6.731, 6.799, 6.977, 7.222, 7.523, 7.887, 8.332, 8.873, 9.524, 10.3",\
                 "7.419, 7.488, 7.665, 7.91, 8.211, 8.576, 9.023, 9.562, 10.21, 10.99");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("4.336, 4.434, 4.728, 5.222, 5.954, 6.967, 8.294, 9.962, 11.99, 14.41",\
                 "4.392, 4.49, 4.784, 5.277, 6.01, 7.023, 8.35, 10.02, 12.05, 14.47",\
                 "4.612, 4.71, 5.004, 5.498, 6.23, 7.244, 8.57, 10.24, 12.27, 14.69",\
                 "5.04, 5.137, 5.431, 5.925, 6.657, 7.671, 8.998, 10.66, 12.7, 15.12",\
                 "5.711, 5.809, 6.103, 6.596, 7.328, 8.342, 9.669, 11.34, 13.37, 15.79",\
                 "6.658, 6.755, 7.049, 7.544, 8.275, 9.289, 10.62, 12.28, 14.32, 16.74",\
                 "7.905, 8.004, 8.298, 8.791, 9.524, 10.54, 11.86, 13.53, 15.56, 17.98",\
                 "9.455, 9.552, 9.847, 10.34, 11.07, 12.09, 13.41, 15.08, 17.11, 19.53",\
                 "11.26, 11.36, 11.66, 12.15, 12.88, 13.9, 15.22, 16.89, 18.92, 21.35",\
                 "13.28, 13.38, 13.67, 14.17, 14.9, 15.91, 17.24, 18.91, 20.94, 23.36");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.4572, 0.5052, 0.644, 0.873, 1.212, 1.689, 2.343, 3.197, 4.264, 5.547",\
                 "0.4574, 0.5046, 0.6448, 0.872, 1.211, 1.691, 2.343, 3.196, 4.264, 5.553",\
                 "0.4582, 0.5048, 0.6448, 0.8732, 1.211, 1.689, 2.343, 3.196, 4.263, 5.554",\
                 "0.4582, 0.5044, 0.6442, 0.8732, 1.211, 1.691, 2.342, 3.196, 4.264, 5.554",\
                 "0.4572, 0.5044, 0.645, 0.873, 1.211, 1.69, 2.343, 3.196, 4.264, 5.553",\
                 "0.4574, 0.505, 0.6448, 0.8722, 1.214, 1.691, 2.343, 3.195, 4.264, 5.553",\
                 "0.4586, 0.5054, 0.6448, 0.8724, 1.21, 1.69, 2.342, 3.196, 4.264, 5.554",\
                 "0.456, 0.504, 0.642, 0.872, 1.21, 1.684, 2.34, 3.192, 4.264, 5.552",\
                 "0.458, 0.506, 0.644, 0.876, 1.212, 1.688, 2.338, 3.19, 4.25, 5.536",\
                 "0.46, 0.508, 0.646, 0.876, 1.214, 1.688, 2.342, 3.19, 4.252, 5.542");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.5286, 0.6386, 1.011, 1.737, 2.91, 4.576, 6.788, 9.573, 12.97, 17",\
                 "0.5286, 0.6378, 1.011, 1.735, 2.907, 4.576, 6.791, 9.57, 12.98, 16.99",\
                 "0.5284, 0.6374, 1.011, 1.735, 2.906, 4.585, 6.793, 9.558, 12.95, 17",\
                 "0.5284, 0.6374, 1.011, 1.736, 2.909, 4.585, 6.783, 9.567, 12.95, 17",\
                 "0.5284, 0.6378, 1.009, 1.737, 2.909, 4.577, 6.781, 9.574, 12.97, 17.02",\
                 "0.5286, 0.6376, 1.011, 1.736, 2.912, 4.586, 6.794, 9.572, 12.95, 17",\
                 "0.53, 0.638, 1.01, 1.736, 2.906, 4.586, 6.782, 9.572, 12.95, 17",\
                 "0.528, 0.638, 1.012, 1.736, 2.91, 4.576, 6.78, 9.558, 12.95, 17",\
                 "0.532, 0.638, 1.014, 1.736, 2.914, 4.584, 6.784, 9.566, 12.96, 17.01",\
                 "0.534, 0.642, 1.016, 1.736, 2.91, 4.576, 6.782, 9.574, 12.98, 17");
        }
      }

      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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("3.541, 3.609, 3.787, 4.032, 4.333, 4.698, 5.143, 5.685, 6.338, 7.112",\
                 "3.594, 3.662, 3.84, 4.086, 4.386, 4.752, 5.197, 5.738, 6.391, 7.166",\
                 "3.74, 3.808, 3.985, 4.231, 4.531, 4.897, 5.342, 5.884, 6.537, 7.311",\
                 "3.987, 4.055, 4.233, 4.478, 4.779, 5.144, 5.589, 6.131, 6.784, 7.558",\
                 "4.372, 4.439, 4.617, 4.863, 5.163, 5.529, 5.974, 6.516, 7.169, 7.943",\
                 "4.873, 4.941, 5.119, 5.365, 5.665, 6.031, 6.476, 7.018, 7.671, 8.445",\
                 "5.444, 5.511, 5.689, 5.934, 6.235, 6.601, 7.046, 7.588, 8.241, 9.015",\
                 "6.07, 6.137, 6.315, 6.56, 6.861, 7.225, 7.67, 8.211, 8.863, 9.638",\
                 "6.731, 6.799, 6.977, 7.222, 7.523, 7.887, 8.332, 8.873, 9.524, 10.3",\
                 "7.419, 7.488, 7.665, 7.91, 8.211, 8.576, 9.023, 9.562, 10.21, 10.99");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("4.336, 4.434, 4.728, 5.222, 5.954, 6.967, 8.294, 9.962, 11.99, 14.41",\
                 "4.392, 4.49, 4.784, 5.277, 6.01, 7.023, 8.35, 10.02, 12.05, 14.47",\
                 "4.612, 4.71, 5.004, 5.498, 6.23, 7.244, 8.57, 10.24, 12.27, 14.69",\
                 "5.04, 5.137, 5.431, 5.925, 6.657, 7.671, 8.998, 10.66, 12.7, 15.12",\
                 "5.711, 5.809, 6.103, 6.596, 7.328, 8.342, 9.669, 11.34, 13.37, 15.79",\
                 "6.658, 6.755, 7.049, 7.544, 8.275, 9.289, 10.62, 12.28, 14.32, 16.74",\
                 "7.905, 8.004, 8.298, 8.791, 9.524, 10.54, 11.86, 13.53, 15.56, 17.98",\
                 "9.455, 9.552, 9.847, 10.34, 11.07, 12.09, 13.41, 15.08, 17.11, 19.53",\
                 "11.26, 11.36, 11.66, 12.15, 12.88, 13.9, 15.22, 16.89, 18.92, 21.35",\
                 "13.28, 13.38, 13.67, 14.17, 14.9, 15.91, 17.24, 18.91, 20.94, 23.36");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.4574, 0.5052, 0.6438, 0.873, 1.212, 1.689, 2.343, 3.197, 4.264, 5.547",\
                 "0.4578, 0.5054, 0.6448, 0.8722, 1.213, 1.689, 2.343, 3.196, 4.263, 5.55",\
                 "0.4572, 0.5048, 0.6436, 0.873, 1.211, 1.69, 2.343, 3.195, 4.263, 5.554",\
                 "0.4568, 0.5046, 0.6444, 0.873, 1.211, 1.692, 2.342, 3.196, 4.261, 5.547",\
                 "0.4574, 0.5044, 0.6448, 0.872, 1.214, 1.69, 2.342, 3.196, 4.264, 5.553",\
                 "0.4576, 0.505, 0.6446, 0.872, 1.214, 1.689, 2.342, 3.196, 4.265, 5.553",\
                 "0.458, 0.5054, 0.645, 0.8724, 1.21, 1.688, 2.344, 3.196, 4.264, 5.552",\
                 "0.456, 0.504, 0.644, 0.872, 1.21, 1.684, 2.34, 3.19, 4.26, 5.552",\
                 "0.46, 0.506, 0.646, 0.874, 1.212, 1.69, 2.338, 3.19, 4.25, 5.536",\
                 "0.46, 0.506, 0.646, 0.876, 1.214, 1.69, 2.342, 3.19, 4.258, 5.534");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.5286, 0.6386, 1.011, 1.737, 2.91, 4.576, 6.788, 9.573, 12.97, 17",\
                 "0.5286, 0.6378, 1.011, 1.735, 2.907, 4.576, 6.791, 9.57, 12.98, 16.99",\
                 "0.5284, 0.6374, 1.011, 1.735, 2.906, 4.585, 6.793, 9.558, 12.95, 17",\
                 "0.5284, 0.6374, 1.011, 1.736, 2.909, 4.585, 6.783, 9.567, 12.95, 17",\
                 "0.5284, 0.6378, 1.009, 1.737, 2.909, 4.577, 6.781, 9.574, 12.97, 17.02",\
                 "0.5286, 0.6376, 1.011, 1.736, 2.912, 4.586, 6.794, 9.572, 12.95, 17",\
                 "0.53, 0.638, 1.01, 1.736, 2.906, 4.586, 6.782, 9.572, 12.95, 17",\
                 "0.528, 0.638, 1.012, 1.736, 2.91, 4.576, 6.78, 9.558, 12.95, 17",\
                 "0.532, 0.638, 1.014, 1.736, 2.914, 4.584, 6.784, 9.566, 12.96, 17.01",\
                 "0.534, 0.642, 1.016, 1.736, 2.91, 4.576, 6.782, 9.574, 12.98, 17");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("3.855, 3.955, 4.214, 4.556, 4.952, 5.401, 5.914, 6.502, 7.184, 7.974",\
                 "3.91, 4.009, 4.269, 4.612, 5.008, 5.456, 5.968, 6.557, 7.24, 8.03",\
                 "4.099, 4.2, 4.459, 4.802, 5.197, 5.646, 6.158, 6.748, 7.43, 8.22",\
                 "4.484, 4.584, 4.843, 5.186, 5.581, 6.03, 6.543, 7.131, 7.813, 8.604",\
                 "5.105, 5.205, 5.464, 5.807, 6.203, 6.652, 7.164, 7.754, 8.435, 9.226",\
                 "5.998, 6.097, 6.356, 6.698, 7.094, 7.542, 8.056, 8.644, 9.327, 10.12",\
                 "7.183, 7.283, 7.542, 7.884, 8.279, 8.729, 9.241, 9.83, 10.51, 11.3",\
                 "8.684, 8.783, 9.042, 9.384, 9.78, 10.23, 10.74, 11.33, 12.01, 12.8",\
                 "10.49, 10.59, 10.86, 11.2, 11.6, 12.05, 12.56, 13.16, 13.84, 14.63",\
                 "12.56, 12.67, 12.95, 13.31, 13.71, 14.17, 14.69, 15.28, 15.97, 16.76");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("1.605, 1.701, 1.991, 2.481, 3.212, 4.225, 5.551, 7.217, 9.251, 11.68",\
                 "1.658, 1.753, 2.042, 2.533, 3.264, 4.277, 5.603, 7.268, 9.304, 11.73",\
                 "1.845, 1.941, 2.231, 2.721, 3.452, 4.465, 5.79, 7.458, 9.491, 11.92",\
                 "2.197, 2.293, 2.582, 3.072, 3.802, 4.814, 6.139, 7.806, 9.843, 12.27",\
                 "2.74, 2.835, 3.124, 3.613, 4.342, 5.355, 6.681, 8.348, 10.38, 12.81",\
                 "3.47, 3.567, 3.857, 4.346, 5.075, 6.087, 7.412, 9.081, 11.12, 13.54",\
                 "4.311, 4.411, 4.708, 5.201, 5.931, 6.942, 8.268, 9.936, 11.97, 14.39",\
                 "5.239, 5.343, 5.646, 6.143, 6.876, 7.888, 9.212, 10.88, 12.91, 15.34",\
                 "6.25, 6.359, 6.67, 7.172, 7.904, 8.917, 10.25, 11.91, 13.94, 16.37",\
                 "7.342, 7.457, 7.778, 8.285, 9.021, 10.03, 11.36, 13.02, 15.06, 17.47");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.7894, 0.8504, 1.02, 1.281, 1.639, 2.112, 2.733, 3.527, 4.529, 5.759",\
                 "0.7896, 0.8508, 1.02, 1.281, 1.64, 2.114, 2.735, 3.526, 4.528, 5.759",\
                 "0.7908, 0.8498, 1.02, 1.282, 1.642, 2.113, 2.735, 3.525, 4.527, 5.757",\
                 "0.7908, 0.8502, 1.02, 1.281, 1.64, 2.112, 2.734, 3.526, 4.528, 5.759",\
                 "0.7906, 0.8502, 1.021, 1.281, 1.64, 2.117, 2.735, 3.529, 4.528, 5.758",\
                 "0.7902, 0.8498, 1.021, 1.282, 1.64, 2.113, 2.733, 3.526, 4.528, 5.76",\
                 "0.79, 0.85, 1.02, 1.282, 1.644, 2.116, 2.736, 3.526, 4.528, 5.758",\
                 "0.794, 0.854, 1.026, 1.284, 1.642, 2.12, 2.736, 3.526, 4.53, 5.76",\
                 "0.824, 0.886, 1.052, 1.306, 1.656, 2.126, 2.742, 3.536, 4.532, 5.762",\
                 "0.912, 0.97, 1.126, 1.364, 1.7, 2.162, 2.764, 3.554, 4.544, 5.766");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.509, 0.6172, 0.9918, 1.722, 2.901, 4.571, 6.778, 9.552, 12.95, 17",\
                 "0.5074, 0.6174, 0.9922, 1.721, 2.896, 4.572, 6.773, 9.563, 12.96, 17.03",\
                 "0.509, 0.6174, 0.9928, 1.722, 2.901, 4.571, 6.773, 9.552, 12.95, 17",\
                 "0.508, 0.6172, 0.9918, 1.721, 2.896, 4.575, 6.774, 9.57, 12.95, 17.02",\
                 "0.5092, 0.6184, 0.9934, 1.723, 2.899, 4.576, 6.772, 9.552, 12.95, 17.03",\
                 "0.5202, 0.6292, 0.9976, 1.725, 2.896, 4.568, 6.774, 9.555, 12.95, 17",\
                 "0.554, 0.6592, 1.023, 1.741, 2.905, 4.572, 6.772, 9.556, 12.95, 17",\
                 "0.594, 0.698, 1.052, 1.758, 2.922, 4.58, 6.776, 9.57, 12.95, 17",\
                 "0.646, 0.746, 1.088, 1.782, 2.932, 4.594, 6.79, 9.566, 12.95, 17",\
                 "0.71, 0.802, 1.13, 1.806, 2.946, 4.604, 6.804, 9.572, 12.96, 17");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("3.856, 3.957, 4.216, 4.559, 4.955, 5.403, 5.916, 6.506, 7.188, 7.979",\
                 "3.912, 4.011, 4.272, 4.614, 5.01, 5.459, 5.972, 6.562, 7.244, 8.034",\
                 "4.101, 4.202, 4.462, 4.805, 5.201, 5.65, 6.162, 6.752, 7.435, 8.224",\
                 "4.486, 4.587, 4.846, 5.188, 5.585, 6.034, 6.547, 7.136, 7.818, 8.609",\
                 "5.108, 5.208, 5.468, 5.81, 6.206, 6.655, 7.167, 7.757, 8.44, 9.23",\
                 "6, 6.101, 6.36, 6.702, 7.098, 7.546, 8.059, 8.649, 9.331, 10.12",\
                 "7.186, 7.285, 7.545, 7.887, 8.283, 8.732, 9.245, 9.834, 10.52, 11.31",\
                 "8.686, 8.786, 9.044, 9.386, 9.781, 10.23, 10.74, 11.33, 12.02, 12.81",\
                 "10.49, 10.59, 10.86, 11.21, 11.6, 12.06, 12.57, 13.16, 13.84, 14.63",\
                 "12.56, 12.67, 12.95, 13.31, 13.72, 14.17, 14.69, 15.28, 15.97, 16.76");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("1.605, 1.701, 1.991, 2.481, 3.212, 4.225, 5.55, 7.216, 9.251, 11.68",\
                 "1.658, 1.753, 2.043, 2.533, 3.264, 4.277, 5.603, 7.268, 9.304, 11.73",\
                 "1.845, 1.941, 2.23, 2.721, 3.452, 4.464, 5.791, 7.458, 9.491, 11.92",\
                 "2.197, 2.293, 2.582, 3.072, 3.802, 4.814, 6.139, 7.806, 9.843, 12.27",\
                 "2.74, 2.835, 3.124, 3.613, 4.342, 5.355, 6.68, 8.347, 10.38, 12.81",\
                 "3.471, 3.567, 3.857, 4.346, 5.075, 6.087, 7.413, 9.081, 11.12, 13.55",\
                 "4.312, 4.411, 4.707, 5.201, 5.932, 6.941, 8.268, 9.936, 11.97, 14.39",\
                 "5.239, 5.343, 5.646, 6.144, 6.875, 7.888, 9.212, 10.88, 12.91, 15.33",\
                 "6.25, 6.359, 6.67, 7.172, 7.905, 8.917, 10.24, 11.91, 13.94, 16.36",\
                 "7.341, 7.458, 7.779, 8.287, 9.019, 10.03, 11.36, 13.03, 15.06, 17.47");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.792, 0.852, 1.022, 1.283, 1.642, 2.116, 2.736, 3.531, 4.529, 5.76",\
                 "0.7908, 0.8516, 1.021, 1.282, 1.641, 2.113, 2.736, 3.53, 4.529, 5.761",\
                 "0.7922, 0.8516, 1.021, 1.283, 1.64, 2.115, 2.736, 3.527, 4.529, 5.759",\
                 "0.792, 0.8514, 1.022, 1.283, 1.644, 2.115, 2.735, 3.529, 4.531, 5.76",\
                 "0.7922, 0.852, 1.022, 1.282, 1.641, 2.116, 2.737, 3.526, 4.53, 5.76",\
                 "0.791, 0.851, 1.022, 1.283, 1.644, 2.113, 2.737, 3.528, 4.53, 5.758",\
                 "0.792, 0.852, 1.022, 1.284, 1.642, 2.118, 2.738, 3.53, 4.53, 5.76",\
                 "0.796, 0.858, 1.028, 1.286, 1.646, 2.118, 2.736, 3.53, 4.53, 5.76",\
                 "0.828, 0.886, 1.052, 1.308, 1.658, 2.128, 2.744, 3.536, 4.532, 5.762",\
                 "0.914, 0.97, 1.128, 1.366, 1.702, 2.16, 2.768, 3.552, 4.544, 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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.5084, 0.617, 0.992, 1.722, 2.896, 4.575, 6.773, 9.568, 12.95, 17",\
                 "0.5076, 0.6174, 0.9916, 1.723, 2.9, 4.568, 6.773, 9.563, 12.96, 17.03",\
                 "0.5082, 0.6182, 0.992, 1.723, 2.896, 4.567, 6.773, 9.553, 12.95, 17",\
                 "0.5078, 0.6174, 0.992, 1.721, 2.9, 4.567, 6.774, 9.568, 12.97, 17.01",\
                 "0.5092, 0.6188, 0.9928, 1.723, 2.9, 4.575, 6.774, 9.568, 12.95, 17",\
                 "0.5202, 0.628, 0.9986, 1.723, 2.896, 4.577, 6.779, 9.557, 12.95, 16.99",\
                 "0.5534, 0.6594, 1.025, 1.741, 2.904, 4.569, 6.772, 9.556, 12.95, 17",\
                 "0.594, 0.696, 1.05, 1.76, 2.92, 4.578, 6.776, 9.554, 12.95, 17",\
                 "0.648, 0.744, 1.088, 1.782, 2.934, 4.596, 6.79, 9.572, 12.95, 17",\
                 "0.71, 0.802, 1.132, 1.806, 2.946, 4.608, 6.802, 9.576, 12.96, 17");
        }
      }

      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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("3.856, 3.957, 4.216, 4.559, 4.955, 5.403, 5.916, 6.506, 7.188, 7.979",\
                 "3.912, 4.011, 4.272, 4.614, 5.01, 5.459, 5.972, 6.562, 7.244, 8.034",\
                 "4.101, 4.202, 4.462, 4.805, 5.201, 5.65, 6.162, 6.752, 7.435, 8.224",\
                 "4.486, 4.587, 4.846, 5.188, 5.585, 6.034, 6.547, 7.136, 7.818, 8.609",\
                 "5.108, 5.208, 5.468, 5.81, 6.206, 6.655, 7.167, 7.757, 8.44, 9.23",\
                 "6, 6.101, 6.36, 6.702, 7.098, 7.546, 8.059, 8.649, 9.331, 10.12",\
                 "7.186, 7.285, 7.545, 7.887, 8.283, 8.732, 9.245, 9.834, 10.52, 11.31",\
                 "8.686, 8.786, 9.044, 9.386, 9.781, 10.23, 10.74, 11.33, 12.02, 12.81",\
                 "10.49, 10.59, 10.86, 11.21, 11.6, 12.06, 12.57, 13.16, 13.84, 14.63",\
                 "12.56, 12.67, 12.95, 13.31, 13.72, 14.17, 14.69, 15.28, 15.97, 16.76");
        }

        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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("1.605, 1.701, 1.991, 2.481, 3.212, 4.225, 5.55, 7.216, 9.251, 11.68",\
                 "1.658, 1.753, 2.043, 2.533, 3.264, 4.277, 5.603, 7.268, 9.304, 11.73",\
                 "1.845, 1.941, 2.23, 2.721, 3.452, 4.464, 5.791, 7.458, 9.491, 11.92",\
                 "2.197, 2.293, 2.582, 3.072, 3.802, 4.814, 6.139, 7.806, 9.843, 12.27",\
                 "2.74, 2.835, 3.124, 3.613, 4.342, 5.355, 6.68, 8.347, 10.38, 12.81",\
                 "3.471, 3.567, 3.857, 4.346, 5.075, 6.087, 7.413, 9.081, 11.12, 13.55",\
                 "4.312, 4.411, 4.707, 5.201, 5.932, 6.941, 8.268, 9.936, 11.97, 14.39",\
                 "5.239, 5.343, 5.646, 6.144, 6.875, 7.888, 9.212, 10.88, 12.91, 15.33",\
                 "6.25, 6.359, 6.67, 7.172, 7.905, 8.917, 10.24, 11.91, 13.94, 16.36",\
                 "7.341, 7.458, 7.779, 8.287, 9.019, 10.03, 11.36, 13.03, 15.06, 17.47");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.792, 0.852, 1.022, 1.283, 1.642, 2.116, 2.736, 3.531, 4.529, 5.76",\
                 "0.7908, 0.8516, 1.021, 1.282, 1.641, 2.113, 2.736, 3.53, 4.529, 5.761",\
                 "0.7922, 0.8516, 1.021, 1.283, 1.64, 2.115, 2.736, 3.527, 4.529, 5.759",\
                 "0.792, 0.8514, 1.022, 1.283, 1.644, 2.115, 2.735, 3.529, 4.531, 5.76",\
                 "0.7922, 0.852, 1.022, 1.282, 1.641, 2.116, 2.737, 3.526, 4.53, 5.76",\
                 "0.791, 0.851, 1.022, 1.283, 1.644, 2.113, 2.737, 3.528, 4.53, 5.758",\
                 "0.792, 0.852, 1.022, 1.284, 1.642, 2.118, 2.738, 3.53, 4.53, 5.76",\
                 "0.796, 0.858, 1.028, 1.286, 1.646, 2.118, 2.736, 3.53, 4.53, 5.76",\
                 "0.828, 0.886, 1.052, 1.308, 1.658, 2.128, 2.744, 3.536, 4.532, 5.762",\
                 "0.914, 0.97, 1.128, 1.366, 1.702, 2.16, 2.768, 3.552, 4.544, 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.0066, 0.02626, 0.0638, 0.1223, 0.2043, 0.3123, 0.4484, 0.6144, 0.8124");
          values("0.5084, 0.617, 0.992, 1.722, 2.896, 4.575, 6.773, 9.568, 12.95, 17",\
                 "0.5076, 0.6174, 0.9916, 1.723, 2.9, 4.568, 6.773, 9.563, 12.96, 17.03",\
                 "0.5082, 0.6182, 0.992, 1.723, 2.896, 4.567, 6.773, 9.553, 12.95, 17",\
                 "0.5078, 0.6174, 0.992, 1.721, 2.9, 4.567, 6.774, 9.568, 12.97, 17.01",\
                 "0.5092, 0.6188, 0.9928, 1.723, 2.9, 4.575, 6.774, 9.568, 12.95, 17",\
                 "0.5202, 0.628, 0.9986, 1.723, 2.896, 4.577, 6.779, 9.557, 12.95, 16.99",\
                 "0.5534, 0.6594, 1.025, 1.741, 2.904, 4.569, 6.772, 9.556, 12.95, 17",\
                 "0.594, 0.696, 1.05, 1.76, 2.92, 4.578, 6.776, 9.554, 12.95, 17",\
                 "0.648, 0.744, 1.088, 1.782, 2.934, 4.596, 6.79, 9.572, 12.95, 17",\
                 "0.71, 0.802, 1.132, 1.806, 2.946, 4.608, 6.802, 9.576, 12.96, 17");
        }
      }
    }
  }