  cell(gf180mcu_fd_sc_mcu9t5v0__xnor3_4) {
    area : 90.316800 ;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    pin(ZN) {
      direction : output ;
      function : "(!(A1^A2^A3))" ;
      max_capacitance : 1.557 ;
      max_transition : 7.2 ;
      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.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("1.337, 1.295, 1.2, 1.115, 1.063, 1.031, 1.01, 0.9946, 0.9842, 0.976",\
                 "1.337, 1.295, 1.2, 1.114, 1.064, 1.032, 1.01, 0.9949, 0.9843, 0.976",\
                 "1.337, 1.295, 1.2, 1.115, 1.063, 1.031, 1.009, 0.9947, 0.9836, 0.9759",\
                 "1.339, 1.296, 1.202, 1.115, 1.065, 1.033, 1.011, 0.996, 0.9854, 0.9771",\
                 "1.344, 1.302, 1.207, 1.121, 1.07, 1.038, 1.016, 1.001, 0.9902, 0.9825",\
                 "1.354, 1.312, 1.217, 1.131, 1.08, 1.048, 1.026, 1.011, 1, 0.9925",\
                 "1.37, 1.327, 1.232, 1.147, 1.096, 1.064, 1.043, 1.028, 1.017, 1.009",\
                 "1.392, 1.349, 1.255, 1.17, 1.119, 1.086, 1.066, 1.05, 1.039, 1.032",\
                 "1.423, 1.38, 1.286, 1.2, 1.149, 1.117, 1.096, 1.081, 1.069, 1.061",\
                 "1.46, 1.418, 1.323, 1.238, 1.187, 1.155, 1.134, 1.118, 1.107, 1.099");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("1.102, 1.077, 1.034, 0.998, 0.9774, 0.9674, 0.9654, 0.966, 0.9681, 0.987",\
                 "1.101, 1.075, 1.034, 1, 0.9774, 0.9674, 0.965, 0.9656, 0.9699, 0.9879",\
                 "1.1, 1.073, 1.032, 0.9988, 0.9769, 0.9683, 0.9636, 0.9642, 0.9668, 0.9866",\
                 "1.103, 1.077, 1.034, 1.001, 0.9787, 0.9701, 0.9672, 0.9674, 0.9695, 0.9931",\
                 "1.112, 1.085, 1.044, 1.009, 0.9891, 0.9804, 0.978, 0.9764, 0.9791, 1.006",\
                 "1.129, 1.103, 1.061, 1.027, 1.005, 0.9966, 0.9924, 0.9926, 0.9969, 1.029",\
                 "1.152, 1.127, 1.085, 1.05, 1.029, 1.02, 1.016, 1.017, 1.021, 1.068",\
                 "1.185, 1.16, 1.117, 1.083, 1.061, 1.052, 1.048, 1.048, 1.055, 1.124",\
                 "1.225, 1.2, 1.155, 1.122, 1.101, 1.092, 1.091, 1.09, 1.102, 1.21",\
                 "1.274, 1.248, 1.207, 1.17, 1.15, 1.142, 1.139, 1.139, 1.16, 1.364");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("1.292, 1.248, 1.148, 1.052, 0.9912, 0.953, 0.9267, 0.9083, 0.8952, 0.8856",\
                 "1.291, 1.247, 1.147, 1.051, 0.9904, 0.952, 0.9258, 0.9076, 0.8945, 0.8848",\
                 "1.29, 1.246, 1.146, 1.049, 0.989, 0.951, 0.9247, 0.9062, 0.8934, 0.8835",\
                 "1.293, 1.249, 1.148, 1.052, 0.9915, 0.9532, 0.9273, 0.9092, 0.8959, 0.8862",\
                 "1.302, 1.258, 1.158, 1.061, 1.001, 0.9625, 0.9366, 0.9183, 0.9053, 0.8955",\
                 "1.319, 1.275, 1.175, 1.078, 1.018, 0.9795, 0.9537, 0.9352, 0.9223, 0.9124",\
                 "1.343, 1.3, 1.199, 1.103, 1.042, 1.004, 0.978, 0.9596, 0.9467, 0.9368",\
                 "1.376, 1.332, 1.232, 1.136, 1.075, 1.037, 1.011, 0.9924, 0.9793, 0.9696",\
                 "1.419, 1.375, 1.274, 1.178, 1.117, 1.079, 1.053, 1.034, 1.021, 1.011",\
                 "1.47, 1.426, 1.325, 1.229, 1.168, 1.129, 1.103, 1.085, 1.072, 1.062");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("1.081, 1.043, 0.9806, 0.9338, 0.9, 0.8819, 0.8737, 0.8711, 0.874, 0.8896",\
                 "1.08, 1.042, 0.979, 0.9333, 0.9009, 0.8828, 0.8732, 0.8734, 0.8713, 0.8905",\
                 "1.08, 1.044, 0.9811, 0.9346, 0.9009, 0.8819, 0.8764, 0.8738, 0.8746, 0.8901",\
                 "1.082, 1.045, 0.9831, 0.9351, 0.9027, 0.8842, 0.8777, 0.8752, 0.8759, 0.8943",\
                 "1.087, 1.049, 0.988, 0.9404, 0.9095, 0.8882, 0.8822, 0.8824, 0.8809, 0.8998",\
                 "1.094, 1.056, 0.9951, 0.9473, 0.914, 0.8972, 0.8885, 0.8864, 0.8891, 0.9109",\
                 "1.106, 1.068, 1.008, 0.9614, 0.9302, 0.9139, 0.9043, 0.9026, 0.9067, 0.9378",\
                 "1.127, 1.09, 1.028, 0.9806, 0.9522, 0.9359, 0.9277, 0.9242, 0.9272, 0.9627",\
                 "1.157, 1.119, 1.059, 1.01, 0.9774, 0.9607, 0.9601, 0.9614, 0.9609, 1.001",\
                 "1.195, 1.158, 1.096, 1.05, 1.017, 0.9953, 0.9884, 0.9929, 1.005, 1.07");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("1.305, 1.263, 1.168, 1.083, 1.032, 1, 0.9782, 0.9626, 0.9523, 0.9443",\
                 "1.305, 1.263, 1.168, 1.082, 1.031, 0.9995, 0.9776, 0.9629, 0.9518, 0.9439",\
                 "1.305, 1.263, 1.168, 1.082, 1.031, 0.9991, 0.9774, 0.9625, 0.9514, 0.9438",\
                 "1.307, 1.265, 1.17, 1.084, 1.033, 1.001, 0.9794, 0.9646, 0.9536, 0.9459",\
                 "1.314, 1.272, 1.177, 1.091, 1.04, 1.008, 0.9865, 0.9718, 0.9607, 0.9529",\
                 "1.328, 1.286, 1.191, 1.106, 1.054, 1.023, 1.001, 0.9861, 0.975, 0.967",\
                 "1.351, 1.309, 1.214, 1.128, 1.077, 1.045, 1.024, 1.008, 0.9978, 0.9901",\
                 "1.383, 1.34, 1.245, 1.159, 1.108, 1.076, 1.054, 1.039, 1.028, 1.02",\
                 "1.422, 1.379, 1.284, 1.198, 1.148, 1.115, 1.094, 1.079, 1.067, 1.06",\
                 "1.471, 1.428, 1.333, 1.247, 1.195, 1.163, 1.142, 1.127, 1.116, 1.108");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.9515, 0.9274, 0.8845, 0.8509, 0.828, 0.8175, 0.8173, 0.8157, 0.8176, 0.8359",\
                 "0.953, 0.9272, 0.8842, 0.8488, 0.8289, 0.8197, 0.8164, 0.8166, 0.8176, 0.8346",\
                 "0.9537, 0.9283, 0.8856, 0.8499, 0.8293, 0.8193, 0.8164, 0.8166, 0.8196, 0.8364",\
                 "0.9562, 0.9305, 0.8879, 0.8532, 0.8307, 0.822, 0.8191, 0.8198, 0.8214, 0.8411",\
                 "0.962, 0.9363, 0.8948, 0.8581, 0.8365, 0.8283, 0.8254, 0.8243, 0.8264, 0.848",\
                 "0.9741, 0.9486, 0.9056, 0.8716, 0.8491, 0.8395, 0.8367, 0.8378, 0.8409, 0.8664",\
                 "0.9921, 0.9666, 0.9244, 0.889, 0.8667, 0.8566, 0.856, 0.8535, 0.8568, 0.8885",\
                 "1.016, 0.9903, 0.9481, 0.9115, 0.8941, 0.8818, 0.8799, 0.8795, 0.8828, 0.9208",\
                 "1.048, 1.022, 0.9801, 0.9439, 0.9198, 0.9133, 0.9168, 0.9128, 0.9148, 0.9708",\
                 "1.086, 1.06, 1.017, 0.9821, 0.9576, 0.943, 0.9478, 0.9546, 0.9639, 1.046");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("1.156, 1.111, 1.008, 0.9091, 0.8461, 0.8062, 0.7792, 0.7603, 0.7464, 0.7362",\
                 "1.156, 1.111, 1.009, 0.909, 0.8466, 0.8067, 0.7794, 0.7602, 0.7467, 0.7364",\
                 "1.157, 1.112, 1.009, 0.9097, 0.847, 0.8072, 0.7801, 0.7609, 0.7473, 0.737",\
                 "1.159, 1.115, 1.012, 0.9126, 0.8497, 0.8099, 0.7828, 0.7634, 0.7499, 0.7398",\
                 "1.17, 1.125, 1.022, 0.9229, 0.8597, 0.8198, 0.7923, 0.7734, 0.7595, 0.7494",\
                 "1.191, 1.146, 1.042, 0.9426, 0.8793, 0.8385, 0.8107, 0.7914, 0.7773, 0.7671",\
                 "1.22, 1.175, 1.072, 0.9702, 0.905, 0.8642, 0.8363, 0.8164, 0.8026, 0.792",\
                 "1.262, 1.217, 1.111, 1.008, 0.9422, 0.8996, 0.871, 0.8507, 0.836, 0.8256",\
                 "1.314, 1.268, 1.161, 1.056, 0.9871, 0.9434, 0.9141, 0.8936, 0.8783, 0.8673",\
                 "1.377, 1.331, 1.222, 1.113, 1.043, 0.9976, 0.9668, 0.9453, 0.93, 0.9187");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("1.034, 0.9974, 0.9377, 0.8918, 0.8611, 0.8448, 0.8356, 0.8344, 0.8355, 0.8505",\
                 "1.035, 0.9976, 0.9374, 0.8911, 0.8611, 0.8434, 0.8356, 0.8344, 0.8359, 0.8487",\
                 "1.035, 0.9974, 0.9371, 0.8918, 0.8597, 0.8448, 0.8374, 0.8371, 0.8382, 0.8519",\
                 "1.036, 0.9995, 0.9391, 0.8938, 0.8624, 0.8443, 0.8392, 0.8362, 0.8377, 0.8556",\
                 "1.043, 1.005, 0.9457, 0.8997, 0.8692, 0.8529, 0.846, 0.8452, 0.8451, 0.8649",\
                 "1.06, 1.024, 0.9631, 0.916, 0.8858, 0.8677, 0.859, 0.8587, 0.8614, 0.8856",\
                 "1.095, 1.058, 0.9947, 0.9483, 0.9155, 0.8974, 0.8883, 0.8848, 0.8892, 0.9251",\
                 "1.148, 1.109, 1.047, 0.997, 0.9632, 0.9411, 0.931, 0.9306, 0.9311, 0.9822",\
                 "1.214, 1.175, 1.107, 1.055, 1.019, 0.9987, 0.9859, 0.9814, 0.9853, 1.07",\
                 "1.298, 1.258, 1.187, 1.131, 1.088, 1.064, 1.055, 1.049, 1.058, 1.21");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("1.316, 1.274, 1.179, 1.093, 1.042, 1.01, 0.9886, 0.9739, 0.9627, 0.9549",\
                 "1.317, 1.274, 1.179, 1.094, 1.042, 1.011, 0.9895, 0.9739, 0.9632, 0.955",\
                 "1.317, 1.275, 1.18, 1.094, 1.043, 1.012, 0.9899, 0.9745, 0.9639, 0.956",\
                 "1.32, 1.277, 1.182, 1.097, 1.046, 1.014, 0.9924, 0.9775, 0.9667, 0.9586",\
                 "1.325, 1.283, 1.188, 1.102, 1.051, 1.019, 0.9974, 0.9827, 0.9716, 0.9638",\
                 "1.334, 1.292, 1.197, 1.112, 1.06, 1.028, 1.007, 0.9916, 0.9806, 0.9726",\
                 "1.348, 1.305, 1.211, 1.126, 1.075, 1.043, 1.021, 1.006, 0.9949, 0.9869",\
                 "1.367, 1.325, 1.23, 1.144, 1.094, 1.062, 1.04, 1.025, 1.014, 1.007",\
                 "1.392, 1.35, 1.255, 1.17, 1.118, 1.087, 1.066, 1.051, 1.039, 1.031",\
                 "1.424, 1.382, 1.287, 1.201, 1.15, 1.118, 1.097, 1.081, 1.071, 1.063");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("1.095, 1.069, 1.027, 0.9927, 0.9711, 0.9606, 0.9582, 0.9588, 0.9663, 0.9802",\
                 "1.093, 1.067, 1.024, 0.9911, 0.9697, 0.9606, 0.9596, 0.9579, 0.9605, 0.9784",\
                 "1.093, 1.068, 1.025, 0.9911, 0.9697, 0.9593, 0.9569, 0.9575, 0.9618, 0.9799",\
                 "1.097, 1.072, 1.03, 0.996, 0.9733, 0.9656, 0.9609, 0.9615, 0.9663, 0.9873",\
                 "1.106, 1.08, 1.038, 1.003, 0.9832, 0.9737, 0.9695, 0.9692, 0.975, 0.9989",\
                 "1.12, 1.093, 1.051, 1.019, 0.9954, 0.9881, 0.9875, 0.9858, 0.9893, 1.022",\
                 "1.141, 1.115, 1.073, 1.039, 1.017, 1.008, 1.005, 1.005, 1.009, 1.058",\
                 "1.167, 1.14, 1.099, 1.063, 1.043, 1.034, 1.032, 1.031, 1.04, 1.114",\
                 "1.199, 1.174, 1.13, 1.098, 1.075, 1.066, 1.065, 1.063, 1.075, 1.197",\
                 "1.239, 1.213, 1.17, 1.136, 1.115, 1.106, 1.105, 1.105, 1.13, 1.363");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("1.284, 1.241, 1.14, 1.044, 0.9833, 0.9455, 0.9194, 0.901, 0.8879, 0.8782",\
                 "1.283, 1.239, 1.139, 1.043, 0.9822, 0.9438, 0.9178, 0.8996, 0.8865, 0.8767",\
                 "1.283, 1.239, 1.139, 1.043, 0.982, 0.9438, 0.9177, 0.8997, 0.8865, 0.8768",\
                 "1.287, 1.243, 1.143, 1.046, 0.9862, 0.9477, 0.9217, 0.9035, 0.8903, 0.8807",\
                 "1.296, 1.252, 1.152, 1.056, 0.9953, 0.9571, 0.9308, 0.9126, 0.8997, 0.89",\
                 "1.311, 1.267, 1.167, 1.071, 1.01, 0.9715, 0.9455, 0.9271, 0.9141, 0.9044",\
                 "1.331, 1.288, 1.187, 1.091, 1.031, 0.9921, 0.9662, 0.9478, 0.9349, 0.9251",\
                 "1.358, 1.314, 1.213, 1.117, 1.057, 1.019, 0.9925, 0.9745, 0.9613, 0.9518",\
                 "1.392, 1.348, 1.248, 1.151, 1.091, 1.052, 1.026, 1.008, 0.995, 0.9852",\
                 "1.434, 1.391, 1.29, 1.194, 1.133, 1.094, 1.068, 1.05, 1.037, 1.027");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("1.046, 1.008, 0.9486, 0.9026, 0.8705, 0.8542, 0.8455, 0.8452, 0.8467, 0.8596",\
                 "1.046, 1.009, 0.9495, 0.9031, 0.8732, 0.8556, 0.8473, 0.8457, 0.8476, 0.8637",\
                 "1.047, 1.01, 0.9502, 0.9035, 0.8732, 0.8574, 0.8496, 0.8466, 0.8481, 0.8664",\
                 "1.05, 1.013, 0.9517, 0.907, 0.8764, 0.8592, 0.8514, 0.8479, 0.8491, 0.867",\
                 "1.054, 1.017, 0.9571, 0.9118, 0.8822, 0.865, 0.8581, 0.8538, 0.8559, 0.8748",\
                 "1.063, 1.026, 0.9659, 0.9195, 0.8885, 0.8718, 0.8631, 0.8623, 0.8655, 0.8872",\
                 "1.077, 1.041, 0.9795, 0.9349, 0.9052, 0.8871, 0.8793, 0.8785, 0.8803, 0.9069",\
                 "1.097, 1.06, 0.9998, 0.952, 0.9223, 0.9096, 0.9018, 0.9004, 0.8989, 0.9362",\
                 "1.123, 1.087, 1.025, 0.9779, 0.9439, 0.9271, 0.9288, 0.9297, 0.9281, 0.9725",\
                 "1.155, 1.118, 1.057, 1.01, 0.9772, 0.9568, 0.9504, 0.9571, 0.9713, 1.023");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("1.32, 1.278, 1.182, 1.097, 1.046, 1.014, 0.9926, 0.9768, 0.966, 0.9581",\
                 "1.319, 1.277, 1.182, 1.096, 1.045, 1.013, 0.9915, 0.9765, 0.9656, 0.9576",\
                 "1.319, 1.277, 1.182, 1.097, 1.046, 1.013, 0.9917, 0.9768, 0.9658, 0.9582",\
                 "1.322, 1.28, 1.185, 1.1, 1.049, 1.016, 0.9941, 0.9792, 0.9688, 0.9608",\
                 "1.33, 1.287, 1.192, 1.107, 1.056, 1.024, 1.002, 0.987, 0.976, 0.9682",\
                 "1.345, 1.302, 1.207, 1.122, 1.071, 1.039, 1.017, 1.002, 0.9908, 0.9832",\
                 "1.368, 1.326, 1.231, 1.146, 1.094, 1.062, 1.041, 1.025, 1.015, 1.007",\
                 "1.401, 1.358, 1.263, 1.178, 1.126, 1.094, 1.072, 1.057, 1.047, 1.039",\
                 "1.442, 1.399, 1.304, 1.219, 1.168, 1.136, 1.114, 1.099, 1.088, 1.08",\
                 "1.493, 1.451, 1.355, 1.269, 1.218, 1.185, 1.164, 1.149, 1.138, 1.13");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.9583, 0.9332, 0.8908, 0.8561, 0.8343, 0.8238, 0.8237, 0.822, 0.8235, 0.8382",\
                 "0.9588, 0.9336, 0.89, 0.8555, 0.8356, 0.8256, 0.8214, 0.822, 0.8235, 0.8418",\
                 "0.9594, 0.9339, 0.8909, 0.8551, 0.8361, 0.8242, 0.8228, 0.8234, 0.8259, 0.8433",\
                 "0.9617, 0.9356, 0.8928, 0.8584, 0.8361, 0.8287, 0.8246, 0.8256, 0.8282, 0.8451",\
                 "0.9678, 0.9409, 0.9003, 0.8648, 0.8419, 0.8341, 0.8309, 0.831, 0.8331, 0.8548",\
                 "0.9789, 0.9531, 0.9102, 0.8745, 0.8545, 0.8445, 0.8417, 0.8423, 0.845, 0.8668",\
                 "0.9964, 0.97, 0.928, 0.8951, 0.8721, 0.8611, 0.8588, 0.8589, 0.8618, 0.8888",\
                 "1.021, 0.994, 0.9508, 0.9155, 0.8946, 0.8886, 0.8844, 0.8822, 0.886, 0.9247",\
                 "1.053, 1.028, 0.9857, 0.9485, 0.9234, 0.9192, 0.9227, 0.9195, 0.9218, 0.9698",\
                 "1.092, 1.066, 1.025, 0.9854, 0.9639, 0.9538, 0.9497, 0.9609, 0.9712, 1.041");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("1.162, 1.117, 1.015, 0.9153, 0.8522, 0.8123, 0.7852, 0.7663, 0.7525, 0.7423",\
                 "1.162, 1.118, 1.015, 0.9156, 0.8524, 0.8124, 0.7854, 0.7664, 0.7527, 0.7425",\
                 "1.162, 1.118, 1.015, 0.9158, 0.8527, 0.813, 0.7857, 0.7667, 0.7529, 0.7428",\
                 "1.165, 1.12, 1.018, 0.9186, 0.8553, 0.8154, 0.7883, 0.7694, 0.7553, 0.7452",\
                 "1.174, 1.129, 1.026, 0.9274, 0.8637, 0.8238, 0.7964, 0.7775, 0.7638, 0.7537",\
                 "1.192, 1.148, 1.045, 0.9446, 0.8807, 0.8405, 0.8131, 0.7937, 0.7796, 0.7693",\
                 "1.221, 1.176, 1.072, 0.9705, 0.9058, 0.8643, 0.8362, 0.8167, 0.8027, 0.7924",\
                 "1.263, 1.217, 1.112, 1.008, 0.9414, 0.899, 0.87, 0.8499, 0.8352, 0.8244",\
                 "1.314, 1.268, 1.161, 1.055, 0.9864, 0.9421, 0.9123, 0.8915, 0.8764, 0.8659",\
                 "1.376, 1.329, 1.22, 1.112, 1.041, 0.9952, 0.9643, 0.9427, 0.9269, 0.9157");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("1.063, 1.026, 0.9641, 0.9171, 0.8843, 0.8648, 0.8566, 0.8549, 0.8605, 0.8715",\
                 "1.063, 1.026, 0.9624, 0.9163, 0.8834, 0.8643, 0.8561, 0.8554, 0.8569, 0.8706",\
                 "1.063, 1.025, 0.963, 0.9164, 0.8843, 0.8648, 0.8566, 0.854, 0.8609, 0.8711",\
                 "1.065, 1.027, 0.9657, 0.9182, 0.887, 0.8684, 0.8602, 0.8612, 0.8588, 0.8753",\
                 "1.072, 1.036, 0.9729, 0.9243, 0.8937, 0.8751, 0.8678, 0.8635, 0.8656, 0.8854",\
                 "1.089, 1.052, 0.9898, 0.9408, 0.9095, 0.8909, 0.884, 0.8797, 0.8806, 0.9066",\
                 "1.123, 1.085, 1.022, 0.9728, 0.9396, 0.9197, 0.9124, 0.9092, 0.9151, 0.947",\
                 "1.176, 1.137, 1.073, 1.021, 0.9869, 0.9647, 0.9529, 0.9497, 0.9511, 1.004",\
                 "1.241, 1.202, 1.134, 1.082, 1.044, 1.022, 1.008, 1.003, 1.008, 1.094",\
                 "1.324, 1.284, 1.214, 1.157, 1.115, 1.092, 1.079, 1.073, 1.087, 1.245");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("1.161, 1.118, 1.018, 0.9231, 0.8631, 0.8251, 0.7996, 0.7816, 0.7685, 0.7589",\
                 "1.161, 1.118, 1.018, 0.9223, 0.8629, 0.8247, 0.799, 0.781, 0.7679, 0.7583",\
                 "1.16, 1.116, 1.017, 0.9214, 0.8614, 0.8234, 0.7978, 0.7797, 0.7667, 0.7571",\
                 "1.158, 1.115, 1.015, 0.9196, 0.8599, 0.822, 0.796, 0.778, 0.7649, 0.7553",\
                 "1.16, 1.116, 1.017, 0.9219, 0.8631, 0.8254, 0.7996, 0.7817, 0.7689, 0.7592",\
                 "1.162, 1.119, 1.021, 0.9283, 0.8708, 0.8347, 0.8103, 0.7932, 0.7808, 0.7713",\
                 "1.185, 1.141, 1.042, 0.949, 0.8928, 0.8573, 0.8333, 0.8165, 0.8043, 0.7953",\
                 "1.22, 1.176, 1.077, 0.9847, 0.9288, 0.8932, 0.8688, 0.8523, 0.8401, 0.8318",\
                 "1.271, 1.228, 1.128, 1.036, 0.9788, 0.9432, 0.9189, 0.9019, 0.8901, 0.8811",\
                 "1.339, 1.295, 1.194, 1.1, 1.043, 1.006, 0.9814, 0.9642, 0.952, 0.9434");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.9631, 0.9367, 0.8939, 0.8611, 0.8396, 0.8296, 0.8267, 0.826, 0.8293, 0.8451",\
                 "0.9618, 0.9359, 0.8942, 0.8588, 0.8383, 0.8282, 0.8263, 0.8269, 0.8284, 0.8392",\
                 "0.9608, 0.9348, 0.8922, 0.8589, 0.8369, 0.8269, 0.8249, 0.8251, 0.8288, 0.8388",\
                 "0.963, 0.9366, 0.8938, 0.8601, 0.8387, 0.83, 0.8267, 0.8274, 0.8293, 0.8448",\
                 "0.9738, 0.9476, 0.9046, 0.8715, 0.8495, 0.839, 0.8384, 0.8368, 0.8403, 0.8562",\
                 "0.9991, 0.973, 0.9297, 0.8945, 0.8729, 0.8606, 0.8587, 0.858, 0.8605, 0.8845",\
                 "1.038, 1.012, 0.9677, 0.932, 0.9071, 0.8962, 0.8951, 0.8949, 0.8964, 0.9216",\
                 "1.098, 1.07, 1.024, 0.9839, 0.962, 0.9493, 0.9437, 0.9447, 0.9471, 0.9888",\
                 "1.179, 1.151, 1.101, 1.058, 1.03, 1.019, 1.015, 1.009, 1.014, 1.079",\
                 "1.279, 1.248, 1.195, 1.15, 1.117, 1.096, 1.095, 1.09, 1.1, 1.211");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("1.029, 0.9862, 0.8921, 0.8076, 0.7569, 0.7249, 0.7035, 0.6886, 0.6776, 0.6699",\
                 "1.027, 0.9848, 0.891, 0.8064, 0.7553, 0.7239, 0.7023, 0.6876, 0.6765, 0.6687",\
                 "1.025, 0.9829, 0.8892, 0.8037, 0.7536, 0.7219, 0.7003, 0.6855, 0.6744, 0.6668",\
                 "1.034, 0.9918, 0.8972, 0.8122, 0.7614, 0.73, 0.7087, 0.6936, 0.683, 0.6753",\
                 "1.083, 1.04, 0.9415, 0.8515, 0.7968, 0.7621, 0.7388, 0.7232, 0.7115, 0.7031",\
                 "1.194, 1.147, 1.038, 0.9346, 0.8683, 0.8268, 0.7988, 0.7789, 0.765, 0.7547",\
                 "1.346, 1.295, 1.174, 1.054, 0.9737, 0.9215, 0.8857, 0.861, 0.843, 0.83",\
                 "1.539, 1.483, 1.35, 1.211, 1.113, 1.048, 1.002, 0.9708, 0.9478, 0.9312",\
                 "1.774, 1.715, 1.569, 1.411, 1.293, 1.212, 1.154, 1.113, 1.083, 1.062",\
                 "2.05, 1.989, 1.829, 1.651, 1.511, 1.411, 1.339, 1.289, 1.251, 1.223");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.5893, 0.5606, 0.5204, 0.496, 0.4836, 0.4807, 0.4828, 0.4857, 0.4912, 0.5036",\
                 "0.5905, 0.562, 0.521, 0.4972, 0.4849, 0.4821, 0.4828, 0.4875, 0.493, 0.5023",\
                 "0.5927, 0.5643, 0.523, 0.4998, 0.4863, 0.4839, 0.4855, 0.4875, 0.4935, 0.5064",\
                 "0.6156, 0.5865, 0.5433, 0.5141, 0.4989, 0.4933, 0.4945, 0.4965, 0.4998, 0.5168",\
                 "0.688, 0.6544, 0.6039, 0.5645, 0.5394, 0.5271, 0.5242, 0.523, 0.5295, 0.5385",\
                 "0.7932, 0.7549, 0.6891, 0.6398, 0.6055, 0.5824, 0.5728, 0.5703, 0.5677, 0.586",\
                 "0.9368, 0.8915, 0.8132, 0.747, 0.7014, 0.6747, 0.6552, 0.6423, 0.639, 0.651",\
                 "1.114, 1.061, 0.9661, 0.8854, 0.8256, 0.7831, 0.765, 0.7453, 0.7287, 0.7406",\
                 "1.324, 1.268, 1.154, 1.061, 0.9826, 0.9244, 0.8878, 0.8758, 0.858, 0.8709",\
                 "1.569, 1.508, 1.376, 1.267, 1.177, 1.106, 1.051, 1.025, 1.02, 1.045");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("1.028, 0.9862, 0.8922, 0.8075, 0.7569, 0.7249, 0.7035, 0.6886, 0.6776, 0.6699",\
                 "1.027, 0.9848, 0.891, 0.8064, 0.7553, 0.7239, 0.7023, 0.6876, 0.6765, 0.6688",\
                 "1.025, 0.9829, 0.8892, 0.8037, 0.7532, 0.7219, 0.7003, 0.6855, 0.6744, 0.6668",\
                 "1.034, 0.9918, 0.8972, 0.8125, 0.7615, 0.7302, 0.7087, 0.694, 0.6831, 0.6755",\
                 "1.084, 1.04, 0.9417, 0.8516, 0.797, 0.7621, 0.739, 0.723, 0.7113, 0.703",\
                 "1.194, 1.147, 1.038, 0.9346, 0.8684, 0.8269, 0.7988, 0.7793, 0.7649, 0.7547",\
                 "1.346, 1.294, 1.173, 1.054, 0.9738, 0.921, 0.8853, 0.861, 0.843, 0.8299",\
                 "1.539, 1.483, 1.35, 1.211, 1.113, 1.048, 1.003, 0.9706, 0.948, 0.9312",\
                 "1.775, 1.716, 1.57, 1.41, 1.293, 1.212, 1.154, 1.113, 1.084, 1.062",\
                 "2.05, 1.989, 1.83, 1.65, 1.511, 1.411, 1.34, 1.288, 1.251, 1.223");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.5893, 0.5606, 0.5204, 0.496, 0.4836, 0.4807, 0.4828, 0.4857, 0.4912, 0.5036",\
                 "0.5909, 0.562, 0.5209, 0.4972, 0.4849, 0.4821, 0.4842, 0.4875, 0.4926, 0.5045",\
                 "0.5933, 0.5644, 0.523, 0.4998, 0.4863, 0.4839, 0.4855, 0.4875, 0.4935, 0.5064",\
                 "0.6156, 0.5872, 0.5431, 0.5148, 0.4984, 0.4947, 0.4936, 0.4969, 0.4989, 0.5168",\
                 "0.6881, 0.6544, 0.6039, 0.5645, 0.5394, 0.5284, 0.5242, 0.523, 0.5254, 0.5408",\
                 "0.7931, 0.7549, 0.6897, 0.6392, 0.6055, 0.5824, 0.5733, 0.5698, 0.5677, 0.5837",\
                 "0.9368, 0.8915, 0.8132, 0.7451, 0.7005, 0.6774, 0.6547, 0.6432, 0.639, 0.6515",\
                 "1.113, 1.061, 0.9661, 0.8858, 0.8247, 0.7822, 0.7632, 0.7449, 0.7318, 0.7424",\
                 "1.324, 1.267, 1.154, 1.061, 0.9826, 0.924, 0.8883, 0.8758, 0.8567, 0.8745",\
                 "1.569, 1.508, 1.376, 1.267, 1.177, 1.106, 1.051, 1.026, 1.02, 1.045");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("1.166, 1.122, 1.022, 0.9254, 0.8652, 0.8264, 0.8006, 0.7822, 0.769, 0.7593",\
                 "1.165, 1.122, 1.021, 0.9249, 0.8646, 0.8259, 0.8, 0.7819, 0.7686, 0.7588",\
                 "1.164, 1.12, 1.02, 0.9238, 0.8634, 0.8247, 0.7988, 0.7807, 0.7673, 0.7576",\
                 "1.162, 1.119, 1.018, 0.922, 0.8618, 0.8233, 0.7971, 0.7789, 0.7659, 0.7559",\
                 "1.164, 1.121, 1.021, 0.9247, 0.8651, 0.8267, 0.8007, 0.7826, 0.7694, 0.7598",\
                 "1.166, 1.123, 1.024, 0.9309, 0.873, 0.8362, 0.8113, 0.794, 0.7812, 0.7718",\
                 "1.188, 1.144, 1.044, 0.9511, 0.8944, 0.8577, 0.8335, 0.8164, 0.8042, 0.7956",\
                 "1.223, 1.179, 1.079, 0.9861, 0.9302, 0.8942, 0.8697, 0.8528, 0.8407, 0.832",\
                 "1.274, 1.231, 1.131, 1.037, 0.9799, 0.9437, 0.9191, 0.9028, 0.8907, 0.8815",\
                 "1.341, 1.297, 1.196, 1.101, 1.044, 1.006, 0.9821, 0.9643, 0.9522, 0.9434");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.9636, 0.9374, 0.8949, 0.8609, 0.8396, 0.8292, 0.8268, 0.8269, 0.8307, 0.8447",\
                 "0.9626, 0.9356, 0.8942, 0.8598, 0.8396, 0.8292, 0.8268, 0.8274, 0.8289, 0.8438",\
                 "0.9613, 0.9357, 0.8935, 0.8581, 0.8378, 0.8269, 0.825, 0.8238, 0.8275, 0.8411",\
                 "0.9628, 0.9369, 0.8946, 0.8607, 0.8392, 0.8301, 0.8272, 0.8283, 0.8298, 0.8457",\
                 "0.9743, 0.9478, 0.906, 0.8697, 0.85, 0.8404, 0.8371, 0.8368, 0.8403, 0.8572",\
                 "0.9995, 0.9737, 0.9296, 0.8949, 0.872, 0.8611, 0.8583, 0.8584, 0.8619, 0.8832",\
                 "1.039, 1.012, 0.9667, 0.932, 0.908, 0.8958, 0.8938, 0.8949, 0.8955, 0.9211",\
                 "1.098, 1.07, 1.025, 0.9857, 0.9638, 0.9507, 0.9447, 0.9447, 0.9467, 0.988",\
                 "1.18, 1.151, 1.102, 1.058, 1.028, 1.021, 1.014, 1.012, 1.018, 1.079",\
                 "1.28, 1.249, 1.196, 1.152, 1.117, 1.097, 1.094, 1.094, 1.105, 1.214");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("2.303, 2.35, 2.472, 2.647, 2.87, 3.142, 3.472, 3.873, 4.354, 4.926",\
                 "2.314, 2.36, 2.482, 2.657, 2.88, 3.152, 3.483, 3.883, 4.365, 4.936",\
                 "2.346, 2.393, 2.515, 2.69, 2.913, 3.185, 3.515, 3.916, 4.397, 4.969",\
                 "2.378, 2.424, 2.547, 2.722, 2.944, 3.217, 3.547, 3.948, 4.429, 5.001",\
                 "2.378, 2.425, 2.547, 2.722, 2.945, 3.217, 3.547, 3.948, 4.429, 5.001",\
                 "2.346, 2.392, 2.515, 2.69, 2.912, 3.185, 3.515, 3.916, 4.397, 4.968",\
                 "2.274, 2.321, 2.443, 2.618, 2.84, 3.112, 3.443, 3.843, 4.325, 4.896",\
                 "2.15, 2.196, 2.319, 2.494, 2.716, 2.988, 3.319, 3.719, 4.201, 4.773",\
                 "1.975, 2.021, 2.143, 2.318, 2.541, 2.813, 3.144, 3.544, 4.026, 4.597",\
                 "1.75, 1.795, 1.917, 2.093, 2.316, 2.588, 2.919, 3.319, 3.801, 4.372");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("2.548, 2.587, 2.695, 2.878, 3.159, 3.558, 4.084, 4.747, 5.558, 6.525",\
                 "2.553, 2.591, 2.7, 2.883, 3.165, 3.563, 4.088, 4.752, 5.563, 6.53",\
                 "2.578, 2.616, 2.724, 2.908, 3.189, 3.588, 4.113, 4.776, 5.588, 6.554",\
                 "2.652, 2.69, 2.799, 2.982, 3.263, 3.661, 4.187, 4.851, 5.662, 6.629",\
                 "2.803, 2.841, 2.949, 3.132, 3.414, 3.813, 4.338, 5.002, 5.812, 6.78",\
                 "3.032, 3.071, 3.179, 3.362, 3.643, 4.042, 4.567, 5.231, 6.042, 7.009",\
                 "3.333, 3.371, 3.48, 3.663, 3.944, 4.343, 4.868, 5.532, 6.343, 7.31",\
                 "3.705, 3.743, 3.851, 4.035, 4.316, 4.715, 5.24, 5.904, 6.715, 7.682",\
                 "4.143, 4.181, 4.289, 4.472, 4.755, 5.152, 5.678, 6.342, 7.152, 8.12",\
                 "4.644, 4.683, 4.791, 4.974, 5.257, 5.653, 6.179, 6.843, 7.653, 8.621");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.2198, 0.2672, 0.3896, 0.5734, 0.8356, 1.195, 1.676, 2.302, 3.091, 4.044",\
                 "0.2198, 0.2672, 0.389, 0.574, 0.8362, 1.194, 1.675, 2.304, 3.087, 4.044",\
                 "0.2206, 0.2684, 0.3894, 0.574, 0.8364, 1.194, 1.674, 2.304, 3.091, 4.043",\
                 "0.2204, 0.267, 0.3892, 0.5742, 0.8364, 1.194, 1.674, 2.302, 3.088, 4.038",\
                 "0.2204, 0.2684, 0.3894, 0.5732, 0.8368, 1.194, 1.675, 2.301, 3.091, 4.04",\
                 "0.2204, 0.2686, 0.3894, 0.5732, 0.8356, 1.194, 1.675, 2.302, 3.087, 4.043",\
                 "0.22, 0.267, 0.3886, 0.5736, 0.8362, 1.194, 1.676, 2.302, 3.091, 4.043",\
                 "0.2198, 0.2668, 0.3894, 0.5728, 0.8364, 1.195, 1.675, 2.303, 3.089, 4.041",\
                 "0.22, 0.2674, 0.389, 0.5734, 0.836, 1.194, 1.674, 2.302, 3.088, 4.039",\
                 "0.2198, 0.2676, 0.3894, 0.5728, 0.836, 1.194, 1.675, 2.301, 3.087, 4.036");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.1456, 0.19, 0.3432, 0.6488, 1.152, 1.868, 2.819, 4.014, 5.473, 7.198",\
                 "0.146, 0.1902, 0.3432, 0.6488, 1.15, 1.87, 2.819, 4.014, 5.47, 7.211",\
                 "0.1462, 0.1902, 0.343, 0.6488, 1.153, 1.869, 2.816, 4.014, 5.473, 7.211",\
                 "0.1448, 0.1902, 0.343, 0.6478, 1.151, 1.869, 2.813, 4.006, 5.473, 7.211",\
                 "0.145, 0.1902, 0.3432, 0.6486, 1.152, 1.868, 2.817, 4.014, 5.473, 7.208",\
                 "0.146, 0.1902, 0.3434, 0.6488, 1.152, 1.868, 2.816, 4.014, 5.472, 7.211",\
                 "0.1462, 0.1904, 0.3432, 0.6486, 1.152, 1.868, 2.819, 4.014, 5.473, 7.207",\
                 "0.1456, 0.1896, 0.3432, 0.6486, 1.153, 1.869, 2.818, 4.01, 5.47, 7.211",\
                 "0.1452, 0.1896, 0.3436, 0.6486, 1.152, 1.869, 2.816, 4.006, 5.467, 7.196",\
                 "0.145, 0.1892, 0.3434, 0.6484, 1.151, 1.871, 2.817, 4.008, 5.464, 7.212");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("1.322, 1.371, 1.5, 1.681, 1.907, 2.182, 2.514, 2.916, 3.398, 3.969",\
                 "1.331, 1.38, 1.508, 1.689, 1.916, 2.191, 2.523, 2.924, 3.406, 3.977",\
                 "1.362, 1.411, 1.54, 1.721, 1.947, 2.222, 2.554, 2.956, 3.438, 4.009",\
                 "1.424, 1.473, 1.602, 1.783, 2.009, 2.285, 2.617, 3.018, 3.499, 4.071",\
                 "1.512, 1.561, 1.689, 1.87, 2.097, 2.372, 2.704, 3.105, 3.587, 4.158",\
                 "1.591, 1.64, 1.768, 1.95, 2.176, 2.451, 2.783, 3.184, 3.666, 4.237",\
                 "1.645, 1.694, 1.822, 2.004, 2.23, 2.505, 2.837, 3.239, 3.721, 4.292",\
                 "1.67, 1.719, 1.847, 2.029, 2.256, 2.531, 2.863, 3.264, 3.746, 4.317",\
                 "1.657, 1.706, 1.836, 2.018, 2.244, 2.52, 2.852, 3.253, 3.735, 4.306",\
                 "1.606, 1.655, 1.784, 1.966, 2.193, 2.469, 2.802, 3.203, 3.685, 4.256");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("1.583, 1.628, 1.75, 1.949, 2.236, 2.634, 3.16, 3.822, 4.633, 5.599",\
                 "1.595, 1.64, 1.762, 1.961, 2.248, 2.647, 3.172, 3.834, 4.645, 5.611",\
                 "1.636, 1.68, 1.803, 2.002, 2.288, 2.687, 3.212, 3.875, 4.685, 5.652",\
                 "1.729, 1.774, 1.896, 2.095, 2.382, 2.78, 3.306, 3.968, 4.778, 5.744",\
                 "1.896, 1.941, 2.063, 2.262, 2.549, 2.947, 3.473, 4.136, 4.945, 5.913",\
                 "2.147, 2.192, 2.315, 2.514, 2.801, 3.199, 3.724, 4.386, 5.197, 6.163",\
                 "2.475, 2.52, 2.643, 2.841, 3.128, 3.526, 4.051, 4.714, 5.524, 6.491",\
                 "2.865, 2.91, 3.034, 3.233, 3.52, 3.917, 4.442, 5.105, 5.914, 6.88",\
                 "3.316, 3.361, 3.485, 3.684, 3.971, 4.368, 4.892, 5.554, 6.364, 7.33",\
                 "3.825, 3.87, 3.996, 4.196, 4.483, 4.879, 5.403, 6.065, 6.873, 7.839");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.2402, 0.2902, 0.4162, 0.5988, 0.8556, 1.209, 1.687, 2.309, 3.094, 4.046",\
                 "0.2402, 0.29, 0.4162, 0.599, 0.8556, 1.21, 1.687, 2.31, 3.094, 4.041",\
                 "0.2404, 0.2906, 0.4158, 0.599, 0.8558, 1.209, 1.686, 2.31, 3.093, 4.045",\
                 "0.2404, 0.2902, 0.4164, 0.599, 0.8556, 1.21, 1.687, 2.309, 3.092, 4.041",\
                 "0.2402, 0.2904, 0.4174, 0.599, 0.856, 1.209, 1.687, 2.311, 3.095, 4.047",\
                 "0.2408, 0.2904, 0.4166, 0.6, 0.8566, 1.21, 1.687, 2.311, 3.093, 4.045",\
                 "0.2426, 0.293, 0.4186, 0.6008, 0.857, 1.21, 1.688, 2.31, 3.096, 4.046",\
                 "0.2446, 0.294, 0.4212, 0.6028, 0.8588, 1.211, 1.687, 2.31, 3.094, 4.044",\
                 "0.248, 0.2972, 0.4236, 0.605, 0.8612, 1.213, 1.688, 2.31, 3.091, 4.04",\
                 "0.2512, 0.3006, 0.4272, 0.609, 0.8636, 1.216, 1.69, 2.312, 3.096, 4.041");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.1814, 0.2296, 0.3888, 0.6906, 1.174, 1.883, 2.828, 4.023, 5.478, 7.22",\
                 "0.1814, 0.23, 0.3888, 0.6904, 1.175, 1.883, 2.828, 4.022, 5.474, 7.21",\
                 "0.1802, 0.2298, 0.3898, 0.6912, 1.175, 1.883, 2.824, 4.017, 5.48, 7.221",\
                 "0.1804, 0.2298, 0.3888, 0.691, 1.174, 1.882, 2.826, 4.023, 5.482, 7.218",\
                 "0.1816, 0.2292, 0.3886, 0.6902, 1.175, 1.883, 2.827, 4.019, 5.482, 7.217",\
                 "0.1816, 0.2302, 0.3892, 0.6906, 1.175, 1.884, 2.828, 4.023, 5.47, 7.22",\
                 "0.1814, 0.2304, 0.3908, 0.6918, 1.175, 1.884, 2.828, 4.022, 5.475, 7.216",\
                 "0.1838, 0.234, 0.3934, 0.6944, 1.176, 1.884, 2.826, 4.02, 5.481, 7.209",\
                 "0.1876, 0.238, 0.3964, 0.698, 1.177, 1.882, 2.827, 4.02, 5.474, 7.222",\
                 "0.192, 0.243, 0.4012, 0.702, 1.181, 1.886, 2.828, 4.019, 5.475, 7.214");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("2.303, 2.35, 2.472, 2.647, 2.87, 3.142, 3.472, 3.873, 4.354, 4.926",\
                 "2.314, 2.36, 2.482, 2.657, 2.88, 3.152, 3.483, 3.883, 4.365, 4.936",\
                 "2.346, 2.393, 2.515, 2.69, 2.913, 3.185, 3.515, 3.916, 4.397, 4.969",\
                 "2.378, 2.424, 2.547, 2.722, 2.944, 3.217, 3.547, 3.948, 4.429, 5.001",\
                 "2.378, 2.425, 2.547, 2.722, 2.945, 3.217, 3.547, 3.948, 4.429, 5.001",\
                 "2.346, 2.392, 2.515, 2.69, 2.912, 3.185, 3.515, 3.916, 4.397, 4.968",\
                 "2.274, 2.321, 2.443, 2.618, 2.84, 3.112, 3.443, 3.843, 4.325, 4.896",\
                 "2.15, 2.196, 2.319, 2.494, 2.716, 2.988, 3.319, 3.719, 4.201, 4.773",\
                 "1.975, 2.021, 2.143, 2.318, 2.541, 2.813, 3.144, 3.544, 4.026, 4.597",\
                 "1.75, 1.795, 1.917, 2.093, 2.316, 2.588, 2.919, 3.319, 3.801, 4.372");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("2.548, 2.587, 2.695, 2.878, 3.159, 3.558, 4.084, 4.747, 5.558, 6.525",\
                 "2.553, 2.591, 2.7, 2.883, 3.165, 3.563, 4.088, 4.752, 5.563, 6.53",\
                 "2.578, 2.616, 2.724, 2.908, 3.189, 3.588, 4.113, 4.776, 5.588, 6.554",\
                 "2.652, 2.69, 2.799, 2.982, 3.263, 3.661, 4.187, 4.851, 5.662, 6.629",\
                 "2.803, 2.841, 2.949, 3.132, 3.414, 3.813, 4.338, 5.002, 5.812, 6.78",\
                 "3.032, 3.071, 3.179, 3.362, 3.643, 4.042, 4.567, 5.231, 6.042, 7.009",\
                 "3.333, 3.371, 3.48, 3.663, 3.944, 4.343, 4.868, 5.532, 6.343, 7.31",\
                 "3.705, 3.743, 3.851, 4.035, 4.316, 4.715, 5.24, 5.904, 6.715, 7.682",\
                 "4.143, 4.181, 4.289, 4.472, 4.755, 5.152, 5.678, 6.342, 7.152, 8.12",\
                 "4.644, 4.683, 4.791, 4.974, 5.257, 5.653, 6.179, 6.843, 7.653, 8.621");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.2402, 0.2902, 0.4162, 0.5988, 0.8556, 1.209, 1.687, 2.309, 3.094, 4.046",\
                 "0.2402, 0.29, 0.4162, 0.599, 0.8556, 1.21, 1.687, 2.31, 3.094, 4.041",\
                 "0.2404, 0.2906, 0.4158, 0.599, 0.8558, 1.209, 1.686, 2.31, 3.093, 4.045",\
                 "0.2404, 0.2902, 0.4164, 0.599, 0.8556, 1.21, 1.687, 2.309, 3.092, 4.041",\
                 "0.2402, 0.2904, 0.4174, 0.599, 0.856, 1.209, 1.687, 2.311, 3.095, 4.047",\
                 "0.2408, 0.2904, 0.4166, 0.6, 0.8566, 1.21, 1.687, 2.311, 3.093, 4.045",\
                 "0.2426, 0.293, 0.4186, 0.6008, 0.857, 1.21, 1.688, 2.31, 3.096, 4.046",\
                 "0.2446, 0.294, 0.4212, 0.6028, 0.8588, 1.211, 1.687, 2.31, 3.094, 4.044",\
                 "0.248, 0.2972, 0.4236, 0.605, 0.8612, 1.213, 1.688, 2.31, 3.091, 4.04",\
                 "0.2512, 0.3006, 0.4272, 0.609, 0.8636, 1.216, 1.69, 2.312, 3.096, 4.041");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.1814, 0.2296, 0.3888, 0.6906, 1.174, 1.883, 2.828, 4.023, 5.478, 7.22",\
                 "0.1814, 0.23, 0.3888, 0.6904, 1.175, 1.883, 2.828, 4.022, 5.474, 7.21",\
                 "0.1802, 0.2298, 0.3898, 0.6912, 1.175, 1.883, 2.824, 4.017, 5.48, 7.221",\
                 "0.1804, 0.2298, 0.3888, 0.691, 1.174, 1.882, 2.826, 4.023, 5.482, 7.218",\
                 "0.1816, 0.2292, 0.3886, 0.6902, 1.175, 1.883, 2.827, 4.019, 5.482, 7.217",\
                 "0.1816, 0.2302, 0.3892, 0.6906, 1.175, 1.884, 2.828, 4.023, 5.47, 7.22",\
                 "0.1814, 0.2304, 0.3908, 0.6918, 1.175, 1.884, 2.828, 4.022, 5.475, 7.216",\
                 "0.1838, 0.234, 0.3934, 0.6944, 1.176, 1.884, 2.826, 4.02, 5.481, 7.209",\
                 "0.1876, 0.238, 0.3964, 0.698, 1.177, 1.882, 2.827, 4.02, 5.474, 7.222",\
                 "0.192, 0.243, 0.4012, 0.702, 1.181, 1.886, 2.828, 4.019, 5.475, 7.214");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("1.945, 1.994, 2.122, 2.304, 2.53, 2.804, 3.136, 3.538, 4.02, 4.591",\
                 "1.95, 1.999, 2.127, 2.309, 2.534, 2.809, 3.141, 3.542, 4.024, 4.596",\
                 "1.974, 2.024, 2.152, 2.333, 2.559, 2.834, 3.166, 3.566, 4.049, 4.619",\
                 "2.048, 2.097, 2.225, 2.407, 2.633, 2.907, 3.239, 3.641, 4.122, 4.694",\
                 "2.199, 2.248, 2.376, 2.557, 2.783, 3.058, 3.39, 3.791, 4.273, 4.844",\
                 "2.428, 2.477, 2.605, 2.786, 3.012, 3.287, 3.619, 4.021, 4.502, 5.074",\
                 "2.73, 2.778, 2.907, 3.088, 3.314, 3.588, 3.92, 4.321, 4.803, 5.375",\
                 "3.099, 3.148, 3.275, 3.457, 3.683, 3.958, 4.29, 4.691, 5.173, 5.744",\
                 "3.536, 3.584, 3.712, 3.893, 4.119, 4.394, 4.726, 5.127, 5.609, 6.18",\
                 "4.034, 4.083, 4.211, 4.393, 4.619, 4.893, 5.225, 5.627, 6.109, 6.679");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("1.93, 1.975, 2.098, 2.296, 2.584, 2.982, 3.507, 4.17, 4.979, 5.946",\
                 "1.94, 1.985, 2.108, 2.306, 2.594, 2.992, 3.517, 4.18, 4.99, 5.956",\
                 "1.974, 2.018, 2.142, 2.34, 2.627, 3.025, 3.55, 4.213, 5.022, 5.988",\
                 "2.006, 2.051, 2.174, 2.372, 2.66, 3.058, 3.582, 4.245, 5.055, 6.021",\
                 "2.006, 2.051, 2.174, 2.373, 2.661, 3.058, 3.583, 4.246, 5.055, 6.022",\
                 "1.972, 2.017, 2.14, 2.338, 2.625, 3.024, 3.549, 4.212, 5.021, 5.988",\
                 "1.9, 1.945, 2.068, 2.266, 2.554, 2.952, 3.477, 4.14, 4.95, 5.915",\
                 "1.776, 1.821, 1.943, 2.142, 2.429, 2.827, 3.352, 4.015, 4.826, 5.792",\
                 "1.601, 1.645, 1.768, 1.967, 2.254, 2.652, 3.177, 3.84, 4.65, 5.616",\
                 "1.375, 1.419, 1.542, 1.74, 2.028, 2.427, 2.951, 3.613, 4.423, 5.39");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.2368, 0.2866, 0.4132, 0.5954, 0.853, 1.208, 1.685, 2.31, 3.093, 4.045",\
                 "0.2366, 0.2868, 0.4126, 0.5952, 0.853, 1.206, 1.684, 2.31, 3.091, 4.042",\
                 "0.2368, 0.2866, 0.4124, 0.5948, 0.853, 1.206, 1.683, 2.309, 3.094, 4.046",\
                 "0.2364, 0.2866, 0.4124, 0.595, 0.853, 1.207, 1.684, 2.309, 3.091, 4.046",\
                 "0.2366, 0.2866, 0.4126, 0.595, 0.8528, 1.206, 1.683, 2.307, 3.094, 4.046",\
                 "0.2368, 0.287, 0.4134, 0.5948, 0.8532, 1.206, 1.684, 2.309, 3.091, 4.041",\
                 "0.2364, 0.2868, 0.4126, 0.5948, 0.8536, 1.206, 1.685, 2.309, 3.092, 4.042",\
                 "0.2362, 0.2858, 0.4126, 0.595, 0.8528, 1.207, 1.685, 2.307, 3.094, 4.045",\
                 "0.237, 0.2866, 0.4134, 0.5962, 0.852, 1.207, 1.684, 2.31, 3.091, 4.041",\
                 "0.2368, 0.2864, 0.4126, 0.5966, 0.8528, 1.207, 1.683, 2.308, 3.091, 4.042");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.1818, 0.2316, 0.3916, 0.693, 1.176, 1.884, 2.828, 4.022, 5.48, 7.219",\
                 "0.1824, 0.2318, 0.3912, 0.6928, 1.175, 1.882, 2.825, 4.022, 5.48, 7.214",\
                 "0.1822, 0.2322, 0.3914, 0.6932, 1.175, 1.883, 2.826, 4.018, 5.481, 7.219",\
                 "0.1822, 0.2322, 0.391, 0.6926, 1.175, 1.884, 2.824, 4.018, 5.481, 7.219",\
                 "0.1818, 0.2312, 0.3908, 0.6926, 1.176, 1.883, 2.826, 4.017, 5.481, 7.221",\
                 "0.1824, 0.2312, 0.3916, 0.6918, 1.175, 1.884, 2.827, 4.02, 5.482, 7.221",\
                 "0.1806, 0.23, 0.3904, 0.6922, 1.176, 1.883, 2.827, 4.02, 5.48, 7.215",\
                 "0.1796, 0.2296, 0.3896, 0.6914, 1.174, 1.882, 2.827, 4.023, 5.474, 7.215",\
                 "0.1802, 0.2294, 0.3904, 0.6912, 1.177, 1.881, 2.825, 4.016, 5.477, 7.209",\
                 "0.1798, 0.2292, 0.39, 0.6916, 1.177, 1.883, 2.826, 4.015, 5.471, 7.207");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("1.959, 2.005, 2.128, 2.303, 2.525, 2.797, 3.128, 3.528, 4.01, 4.582",\
                 "1.97, 2.017, 2.139, 2.315, 2.537, 2.809, 3.14, 3.54, 4.022, 4.593",\
                 "2.011, 2.057, 2.18, 2.355, 2.577, 2.85, 3.18, 3.581, 4.062, 4.633",\
                 "2.105, 2.152, 2.274, 2.449, 2.672, 2.944, 3.274, 3.675, 4.157, 4.728",\
                 "2.274, 2.321, 2.443, 2.618, 2.841, 3.113, 3.443, 3.844, 4.326, 4.897",\
                 "2.523, 2.569, 2.692, 2.867, 3.089, 3.361, 3.692, 4.093, 4.574, 5.145",\
                 "2.838, 2.884, 3.007, 3.182, 3.404, 3.676, 4.007, 4.407, 4.889, 5.46",\
                 "3.211, 3.257, 3.379, 3.555, 3.777, 4.049, 4.379, 4.78, 5.261, 5.832",\
                 "3.639, 3.686, 3.808, 3.983, 4.205, 4.477, 4.808, 5.208, 5.69, 6.261",\
                 "4.121, 4.167, 4.289, 4.464, 4.687, 4.959, 5.289, 5.69, 6.171, 6.742");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("1.936, 1.976, 2.084, 2.267, 2.549, 2.946, 3.472, 4.136, 4.947, 5.913",\
                 "1.947, 1.984, 2.093, 2.276, 2.558, 2.955, 3.481, 4.145, 4.956, 5.923",\
                 "1.978, 2.016, 2.125, 2.308, 2.589, 2.987, 3.513, 4.177, 4.987, 5.955",\
                 "2.04, 2.078, 2.187, 2.37, 2.651, 3.05, 3.575, 4.239, 5.049, 6.017",\
                 "2.132, 2.17, 2.279, 2.462, 2.743, 3.141, 3.667, 4.331, 5.141, 6.108",\
                 "2.22, 2.259, 2.367, 2.551, 2.832, 3.23, 3.756, 4.42, 5.23, 6.197",\
                 "2.286, 2.324, 2.432, 2.616, 2.897, 3.295, 3.821, 4.484, 5.294, 6.262",\
                 "2.324, 2.362, 2.47, 2.653, 2.935, 3.333, 3.858, 4.522, 5.332, 6.3",\
                 "2.326, 2.364, 2.473, 2.656, 2.937, 3.335, 3.861, 4.524, 5.334, 6.303",\
                 "2.289, 2.327, 2.436, 2.619, 2.9, 3.299, 3.824, 4.487, 5.297, 6.263");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.2198, 0.2676, 0.3894, 0.5742, 0.836, 1.194, 1.676, 2.303, 3.089, 4.042",\
                 "0.2206, 0.2678, 0.389, 0.5732, 0.8368, 1.194, 1.675, 2.302, 3.087, 4.043",\
                 "0.2204, 0.2684, 0.3896, 0.5738, 0.836, 1.194, 1.675, 2.304, 3.091, 4.039",\
                 "0.2202, 0.2678, 0.3898, 0.5734, 0.8356, 1.194, 1.675, 2.301, 3.087, 4.039",\
                 "0.2206, 0.2678, 0.3892, 0.573, 0.8366, 1.194, 1.675, 2.301, 3.087, 4.038",\
                 "0.2202, 0.2678, 0.389, 0.573, 0.8358, 1.194, 1.675, 2.302, 3.087, 4.044",\
                 "0.2208, 0.2682, 0.3894, 0.5744, 0.8362, 1.194, 1.676, 2.302, 3.087, 4.044",\
                 "0.2204, 0.2668, 0.3886, 0.5734, 0.8362, 1.194, 1.676, 2.302, 3.09, 4.044",\
                 "0.2198, 0.2674, 0.389, 0.5736, 0.8352, 1.194, 1.673, 2.303, 3.088, 4.038",\
                 "0.2208, 0.2678, 0.39, 0.5732, 0.836, 1.195, 1.674, 2.3, 3.086, 4.04");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.1458, 0.1904, 0.3438, 0.6488, 1.152, 1.87, 2.816, 4.014, 5.473, 7.199",\
                 "0.1468, 0.1904, 0.3434, 0.6484, 1.151, 1.868, 2.815, 4.014, 5.473, 7.211",\
                 "0.1468, 0.1904, 0.3438, 0.6482, 1.153, 1.869, 2.814, 4.014, 5.473, 7.21",\
                 "0.1462, 0.1904, 0.3436, 0.6488, 1.153, 1.868, 2.819, 4.014, 5.473, 7.21",\
                 "0.1456, 0.1908, 0.3434, 0.6488, 1.152, 1.869, 2.815, 4.01, 5.465, 7.199",\
                 "0.1476, 0.1906, 0.3436, 0.6486, 1.153, 1.871, 2.816, 4.014, 5.469, 7.211",\
                 "0.1462, 0.19, 0.344, 0.6488, 1.153, 1.87, 2.816, 4.014, 5.46, 7.209",\
                 "0.146, 0.1904, 0.3438, 0.6486, 1.152, 1.869, 2.817, 4.006, 5.469, 7.197",\
                 "0.1458, 0.1906, 0.3438, 0.649, 1.152, 1.869, 2.816, 4.007, 5.472, 7.209",\
                 "0.1474, 0.191, 0.3436, 0.649, 1.153, 1.868, 2.816, 4.007, 5.463, 7.207");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("1.959, 2.005, 2.128, 2.303, 2.525, 2.797, 3.128, 3.528, 4.01, 4.582",\
                 "1.97, 2.017, 2.139, 2.315, 2.537, 2.809, 3.14, 3.54, 4.022, 4.593",\
                 "2.011, 2.057, 2.18, 2.355, 2.577, 2.85, 3.18, 3.581, 4.062, 4.633",\
                 "2.105, 2.152, 2.274, 2.449, 2.672, 2.944, 3.274, 3.675, 4.157, 4.728",\
                 "2.274, 2.321, 2.443, 2.618, 2.841, 3.113, 3.443, 3.844, 4.326, 4.897",\
                 "2.523, 2.569, 2.692, 2.867, 3.089, 3.361, 3.692, 4.093, 4.574, 5.145",\
                 "2.838, 2.884, 3.007, 3.182, 3.404, 3.676, 4.007, 4.407, 4.889, 5.46",\
                 "3.211, 3.257, 3.379, 3.555, 3.777, 4.049, 4.379, 4.78, 5.261, 5.832",\
                 "3.639, 3.686, 3.808, 3.983, 4.205, 4.477, 4.808, 5.208, 5.69, 6.261",\
                 "4.121, 4.167, 4.289, 4.464, 4.687, 4.959, 5.289, 5.69, 6.171, 6.742");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("1.936, 1.976, 2.084, 2.267, 2.549, 2.946, 3.472, 4.136, 4.947, 5.913",\
                 "1.947, 1.984, 2.093, 2.276, 2.558, 2.955, 3.481, 4.145, 4.956, 5.923",\
                 "1.978, 2.016, 2.125, 2.308, 2.589, 2.987, 3.513, 4.177, 4.987, 5.955",\
                 "2.04, 2.078, 2.187, 2.37, 2.651, 3.05, 3.575, 4.239, 5.049, 6.017",\
                 "2.132, 2.17, 2.279, 2.462, 2.743, 3.141, 3.667, 4.331, 5.141, 6.108",\
                 "2.22, 2.259, 2.367, 2.551, 2.832, 3.23, 3.756, 4.42, 5.23, 6.197",\
                 "2.286, 2.324, 2.432, 2.616, 2.897, 3.295, 3.821, 4.484, 5.294, 6.262",\
                 "2.324, 2.362, 2.47, 2.653, 2.935, 3.333, 3.858, 4.522, 5.332, 6.3",\
                 "2.326, 2.364, 2.473, 2.656, 2.937, 3.335, 3.861, 4.524, 5.334, 6.303",\
                 "2.289, 2.327, 2.436, 2.619, 2.9, 3.299, 3.824, 4.487, 5.297, 6.263");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.2368, 0.2866, 0.4132, 0.5954, 0.853, 1.208, 1.685, 2.31, 3.093, 4.045",\
                 "0.2366, 0.2868, 0.4126, 0.5952, 0.853, 1.206, 1.684, 2.31, 3.091, 4.042",\
                 "0.2368, 0.2866, 0.4124, 0.5948, 0.853, 1.206, 1.683, 2.309, 3.094, 4.046",\
                 "0.2364, 0.2866, 0.4124, 0.595, 0.853, 1.207, 1.684, 2.309, 3.091, 4.046",\
                 "0.2366, 0.2866, 0.4126, 0.595, 0.8528, 1.206, 1.683, 2.307, 3.094, 4.046",\
                 "0.2368, 0.287, 0.4134, 0.5948, 0.8532, 1.206, 1.684, 2.309, 3.091, 4.041",\
                 "0.2364, 0.2868, 0.4126, 0.5948, 0.8536, 1.206, 1.685, 2.309, 3.092, 4.042",\
                 "0.2362, 0.2858, 0.4126, 0.595, 0.8528, 1.207, 1.685, 2.307, 3.094, 4.045",\
                 "0.237, 0.2866, 0.4134, 0.5962, 0.852, 1.207, 1.684, 2.31, 3.091, 4.041",\
                 "0.2368, 0.2864, 0.4126, 0.5966, 0.8528, 1.207, 1.683, 2.308, 3.091, 4.042");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.1818, 0.2316, 0.3916, 0.693, 1.176, 1.884, 2.828, 4.022, 5.48, 7.219",\
                 "0.1824, 0.2318, 0.3912, 0.6928, 1.175, 1.882, 2.825, 4.022, 5.48, 7.214",\
                 "0.1822, 0.2322, 0.3914, 0.6932, 1.175, 1.883, 2.826, 4.018, 5.481, 7.219",\
                 "0.1822, 0.2322, 0.391, 0.6926, 1.175, 1.884, 2.824, 4.018, 5.481, 7.219",\
                 "0.1818, 0.2312, 0.3908, 0.6926, 1.176, 1.883, 2.826, 4.017, 5.481, 7.221",\
                 "0.1824, 0.2312, 0.3916, 0.6918, 1.175, 1.884, 2.827, 4.02, 5.482, 7.221",\
                 "0.1806, 0.23, 0.3904, 0.6922, 1.176, 1.883, 2.827, 4.02, 5.48, 7.215",\
                 "0.1796, 0.2296, 0.3896, 0.6914, 1.174, 1.882, 2.827, 4.023, 5.474, 7.215",\
                 "0.1802, 0.2294, 0.3904, 0.6912, 1.177, 1.881, 2.825, 4.016, 5.477, 7.209",\
                 "0.1798, 0.2292, 0.39, 0.6916, 1.177, 1.883, 2.826, 4.015, 5.471, 7.207");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("2.233, 2.278, 2.401, 2.576, 2.798, 3.071, 3.402, 3.802, 4.284, 4.855",\
                 "2.243, 2.289, 2.412, 2.587, 2.809, 3.082, 3.412, 3.813, 4.294, 4.865",\
                 "2.277, 2.324, 2.446, 2.621, 2.844, 3.116, 3.446, 3.847, 4.329, 4.9",\
                 "2.307, 2.354, 2.476, 2.652, 2.874, 3.146, 3.477, 3.877, 4.359, 4.93",\
                 "2.303, 2.35, 2.472, 2.647, 2.869, 3.142, 3.472, 3.873, 4.354, 4.926",\
                 "2.256, 2.302, 2.425, 2.6, 2.822, 3.095, 3.425, 3.826, 4.307, 4.878",\
                 "2.163, 2.209, 2.331, 2.507, 2.729, 3.001, 3.332, 3.732, 4.214, 4.785",\
                 "2.016, 2.063, 2.185, 2.36, 2.583, 2.855, 3.185, 3.586, 4.068, 4.639",\
                 "1.812, 1.859, 1.981, 2.156, 2.379, 2.651, 2.982, 3.383, 3.864, 4.435",\
                 "1.55, 1.596, 1.718, 1.893, 2.116, 2.388, 2.718, 3.119, 3.601, 4.172");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("2.496, 2.534, 2.643, 2.826, 3.108, 3.506, 4.031, 4.695, 5.506, 6.473",\
                 "2.5, 2.538, 2.646, 2.829, 3.111, 3.509, 4.035, 4.698, 5.509, 6.476",\
                 "2.54, 2.578, 2.686, 2.87, 3.151, 3.55, 4.075, 4.738, 5.549, 6.516",\
                 "2.655, 2.693, 2.802, 2.985, 3.267, 3.665, 4.19, 4.854, 5.665, 6.632",\
                 "2.855, 2.893, 3.002, 3.185, 3.466, 3.864, 4.39, 5.053, 5.865, 6.832",\
                 "3.134, 3.172, 3.28, 3.464, 3.745, 4.144, 4.67, 5.333, 6.144, 7.111",\
                 "3.487, 3.525, 3.633, 3.816, 4.098, 4.496, 5.022, 5.685, 6.496, 7.463",\
                 "3.913, 3.95, 4.059, 4.242, 4.523, 4.921, 5.447, 6.111, 6.922, 7.888",\
                 "4.417, 4.455, 4.563, 4.747, 5.029, 5.427, 5.953, 6.616, 7.427, 8.394",\
                 "5.001, 5.039, 5.147, 5.33, 5.611, 6.01, 6.535, 7.199, 8.01, 8.977");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.2204, 0.2672, 0.3892, 0.5738, 0.8366, 1.194, 1.675, 2.302, 3.088, 4.04",\
                 "0.22, 0.2672, 0.3888, 0.5742, 0.8362, 1.194, 1.674, 2.303, 3.089, 4.043",\
                 "0.2208, 0.2678, 0.389, 0.5732, 0.8362, 1.194, 1.674, 2.302, 3.087, 4.039",\
                 "0.2208, 0.267, 0.3896, 0.5728, 0.8358, 1.193, 1.676, 2.301, 3.091, 4.038",\
                 "0.2208, 0.2678, 0.3892, 0.5732, 0.8364, 1.194, 1.675, 2.301, 3.088, 4.038",\
                 "0.2204, 0.2686, 0.3894, 0.5742, 0.837, 1.194, 1.675, 2.304, 3.091, 4.039",\
                 "0.2198, 0.2674, 0.3894, 0.5726, 0.8358, 1.194, 1.676, 2.302, 3.09, 4.042",\
                 "0.2198, 0.2676, 0.3894, 0.5744, 0.8366, 1.193, 1.674, 2.301, 3.088, 4.039",\
                 "0.2198, 0.2672, 0.39, 0.5734, 0.8362, 1.194, 1.674, 2.301, 3.087, 4.037",\
                 "0.22, 0.2676, 0.3886, 0.5736, 0.8366, 1.193, 1.674, 2.303, 3.088, 4.038");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.1458, 0.1904, 0.3434, 0.6486, 1.152, 1.87, 2.816, 4.014, 5.47, 7.211",\
                 "0.1456, 0.1904, 0.3432, 0.6488, 1.151, 1.868, 2.816, 4.014, 5.473, 7.199",\
                 "0.146, 0.19, 0.3434, 0.6486, 1.152, 1.87, 2.817, 4.014, 5.47, 7.211",\
                 "0.1448, 0.1902, 0.3434, 0.6488, 1.151, 1.869, 2.819, 4.014, 5.469, 7.211",\
                 "0.146, 0.1904, 0.3438, 0.6486, 1.152, 1.869, 2.814, 4.014, 5.47, 7.199",\
                 "0.1458, 0.1896, 0.344, 0.6486, 1.151, 1.869, 2.816, 4.011, 5.472, 7.211",\
                 "0.1464, 0.1904, 0.3434, 0.6488, 1.151, 1.869, 2.814, 4.006, 5.473, 7.211",\
                 "0.146, 0.1904, 0.3432, 0.6488, 1.151, 1.869, 2.816, 4.014, 5.47, 7.199",\
                 "0.1458, 0.1898, 0.3434, 0.6476, 1.152, 1.87, 2.816, 4.015, 5.473, 7.2",\
                 "0.1448, 0.1902, 0.3436, 0.6484, 1.151, 1.867, 2.818, 4.01, 5.47, 7.2");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("1.341, 1.39, 1.518, 1.7, 1.926, 2.201, 2.533, 2.934, 3.416, 3.987",\
                 "1.349, 1.398, 1.526, 1.708, 1.934, 2.209, 2.541, 2.943, 3.425, 3.996",\
                 "1.365, 1.414, 1.542, 1.724, 1.95, 2.225, 2.557, 2.958, 3.44, 4.012",\
                 "1.393, 1.442, 1.571, 1.752, 1.978, 2.253, 2.585, 2.987, 3.469, 4.04",\
                 "1.435, 1.484, 1.612, 1.793, 2.02, 2.295, 2.627, 3.028, 3.51, 4.081",\
                 "1.469, 1.518, 1.647, 1.828, 2.054, 2.329, 2.661, 3.062, 3.544, 4.115",\
                 "1.48, 1.529, 1.657, 1.839, 2.065, 2.34, 2.672, 3.074, 3.555, 4.127",\
                 "1.457, 1.506, 1.635, 1.817, 2.043, 2.318, 2.651, 3.052, 3.533, 4.105",\
                 "1.392, 1.441, 1.57, 1.752, 1.979, 2.254, 2.587, 2.988, 3.47, 4.041",\
                 "1.277, 1.327, 1.457, 1.639, 1.866, 2.142, 2.475, 2.876, 3.358, 3.929");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("1.65, 1.695, 1.818, 2.017, 2.304, 2.702, 3.228, 3.89, 4.7, 5.666",\
                 "1.659, 1.704, 1.827, 2.026, 2.313, 2.711, 3.236, 3.898, 4.708, 5.675",\
                 "1.702, 1.746, 1.869, 2.069, 2.356, 2.754, 3.278, 3.941, 4.751, 5.717",\
                 "1.798, 1.843, 1.966, 2.165, 2.452, 2.85, 3.375, 4.038, 4.848, 5.814",\
                 "1.97, 2.016, 2.138, 2.337, 2.624, 3.022, 3.547, 4.21, 5.02, 5.986",\
                 "2.229, 2.274, 2.397, 2.596, 2.883, 3.281, 3.806, 4.469, 5.279, 6.245",\
                 "2.572, 2.617, 2.74, 2.939, 3.227, 3.624, 4.149, 4.811, 5.622, 6.588",\
                 "2.987, 3.032, 3.156, 3.355, 3.642, 4.04, 4.564, 5.227, 6.036, 7.002",\
                 "3.47, 3.515, 3.639, 3.84, 4.126, 4.523, 5.047, 5.709, 6.519, 7.484",\
                 "4.024, 4.07, 4.195, 4.396, 4.683, 5.079, 5.602, 6.263, 7.072, 8.038");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.2402, 0.2904, 0.416, 0.599, 0.8556, 1.21, 1.687, 2.31, 3.094, 4.046",\
                 "0.2404, 0.2906, 0.416, 0.599, 0.8554, 1.209, 1.685, 2.309, 3.092, 4.047",\
                 "0.2402, 0.2908, 0.4162, 0.599, 0.8552, 1.209, 1.687, 2.31, 3.092, 4.041",\
                 "0.2406, 0.29, 0.4164, 0.5988, 0.8556, 1.21, 1.687, 2.31, 3.094, 4.047",\
                 "0.2402, 0.2902, 0.417, 0.5984, 0.8552, 1.209, 1.686, 2.31, 3.092, 4.041",\
                 "0.2404, 0.2904, 0.4174, 0.5994, 0.8568, 1.209, 1.688, 2.31, 3.092, 4.047",\
                 "0.242, 0.2932, 0.4182, 0.6002, 0.8564, 1.21, 1.687, 2.312, 3.093, 4.043",\
                 "0.2456, 0.2946, 0.4212, 0.6034, 0.8586, 1.211, 1.686, 2.309, 3.093, 4.044",\
                 "0.2486, 0.299, 0.4246, 0.606, 0.8622, 1.214, 1.689, 2.31, 3.092, 4.04",\
                 "0.2528, 0.3024, 0.4282, 0.6108, 0.8654, 1.216, 1.691, 2.312, 3.094, 4.042");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.182, 0.2322, 0.3914, 0.6926, 1.175, 1.883, 2.828, 4.022, 5.478, 7.22",\
                 "0.183, 0.2324, 0.3914, 0.6922, 1.175, 1.884, 2.828, 4.023, 5.481, 7.222",\
                 "0.1824, 0.2322, 0.3908, 0.6922, 1.175, 1.883, 2.825, 4.021, 5.473, 7.221",\
                 "0.1838, 0.2324, 0.3906, 0.6928, 1.177, 1.882, 2.824, 4.018, 5.48, 7.221",\
                 "0.1832, 0.2324, 0.3918, 0.6932, 1.175, 1.882, 2.824, 4.022, 5.472, 7.22",\
                 "0.1832, 0.2328, 0.3908, 0.6934, 1.175, 1.884, 2.825, 4.022, 5.479, 7.221",\
                 "0.1844, 0.2338, 0.3924, 0.6934, 1.175, 1.883, 2.827, 4.023, 5.478, 7.214",\
                 "0.1854, 0.2362, 0.395, 0.6956, 1.177, 1.883, 2.827, 4.019, 5.479, 7.222",\
                 "0.1892, 0.239, 0.3988, 0.6982, 1.181, 1.883, 2.826, 4.018, 5.48, 7.22",\
                 "0.1932, 0.2432, 0.403, 0.7018, 1.181, 1.883, 2.829, 4.022, 5.472, 7.22");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("2.233, 2.278, 2.401, 2.576, 2.798, 3.071, 3.402, 3.802, 4.284, 4.855",\
                 "2.243, 2.289, 2.412, 2.587, 2.809, 3.082, 3.412, 3.813, 4.294, 4.865",\
                 "2.277, 2.324, 2.446, 2.621, 2.844, 3.116, 3.446, 3.847, 4.329, 4.9",\
                 "2.307, 2.354, 2.476, 2.652, 2.874, 3.146, 3.477, 3.877, 4.359, 4.93",\
                 "2.303, 2.35, 2.472, 2.647, 2.869, 3.142, 3.472, 3.873, 4.354, 4.926",\
                 "2.256, 2.302, 2.425, 2.6, 2.822, 3.095, 3.425, 3.826, 4.307, 4.878",\
                 "2.163, 2.209, 2.331, 2.507, 2.729, 3.001, 3.332, 3.732, 4.214, 4.785",\
                 "2.016, 2.063, 2.185, 2.36, 2.583, 2.855, 3.185, 3.586, 4.068, 4.639",\
                 "1.812, 1.859, 1.981, 2.156, 2.379, 2.651, 2.982, 3.383, 3.864, 4.435",\
                 "1.55, 1.596, 1.718, 1.893, 2.116, 2.388, 2.718, 3.119, 3.601, 4.172");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("2.496, 2.534, 2.643, 2.826, 3.108, 3.506, 4.031, 4.695, 5.506, 6.473",\
                 "2.5, 2.538, 2.646, 2.829, 3.111, 3.509, 4.035, 4.698, 5.509, 6.476",\
                 "2.54, 2.578, 2.686, 2.87, 3.151, 3.55, 4.075, 4.738, 5.549, 6.516",\
                 "2.655, 2.693, 2.802, 2.985, 3.267, 3.665, 4.19, 4.854, 5.665, 6.632",\
                 "2.855, 2.893, 3.002, 3.185, 3.466, 3.864, 4.39, 5.053, 5.865, 6.832",\
                 "3.134, 3.172, 3.28, 3.464, 3.745, 4.144, 4.67, 5.333, 6.144, 7.111",\
                 "3.487, 3.525, 3.633, 3.816, 4.098, 4.496, 5.022, 5.685, 6.496, 7.463",\
                 "3.913, 3.95, 4.059, 4.242, 4.523, 4.921, 5.447, 6.111, 6.922, 7.888",\
                 "4.417, 4.455, 4.563, 4.747, 5.029, 5.427, 5.953, 6.616, 7.427, 8.394",\
                 "5.001, 5.039, 5.147, 5.33, 5.611, 6.01, 6.535, 7.199, 8.01, 8.977");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.2402, 0.2904, 0.416, 0.599, 0.8556, 1.21, 1.687, 2.31, 3.094, 4.046",\
                 "0.2404, 0.2906, 0.416, 0.599, 0.8554, 1.209, 1.685, 2.309, 3.092, 4.047",\
                 "0.2402, 0.2908, 0.4162, 0.599, 0.8552, 1.209, 1.687, 2.31, 3.092, 4.041",\
                 "0.2406, 0.29, 0.4164, 0.5988, 0.8556, 1.21, 1.687, 2.31, 3.094, 4.047",\
                 "0.2402, 0.2902, 0.417, 0.5984, 0.8552, 1.209, 1.686, 2.31, 3.092, 4.041",\
                 "0.2404, 0.2904, 0.4174, 0.5994, 0.8568, 1.209, 1.688, 2.31, 3.092, 4.047",\
                 "0.242, 0.2932, 0.4182, 0.6002, 0.8564, 1.21, 1.687, 2.312, 3.093, 4.043",\
                 "0.2456, 0.2946, 0.4212, 0.6034, 0.8586, 1.211, 1.686, 2.309, 3.093, 4.044",\
                 "0.2486, 0.299, 0.4246, 0.606, 0.8622, 1.214, 1.689, 2.31, 3.092, 4.04",\
                 "0.2528, 0.3024, 0.4282, 0.6108, 0.8654, 1.216, 1.691, 2.312, 3.094, 4.042");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.182, 0.2322, 0.3914, 0.6926, 1.175, 1.883, 2.828, 4.022, 5.478, 7.22",\
                 "0.183, 0.2324, 0.3914, 0.6922, 1.175, 1.884, 2.828, 4.023, 5.481, 7.222",\
                 "0.1824, 0.2322, 0.3908, 0.6922, 1.175, 1.883, 2.825, 4.021, 5.473, 7.221",\
                 "0.1838, 0.2324, 0.3906, 0.6928, 1.177, 1.882, 2.824, 4.018, 5.48, 7.221",\
                 "0.1832, 0.2324, 0.3918, 0.6932, 1.175, 1.882, 2.824, 4.022, 5.472, 7.22",\
                 "0.1832, 0.2328, 0.3908, 0.6934, 1.175, 1.884, 2.825, 4.022, 5.479, 7.221",\
                 "0.1844, 0.2338, 0.3924, 0.6934, 1.175, 1.883, 2.827, 4.023, 5.478, 7.214",\
                 "0.1854, 0.2362, 0.395, 0.6956, 1.177, 1.883, 2.827, 4.019, 5.479, 7.222",\
                 "0.1892, 0.239, 0.3988, 0.6982, 1.181, 1.883, 2.826, 4.018, 5.48, 7.22",\
                 "0.1932, 0.2432, 0.403, 0.7018, 1.181, 1.883, 2.829, 4.022, 5.472, 7.22");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("1.893, 1.942, 2.07, 2.251, 2.477, 2.752, 3.084, 3.485, 3.967, 4.538",\
                 "1.896, 1.945, 2.073, 2.254, 2.48, 2.755, 3.087, 3.488, 3.97, 4.541",\
                 "1.937, 1.985, 2.114, 2.295, 2.521, 2.795, 3.127, 3.529, 4.01, 4.582",\
                 "2.052, 2.101, 2.229, 2.41, 2.636, 2.911, 3.243, 3.644, 4.126, 4.697",\
                 "2.252, 2.3, 2.428, 2.61, 2.836, 3.11, 3.443, 3.844, 4.326, 4.897",\
                 "2.531, 2.579, 2.708, 2.889, 3.115, 3.39, 3.722, 4.123, 4.604, 5.176",\
                 "2.882, 2.931, 3.059, 3.24, 3.466, 3.741, 4.073, 4.474, 4.956, 5.527",\
                 "3.308, 3.356, 3.484, 3.665, 3.892, 4.166, 4.498, 4.899, 5.381, 5.952",\
                 "3.811, 3.86, 3.988, 4.169, 4.395, 4.67, 5.002, 5.403, 5.885, 6.456",\
                 "4.393, 4.441, 4.569, 4.75, 4.976, 5.251, 5.583, 5.985, 6.467, 7.038");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("1.857, 1.902, 2.024, 2.223, 2.51, 2.908, 3.434, 4.096, 4.907, 5.873",\
                 "1.868, 1.913, 2.035, 2.234, 2.521, 2.919, 3.445, 4.107, 4.917, 5.884",\
                 "1.902, 1.947, 2.069, 2.268, 2.555, 2.953, 3.479, 4.141, 4.951, 5.917",\
                 "1.933, 1.977, 2.099, 2.298, 2.586, 2.983, 3.509, 4.171, 4.982, 5.948",\
                 "1.928, 1.972, 2.095, 2.294, 2.581, 2.979, 3.504, 4.167, 4.977, 5.944",\
                 "1.881, 1.925, 2.048, 2.246, 2.533, 2.932, 3.457, 4.12, 4.93, 5.897",\
                 "1.787, 1.832, 1.954, 2.152, 2.44, 2.838, 3.363, 4.026, 4.836, 5.803",\
                 "1.641, 1.685, 1.808, 2.007, 2.294, 2.692, 3.217, 3.879, 4.69, 5.656",\
                 "1.437, 1.482, 1.605, 1.803, 2.09, 2.488, 3.013, 3.676, 4.486, 5.452",\
                 "1.174, 1.219, 1.341, 1.54, 1.827, 2.225, 2.751, 3.414, 4.223, 5.189");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.2366, 0.2868, 0.4124, 0.5954, 0.8528, 1.206, 1.685, 2.309, 3.094, 4.042",\
                 "0.2366, 0.287, 0.4128, 0.5958, 0.853, 1.207, 1.685, 2.308, 3.092, 4.041",\
                 "0.237, 0.287, 0.4124, 0.5954, 0.8528, 1.207, 1.685, 2.309, 3.091, 4.042",\
                 "0.2366, 0.2872, 0.4126, 0.5946, 0.8534, 1.206, 1.683, 2.307, 3.091, 4.046",\
                 "0.2366, 0.2872, 0.4134, 0.5958, 0.8524, 1.207, 1.683, 2.307, 3.091, 4.041",\
                 "0.2366, 0.2868, 0.4126, 0.5962, 0.8526, 1.207, 1.683, 2.308, 3.091, 4.046",\
                 "0.2368, 0.2872, 0.4124, 0.596, 0.8532, 1.206, 1.684, 2.309, 3.091, 4.041",\
                 "0.2364, 0.2874, 0.4122, 0.595, 0.8532, 1.206, 1.686, 2.308, 3.091, 4.043",\
                 "0.2364, 0.2862, 0.4122, 0.5946, 0.853, 1.206, 1.684, 2.309, 3.091, 4.045",\
                 "0.2372, 0.287, 0.413, 0.5958, 0.8524, 1.207, 1.685, 2.308, 3.094, 4.04");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.1788, 0.229, 0.3894, 0.691, 1.175, 1.884, 2.828, 4.022, 5.474, 7.214",\
                 "0.1802, 0.2294, 0.39, 0.69, 1.174, 1.881, 2.828, 4.022, 5.481, 7.221",\
                 "0.1804, 0.2298, 0.389, 0.6918, 1.175, 1.883, 2.827, 4.023, 5.482, 7.218",\
                 "0.1802, 0.2294, 0.3898, 0.6908, 1.175, 1.881, 2.827, 4.023, 5.477, 7.221",\
                 "0.1802, 0.2298, 0.3896, 0.6912, 1.176, 1.883, 2.824, 4.022, 5.482, 7.221",\
                 "0.1796, 0.229, 0.3892, 0.6912, 1.175, 1.884, 2.828, 4.021, 5.481, 7.221",\
                 "0.1788, 0.2288, 0.3888, 0.6902, 1.174, 1.883, 2.828, 4.023, 5.472, 7.221",\
                 "0.1798, 0.229, 0.3898, 0.6906, 1.176, 1.882, 2.825, 4.015, 5.481, 7.215",\
                 "0.18, 0.2294, 0.3898, 0.6916, 1.176, 1.881, 2.825, 4.017, 5.475, 7.215",\
                 "0.1802, 0.2296, 0.39, 0.691, 1.174, 1.882, 2.828, 4.017, 5.472, 7.207");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("2.022, 2.068, 2.19, 2.365, 2.588, 2.86, 3.19, 3.591, 4.073, 4.644",\
                 "2.03, 2.077, 2.199, 2.374, 2.597, 2.869, 3.199, 3.6, 4.081, 4.653",\
                 "2.073, 2.12, 2.242, 2.417, 2.64, 2.912, 3.242, 3.643, 4.124, 4.696",\
                 "2.171, 2.217, 2.34, 2.515, 2.737, 3.009, 3.34, 3.74, 4.222, 4.793",\
                 "2.345, 2.392, 2.514, 2.689, 2.912, 3.184, 3.514, 3.915, 4.396, 4.968",\
                 "2.602, 2.649, 2.771, 2.946, 3.168, 3.441, 3.771, 4.172, 4.653, 5.225",\
                 "2.936, 2.983, 3.105, 3.28, 3.502, 3.774, 4.105, 4.505, 4.987, 5.558",\
                 "3.335, 3.381, 3.503, 3.679, 3.9, 4.173, 4.503, 4.904, 5.385, 5.956",\
                 "3.8, 3.847, 3.967, 4.143, 4.365, 4.637, 4.968, 5.368, 5.85, 6.421",\
                 "4.329, 4.376, 4.498, 4.672, 4.895, 5.167, 5.497, 5.899, 6.38, 6.951");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("1.955, 1.994, 2.102, 2.286, 2.567, 2.965, 3.491, 4.154, 4.965, 5.932",\
                 "1.964, 2.003, 2.111, 2.294, 2.575, 2.973, 3.499, 4.163, 4.973, 5.94",\
                 "1.981, 2.019, 2.127, 2.31, 2.592, 2.99, 3.516, 4.18, 4.99, 5.958",\
                 "2.01, 2.048, 2.156, 2.339, 2.621, 3.019, 3.545, 4.208, 5.019, 5.986",\
                 "2.053, 2.091, 2.2, 2.384, 2.665, 3.063, 3.589, 4.252, 5.063, 6.029",\
                 "2.094, 2.132, 2.241, 2.424, 2.705, 3.104, 3.629, 4.293, 5.104, 6.071",\
                 "2.114, 2.152, 2.261, 2.445, 2.726, 3.124, 3.649, 4.313, 5.123, 6.091",\
                 "2.103, 2.141, 2.249, 2.433, 2.714, 3.112, 3.637, 4.301, 5.112, 6.078",\
                 "2.05, 2.088, 2.197, 2.379, 2.661, 3.059, 3.584, 4.247, 5.058, 6.025",\
                 "1.95, 1.989, 2.098, 2.28, 2.562, 2.96, 3.486, 4.149, 4.959, 5.925");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.2206, 0.2676, 0.389, 0.5746, 0.836, 1.194, 1.676, 2.303, 3.087, 4.044",\
                 "0.2204, 0.2676, 0.3892, 0.573, 0.836, 1.194, 1.676, 2.303, 3.091, 4.041",\
                 "0.2204, 0.2676, 0.3894, 0.573, 0.836, 1.194, 1.675, 2.301, 3.088, 4.039",\
                 "0.2206, 0.2672, 0.3884, 0.5736, 0.8356, 1.195, 1.674, 2.301, 3.087, 4.039",\
                 "0.2202, 0.2676, 0.3894, 0.573, 0.836, 1.194, 1.674, 2.301, 3.09, 4.042",\
                 "0.2204, 0.2686, 0.3896, 0.5734, 0.8362, 1.194, 1.674, 2.303, 3.087, 4.043",\
                 "0.2206, 0.2678, 0.3892, 0.5732, 0.8372, 1.194, 1.675, 2.302, 3.087, 4.038",\
                 "0.2198, 0.2676, 0.389, 0.5736, 0.8364, 1.194, 1.676, 2.302, 3.087, 4.044",\
                 "0.2206, 0.2674, 0.389, 0.5734, 0.8362, 1.194, 1.676, 2.304, 3.087, 4.038",\
                 "0.2202, 0.2672, 0.3894, 0.5744, 0.8356, 1.194, 1.676, 2.301, 3.085, 4.04");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.1476, 0.1906, 0.3438, 0.6486, 1.151, 1.871, 2.816, 4.014, 5.473, 7.199",\
                 "0.1462, 0.1904, 0.3432, 0.6488, 1.151, 1.868, 2.819, 4.014, 5.472, 7.211",\
                 "0.1466, 0.1906, 0.3434, 0.6474, 1.152, 1.869, 2.819, 4.014, 5.473, 7.201",\
                 "0.1462, 0.1908, 0.3432, 0.6488, 1.152, 1.868, 2.818, 4.012, 5.473, 7.211",\
                 "0.1476, 0.1906, 0.3436, 0.6488, 1.151, 1.869, 2.814, 4.014, 5.473, 7.199",\
                 "0.1468, 0.1906, 0.3434, 0.6474, 1.153, 1.868, 2.819, 4.013, 5.473, 7.205",\
                 "0.1454, 0.1894, 0.3434, 0.6486, 1.153, 1.869, 2.819, 4.006, 5.46, 7.198",\
                 "0.1456, 0.191, 0.344, 0.649, 1.152, 1.868, 2.817, 4.014, 5.473, 7.199",\
                 "0.146, 0.1906, 0.3438, 0.6478, 1.152, 1.87, 2.814, 4.008, 5.472, 7.21",\
                 "0.1472, 0.1906, 0.344, 0.649, 1.152, 1.87, 2.815, 4.009, 5.463, 7.202");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("1.893, 1.942, 2.07, 2.251, 2.477, 2.752, 3.084, 3.485, 3.967, 4.538",\
                 "1.896, 1.945, 2.073, 2.254, 2.48, 2.755, 3.087, 3.488, 3.97, 4.541",\
                 "1.937, 1.985, 2.114, 2.295, 2.521, 2.795, 3.127, 3.529, 4.01, 4.582",\
                 "2.052, 2.101, 2.229, 2.41, 2.636, 2.911, 3.243, 3.644, 4.126, 4.697",\
                 "2.252, 2.3, 2.428, 2.61, 2.836, 3.11, 3.443, 3.844, 4.326, 4.897",\
                 "2.531, 2.579, 2.708, 2.889, 3.115, 3.39, 3.722, 4.123, 4.604, 5.176",\
                 "2.882, 2.931, 3.059, 3.24, 3.466, 3.741, 4.073, 4.474, 4.956, 5.527",\
                 "3.308, 3.356, 3.484, 3.665, 3.892, 4.166, 4.498, 4.899, 5.381, 5.952",\
                 "3.811, 3.86, 3.988, 4.169, 4.395, 4.67, 5.002, 5.403, 5.885, 6.456",\
                 "4.393, 4.441, 4.569, 4.75, 4.976, 5.251, 5.583, 5.985, 6.467, 7.038");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("1.955, 1.994, 2.102, 2.286, 2.567, 2.965, 3.491, 4.154, 4.965, 5.932",\
                 "1.964, 2.003, 2.111, 2.294, 2.575, 2.973, 3.499, 4.163, 4.973, 5.94",\
                 "1.981, 2.019, 2.127, 2.31, 2.592, 2.99, 3.516, 4.18, 4.99, 5.958",\
                 "2.01, 2.048, 2.156, 2.339, 2.621, 3.019, 3.545, 4.208, 5.019, 5.986",\
                 "2.053, 2.091, 2.2, 2.384, 2.665, 3.063, 3.589, 4.252, 5.063, 6.029",\
                 "2.094, 2.132, 2.241, 2.424, 2.705, 3.104, 3.629, 4.293, 5.104, 6.071",\
                 "2.114, 2.152, 2.261, 2.445, 2.726, 3.124, 3.649, 4.313, 5.123, 6.091",\
                 "2.103, 2.141, 2.249, 2.433, 2.714, 3.112, 3.637, 4.301, 5.112, 6.078",\
                 "2.05, 2.088, 2.197, 2.379, 2.661, 3.059, 3.584, 4.247, 5.058, 6.025",\
                 "1.95, 1.989, 2.098, 2.28, 2.562, 2.96, 3.486, 4.149, 4.959, 5.925");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.2366, 0.2868, 0.4124, 0.5954, 0.8528, 1.206, 1.685, 2.309, 3.094, 4.042",\
                 "0.2366, 0.287, 0.4128, 0.5958, 0.853, 1.207, 1.685, 2.308, 3.092, 4.041",\
                 "0.237, 0.287, 0.4124, 0.5954, 0.8528, 1.207, 1.685, 2.309, 3.091, 4.042",\
                 "0.2366, 0.2872, 0.4126, 0.5946, 0.8534, 1.206, 1.683, 2.307, 3.091, 4.046",\
                 "0.2366, 0.2872, 0.4134, 0.5958, 0.8524, 1.207, 1.683, 2.307, 3.091, 4.041",\
                 "0.2366, 0.2868, 0.4126, 0.5962, 0.8526, 1.207, 1.683, 2.308, 3.091, 4.046",\
                 "0.2368, 0.2872, 0.4124, 0.596, 0.8532, 1.206, 1.684, 2.309, 3.091, 4.041",\
                 "0.2364, 0.2874, 0.4122, 0.595, 0.8532, 1.206, 1.686, 2.308, 3.091, 4.043",\
                 "0.2364, 0.2862, 0.4122, 0.5946, 0.853, 1.206, 1.684, 2.309, 3.091, 4.045",\
                 "0.2372, 0.287, 0.413, 0.5958, 0.8524, 1.207, 1.685, 2.308, 3.094, 4.04");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.1788, 0.229, 0.3894, 0.691, 1.175, 1.884, 2.828, 4.022, 5.474, 7.214",\
                 "0.1802, 0.2294, 0.39, 0.69, 1.174, 1.881, 2.828, 4.022, 5.481, 7.221",\
                 "0.1804, 0.2298, 0.389, 0.6918, 1.175, 1.883, 2.827, 4.023, 5.482, 7.218",\
                 "0.1802, 0.2294, 0.3898, 0.6908, 1.175, 1.881, 2.827, 4.023, 5.477, 7.221",\
                 "0.1802, 0.2298, 0.3896, 0.6912, 1.176, 1.883, 2.824, 4.022, 5.482, 7.221",\
                 "0.1796, 0.229, 0.3892, 0.6912, 1.175, 1.884, 2.828, 4.021, 5.481, 7.221",\
                 "0.1788, 0.2288, 0.3888, 0.6902, 1.174, 1.883, 2.828, 4.023, 5.472, 7.221",\
                 "0.1798, 0.229, 0.3898, 0.6906, 1.176, 1.882, 2.825, 4.015, 5.481, 7.215",\
                 "0.18, 0.2294, 0.3898, 0.6916, 1.176, 1.881, 2.825, 4.017, 5.475, 7.215",\
                 "0.1802, 0.2296, 0.39, 0.691, 1.174, 1.882, 2.828, 4.017, 5.472, 7.207");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("1.048, 1.097, 1.225, 1.407, 1.633, 1.908, 2.239, 2.641, 3.123, 3.694",\
                 "1.057, 1.106, 1.235, 1.416, 1.642, 1.917, 2.249, 2.65, 3.132, 3.703",\
                 "1.092, 1.141, 1.269, 1.45, 1.676, 1.951, 2.283, 2.684, 3.166, 3.737",\
                 "1.143, 1.191, 1.32, 1.501, 1.727, 2.002, 2.334, 2.735, 3.217, 3.788",\
                 "1.18, 1.229, 1.357, 1.539, 1.765, 2.039, 2.371, 2.773, 3.254, 3.826",\
                 "1.202, 1.25, 1.376, 1.555, 1.78, 2.054, 2.386, 2.788, 3.27, 3.841",\
                 "1.194, 1.241, 1.365, 1.541, 1.765, 2.038, 2.37, 2.772, 3.254, 3.825",\
                 "1.144, 1.191, 1.315, 1.491, 1.714, 1.988, 2.319, 2.72, 3.202, 3.774",\
                 "1.056, 1.102, 1.226, 1.403, 1.627, 1.901, 2.232, 2.633, 3.115, 3.686",\
                 "0.9282, 0.9756, 1.1, 1.276, 1.5, 1.774, 2.105, 2.505, 2.986, 3.557");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("1.335, 1.373, 1.481, 1.665, 1.946, 2.344, 2.87, 3.533, 4.344, 5.31",\
                 "1.342, 1.38, 1.488, 1.671, 1.953, 2.351, 2.877, 3.541, 4.352, 5.319",\
                 "1.368, 1.406, 1.514, 1.697, 1.979, 2.377, 2.903, 3.566, 4.377, 5.345",\
                 "1.432, 1.47, 1.578, 1.762, 2.043, 2.441, 2.967, 3.631, 4.442, 5.409",\
                 "1.563, 1.601, 1.709, 1.893, 2.175, 2.572, 3.098, 3.762, 4.573, 5.539",\
                 "1.767, 1.805, 1.914, 2.097, 2.378, 2.776, 3.302, 3.965, 4.776, 5.743",\
                 "2.037, 2.076, 2.184, 2.368, 2.649, 3.047, 3.572, 4.236, 5.047, 6.014",\
                 "2.369, 2.408, 2.517, 2.7, 2.981, 3.378, 3.904, 4.567, 5.378, 6.344",\
                 "2.755, 2.795, 2.906, 3.089, 3.369, 3.765, 4.29, 4.953, 5.763, 6.73",\
                 "3.191, 3.232, 3.343, 3.527, 3.808, 4.203, 4.727, 5.389, 6.199, 7.165");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.236, 0.2862, 0.413, 0.594, 0.8526, 1.206, 1.685, 2.309, 3.093, 4.046",\
                 "0.236, 0.2862, 0.4118, 0.5944, 0.8524, 1.206, 1.684, 2.308, 3.091, 4.044",\
                 "0.2358, 0.2862, 0.412, 0.5942, 0.8526, 1.206, 1.685, 2.309, 3.092, 4.046",\
                 "0.2364, 0.2856, 0.412, 0.594, 0.852, 1.207, 1.683, 2.309, 3.092, 4.042",\
                 "0.2358, 0.2854, 0.412, 0.5944, 0.8526, 1.207, 1.684, 2.308, 3.093, 4.044",\
                 "0.2304, 0.2792, 0.4036, 0.5872, 0.8476, 1.204, 1.684, 2.307, 3.094, 4.044",\
                 "0.2298, 0.2772, 0.3988, 0.582, 0.8438, 1.201, 1.681, 2.309, 3.092, 4.042",\
                 "0.2276, 0.275, 0.3976, 0.5818, 0.8446, 1.201, 1.679, 2.305, 3.089, 4.044",\
                 "0.228, 0.2762, 0.3982, 0.583, 0.8462, 1.203, 1.681, 2.304, 3.088, 4.038",\
                 "0.2292, 0.2772, 0.4, 0.5848, 0.8462, 1.202, 1.679, 2.301, 3.083, 4.034");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.1464, 0.1902, 0.343, 0.6484, 1.152, 1.871, 2.815, 4.01, 5.473, 7.199",\
                 "0.1454, 0.1904, 0.344, 0.6478, 1.152, 1.87, 2.817, 4.012, 5.473, 7.195",\
                 "0.1456, 0.1902, 0.343, 0.6486, 1.151, 1.871, 2.815, 4.014, 5.466, 7.195",\
                 "0.1462, 0.1902, 0.3432, 0.6486, 1.152, 1.869, 2.814, 4.007, 5.473, 7.211",\
                 "0.1458, 0.1904, 0.3432, 0.6486, 1.152, 1.871, 2.818, 4.008, 5.473, 7.199",\
                 "0.1464, 0.1902, 0.3442, 0.648, 1.153, 1.871, 2.816, 4.014, 5.473, 7.211",\
                 "0.1486, 0.1922, 0.3456, 0.649, 1.153, 1.871, 2.814, 4.011, 5.473, 7.196",\
                 "0.1518, 0.1956, 0.3476, 0.6512, 1.153, 1.87, 2.819, 4.013, 5.473, 7.212",\
                 "0.1586, 0.2014, 0.3526, 0.653, 1.154, 1.869, 2.814, 4.01, 5.472, 7.208",\
                 "0.1634, 0.2068, 0.3578, 0.6578, 1.157, 1.87, 2.817, 4.007, 5.47, 7.197");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("1.054, 1.103, 1.232, 1.413, 1.639, 1.915, 2.247, 2.648, 3.13, 3.701",\
                 "1.063, 1.112, 1.241, 1.423, 1.649, 1.924, 2.256, 2.658, 3.139, 3.711",\
                 "1.098, 1.147, 1.275, 1.457, 1.683, 1.958, 2.29, 2.692, 3.174, 3.745",\
                 "1.149, 1.198, 1.326, 1.508, 1.734, 2.009, 2.341, 2.743, 3.225, 3.796",\
                 "1.187, 1.236, 1.364, 1.546, 1.772, 2.047, 2.379, 2.78, 3.262, 3.834",\
                 "1.207, 1.256, 1.383, 1.562, 1.787, 2.061, 2.394, 2.795, 3.277, 3.848",\
                 "1.199, 1.247, 1.371, 1.547, 1.771, 2.045, 2.377, 2.778, 3.26, 3.832",\
                 "1.15, 1.197, 1.32, 1.497, 1.721, 1.994, 2.326, 2.727, 3.209, 3.781",\
                 "1.06, 1.108, 1.232, 1.408, 1.632, 1.906, 2.238, 2.639, 3.121, 3.692",\
                 "0.9321, 0.9794, 1.104, 1.28, 1.505, 1.779, 2.11, 2.51, 2.991, 3.562");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("1.335, 1.374, 1.482, 1.665, 1.947, 2.345, 2.871, 3.534, 4.345, 5.312",\
                 "1.343, 1.381, 1.49, 1.673, 1.954, 2.353, 2.878, 3.542, 4.353, 5.32",\
                 "1.369, 1.407, 1.515, 1.698, 1.98, 2.378, 2.904, 3.567, 4.378, 5.345",\
                 "1.433, 1.471, 1.579, 1.763, 2.044, 2.442, 2.968, 3.632, 4.443, 5.41",\
                 "1.564, 1.601, 1.71, 1.893, 2.175, 2.573, 3.098, 3.762, 4.573, 5.54",\
                 "1.767, 1.805, 1.914, 2.097, 2.378, 2.776, 3.302, 3.965, 4.775, 5.743",\
                 "2.037, 2.076, 2.184, 2.368, 2.649, 3.046, 3.572, 4.236, 5.046, 6.014",\
                 "2.369, 2.407, 2.517, 2.7, 2.981, 3.378, 3.903, 4.567, 5.377, 6.345",\
                 "2.755, 2.794, 2.905, 3.088, 3.368, 3.765, 4.289, 4.952, 5.763, 6.729",\
                 "3.19, 3.23, 3.342, 3.527, 3.806, 4.202, 4.726, 5.388, 6.198, 7.164");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.2372, 0.2874, 0.4142, 0.596, 0.854, 1.207, 1.686, 2.31, 3.095, 4.046",\
                 "0.237, 0.2876, 0.4132, 0.595, 0.8536, 1.207, 1.686, 2.308, 3.094, 4.041",\
                 "0.237, 0.2876, 0.4128, 0.5956, 0.8538, 1.207, 1.686, 2.308, 3.095, 4.046",\
                 "0.2374, 0.2874, 0.4136, 0.5958, 0.8532, 1.208, 1.686, 2.309, 3.094, 4.043",\
                 "0.2376, 0.2874, 0.4126, 0.5964, 0.854, 1.207, 1.686, 2.309, 3.092, 4.045",\
                 "0.2318, 0.2812, 0.4052, 0.5882, 0.849, 1.206, 1.685, 2.309, 3.095, 4.045",\
                 "0.231, 0.2784, 0.3994, 0.5834, 0.8452, 1.202, 1.682, 2.308, 3.095, 4.046",\
                 "0.2286, 0.276, 0.3984, 0.5828, 0.8452, 1.203, 1.682, 2.306, 3.091, 4.044",\
                 "0.2286, 0.2766, 0.3998, 0.584, 0.8478, 1.203, 1.683, 2.305, 3.092, 4.04",\
                 "0.2304, 0.2784, 0.402, 0.5864, 0.849, 1.202, 1.679, 2.302, 3.084, 4.037");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.1466, 0.1906, 0.343, 0.6486, 1.152, 1.87, 2.818, 4.01, 5.473, 7.211",\
                 "0.1456, 0.1898, 0.3434, 0.6486, 1.152, 1.871, 2.818, 4.014, 5.473, 7.209",\
                 "0.1456, 0.1902, 0.3436, 0.6486, 1.152, 1.87, 2.813, 4.01, 5.472, 7.211",\
                 "0.1462, 0.1904, 0.343, 0.6484, 1.152, 1.869, 2.819, 4.011, 5.473, 7.208",\
                 "0.1462, 0.1906, 0.3432, 0.6486, 1.151, 1.869, 2.814, 4.008, 5.473, 7.211",\
                 "0.1466, 0.1908, 0.344, 0.6488, 1.152, 1.871, 2.815, 4.006, 5.467, 7.207",\
                 "0.1486, 0.1926, 0.3456, 0.649, 1.153, 1.871, 2.815, 4.011, 5.464, 7.199",\
                 "0.1508, 0.1954, 0.348, 0.6498, 1.152, 1.869, 2.818, 4.013, 5.463, 7.206",\
                 "0.1572, 0.2008, 0.353, 0.6526, 1.152, 1.868, 2.815, 4.011, 5.472, 7.213",\
                 "0.1632, 0.2076, 0.358, 0.6572, 1.155, 1.87, 2.816, 4.005, 5.473, 7.205");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("1.054, 1.103, 1.232, 1.413, 1.639, 1.915, 2.247, 2.648, 3.13, 3.701",\
                 "1.063, 1.112, 1.241, 1.423, 1.649, 1.924, 2.256, 2.658, 3.139, 3.711",\
                 "1.098, 1.147, 1.275, 1.457, 1.683, 1.958, 2.29, 2.692, 3.174, 3.745",\
                 "1.149, 1.198, 1.326, 1.508, 1.734, 2.009, 2.341, 2.743, 3.225, 3.796",\
                 "1.187, 1.236, 1.364, 1.546, 1.772, 2.047, 2.379, 2.78, 3.262, 3.834",\
                 "1.207, 1.256, 1.383, 1.562, 1.787, 2.061, 2.394, 2.795, 3.277, 3.848",\
                 "1.199, 1.247, 1.371, 1.547, 1.771, 2.045, 2.377, 2.778, 3.26, 3.832",\
                 "1.15, 1.197, 1.32, 1.497, 1.721, 1.994, 2.326, 2.727, 3.209, 3.781",\
                 "1.06, 1.108, 1.232, 1.408, 1.632, 1.906, 2.238, 2.639, 3.121, 3.692",\
                 "0.9321, 0.9794, 1.104, 1.28, 1.505, 1.779, 2.11, 2.51, 2.991, 3.562");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("1.335, 1.373, 1.481, 1.665, 1.946, 2.344, 2.87, 3.533, 4.344, 5.31",\
                 "1.342, 1.38, 1.488, 1.671, 1.953, 2.351, 2.877, 3.541, 4.352, 5.319",\
                 "1.368, 1.406, 1.514, 1.697, 1.979, 2.377, 2.903, 3.566, 4.377, 5.345",\
                 "1.432, 1.47, 1.578, 1.762, 2.043, 2.441, 2.967, 3.631, 4.442, 5.409",\
                 "1.563, 1.601, 1.709, 1.893, 2.175, 2.572, 3.098, 3.762, 4.573, 5.539",\
                 "1.767, 1.805, 1.914, 2.097, 2.378, 2.776, 3.302, 3.965, 4.776, 5.743",\
                 "2.037, 2.076, 2.184, 2.368, 2.649, 3.047, 3.572, 4.236, 5.047, 6.014",\
                 "2.369, 2.408, 2.517, 2.7, 2.981, 3.378, 3.904, 4.567, 5.378, 6.344",\
                 "2.755, 2.795, 2.906, 3.089, 3.369, 3.765, 4.29, 4.953, 5.763, 6.73",\
                 "3.191, 3.232, 3.343, 3.527, 3.808, 4.203, 4.727, 5.389, 6.199, 7.165");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.2372, 0.2874, 0.4142, 0.596, 0.854, 1.207, 1.686, 2.31, 3.095, 4.046",\
                 "0.237, 0.2876, 0.4132, 0.595, 0.8536, 1.207, 1.686, 2.308, 3.094, 4.041",\
                 "0.237, 0.2876, 0.4128, 0.5956, 0.8538, 1.207, 1.686, 2.308, 3.095, 4.046",\
                 "0.2374, 0.2874, 0.4136, 0.5958, 0.8532, 1.208, 1.686, 2.309, 3.094, 4.043",\
                 "0.2376, 0.2874, 0.4126, 0.5964, 0.854, 1.207, 1.686, 2.309, 3.092, 4.045",\
                 "0.2318, 0.2812, 0.4052, 0.5882, 0.849, 1.206, 1.685, 2.309, 3.095, 4.045",\
                 "0.231, 0.2784, 0.3994, 0.5834, 0.8452, 1.202, 1.682, 2.308, 3.095, 4.046",\
                 "0.2286, 0.276, 0.3984, 0.5828, 0.8452, 1.203, 1.682, 2.306, 3.091, 4.044",\
                 "0.2286, 0.2766, 0.3998, 0.584, 0.8478, 1.203, 1.683, 2.305, 3.092, 4.04",\
                 "0.2304, 0.2784, 0.402, 0.5864, 0.849, 1.202, 1.679, 2.302, 3.084, 4.037");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.1466, 0.1906, 0.343, 0.6486, 1.152, 1.87, 2.818, 4.01, 5.473, 7.211",\
                 "0.1456, 0.1898, 0.3434, 0.6486, 1.152, 1.871, 2.818, 4.014, 5.473, 7.209",\
                 "0.1456, 0.1902, 0.3436, 0.6486, 1.152, 1.87, 2.813, 4.01, 5.472, 7.211",\
                 "0.1462, 0.1904, 0.343, 0.6484, 1.152, 1.869, 2.819, 4.011, 5.473, 7.208",\
                 "0.1462, 0.1906, 0.3432, 0.6486, 1.151, 1.869, 2.814, 4.008, 5.473, 7.211",\
                 "0.1466, 0.1908, 0.344, 0.6488, 1.152, 1.871, 2.815, 4.006, 5.467, 7.207",\
                 "0.1486, 0.1926, 0.3456, 0.649, 1.153, 1.871, 2.815, 4.011, 5.464, 7.199",\
                 "0.1508, 0.1954, 0.348, 0.6498, 1.152, 1.869, 2.818, 4.013, 5.463, 7.206",\
                 "0.1572, 0.2008, 0.353, 0.6526, 1.152, 1.868, 2.815, 4.011, 5.472, 7.213",\
                 "0.1632, 0.2076, 0.358, 0.6572, 1.155, 1.87, 2.816, 4.005, 5.473, 7.205");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.6558, 0.7023, 0.8249, 1.001, 1.223, 1.496, 1.827, 2.227, 2.709, 3.28",\
                 "0.6655, 0.7117, 0.8342, 1.01, 1.233, 1.505, 1.836, 2.237, 2.719, 3.29",\
                 "0.7029, 0.7492, 0.8719, 1.048, 1.27, 1.543, 1.873, 2.274, 2.756, 3.327",\
                 "0.7961, 0.8425, 0.965, 1.14, 1.363, 1.635, 1.966, 2.367, 2.848, 3.42",\
                 "0.9617, 1.008, 1.129, 1.304, 1.526, 1.798, 2.128, 2.529, 3.011, 3.582",\
                 "1.183, 1.231, 1.354, 1.53, 1.752, 2.024, 2.355, 2.755, 3.236, 3.807",\
                 "1.448, 1.497, 1.623, 1.801, 2.026, 2.302, 2.633, 3.033, 3.514, 4.084",\
                 "1.755, 1.807, 1.939, 2.121, 2.348, 2.626, 2.959, 3.361, 3.84, 4.41",\
                 "2.104, 2.158, 2.296, 2.486, 2.719, 3, 3.335, 3.737, 4.218, 4.787",\
                 "2.492, 2.548, 2.694, 2.893, 3.134, 3.422, 3.762, 4.166, 4.647, 5.217");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.4641, 0.5053, 0.6238, 0.8205, 1.109, 1.51, 2.037, 2.702, 3.514, 4.48",\
                 "0.4739, 0.5153, 0.6335, 0.8304, 1.119, 1.52, 2.047, 2.713, 3.525, 4.492",\
                 "0.5083, 0.5498, 0.6679, 0.8649, 1.153, 1.554, 2.081, 2.746, 3.558, 4.525",\
                 "0.5768, 0.6179, 0.7356, 0.9311, 1.219, 1.619, 2.146, 2.812, 3.624, 4.591",\
                 "0.6558, 0.6982, 0.8167, 1.012, 1.298, 1.697, 2.223, 2.886, 3.698, 4.666",\
                 "0.7181, 0.762, 0.8825, 1.078, 1.364, 1.761, 2.285, 2.948, 3.76, 4.725",\
                 "0.7576, 0.8039, 0.9282, 1.125, 1.411, 1.806, 2.329, 2.989, 3.799, 4.765",\
                 "0.7676, 0.8166, 0.9463, 1.147, 1.434, 1.829, 2.35, 3.01, 3.817, 4.781",\
                 "0.7464, 0.799, 0.9343, 1.139, 1.43, 1.826, 2.348, 3.007, 3.812, 4.775",\
                 "0.6906, 0.746, 0.889, 1.1, 1.393, 1.793, 2.318, 2.98, 3.785, 4.745");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.2206, 0.2679, 0.3897, 0.5739, 0.8374, 1.195, 1.676, 2.304, 3.091, 4.041",\
                 "0.2208, 0.2683, 0.3907, 0.5728, 0.837, 1.194, 1.676, 2.302, 3.089, 4.042",\
                 "0.2207, 0.2683, 0.3895, 0.573, 0.8372, 1.194, 1.676, 2.304, 3.092, 4.043",\
                 "0.2206, 0.2674, 0.3894, 0.5738, 0.8372, 1.195, 1.676, 2.304, 3.088, 4.042",\
                 "0.2218, 0.2692, 0.3914, 0.5764, 0.838, 1.196, 1.677, 2.303, 3.089, 4.042",\
                 "0.2436, 0.2908, 0.41, 0.591, 0.8488, 1.202, 1.681, 2.305, 3.09, 4.04",\
                 "0.2688, 0.315, 0.4356, 0.6156, 0.87, 1.22, 1.692, 2.312, 3.092, 4.042",\
                 "0.2998, 0.3484, 0.4686, 0.6438, 0.8966, 1.242, 1.708, 2.323, 3.101, 4.047",\
                 "0.336, 0.388, 0.5134, 0.6858, 0.9322, 1.27, 1.728, 2.337, 3.109, 4.054",\
                 "0.3772, 0.4326, 0.5638, 0.7384, 0.9804, 1.314, 1.762, 2.361, 3.122, 4.059");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.1547, 0.2018, 0.3663, 0.6727, 1.165, 1.88, 2.828, 4.023, 5.483, 7.218",\
                 "0.154, 0.2024, 0.3659, 0.672, 1.165, 1.881, 2.826, 4.023, 5.479, 7.206",\
                 "0.1546, 0.2018, 0.3661, 0.6734, 1.166, 1.879, 2.827, 4.023, 5.482, 7.218",\
                 "0.1539, 0.2028, 0.3666, 0.6738, 1.165, 1.88, 2.828, 4.016, 5.472, 7.215",\
                 "0.166, 0.2146, 0.3756, 0.6786, 1.168, 1.88, 2.825, 4.021, 5.475, 7.218",\
                 "0.184, 0.2316, 0.3878, 0.689, 1.175, 1.884, 2.827, 4.023, 5.475, 7.22",\
                 "0.2066, 0.2546, 0.4072, 0.7042, 1.183, 1.887, 2.83, 4.024, 5.481, 7.221",\
                 "0.2338, 0.282, 0.433, 0.726, 1.201, 1.895, 2.832, 4.023, 5.483, 7.212",\
                 "0.2614, 0.3136, 0.4612, 0.751, 1.223, 1.915, 2.846, 4.03, 5.479, 7.222",\
                 "0.2924, 0.3468, 0.4952, 0.781, 1.251, 1.944, 2.872, 4.048, 5.489, 7.216");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.6559, 0.7023, 0.8249, 1.001, 1.223, 1.496, 1.827, 2.227, 2.709, 3.28",\
                 "0.6655, 0.7117, 0.8342, 1.01, 1.233, 1.505, 1.836, 2.237, 2.719, 3.29",\
                 "0.7028, 0.7492, 0.8719, 1.048, 1.27, 1.543, 1.873, 2.274, 2.756, 3.327",\
                 "0.796, 0.8425, 0.9651, 1.14, 1.363, 1.635, 1.966, 2.367, 2.848, 3.42",\
                 "0.9618, 1.008, 1.129, 1.303, 1.526, 1.798, 2.128, 2.529, 3.01, 3.582",\
                 "1.184, 1.23, 1.354, 1.53, 1.752, 2.024, 2.355, 2.755, 3.236, 3.807",\
                 "1.448, 1.497, 1.623, 1.802, 2.026, 2.301, 2.633, 3.033, 3.514, 4.084",\
                 "1.755, 1.807, 1.938, 2.121, 2.348, 2.626, 2.959, 3.36, 3.841, 4.41",\
                 "2.104, 2.158, 2.296, 2.486, 2.719, 3, 3.335, 3.737, 4.218, 4.787",\
                 "2.491, 2.548, 2.694, 2.893, 3.134, 3.422, 3.762, 4.166, 4.647, 5.217");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.4641, 0.5053, 0.6238, 0.8205, 1.109, 1.51, 2.037, 2.702, 3.514, 4.48",\
                 "0.474, 0.5153, 0.6335, 0.8304, 1.119, 1.52, 2.047, 2.712, 3.524, 4.49",\
                 "0.5085, 0.5498, 0.6679, 0.8649, 1.153, 1.554, 2.081, 2.746, 3.558, 4.525",\
                 "0.5768, 0.6179, 0.7355, 0.9313, 1.219, 1.619, 2.146, 2.812, 3.622, 4.591",\
                 "0.6558, 0.6982, 0.8167, 1.012, 1.298, 1.697, 2.223, 2.886, 3.697, 4.666",\
                 "0.7181, 0.762, 0.8828, 1.078, 1.364, 1.761, 2.285, 2.949, 3.76, 4.724",\
                 "0.7576, 0.804, 0.9281, 1.125, 1.411, 1.806, 2.329, 2.989, 3.799, 4.764",\
                 "0.7675, 0.8166, 0.9463, 1.147, 1.434, 1.829, 2.35, 3.01, 3.817, 4.781",\
                 "0.7462, 0.7987, 0.9343, 1.139, 1.43, 1.826, 2.348, 3.007, 3.812, 4.775",\
                 "0.6906, 0.746, 0.889, 1.1, 1.393, 1.793, 2.318, 2.979, 3.785, 4.745");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.2207, 0.2677, 0.3897, 0.5739, 0.8374, 1.195, 1.676, 2.304, 3.091, 4.042",\
                 "0.2208, 0.2683, 0.3907, 0.5728, 0.837, 1.194, 1.676, 2.302, 3.089, 4.042",\
                 "0.2203, 0.2683, 0.3894, 0.573, 0.8368, 1.194, 1.676, 2.304, 3.091, 4.043",\
                 "0.22, 0.2674, 0.3898, 0.574, 0.8374, 1.195, 1.676, 2.302, 3.089, 4.039",\
                 "0.2216, 0.2692, 0.3918, 0.5758, 0.8386, 1.196, 1.677, 2.305, 3.088, 4.041",\
                 "0.2436, 0.2896, 0.4098, 0.5906, 0.8486, 1.202, 1.681, 2.307, 3.088, 4.041",\
                 "0.2682, 0.3152, 0.4354, 0.6152, 0.8704, 1.22, 1.692, 2.312, 3.092, 4.043",\
                 "0.2998, 0.3494, 0.4692, 0.6438, 0.896, 1.242, 1.709, 2.323, 3.101, 4.046",\
                 "0.336, 0.3892, 0.513, 0.686, 0.9322, 1.271, 1.728, 2.336, 3.109, 4.053",\
                 "0.3766, 0.4326, 0.5644, 0.7394, 0.9804, 1.314, 1.763, 2.357, 3.122, 4.061");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.1547, 0.2018, 0.3662, 0.6727, 1.165, 1.88, 2.828, 4.023, 5.483, 7.217",\
                 "0.1539, 0.2024, 0.3659, 0.6734, 1.165, 1.879, 2.828, 4.023, 5.483, 7.218",\
                 "0.154, 0.2021, 0.3661, 0.6734, 1.166, 1.879, 2.827, 4.023, 5.482, 7.218",\
                 "0.154, 0.2028, 0.3664, 0.6744, 1.166, 1.88, 2.826, 4.014, 5.477, 7.216",\
                 "0.1662, 0.2146, 0.3756, 0.6786, 1.168, 1.88, 2.825, 4.021, 5.476, 7.218",\
                 "0.1836, 0.2316, 0.3872, 0.6896, 1.175, 1.884, 2.826, 4.016, 5.475, 7.213",\
                 "0.2064, 0.2546, 0.4068, 0.7038, 1.183, 1.888, 2.829, 4.023, 5.48, 7.219",\
                 "0.2332, 0.2822, 0.433, 0.7266, 1.2, 1.894, 2.832, 4.023, 5.474, 7.218",\
                 "0.262, 0.3126, 0.461, 0.751, 1.223, 1.916, 2.847, 4.03, 5.479, 7.217",\
                 "0.2924, 0.3468, 0.4952, 0.781, 1.251, 1.944, 2.872, 4.048, 5.489, 7.216");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.6559, 0.7023, 0.8249, 1.001, 1.223, 1.496, 1.827, 2.227, 2.709, 3.28",\
                 "0.6655, 0.7117, 0.8342, 1.01, 1.233, 1.505, 1.836, 2.237, 2.719, 3.29",\
                 "0.7028, 0.7492, 0.8719, 1.048, 1.27, 1.543, 1.873, 2.274, 2.756, 3.327",\
                 "0.796, 0.8425, 0.9651, 1.14, 1.363, 1.635, 1.966, 2.367, 2.848, 3.42",\
                 "0.9618, 1.008, 1.129, 1.303, 1.526, 1.798, 2.128, 2.529, 3.01, 3.582",\
                 "1.184, 1.23, 1.354, 1.53, 1.752, 2.024, 2.355, 2.755, 3.236, 3.807",\
                 "1.448, 1.497, 1.623, 1.802, 2.026, 2.301, 2.633, 3.033, 3.514, 4.084",\
                 "1.755, 1.807, 1.938, 2.121, 2.348, 2.626, 2.959, 3.36, 3.841, 4.41",\
                 "2.104, 2.158, 2.296, 2.486, 2.719, 3, 3.335, 3.737, 4.218, 4.787",\
                 "2.491, 2.548, 2.694, 2.893, 3.134, 3.422, 3.762, 4.166, 4.647, 5.217");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.4641, 0.5053, 0.6238, 0.8205, 1.109, 1.51, 2.037, 2.702, 3.514, 4.48",\
                 "0.474, 0.5153, 0.6335, 0.8304, 1.119, 1.52, 2.047, 2.712, 3.524, 4.49",\
                 "0.5085, 0.5498, 0.6679, 0.8649, 1.153, 1.554, 2.081, 2.746, 3.558, 4.525",\
                 "0.5768, 0.6179, 0.7355, 0.9313, 1.219, 1.619, 2.146, 2.812, 3.622, 4.591",\
                 "0.6558, 0.6982, 0.8167, 1.012, 1.298, 1.697, 2.223, 2.886, 3.697, 4.666",\
                 "0.7181, 0.762, 0.8828, 1.078, 1.364, 1.761, 2.285, 2.949, 3.76, 4.724",\
                 "0.7576, 0.804, 0.9281, 1.125, 1.411, 1.806, 2.329, 2.989, 3.799, 4.764",\
                 "0.7675, 0.8166, 0.9463, 1.147, 1.434, 1.829, 2.35, 3.01, 3.817, 4.781",\
                 "0.7462, 0.7987, 0.9343, 1.139, 1.43, 1.826, 2.348, 3.007, 3.812, 4.775",\
                 "0.6906, 0.746, 0.889, 1.1, 1.393, 1.793, 2.318, 2.979, 3.785, 4.745");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.2207, 0.2677, 0.3897, 0.5739, 0.8374, 1.195, 1.676, 2.304, 3.091, 4.042",\
                 "0.2208, 0.2683, 0.3907, 0.5728, 0.837, 1.194, 1.676, 2.302, 3.089, 4.042",\
                 "0.2203, 0.2683, 0.3894, 0.573, 0.8368, 1.194, 1.676, 2.304, 3.091, 4.043",\
                 "0.22, 0.2674, 0.3898, 0.574, 0.8374, 1.195, 1.676, 2.302, 3.089, 4.039",\
                 "0.2216, 0.2692, 0.3918, 0.5758, 0.8386, 1.196, 1.677, 2.305, 3.088, 4.041",\
                 "0.2436, 0.2896, 0.4098, 0.5906, 0.8486, 1.202, 1.681, 2.307, 3.088, 4.041",\
                 "0.2682, 0.3152, 0.4354, 0.6152, 0.8704, 1.22, 1.692, 2.312, 3.092, 4.043",\
                 "0.2998, 0.3494, 0.4692, 0.6438, 0.896, 1.242, 1.709, 2.323, 3.101, 4.046",\
                 "0.336, 0.3892, 0.513, 0.686, 0.9322, 1.271, 1.728, 2.336, 3.109, 4.053",\
                 "0.3766, 0.4326, 0.5644, 0.7394, 0.9804, 1.314, 1.763, 2.357, 3.122, 4.061");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01174, 0.04944, 0.1214, 0.2336, 0.391, 0.5981, 0.859, 1.177, 1.557");
          values("0.1547, 0.2018, 0.3663, 0.6727, 1.165, 1.88, 2.828, 4.023, 5.483, 7.218",\
                 "0.154, 0.2024, 0.3659, 0.672, 1.165, 1.881, 2.826, 4.023, 5.479, 7.206",\
                 "0.1546, 0.2018, 0.3661, 0.6734, 1.166, 1.879, 2.827, 4.023, 5.482, 7.218",\
                 "0.1539, 0.2028, 0.3666, 0.6738, 1.165, 1.88, 2.828, 4.016, 5.472, 7.215",\
                 "0.166, 0.2146, 0.3756, 0.6786, 1.168, 1.88, 2.825, 4.021, 5.475, 7.218",\
                 "0.184, 0.2316, 0.3878, 0.689, 1.175, 1.884, 2.827, 4.023, 5.475, 7.22",\
                 "0.2066, 0.2546, 0.4072, 0.7042, 1.183, 1.887, 2.83, 4.024, 5.481, 7.221",\
                 "0.2338, 0.282, 0.433, 0.726, 1.201, 1.895, 2.832, 4.023, 5.483, 7.212",\
                 "0.2614, 0.3136, 0.4612, 0.751, 1.223, 1.915, 2.846, 4.03, 5.479, 7.222",\
                 "0.2924, 0.3468, 0.4952, 0.781, 1.251, 1.944, 2.872, 4.048, 5.489, 7.216");
        }
      }
    }
  }