  cell(gf180mcu_fd_sc_mcu9t5v0__xor3_4) {
    area : 90.316800 ;

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

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

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

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

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

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

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

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

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

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

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

    pin(A1) {
      capacitance : 0.005199 ;
      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.005328 ;
      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.00944 ;
      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(Z) {
      direction : output ;
      function : "(A1^A2^A3)" ;
      max_capacitance : 1.556 ;
      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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("1.213, 1.17, 1.075, 0.9893, 0.9392, 0.9068, 0.8857, 0.8702, 0.86, 0.8523",\
                 "1.212, 1.169, 1.074, 0.9887, 0.9377, 0.9061, 0.8849, 0.8695, 0.8587, 0.8511",\
                 "1.211, 1.168, 1.073, 0.9877, 0.9366, 0.9049, 0.8834, 0.8685, 0.8575, 0.8499",\
                 "1.213, 1.17, 1.076, 0.9906, 0.9392, 0.9071, 0.8864, 0.8708, 0.8605, 0.8527",\
                 "1.222, 1.18, 1.085, 0.9995, 0.9485, 0.9169, 0.8953, 0.8805, 0.8695, 0.8619",\
                 "1.24, 1.197, 1.102, 1.016, 0.9653, 0.9335, 0.9122, 0.8971, 0.8866, 0.8787",\
                 "1.264, 1.221, 1.126, 1.04, 0.9897, 0.9581, 0.9365, 0.9218, 0.9108, 0.903",\
                 "1.297, 1.254, 1.159, 1.074, 1.023, 0.9912, 0.9697, 0.9546, 0.9437, 0.9359",\
                 "1.339, 1.297, 1.202, 1.115, 1.064, 1.032, 1.011, 0.9962, 0.9851, 0.9775",\
                 "1.391, 1.348, 1.254, 1.167, 1.115, 1.083, 1.062, 1.047, 1.036, 1.028");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("1.133, 1.093, 1.026, 0.973, 0.9331, 0.909, 0.8967, 0.8913, 0.8907, 0.9059",\
                 "1.132, 1.093, 1.028, 0.9744, 0.9349, 0.9108, 0.8958, 0.8904, 0.8907, 0.905",\
                 "1.133, 1.093, 1.027, 0.9721, 0.934, 0.9099, 0.8967, 0.8926, 0.8913, 0.9059",\
                 "1.135, 1.095, 1.028, 0.9733, 0.9349, 0.9108, 0.9007, 0.8931, 0.8922, 0.9106",\
                 "1.139, 1.099, 1.033, 0.9792, 0.9408, 0.9162, 0.9034, 0.8989, 0.8967, 0.917",\
                 "1.145, 1.105, 1.039, 0.9863, 0.9484, 0.9243, 0.9111, 0.9066, 0.9067, 0.9254",\
                 "1.157, 1.119, 1.053, 0.9998, 0.9615, 0.9382, 0.9259, 0.921, 0.9222, 0.9483",\
                 "1.178, 1.139, 1.074, 1.021, 0.9853, 0.9639, 0.9511, 0.9465, 0.9448, 0.9781",\
                 "1.209, 1.17, 1.104, 1.051, 1.01, 0.9882, 0.9831, 0.9816, 0.978, 1.019",\
                 "1.247, 1.208, 1.143, 1.09, 1.049, 1.024, 1.014, 1.014, 1.024, 1.089");
        }
      }

      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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("1.203, 1.171, 1.107, 1.061, 1.035, 1.02, 1.01, 1.003, 0.999, 0.996",\
                 "1.202, 1.171, 1.106, 1.062, 1.035, 1.02, 1.01, 1.003, 0.9991, 0.9959",\
                 "1.202, 1.17, 1.106, 1.061, 1.035, 1.02, 1.01, 1.003, 0.9992, 0.9959",\
                 "1.204, 1.172, 1.107, 1.064, 1.038, 1.021, 1.011, 1.005, 1.001, 0.9974",\
                 "1.209, 1.177, 1.113, 1.068, 1.043, 1.027, 1.017, 1.01, 1.006, 1.003",\
                 "1.219, 1.187, 1.122, 1.078, 1.052, 1.036, 1.026, 1.02, 1.015, 1.012",\
                 "1.234, 1.202, 1.138, 1.094, 1.067, 1.052, 1.043, 1.036, 1.031, 1.028",\
                 "1.258, 1.226, 1.16, 1.118, 1.092, 1.076, 1.066, 1.059, 1.055, 1.051",\
                 "1.288, 1.256, 1.191, 1.146, 1.121, 1.105, 1.096, 1.089, 1.085, 1.081",\
                 "1.326, 1.293, 1.229, 1.185, 1.159, 1.143, 1.133, 1.127, 1.122, 1.119");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("1.016, 0.985, 0.9408, 0.9109, 0.8936, 0.8874, 0.8878, 0.8869, 0.8909, 0.9118",\
                 "1.015, 0.9845, 0.9397, 0.9095, 0.8931, 0.8879, 0.8882, 0.8914, 0.8936, 0.9087",\
                 "1.014, 0.983, 0.9379, 0.9089, 0.8922, 0.887, 0.8869, 0.8905, 0.8927, 0.9092",\
                 "1.016, 0.9856, 0.9406, 0.9113, 0.894, 0.8901, 0.8896, 0.8932, 0.8918, 0.9138",\
                 "1.025, 0.9945, 0.9506, 0.9196, 0.9053, 0.9, 0.899, 0.8999, 0.905, 0.9263",\
                 "1.042, 1.012, 0.9675, 0.9366, 0.921, 0.9158, 0.9157, 0.9157, 0.9281, 0.9538",\
                 "1.066, 1.035, 0.99, 0.9612, 0.9444, 0.9396, 0.9395, 0.9421, 0.9437, 0.9866",\
                 "1.099, 1.068, 1.024, 0.9939, 0.9759, 0.9707, 0.971, 0.9704, 0.9804, 1.037",\
                 "1.139, 1.109, 1.064, 1.033, 1.018, 1.013, 1.01, 1.014, 1.022, 1.124",\
                 "1.189, 1.158, 1.112, 1.083, 1.066, 1.062, 1.062, 1.064, 1.08, 1.262");
        }
      }

      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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("1.074, 1.031, 0.9339, 0.8461, 0.7933, 0.7598, 0.7378, 0.7219, 0.7107, 0.7025",\
                 "1.075, 1.031, 0.9345, 0.8459, 0.793, 0.7603, 0.7378, 0.7223, 0.7108, 0.7026",\
                 "1.075, 1.032, 0.9351, 0.847, 0.7937, 0.7607, 0.7386, 0.7228, 0.7117, 0.7034",\
                 "1.078, 1.035, 0.9375, 0.8489, 0.7961, 0.7632, 0.7408, 0.7252, 0.7142, 0.7058",\
                 "1.089, 1.045, 0.9479, 0.8596, 0.8064, 0.7728, 0.7505, 0.7347, 0.7237, 0.7154",\
                 "1.11, 1.067, 0.9686, 0.879, 0.8249, 0.7915, 0.7691, 0.7532, 0.7417, 0.7332",\
                 "1.142, 1.098, 0.9987, 0.909, 0.8536, 0.8191, 0.796, 0.7796, 0.7675, 0.759",\
                 "1.185, 1.141, 1.04, 0.9475, 0.8907, 0.8561, 0.8322, 0.8153, 0.8032, 0.7946",\
                 "1.239, 1.194, 1.092, 0.9973, 0.939, 0.9025, 0.8776, 0.8601, 0.848, 0.8389",\
                 "1.304, 1.259, 1.155, 1.059, 0.998, 0.9598, 0.9338, 0.9157, 0.9029, 0.8934");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("1.087, 1.048, 0.9815, 0.9312, 0.8937, 0.87, 0.8586, 0.8546, 0.8535, 0.8672",\
                 "1.087, 1.048, 0.9822, 0.9305, 0.8928, 0.87, 0.8582, 0.855, 0.853, 0.8668",\
                 "1.087, 1.048, 0.9811, 0.9303, 0.8933, 0.8695, 0.8582, 0.8546, 0.8526, 0.8668",\
                 "1.089, 1.05, 0.9847, 0.9313, 0.8955, 0.874, 0.8622, 0.8559, 0.855, 0.8706",\
                 "1.096, 1.057, 0.9914, 0.9395, 0.9018, 0.8785, 0.869, 0.8649, 0.8617, 0.8807",\
                 "1.114, 1.075, 1.009, 0.9552, 0.9185, 0.897, 0.8865, 0.8798, 0.8786, 0.9027",\
                 "1.149, 1.109, 1.042, 0.9891, 0.95, 0.9271, 0.9131, 0.9107, 0.909, 0.9413",\
                 "1.202, 1.162, 1.093, 1.04, 0.9995, 0.9735, 0.9576, 0.9539, 0.9523, 1.003",\
                 "1.268, 1.227, 1.157, 1.099, 1.059, 1.031, 1.014, 1.008, 1.012, 1.092",\
                 "1.353, 1.31, 1.238, 1.177, 1.127, 1.101, 1.086, 1.075, 1.084, 1.238");
        }
      }

      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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("1.171, 1.139, 1.074, 1.03, 1.004, 0.9883, 0.9783, 0.972, 0.9674, 0.9642",\
                 "1.171, 1.138, 1.074, 1.03, 1.004, 0.9884, 0.9781, 0.972, 0.9673, 0.9642",\
                 "1.17, 1.139, 1.074, 1.03, 1.005, 0.9883, 0.9783, 0.9718, 0.9673, 0.9641",\
                 "1.172, 1.141, 1.076, 1.032, 1.007, 0.9903, 0.9802, 0.9736, 0.9694, 0.9662",\
                 "1.179, 1.147, 1.082, 1.038, 1.013, 0.9969, 0.987, 0.9803, 0.9761, 0.9727",\
                 "1.193, 1.161, 1.096, 1.052, 1.027, 1.011, 1.001, 0.9943, 0.99, 0.9867",\
                 "1.215, 1.183, 1.119, 1.074, 1.049, 1.033, 1.023, 1.016, 1.012, 1.009",\
                 "1.247, 1.215, 1.151, 1.106, 1.081, 1.064, 1.054, 1.047, 1.043, 1.04",\
                 "1.286, 1.254, 1.191, 1.146, 1.119, 1.103, 1.093, 1.087, 1.083, 1.08",\
                 "1.336, 1.305, 1.24, 1.194, 1.168, 1.152, 1.142, 1.136, 1.131, 1.128");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.8652, 0.8343, 0.7898, 0.7592, 0.7422, 0.7356, 0.7355, 0.7395, 0.7402, 0.7561",\
                 "0.8653, 0.8341, 0.7888, 0.759, 0.7413, 0.7374, 0.7373, 0.7386, 0.7384, 0.762",\
                 "0.8659, 0.8353, 0.79, 0.7591, 0.7427, 0.7369, 0.7355, 0.7418, 0.7434, 0.7566",\
                 "0.8682, 0.8376, 0.7929, 0.7627, 0.7458, 0.7405, 0.7409, 0.7445, 0.7429, 0.7635",\
                 "0.8754, 0.8444, 0.799, 0.7698, 0.753, 0.7486, 0.7481, 0.7494, 0.7503, 0.7722",\
                 "0.8885, 0.8585, 0.8127, 0.7821, 0.7656, 0.7585, 0.7602, 0.7634, 0.771, 0.786",\
                 "0.9076, 0.8772, 0.831, 0.8013, 0.785, 0.7783, 0.7782, 0.78, 0.7842, 0.8116",\
                 "0.9344, 0.9037, 0.8589, 0.8263, 0.8102, 0.8062, 0.8043, 0.8064, 0.8084, 0.8424",\
                 "0.9674, 0.9368, 0.8916, 0.8615, 0.839, 0.8355, 0.8408, 0.8429, 0.8483, 0.8916",\
                 "1.009, 0.9782, 0.9329, 0.9006, 0.8849, 0.8733, 0.8732, 0.8865, 0.9013, 0.9676");
        }
      }

      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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("1.205, 1.163, 1.068, 0.9823, 0.9312, 0.8995, 0.8783, 0.8631, 0.8523, 0.8446",\
                 "1.204, 1.161, 1.067, 0.9808, 0.9301, 0.8983, 0.8771, 0.8622, 0.8512, 0.8435",\
                 "1.204, 1.161, 1.066, 0.9806, 0.9296, 0.8979, 0.8765, 0.8616, 0.8509, 0.8431",\
                 "1.208, 1.165, 1.071, 0.9845, 0.9343, 0.9025, 0.8805, 0.8657, 0.8547, 0.8473",\
                 "1.217, 1.174, 1.079, 0.9935, 0.9428, 0.911, 0.8896, 0.8751, 0.8638, 0.8563",\
                 "1.232, 1.189, 1.094, 1.008, 0.9577, 0.9258, 0.9042, 0.8893, 0.8787, 0.8708",\
                 "1.252, 1.21, 1.115, 1.029, 0.9778, 0.9461, 0.9248, 0.9096, 0.8991, 0.8912",\
                 "1.279, 1.236, 1.141, 1.055, 1.004, 0.9724, 0.9513, 0.9363, 0.9254, 0.9179",\
                 "1.313, 1.27, 1.175, 1.09, 1.038, 1.006, 0.9848, 0.9698, 0.9596, 0.9517",\
                 "1.355, 1.312, 1.217, 1.132, 1.081, 1.049, 1.027, 1.012, 1.001, 0.9931");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("1.097, 1.058, 0.9932, 0.9416, 0.9032, 0.8818, 0.8686, 0.865, 0.865, 0.8791",\
                 "1.098, 1.059, 0.9927, 0.9403, 0.9041, 0.8818, 0.8677, 0.8663, 0.8635, 0.8777",\
                 "1.099, 1.059, 0.9933, 0.9417, 0.9046, 0.8818, 0.87, 0.8659, 0.8654, 0.8814",\
                 "1.101, 1.061, 0.9964, 0.9451, 0.9073, 0.884, 0.8745, 0.8704, 0.8672, 0.8842",\
                 "1.106, 1.067, 1.001, 0.9499, 0.9118, 0.8885, 0.8794, 0.8753, 0.8722, 0.8911",\
                 "1.114, 1.075, 1.01, 0.9576, 0.9203, 0.8975, 0.8857, 0.8825, 0.8813, 0.9026",\
                 "1.128, 1.089, 1.023, 0.9713, 0.9347, 0.9119, 0.9006, 0.8965, 0.8957, 0.9205",\
                 "1.149, 1.109, 1.043, 0.9907, 0.9532, 0.9358, 0.9222, 0.9149, 0.9172, 0.9485",\
                 "1.175, 1.136, 1.069, 1.016, 0.9779, 0.9547, 0.9505, 0.949, 0.9457, 0.9884",\
                 "1.206, 1.168, 1.102, 1.049, 1.01, 0.9835, 0.973, 0.9756, 0.9889, 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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("1.181, 1.149, 1.085, 1.041, 1.015, 0.9991, 0.9891, 0.9819, 0.9778, 0.9746",\
                 "1.181, 1.149, 1.084, 1.04, 1.014, 0.9989, 0.9888, 0.9824, 0.9781, 0.9748",\
                 "1.182, 1.15, 1.085, 1.041, 1.015, 0.9993, 0.9895, 0.9828, 0.9786, 0.9755",\
                 "1.184, 1.152, 1.088, 1.043, 1.017, 1.002, 0.9919, 0.9854, 0.9806, 0.9777",\
                 "1.189, 1.157, 1.093, 1.049, 1.023, 1.007, 0.9971, 0.9904, 0.986, 0.9825",\
                 "1.198, 1.167, 1.102, 1.058, 1.032, 1.016, 1.006, 0.9996, 0.995, 0.9923",\
                 "1.212, 1.181, 1.116, 1.072, 1.046, 1.03, 1.02, 1.014, 1.009, 1.006",\
                 "1.232, 1.2, 1.135, 1.091, 1.066, 1.05, 1.04, 1.033, 1.029, 1.026",\
                 "1.257, 1.225, 1.16, 1.116, 1.09, 1.075, 1.065, 1.059, 1.054, 1.051",\
                 "1.288, 1.256, 1.192, 1.147, 1.121, 1.106, 1.096, 1.089, 1.085, 1.082");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("1.008, 0.978, 0.9334, 0.9031, 0.8868, 0.8816, 0.8797, 0.8828, 0.8871, 0.905",\
                 "1.006, 0.9761, 0.9318, 0.9014, 0.8868, 0.8811, 0.8806, 0.8815, 0.8859, 0.9032",\
                 "1.007, 0.9763, 0.9316, 0.9014, 0.885, 0.8811, 0.8801, 0.8846, 0.8837, 0.9051",\
                 "1.011, 0.9802, 0.9365, 0.9055, 0.8891, 0.8847, 0.8837, 0.886, 0.8859, 0.908",\
                 "1.02, 0.9893, 0.9446, 0.9148, 0.8981, 0.8933, 0.8932, 0.8963, 0.8964, 0.9213",\
                 "1.034, 1.004, 0.9591, 0.9291, 0.9125, 0.9068, 0.908, 0.9098, 0.911, 0.9426",\
                 "1.054, 1.024, 0.9803, 0.9493, 0.9341, 0.9279, 0.9278, 0.9286, 0.9379, 0.9742",\
                 "1.08, 1.051, 1.005, 0.9754, 0.9588, 0.954, 0.9526, 0.9583, 0.9688, 1.025",\
                 "1.114, 1.085, 1.039, 1.008, 0.9939, 0.986, 0.9859, 0.9865, 1.006, 1.113",\
                 "1.155, 1.125, 1.079, 1.047, 1.032, 1.029, 1.028, 1.029, 1.051, 1.26");
        }
      }

      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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("1.08, 1.037, 0.9401, 0.8517, 0.7989, 0.7659, 0.7435, 0.7278, 0.7166, 0.7086",\
                 "1.08, 1.037, 0.9403, 0.8518, 0.7994, 0.7659, 0.7435, 0.728, 0.7167, 0.7089",\
                 "1.081, 1.038, 0.9407, 0.8522, 0.7994, 0.7663, 0.7439, 0.7285, 0.7174, 0.7089",\
                 "1.083, 1.04, 0.9433, 0.8546, 0.8022, 0.7688, 0.7464, 0.7308, 0.7197, 0.7116",\
                 "1.092, 1.049, 0.952, 0.8632, 0.8104, 0.7769, 0.7548, 0.739, 0.7278, 0.7196",\
                 "1.112, 1.068, 0.9699, 0.8811, 0.8277, 0.7939, 0.7709, 0.755, 0.7437, 0.7355",\
                 "1.141, 1.097, 0.9984, 0.9079, 0.8536, 0.819, 0.7958, 0.7796, 0.768, 0.7593",\
                 "1.182, 1.138, 1.037, 0.9451, 0.8894, 0.8538, 0.8296, 0.8127, 0.8007, 0.7921",\
                 "1.234, 1.189, 1.087, 0.992, 0.9345, 0.8979, 0.8732, 0.856, 0.8435, 0.8344",\
                 "1.296, 1.251, 1.147, 1.05, 0.99, 0.952, 0.9263, 0.9086, 0.8959, 0.8867");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("1.116, 1.077, 1.011, 0.9566, 0.9168, 0.8931, 0.8795, 0.8741, 0.8744, 0.8881",\
                 "1.116, 1.076, 1.01, 0.9554, 0.9177, 0.8927, 0.8795, 0.8732, 0.873, 0.889",\
                 "1.116, 1.077, 1.01, 0.955, 0.9164, 0.8927, 0.88, 0.8754, 0.8721, 0.8882",\
                 "1.118, 1.079, 1.012, 0.9577, 0.9213, 0.8958, 0.8849, 0.8781, 0.8763, 0.8923",\
                 "1.126, 1.086, 1.02, 0.965, 0.9263, 0.9021, 0.8899, 0.8853, 0.8826, 0.9025",\
                 "1.144, 1.104, 1.036, 0.9828, 0.9443, 0.9201, 0.9065, 0.9024, 0.9012, 0.9264",\
                 "1.178, 1.139, 1.07, 1.016, 0.9767, 0.9507, 0.9367, 0.9302, 0.9308, 0.9669",\
                 "1.231, 1.191, 1.12, 1.064, 1.022, 0.9957, 0.9808, 0.9743, 0.9742, 1.028",\
                 "1.297, 1.256, 1.184, 1.125, 1.083, 1.056, 1.038, 1.029, 1.031, 1.121",\
                 "1.38, 1.338, 1.265, 1.203, 1.158, 1.128, 1.11, 1.101, 1.108, 1.278");
        }
      }

      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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("1.186, 1.154, 1.09, 1.045, 1.019, 1.003, 0.9935, 0.9869, 0.9825, 0.9793",\
                 "1.186, 1.154, 1.089, 1.045, 1.019, 1.003, 0.9932, 0.9865, 0.9823, 0.979",\
                 "1.186, 1.154, 1.089, 1.044, 1.019, 1.003, 0.993, 0.9866, 0.9821, 0.9789",\
                 "1.188, 1.156, 1.091, 1.047, 1.021, 1.005, 0.9955, 0.989, 0.9848, 0.9818",\
                 "1.195, 1.164, 1.099, 1.055, 1.029, 1.013, 1.003, 0.9965, 0.9922, 0.989",\
                 "1.21, 1.178, 1.113, 1.07, 1.043, 1.027, 1.018, 1.011, 1.007, 1.003",\
                 "1.233, 1.201, 1.137, 1.092, 1.066, 1.05, 1.041, 1.034, 1.03, 1.027",\
                 "1.266, 1.234, 1.169, 1.125, 1.098, 1.083, 1.073, 1.067, 1.062, 1.059",\
                 "1.307, 1.275, 1.21, 1.166, 1.14, 1.124, 1.114, 1.107, 1.103, 1.1",\
                 "1.36, 1.327, 1.262, 1.217, 1.192, 1.176, 1.165, 1.159, 1.154, 1.151");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.871, 0.8403, 0.7955, 0.7654, 0.7476, 0.7419, 0.7409, 0.7445, 0.7447, 0.7664",\
                 "0.8708, 0.8402, 0.7963, 0.7655, 0.7494, 0.7437, 0.7431, 0.7445, 0.7506, 0.761",\
                 "0.8717, 0.8408, 0.7959, 0.765, 0.7489, 0.7437, 0.744, 0.7472, 0.7488, 0.762",\
                 "0.8739, 0.8429, 0.7989, 0.7676, 0.7525, 0.7468, 0.7458, 0.749, 0.7569, 0.7693",\
                 "0.8804, 0.8498, 0.8052, 0.7748, 0.7579, 0.754, 0.753, 0.7544, 0.7552, 0.7776",\
                 "0.8929, 0.8625, 0.8158, 0.785, 0.7692, 0.7626, 0.7616, 0.7643, 0.7687, 0.7913",\
                 "0.9121, 0.8812, 0.8353, 0.806, 0.7899, 0.7833, 0.7823, 0.7863, 0.7878, 0.8137",\
                 "0.9385, 0.908, 0.8629, 0.8291, 0.8124, 0.8121, 0.8097, 0.8106, 0.8105, 0.8472",\
                 "0.9717, 0.9414, 0.8959, 0.8642, 0.8466, 0.8364, 0.8457, 0.8492, 0.8517, 0.8926",\
                 "1.014, 0.9833, 0.9364, 0.9053, 0.8871, 0.876, 0.8763, 0.8879, 0.9046, 0.9602");
        }
      }

      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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("1.018, 0.9756, 0.8824, 0.7983, 0.7486, 0.7173, 0.6967, 0.6818, 0.6714, 0.6637",\
                 "1.017, 0.9744, 0.881, 0.7973, 0.7472, 0.7167, 0.6956, 0.6807, 0.6703, 0.6625",\
                 "1.014, 0.9723, 0.8786, 0.7948, 0.7449, 0.714, 0.6934, 0.6786, 0.6681, 0.6605",\
                 "1.024, 0.9814, 0.8873, 0.8027, 0.7528, 0.7218, 0.7014, 0.6865, 0.6762, 0.6685",\
                 "1.074, 1.03, 0.9318, 0.8428, 0.7885, 0.7544, 0.7314, 0.7159, 0.7045, 0.6961",\
                 "1.185, 1.138, 1.03, 0.926, 0.8616, 0.8191, 0.7913, 0.7721, 0.7582, 0.748",\
                 "1.337, 1.285, 1.165, 1.045, 0.9652, 0.9134, 0.8776, 0.8531, 0.8356, 0.8229",\
                 "1.529, 1.474, 1.34, 1.202, 1.105, 1.04, 0.9945, 0.9632, 0.9405, 0.9242",\
                 "1.765, 1.706, 1.559, 1.401, 1.284, 1.204, 1.146, 1.105, 1.076, 1.055",\
                 "2.04, 1.978, 1.82, 1.64, 1.501, 1.401, 1.331, 1.28, 1.243, 1.215");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.5928, 0.5637, 0.5237, 0.4991, 0.4866, 0.4836, 0.4862, 0.4898, 0.4941, 0.5029",\
                 "0.5935, 0.5647, 0.5248, 0.5001, 0.488, 0.4849, 0.4871, 0.488, 0.4959, 0.5043",\
                 "0.5962, 0.5669, 0.5257, 0.5018, 0.4889, 0.4867, 0.4871, 0.4911, 0.4972, 0.5075",\
                 "0.6182, 0.5892, 0.5455, 0.5175, 0.5015, 0.4966, 0.497, 0.4988, 0.5017, 0.5156",\
                 "0.6897, 0.6563, 0.6054, 0.5666, 0.5424, 0.5304, 0.5258, 0.5267, 0.5256, 0.5437",\
                 "0.7952, 0.7562, 0.6911, 0.6428, 0.6095, 0.588, 0.578, 0.5721, 0.5737, 0.5834",\
                 "0.9389, 0.8937, 0.8147, 0.7498, 0.7049, 0.678, 0.6581, 0.6455, 0.6405, 0.6503",\
                 "1.116, 1.065, 0.9692, 0.8895, 0.8259, 0.7882, 0.7665, 0.749, 0.7361, 0.7479",\
                 "1.327, 1.27, 1.158, 1.064, 0.9843, 0.9277, 0.8957, 0.879, 0.8654, 0.8787",\
                 "1.572, 1.51, 1.379, 1.269, 1.179, 1.107, 1.054, 1.027, 1.018, 1.044");
        }
      }

      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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.9279, 0.8967, 0.8346, 0.7909, 0.7649, 0.7498, 0.7399, 0.733, 0.7288, 0.7255",\
                 "0.9278, 0.8965, 0.834, 0.7908, 0.7652, 0.7498, 0.7396, 0.7329, 0.7287, 0.7254",\
                 "0.9266, 0.8952, 0.8327, 0.7895, 0.764, 0.7484, 0.7383, 0.7315, 0.7273, 0.724",\
                 "0.9265, 0.8952, 0.8322, 0.7888, 0.7633, 0.7476, 0.7374, 0.7307, 0.7265, 0.7232",\
                 "0.9335, 0.9021, 0.8394, 0.7957, 0.7699, 0.7543, 0.744, 0.7373, 0.7329, 0.7295",\
                 "0.953, 0.9211, 0.8578, 0.8138, 0.7871, 0.7719, 0.7618, 0.7549, 0.7504, 0.747",\
                 "0.991, 0.9587, 0.8929, 0.8467, 0.8195, 0.8034, 0.7928, 0.7859, 0.7808, 0.7775",\
                 "1.045, 1.012, 0.9437, 0.8943, 0.8653, 0.8467, 0.8359, 0.8287, 0.8234, 0.8199",\
                 "1.113, 1.078, 1.007, 0.954, 0.9228, 0.9034, 0.8916, 0.8837, 0.8785, 0.8743",\
                 "1.196, 1.16, 1.086, 1.029, 0.9947, 0.9739, 0.9611, 0.9528, 0.9468, 0.9425");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.9488, 0.9161, 0.8669, 0.8305, 0.8091, 0.8003, 0.7961, 0.7979, 0.7977, 0.8098",\
                 "0.9482, 0.916, 0.8654, 0.8295, 0.8078, 0.7989, 0.7961, 0.7961, 0.7991, 0.8134",\
                 "0.9497, 0.917, 0.8663, 0.8304, 0.8091, 0.8003, 0.7965, 0.797, 0.8, 0.8175",\
                 "0.9549, 0.9218, 0.8717, 0.8356, 0.8141, 0.807, 0.8046, 0.8042, 0.8049, 0.8208",\
                 "0.9704, 0.9375, 0.8869, 0.8509, 0.8285, 0.8196, 0.8181, 0.8177, 0.8184, 0.8408",\
                 "0.9982, 0.9654, 0.9142, 0.8767, 0.8546, 0.8448, 0.842, 0.8402, 0.8415, 0.8632",\
                 "1.038, 1.005, 0.9547, 0.9171, 0.8955, 0.8831, 0.8793, 0.8793, 0.8813, 0.9083",\
                 "1.097, 1.063, 1.011, 0.9711, 0.9491, 0.9357, 0.9324, 0.9332, 0.9344, 0.9736",\
                 "1.172, 1.138, 1.084, 1.041, 1.014, 1.005, 1.002, 0.998, 1.002, 1.06",\
                 "1.264, 1.229, 1.172, 1.126, 1.098, 1.082, 1.078, 1.082, 1.091, 1.195");
        }
      }

      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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.9279, 0.897, 0.834, 0.7909, 0.7649, 0.7498, 0.7399, 0.733, 0.7288, 0.7255",\
                 "0.9278, 0.8965, 0.834, 0.7908, 0.7652, 0.7498, 0.7396, 0.7329, 0.7287, 0.7254",\
                 "0.9266, 0.8952, 0.8327, 0.7895, 0.764, 0.7484, 0.7383, 0.7315, 0.7273, 0.7241",\
                 "0.9265, 0.8952, 0.8322, 0.7888, 0.7633, 0.7476, 0.7374, 0.7307, 0.7264, 0.7232",\
                 "0.9334, 0.9021, 0.8394, 0.7957, 0.7699, 0.7543, 0.744, 0.7373, 0.733, 0.7295",\
                 "0.953, 0.9209, 0.8578, 0.8138, 0.7868, 0.7717, 0.7618, 0.7549, 0.7502, 0.747",\
                 "0.9912, 0.9587, 0.8929, 0.8467, 0.8196, 0.8034, 0.7934, 0.7859, 0.7808, 0.7777",\
                 "1.045, 1.012, 0.9437, 0.8944, 0.8653, 0.8467, 0.8359, 0.8283, 0.8234, 0.8199",\
                 "1.113, 1.078, 1.007, 0.9539, 0.9228, 0.9034, 0.8915, 0.8838, 0.8783, 0.8743",\
                 "1.196, 1.16, 1.086, 1.029, 0.9947, 0.9739, 0.9611, 0.9528, 0.9468, 0.9427");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.9488, 0.9161, 0.8671, 0.8306, 0.8082, 0.7994, 0.7956, 0.7983, 0.8, 0.8161",\
                 "0.9485, 0.9156, 0.8647, 0.83, 0.8078, 0.7989, 0.7952, 0.7956, 0.7991, 0.8157",\
                 "0.9497, 0.917, 0.8664, 0.8304, 0.8091, 0.8003, 0.7965, 0.797, 0.8004, 0.8175",\
                 "0.9549, 0.9217, 0.8712, 0.8363, 0.8141, 0.8043, 0.8033, 0.8042, 0.8049, 0.8203",\
                 "0.9702, 0.9377, 0.8872, 0.8503, 0.8285, 0.8183, 0.8181, 0.8168, 0.818, 0.8381",\
                 "0.9987, 0.9652, 0.914, 0.8778, 0.855, 0.8439, 0.8429, 0.842, 0.8442, 0.865",\
                 "1.038, 1.005, 0.9535, 0.9168, 0.8951, 0.8844, 0.8802, 0.8798, 0.8831, 0.9078",\
                 "1.096, 1.063, 1.01, 0.9706, 0.9477, 0.9362, 0.9315, 0.931, 0.9326, 0.9723",\
                 "1.172, 1.139, 1.084, 1.041, 1.015, 1.004, 1.003, 1.001, 1.004, 1.062",\
                 "1.264, 1.229, 1.172, 1.126, 1.096, 1.082, 1.078, 1.082, 1.091, 1.193");
        }
      }

      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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("1.018, 0.9756, 0.8817, 0.798, 0.7486, 0.7175, 0.6967, 0.6819, 0.6714, 0.6634",\
                 "1.017, 0.9743, 0.8811, 0.7972, 0.7472, 0.7167, 0.6956, 0.6806, 0.6703, 0.6625",\
                 "1.014, 0.9721, 0.8786, 0.7943, 0.7449, 0.7141, 0.6935, 0.6785, 0.6683, 0.6605",\
                 "1.024, 0.9814, 0.8871, 0.8025, 0.7528, 0.7218, 0.7011, 0.6866, 0.6761, 0.6686",\
                 "1.074, 1.03, 0.932, 0.8429, 0.7887, 0.7545, 0.7317, 0.7156, 0.7043, 0.6959",\
                 "1.185, 1.138, 1.03, 0.9264, 0.8606, 0.8189, 0.7913, 0.772, 0.7583, 0.748",\
                 "1.337, 1.286, 1.165, 1.045, 0.9646, 0.9134, 0.8782, 0.8537, 0.836, 0.8231",\
                 "1.529, 1.474, 1.34, 1.202, 1.105, 1.04, 0.9948, 0.9636, 0.9406, 0.924",\
                 "1.765, 1.706, 1.559, 1.401, 1.284, 1.203, 1.146, 1.106, 1.076, 1.054",\
                 "2.04, 1.978, 1.819, 1.641, 1.501, 1.401, 1.331, 1.281, 1.243, 1.215");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.5922, 0.5637, 0.5237, 0.4991, 0.4866, 0.4836, 0.4862, 0.4898, 0.4932, 0.5033",\
                 "0.5935, 0.5647, 0.5248, 0.5001, 0.4879, 0.4849, 0.4871, 0.4884, 0.4954, 0.5042",\
                 "0.5962, 0.5669, 0.5256, 0.5018, 0.4888, 0.4867, 0.4875, 0.4911, 0.4968, 0.5079",\
                 "0.618, 0.589, 0.5462, 0.5174, 0.5014, 0.4966, 0.4974, 0.5001, 0.5035, 0.5174",\
                 "0.6898, 0.656, 0.6054, 0.5666, 0.5419, 0.5299, 0.5258, 0.5262, 0.5296, 0.5395",\
                 "0.7952, 0.7561, 0.6919, 0.642, 0.6094, 0.5871, 0.5775, 0.5726, 0.5692, 0.5866",\
                 "0.9388, 0.8936, 0.8156, 0.7501, 0.7044, 0.678, 0.6581, 0.6473, 0.6391, 0.6521",\
                 "1.116, 1.065, 0.9685, 0.8882, 0.8263, 0.7882, 0.7665, 0.7494, 0.7351, 0.7448",\
                 "1.327, 1.27, 1.156, 1.064, 0.9861, 0.9277, 0.8957, 0.8772, 0.864, 0.8792",\
                 "1.571, 1.509, 1.378, 1.269, 1.181, 1.108, 1.052, 1.028, 1.017, 1.05");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("2.405, 2.446, 2.549, 2.696, 2.886, 3.131, 3.445, 3.837, 4.316, 4.887",\
                 "2.416, 2.455, 2.559, 2.706, 2.896, 3.141, 3.455, 3.848, 4.327, 4.898",\
                 "2.448, 2.488, 2.592, 2.739, 2.929, 3.174, 3.488, 3.881, 4.36, 4.931",\
                 "2.482, 2.522, 2.625, 2.772, 2.963, 3.208, 3.521, 3.914, 4.393, 4.964",\
                 "2.483, 2.523, 2.627, 2.773, 2.964, 3.209, 3.523, 3.915, 4.394, 4.965",\
                 "2.448, 2.488, 2.592, 2.739, 2.929, 3.174, 3.488, 3.88, 4.36, 4.931",\
                 "2.376, 2.416, 2.519, 2.666, 2.856, 3.102, 3.415, 3.808, 4.287, 4.858",\
                 "2.252, 2.292, 2.395, 2.542, 2.733, 2.978, 3.292, 3.684, 4.163, 4.734",\
                 "2.078, 2.118, 2.222, 2.369, 2.559, 2.804, 3.118, 3.511, 3.99, 4.561",\
                 "1.854, 1.894, 1.997, 2.144, 2.335, 2.58, 2.893, 3.286, 3.765, 4.336");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("2.147, 2.189, 2.308, 2.506, 2.794, 3.194, 3.721, 4.385, 5.197, 6.162",\
                 "2.152, 2.194, 2.313, 2.511, 2.799, 3.199, 3.726, 4.389, 5.2, 6.17",\
                 "2.176, 2.219, 2.338, 2.535, 2.823, 3.223, 3.75, 4.414, 5.225, 6.193",\
                 "2.251, 2.293, 2.412, 2.609, 2.897, 3.297, 3.824, 4.487, 5.3, 6.266",\
                 "2.401, 2.442, 2.562, 2.759, 3.047, 3.448, 3.974, 4.639, 5.45, 6.417",\
                 "2.63, 2.672, 2.791, 2.988, 3.277, 3.677, 4.204, 4.868, 5.679, 6.647",\
                 "2.93, 2.972, 3.091, 3.288, 3.576, 3.977, 4.503, 5.168, 5.979, 6.945",\
                 "3.3, 3.342, 3.461, 3.658, 3.946, 4.346, 4.873, 5.536, 6.347, 7.316",\
                 "3.736, 3.778, 3.897, 4.094, 4.382, 4.782, 5.309, 5.973, 6.784, 7.752",\
                 "4.233, 4.275, 4.395, 4.592, 4.88, 5.28, 5.807, 6.47, 7.28, 8.248");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.1644, 0.2028, 0.302, 0.4624, 0.7118, 1.082, 1.59, 2.245, 3.053, 4.015",\
                 "0.164, 0.2032, 0.302, 0.463, 0.7122, 1.082, 1.591, 2.247, 3.052, 4.013",\
                 "0.1646, 0.2034, 0.3022, 0.4628, 0.7118, 1.083, 1.59, 2.247, 3.053, 4.012",\
                 "0.1646, 0.2034, 0.3018, 0.463, 0.7116, 1.081, 1.59, 2.247, 3.052, 4.012",\
                 "0.1646, 0.2036, 0.302, 0.463, 0.7114, 1.081, 1.589, 2.246, 3.053, 4.015",\
                 "0.1648, 0.2032, 0.3018, 0.4632, 0.7124, 1.082, 1.59, 2.246, 3.053, 4.016",\
                 "0.1644, 0.2036, 0.3016, 0.4632, 0.7118, 1.081, 1.589, 2.247, 3.053, 4.017",\
                 "0.1642, 0.2026, 0.3022, 0.463, 0.7124, 1.081, 1.589, 2.245, 3.051, 4.017",\
                 "0.1642, 0.2026, 0.302, 0.4626, 0.7114, 1.081, 1.589, 2.244, 3.049, 4.01",\
                 "0.1644, 0.2024, 0.3022, 0.4628, 0.7118, 1.081, 1.59, 2.244, 3.05, 4.012");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.1596, 0.2092, 0.3718, 0.6774, 1.167, 1.879, 2.824, 4.016, 5.473, 7.203",\
                 "0.1598, 0.208, 0.3718, 0.6774, 1.169, 1.878, 2.821, 4.015, 5.478, 7.21",\
                 "0.1596, 0.209, 0.371, 0.6782, 1.168, 1.877, 2.821, 4.012, 5.48, 7.205",\
                 "0.1592, 0.209, 0.3716, 0.6768, 1.169, 1.88, 2.822, 4.013, 5.475, 7.203",\
                 "0.159, 0.2082, 0.3714, 0.6772, 1.167, 1.88, 2.822, 4.021, 5.48, 7.203",\
                 "0.1598, 0.209, 0.3716, 0.677, 1.169, 1.878, 2.821, 4.021, 5.468, 7.216",\
                 "0.1608, 0.2082, 0.3712, 0.6782, 1.168, 1.878, 2.822, 4.018, 5.47, 7.204",\
                 "0.16, 0.2088, 0.3712, 0.6768, 1.168, 1.88, 2.826, 4.018, 5.477, 7.207",\
                 "0.1594, 0.2082, 0.372, 0.6768, 1.168, 1.88, 2.824, 4.022, 5.468, 7.215",\
                 "0.16, 0.2084, 0.3714, 0.677, 1.168, 1.878, 2.82, 4.02, 5.474, 7.218");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("1.223, 1.27, 1.392, 1.567, 1.788, 2.059, 2.389, 2.789, 3.27, 3.842",\
                 "1.232, 1.278, 1.401, 1.575, 1.797, 2.068, 2.398, 2.798, 3.279, 3.851",\
                 "1.264, 1.31, 1.432, 1.607, 1.829, 2.1, 2.43, 2.83, 3.311, 3.883",\
                 "1.325, 1.371, 1.493, 1.668, 1.889, 2.161, 2.491, 2.891, 3.372, 3.944",\
                 "1.405, 1.451, 1.573, 1.748, 1.97, 2.241, 2.571, 2.971, 3.452, 4.024",\
                 "1.472, 1.518, 1.641, 1.816, 2.037, 2.308, 2.638, 3.038, 3.519, 4.091",\
                 "1.513, 1.559, 1.682, 1.857, 2.079, 2.351, 2.68, 3.08, 3.561, 4.133",\
                 "1.522, 1.569, 1.691, 1.866, 2.089, 2.361, 2.69, 3.09, 3.572, 4.143",\
                 "1.494, 1.54, 1.664, 1.84, 2.062, 2.334, 2.664, 3.064, 3.546, 4.117",\
                 "1.425, 1.472, 1.596, 1.772, 1.995, 2.268, 2.598, 2.998, 3.48, 4.051");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("1.684, 1.727, 1.848, 2.046, 2.332, 2.729, 3.254, 3.915, 4.725, 5.691",\
                 "1.695, 1.739, 1.861, 2.057, 2.344, 2.741, 3.265, 3.927, 4.737, 5.703",\
                 "1.735, 1.779, 1.9, 2.098, 2.384, 2.781, 3.306, 3.967, 4.777, 5.743",\
                 "1.828, 1.872, 1.994, 2.19, 2.477, 2.874, 3.399, 4.06, 4.87, 5.836",\
                 "1.996, 2.04, 2.161, 2.358, 2.644, 3.041, 3.566, 4.228, 5.036, 6.003",\
                 "2.247, 2.291, 2.412, 2.609, 2.895, 3.292, 3.817, 4.479, 5.289, 6.254",\
                 "2.574, 2.619, 2.74, 2.937, 3.223, 3.62, 4.144, 4.806, 5.615, 6.581",\
                 "2.966, 3.011, 3.132, 3.329, 3.615, 4.012, 4.536, 5.197, 6.007, 6.972",\
                 "3.421, 3.465, 3.587, 3.784, 4.07, 4.466, 4.989, 5.651, 6.46, 7.424",\
                 "3.936, 3.981, 4.104, 4.301, 4.586, 4.982, 5.505, 6.167, 6.974, 7.938");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.2244, 0.2714, 0.392, 0.5738, 0.836, 1.191, 1.674, 2.303, 3.092, 4.044",\
                 "0.2244, 0.2716, 0.3932, 0.5754, 0.835, 1.193, 1.673, 2.303, 3.09, 4.042",\
                 "0.2242, 0.2712, 0.3928, 0.5746, 0.8352, 1.191, 1.673, 2.302, 3.089, 4.041",\
                 "0.2248, 0.2714, 0.3928, 0.5748, 0.8364, 1.192, 1.674, 2.301, 3.092, 4.04",\
                 "0.2246, 0.272, 0.393, 0.5748, 0.8364, 1.193, 1.673, 2.302, 3.092, 4.04",\
                 "0.2256, 0.2726, 0.3932, 0.5754, 0.837, 1.193, 1.674, 2.304, 3.088, 4.042",\
                 "0.2272, 0.2748, 0.3956, 0.5778, 0.8378, 1.193, 1.674, 2.304, 3.089, 4.044",\
                 "0.2296, 0.2772, 0.3984, 0.5802, 0.8404, 1.196, 1.674, 2.301, 3.09, 4.042",\
                 "0.233, 0.28, 0.4012, 0.583, 0.8426, 1.198, 1.675, 2.301, 3.087, 4.04",\
                 "0.2354, 0.283, 0.405, 0.587, 0.8462, 1.201, 1.678, 2.305, 3.092, 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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.1852, 0.233, 0.3914, 0.6932, 1.178, 1.885, 2.829, 4.023, 5.479, 7.215",\
                 "0.1864, 0.2334, 0.391, 0.6926, 1.178, 1.885, 2.828, 4.023, 5.468, 7.218",\
                 "0.1862, 0.2334, 0.3914, 0.6928, 1.178, 1.886, 2.828, 4.023, 5.476, 7.218",\
                 "0.1852, 0.2336, 0.3918, 0.693, 1.179, 1.885, 2.826, 4.023, 5.475, 7.218",\
                 "0.1846, 0.2334, 0.3908, 0.6928, 1.179, 1.885, 2.826, 4.017, 5.479, 7.215",\
                 "0.1852, 0.2334, 0.3918, 0.693, 1.178, 1.883, 2.826, 4.023, 5.476, 7.218",\
                 "0.1862, 0.2348, 0.3922, 0.6936, 1.179, 1.886, 2.827, 4.017, 5.471, 7.216",\
                 "0.1904, 0.237, 0.3938, 0.6956, 1.18, 1.886, 2.829, 4.022, 5.47, 7.213",\
                 "0.191, 0.2398, 0.397, 0.6978, 1.181, 1.884, 2.826, 4.016, 5.473, 7.202",\
                 "0.1974, 0.2442, 0.4, 0.7002, 1.183, 1.887, 2.83, 4.021, 5.47, 7.216");
        }
      }

      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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("2.405, 2.446, 2.549, 2.696, 2.886, 3.131, 3.445, 3.837, 4.316, 4.887",\
                 "2.416, 2.455, 2.559, 2.706, 2.896, 3.141, 3.455, 3.848, 4.327, 4.898",\
                 "2.448, 2.488, 2.592, 2.739, 2.929, 3.174, 3.488, 3.881, 4.36, 4.931",\
                 "2.482, 2.522, 2.625, 2.772, 2.963, 3.208, 3.521, 3.914, 4.393, 4.964",\
                 "2.483, 2.523, 2.627, 2.773, 2.964, 3.209, 3.523, 3.915, 4.394, 4.965",\
                 "2.448, 2.488, 2.592, 2.739, 2.929, 3.174, 3.488, 3.88, 4.36, 4.931",\
                 "2.376, 2.416, 2.519, 2.666, 2.856, 3.102, 3.415, 3.808, 4.287, 4.858",\
                 "2.252, 2.292, 2.395, 2.542, 2.733, 2.978, 3.292, 3.684, 4.163, 4.734",\
                 "2.078, 2.118, 2.222, 2.369, 2.559, 2.804, 3.118, 3.511, 3.99, 4.561",\
                 "1.854, 1.894, 1.997, 2.144, 2.335, 2.58, 2.893, 3.286, 3.765, 4.336");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("2.147, 2.189, 2.308, 2.506, 2.794, 3.194, 3.721, 4.385, 5.197, 6.162",\
                 "2.152, 2.194, 2.313, 2.511, 2.799, 3.199, 3.726, 4.389, 5.2, 6.17",\
                 "2.176, 2.219, 2.338, 2.535, 2.823, 3.223, 3.75, 4.414, 5.225, 6.193",\
                 "2.251, 2.293, 2.412, 2.609, 2.897, 3.297, 3.824, 4.487, 5.3, 6.266",\
                 "2.401, 2.442, 2.562, 2.759, 3.047, 3.448, 3.974, 4.639, 5.45, 6.417",\
                 "2.63, 2.672, 2.791, 2.988, 3.277, 3.677, 4.204, 4.868, 5.679, 6.647",\
                 "2.93, 2.972, 3.091, 3.288, 3.576, 3.977, 4.503, 5.168, 5.979, 6.945",\
                 "3.3, 3.342, 3.461, 3.658, 3.946, 4.346, 4.873, 5.536, 6.347, 7.316",\
                 "3.736, 3.778, 3.897, 4.094, 4.382, 4.782, 5.309, 5.973, 6.784, 7.752",\
                 "4.233, 4.275, 4.395, 4.592, 4.88, 5.28, 5.807, 6.47, 7.28, 8.248");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.2244, 0.2714, 0.392, 0.5738, 0.836, 1.191, 1.674, 2.303, 3.092, 4.044",\
                 "0.2244, 0.2716, 0.3932, 0.5754, 0.835, 1.193, 1.673, 2.303, 3.09, 4.042",\
                 "0.2242, 0.2712, 0.3928, 0.5746, 0.8352, 1.191, 1.673, 2.302, 3.089, 4.041",\
                 "0.2248, 0.2714, 0.3928, 0.5748, 0.8364, 1.192, 1.674, 2.301, 3.092, 4.04",\
                 "0.2246, 0.272, 0.393, 0.5748, 0.8364, 1.193, 1.673, 2.302, 3.092, 4.04",\
                 "0.2256, 0.2726, 0.3932, 0.5754, 0.837, 1.193, 1.674, 2.304, 3.088, 4.042",\
                 "0.2272, 0.2748, 0.3956, 0.5778, 0.8378, 1.193, 1.674, 2.304, 3.089, 4.044",\
                 "0.2296, 0.2772, 0.3984, 0.5802, 0.8404, 1.196, 1.674, 2.301, 3.09, 4.042",\
                 "0.233, 0.28, 0.4012, 0.583, 0.8426, 1.198, 1.675, 2.301, 3.087, 4.04",\
                 "0.2354, 0.283, 0.405, 0.587, 0.8462, 1.201, 1.678, 2.305, 3.092, 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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.1596, 0.2092, 0.3718, 0.6774, 1.167, 1.879, 2.824, 4.016, 5.473, 7.203",\
                 "0.1598, 0.208, 0.3718, 0.6774, 1.169, 1.878, 2.821, 4.015, 5.478, 7.21",\
                 "0.1596, 0.209, 0.371, 0.6782, 1.168, 1.877, 2.821, 4.012, 5.48, 7.205",\
                 "0.1592, 0.209, 0.3716, 0.6768, 1.169, 1.88, 2.822, 4.013, 5.475, 7.203",\
                 "0.159, 0.2082, 0.3714, 0.6772, 1.167, 1.88, 2.822, 4.021, 5.48, 7.203",\
                 "0.1598, 0.209, 0.3716, 0.677, 1.169, 1.878, 2.821, 4.021, 5.468, 7.216",\
                 "0.1608, 0.2082, 0.3712, 0.6782, 1.168, 1.878, 2.822, 4.018, 5.47, 7.204",\
                 "0.16, 0.2088, 0.3712, 0.6768, 1.168, 1.88, 2.826, 4.018, 5.477, 7.207",\
                 "0.1594, 0.2082, 0.372, 0.6768, 1.168, 1.88, 2.824, 4.022, 5.468, 7.215",\
                 "0.16, 0.2084, 0.3714, 0.677, 1.168, 1.878, 2.82, 4.02, 5.474, 7.218");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("1.878, 1.924, 2.046, 2.22, 2.441, 2.712, 3.041, 3.441, 3.923, 4.494",\
                 "1.883, 1.929, 2.05, 2.225, 2.446, 2.717, 3.046, 3.446, 3.928, 4.499",\
                 "1.907, 1.953, 2.075, 2.249, 2.47, 2.741, 3.071, 3.471, 3.952, 4.524",\
                 "1.981, 2.027, 2.149, 2.323, 2.544, 2.815, 3.145, 3.545, 4.026, 4.597",\
                 "2.131, 2.177, 2.299, 2.473, 2.695, 2.966, 3.295, 3.695, 4.176, 4.748",\
                 "2.36, 2.406, 2.528, 2.701, 2.923, 3.194, 3.523, 3.923, 4.405, 4.976",\
                 "2.66, 2.706, 2.828, 3.002, 3.223, 3.494, 3.824, 4.223, 4.705, 5.276",\
                 "3.028, 3.074, 3.196, 3.369, 3.591, 3.862, 4.192, 4.591, 5.073, 5.644",\
                 "3.462, 3.508, 3.629, 3.804, 4.025, 4.296, 4.625, 5.025, 5.507, 6.078",\
                 "3.957, 4.003, 4.125, 4.299, 4.52, 4.791, 5.12, 5.52, 6.002, 6.574");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("2.028, 2.072, 2.194, 2.391, 2.677, 3.074, 3.599, 4.26, 5.069, 6.035",\
                 "2.038, 2.083, 2.204, 2.401, 2.687, 3.084, 3.608, 4.27, 5.08, 6.045",\
                 "2.072, 2.116, 2.238, 2.434, 2.721, 3.118, 3.642, 4.303, 5.113, 6.079",\
                 "2.104, 2.149, 2.27, 2.467, 2.753, 3.15, 3.674, 4.336, 5.145, 6.11",\
                 "2.105, 2.15, 2.271, 2.468, 2.754, 3.151, 3.675, 4.337, 5.147, 6.111",\
                 "2.071, 2.115, 2.237, 2.434, 2.72, 3.117, 3.642, 4.303, 5.113, 6.078",\
                 "1.997, 2.041, 2.163, 2.359, 2.646, 3.043, 3.567, 4.229, 5.038, 6.004",\
                 "1.872, 1.917, 2.038, 2.235, 2.521, 2.918, 3.442, 4.104, 4.914, 5.879",\
                 "1.699, 1.743, 1.865, 2.061, 2.348, 2.745, 3.269, 3.931, 4.74, 5.705",\
                 "1.474, 1.518, 1.64, 1.836, 2.123, 2.52, 3.044, 3.706, 4.515, 5.48");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.2202, 0.2682, 0.3886, 0.571, 0.8326, 1.19, 1.672, 2.301, 3.088, 4.046",\
                 "0.2212, 0.2676, 0.3886, 0.571, 0.8328, 1.19, 1.672, 2.302, 3.088, 4.044",\
                 "0.2208, 0.2684, 0.388, 0.5716, 0.8332, 1.19, 1.673, 2.303, 3.089, 4.044",\
                 "0.2204, 0.2672, 0.3882, 0.5722, 0.8334, 1.19, 1.671, 2.299, 3.089, 4.045",\
                 "0.2204, 0.2676, 0.3886, 0.5706, 0.833, 1.189, 1.671, 2.3, 3.089, 4.04",\
                 "0.2208, 0.268, 0.3886, 0.5716, 0.8328, 1.189, 1.672, 2.3, 3.087, 4.04",\
                 "0.2202, 0.2674, 0.3878, 0.5714, 0.8324, 1.19, 1.671, 2.3, 3.089, 4.044",\
                 "0.2202, 0.2678, 0.3882, 0.5724, 0.8334, 1.19, 1.673, 2.3, 3.089, 4.044",\
                 "0.2206, 0.267, 0.3888, 0.5716, 0.8322, 1.191, 1.671, 2.302, 3.088, 4.046",\
                 "0.2218, 0.2674, 0.3894, 0.5726, 0.8328, 1.189, 1.672, 2.301, 3.087, 4.044");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.1864, 0.2348, 0.3936, 0.6948, 1.179, 1.887, 2.829, 4.022, 5.48, 7.217",\
                 "0.188, 0.2352, 0.3928, 0.6944, 1.179, 1.884, 2.828, 4.022, 5.469, 7.218",\
                 "0.187, 0.2354, 0.3922, 0.6938, 1.179, 1.886, 2.829, 4.023, 5.469, 7.214",\
                 "0.187, 0.235, 0.393, 0.695, 1.179, 1.885, 2.826, 4.021, 5.474, 7.205",\
                 "0.1876, 0.2344, 0.393, 0.6948, 1.179, 1.885, 2.829, 4.023, 5.475, 7.205",\
                 "0.186, 0.2346, 0.3928, 0.6936, 1.179, 1.887, 2.829, 4.023, 5.469, 7.208",\
                 "0.185, 0.2334, 0.391, 0.6936, 1.178, 1.886, 2.829, 4.021, 5.48, 7.214",\
                 "0.1846, 0.233, 0.3916, 0.6932, 1.178, 1.885, 2.828, 4.016, 5.481, 7.216",\
                 "0.1844, 0.2328, 0.3914, 0.6936, 1.178, 1.884, 2.827, 4.015, 5.475, 7.207",\
                 "0.1848, 0.2334, 0.3924, 0.6938, 1.179, 1.884, 2.826, 4.015, 5.469, 7.204");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("2.064, 2.104, 2.208, 2.354, 2.545, 2.79, 3.103, 3.496, 3.975, 4.546",\
                 "2.075, 2.115, 2.219, 2.366, 2.556, 2.802, 3.115, 3.508, 3.987, 4.558",\
                 "2.116, 2.156, 2.26, 2.406, 2.597, 2.842, 3.155, 3.548, 4.027, 4.598",\
                 "2.209, 2.249, 2.353, 2.499, 2.69, 2.935, 3.249, 3.641, 4.12, 4.691",\
                 "2.375, 2.415, 2.519, 2.666, 2.856, 3.102, 3.416, 3.808, 4.287, 4.858",\
                 "2.627, 2.667, 2.77, 2.917, 3.108, 3.353, 3.666, 4.059, 4.538, 5.109",\
                 "2.954, 2.994, 3.098, 3.245, 3.435, 3.681, 3.994, 4.387, 4.866, 5.437",\
                 "3.346, 3.386, 3.49, 3.636, 3.827, 4.072, 4.385, 4.778, 5.257, 5.829",\
                 "3.798, 3.838, 3.942, 4.088, 4.279, 4.524, 4.838, 5.23, 5.709, 6.28",\
                 "4.312, 4.351, 4.455, 4.6, 4.791, 5.036, 5.35, 5.743, 6.221, 6.793");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("1.5, 1.542, 1.661, 1.858, 2.147, 2.547, 3.074, 3.738, 4.55, 5.516",\
                 "1.509, 1.551, 1.67, 1.868, 2.156, 2.556, 3.082, 3.747, 4.558, 5.524",\
                 "1.54, 1.583, 1.702, 1.899, 2.187, 2.587, 3.114, 3.778, 4.589, 5.557",\
                 "1.602, 1.644, 1.764, 1.961, 2.249, 2.649, 3.176, 3.84, 4.652, 5.618",\
                 "1.685, 1.727, 1.846, 2.044, 2.332, 2.732, 3.258, 3.923, 4.735, 5.7",\
                 "1.755, 1.797, 1.916, 2.113, 2.401, 2.801, 3.328, 3.992, 4.803, 5.77",\
                 "1.798, 1.84, 1.959, 2.156, 2.445, 2.845, 3.371, 4.036, 4.846, 5.812",\
                 "1.81, 1.852, 1.971, 2.168, 2.457, 2.857, 3.382, 4.046, 4.857, 5.826",\
                 "1.783, 1.825, 1.944, 2.142, 2.43, 2.83, 3.356, 4.019, 4.83, 5.797",\
                 "1.715, 1.757, 1.876, 2.074, 2.362, 2.762, 3.288, 3.952, 4.761, 5.728");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.1646, 0.2034, 0.3022, 0.4624, 0.7126, 1.083, 1.59, 2.246, 3.052, 4.015",\
                 "0.1648, 0.2032, 0.3016, 0.4632, 0.7124, 1.083, 1.589, 2.247, 3.051, 4.016",\
                 "0.1648, 0.2034, 0.3022, 0.4628, 0.7116, 1.083, 1.59, 2.247, 3.053, 4.015",\
                 "0.1648, 0.2034, 0.302, 0.463, 0.7116, 1.081, 1.589, 2.246, 3.05, 4.014",\
                 "0.1648, 0.2034, 0.3022, 0.463, 0.712, 1.081, 1.589, 2.246, 3.053, 4.015",\
                 "0.1646, 0.2034, 0.302, 0.4626, 0.7112, 1.082, 1.591, 2.247, 3.053, 4.014",\
                 "0.1644, 0.203, 0.3018, 0.4628, 0.7124, 1.083, 1.59, 2.247, 3.053, 4.016",\
                 "0.1648, 0.2032, 0.3028, 0.4626, 0.7122, 1.081, 1.59, 2.246, 3.052, 4.015",\
                 "0.1648, 0.2026, 0.3016, 0.4624, 0.7124, 1.082, 1.59, 2.246, 3.053, 4.017",\
                 "0.1644, 0.2026, 0.3014, 0.4624, 0.7124, 1.081, 1.588, 2.245, 3.047, 4.012");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.16, 0.2086, 0.3718, 0.6772, 1.168, 1.879, 2.825, 4.019, 5.468, 7.215",\
                 "0.16, 0.2086, 0.3718, 0.6776, 1.168, 1.878, 2.822, 4.021, 5.474, 7.213",\
                 "0.161, 0.2082, 0.3716, 0.6768, 1.167, 1.879, 2.821, 4.012, 5.48, 7.203",\
                 "0.1602, 0.2084, 0.3718, 0.6784, 1.167, 1.877, 2.826, 4.013, 5.475, 7.203",\
                 "0.16, 0.2084, 0.3718, 0.6786, 1.169, 1.88, 2.822, 4.021, 5.472, 7.204",\
                 "0.16, 0.2094, 0.3718, 0.6784, 1.168, 1.879, 2.821, 4.012, 5.468, 7.203",\
                 "0.1608, 0.209, 0.3724, 0.6772, 1.169, 1.88, 2.826, 4.014, 5.48, 7.203",\
                 "0.1598, 0.2086, 0.3724, 0.6778, 1.168, 1.878, 2.824, 4.013, 5.475, 7.207",\
                 "0.1604, 0.21, 0.3728, 0.6774, 1.168, 1.878, 2.824, 4.013, 5.471, 7.207",\
                 "0.161, 0.2094, 0.3728, 0.6774, 1.169, 1.879, 2.822, 4.013, 5.471, 7.205");
        }
      }

      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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("2.064, 2.104, 2.208, 2.354, 2.545, 2.79, 3.103, 3.496, 3.975, 4.546",\
                 "2.075, 2.115, 2.219, 2.366, 2.556, 2.802, 3.115, 3.508, 3.987, 4.558",\
                 "2.116, 2.156, 2.26, 2.406, 2.597, 2.842, 3.155, 3.548, 4.027, 4.598",\
                 "2.209, 2.249, 2.353, 2.499, 2.69, 2.935, 3.249, 3.641, 4.12, 4.691",\
                 "2.375, 2.415, 2.519, 2.666, 2.856, 3.102, 3.416, 3.808, 4.287, 4.858",\
                 "2.627, 2.667, 2.77, 2.917, 3.108, 3.353, 3.666, 4.059, 4.538, 5.109",\
                 "2.954, 2.994, 3.098, 3.245, 3.435, 3.681, 3.994, 4.387, 4.866, 5.437",\
                 "3.346, 3.386, 3.49, 3.636, 3.827, 4.072, 4.385, 4.778, 5.257, 5.829",\
                 "3.798, 3.838, 3.942, 4.088, 4.279, 4.524, 4.838, 5.23, 5.709, 6.28",\
                 "4.312, 4.351, 4.455, 4.6, 4.791, 5.036, 5.35, 5.743, 6.221, 6.793");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("2.028, 2.072, 2.194, 2.391, 2.677, 3.074, 3.599, 4.26, 5.069, 6.035",\
                 "2.038, 2.083, 2.204, 2.401, 2.687, 3.084, 3.608, 4.27, 5.08, 6.045",\
                 "2.072, 2.116, 2.238, 2.434, 2.721, 3.118, 3.642, 4.303, 5.113, 6.079",\
                 "2.104, 2.149, 2.27, 2.467, 2.753, 3.15, 3.674, 4.336, 5.145, 6.11",\
                 "2.105, 2.15, 2.271, 2.468, 2.754, 3.151, 3.675, 4.337, 5.147, 6.111",\
                 "2.071, 2.115, 2.237, 2.434, 2.72, 3.117, 3.642, 4.303, 5.113, 6.078",\
                 "1.997, 2.041, 2.163, 2.359, 2.646, 3.043, 3.567, 4.229, 5.038, 6.004",\
                 "1.872, 1.917, 2.038, 2.235, 2.521, 2.918, 3.442, 4.104, 4.914, 5.879",\
                 "1.699, 1.743, 1.865, 2.061, 2.348, 2.745, 3.269, 3.931, 4.74, 5.705",\
                 "1.474, 1.518, 1.64, 1.836, 2.123, 2.52, 3.044, 3.706, 4.515, 5.48");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.2202, 0.2682, 0.3886, 0.571, 0.8326, 1.19, 1.672, 2.301, 3.088, 4.046",\
                 "0.2212, 0.2676, 0.3886, 0.571, 0.8328, 1.19, 1.672, 2.302, 3.088, 4.044",\
                 "0.2208, 0.2684, 0.388, 0.5716, 0.8332, 1.19, 1.673, 2.303, 3.089, 4.044",\
                 "0.2204, 0.2672, 0.3882, 0.5722, 0.8334, 1.19, 1.671, 2.299, 3.089, 4.045",\
                 "0.2204, 0.2676, 0.3886, 0.5706, 0.833, 1.189, 1.671, 2.3, 3.089, 4.04",\
                 "0.2208, 0.268, 0.3886, 0.5716, 0.8328, 1.189, 1.672, 2.3, 3.087, 4.04",\
                 "0.2202, 0.2674, 0.3878, 0.5714, 0.8324, 1.19, 1.671, 2.3, 3.089, 4.044",\
                 "0.2202, 0.2678, 0.3882, 0.5724, 0.8334, 1.19, 1.673, 2.3, 3.089, 4.044",\
                 "0.2206, 0.267, 0.3888, 0.5716, 0.8322, 1.191, 1.671, 2.302, 3.088, 4.046",\
                 "0.2218, 0.2674, 0.3894, 0.5726, 0.8328, 1.189, 1.672, 2.301, 3.087, 4.044");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.1864, 0.2348, 0.3936, 0.6948, 1.179, 1.887, 2.829, 4.022, 5.48, 7.217",\
                 "0.188, 0.2352, 0.3928, 0.6944, 1.179, 1.884, 2.828, 4.022, 5.469, 7.218",\
                 "0.187, 0.2354, 0.3922, 0.6938, 1.179, 1.886, 2.829, 4.023, 5.469, 7.214",\
                 "0.187, 0.235, 0.393, 0.695, 1.179, 1.885, 2.826, 4.021, 5.474, 7.205",\
                 "0.1876, 0.2344, 0.393, 0.6948, 1.179, 1.885, 2.829, 4.023, 5.475, 7.205",\
                 "0.186, 0.2346, 0.3928, 0.6936, 1.179, 1.887, 2.829, 4.023, 5.469, 7.208",\
                 "0.185, 0.2334, 0.391, 0.6936, 1.178, 1.886, 2.829, 4.021, 5.48, 7.214",\
                 "0.1846, 0.233, 0.3916, 0.6932, 1.178, 1.885, 2.828, 4.016, 5.481, 7.216",\
                 "0.1844, 0.2328, 0.3914, 0.6936, 1.178, 1.884, 2.827, 4.015, 5.475, 7.207",\
                 "0.1848, 0.2334, 0.3924, 0.6938, 1.179, 1.884, 2.826, 4.015, 5.469, 7.204");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("2.327, 2.367, 2.471, 2.618, 2.809, 3.054, 3.368, 3.76, 4.239, 4.81",\
                 "2.339, 2.379, 2.482, 2.629, 2.819, 3.065, 3.378, 3.771, 4.25, 4.821",\
                 "2.373, 2.413, 2.517, 2.663, 2.854, 3.099, 3.412, 3.805, 4.284, 4.855",\
                 "2.403, 2.443, 2.547, 2.694, 2.884, 3.129, 3.443, 3.835, 4.314, 4.885",\
                 "2.399, 2.439, 2.544, 2.69, 2.88, 3.125, 3.439, 3.832, 4.311, 4.882",\
                 "2.353, 2.393, 2.497, 2.644, 2.834, 3.08, 3.393, 3.786, 4.264, 4.836",\
                 "2.26, 2.3, 2.404, 2.551, 2.741, 2.986, 3.3, 3.692, 4.171, 4.742",\
                 "2.115, 2.155, 2.259, 2.406, 2.597, 2.842, 3.155, 3.548, 4.027, 4.598",\
                 "1.914, 1.954, 2.058, 2.205, 2.395, 2.64, 2.954, 3.347, 3.825, 4.396",\
                 "1.652, 1.693, 1.796, 1.943, 2.133, 2.378, 2.692, 3.084, 3.563, 4.134");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("2.096, 2.138, 2.257, 2.454, 2.743, 3.143, 3.669, 4.334, 5.145, 6.111",\
                 "2.099, 2.141, 2.26, 2.457, 2.746, 3.146, 3.673, 4.337, 5.148, 6.114",\
                 "2.139, 2.181, 2.3, 2.497, 2.786, 3.186, 3.713, 4.376, 5.188, 6.154",\
                 "2.254, 2.296, 2.415, 2.613, 2.901, 3.301, 3.827, 4.492, 5.304, 6.271",\
                 "2.454, 2.496, 2.615, 2.812, 3.101, 3.501, 4.027, 4.691, 5.503, 6.467",\
                 "2.732, 2.775, 2.894, 3.091, 3.38, 3.78, 4.306, 4.971, 5.783, 6.749",\
                 "3.084, 3.126, 3.246, 3.443, 3.731, 4.131, 4.658, 5.321, 6.132, 7.101",\
                 "3.51, 3.552, 3.671, 3.868, 4.157, 4.557, 5.083, 5.747, 6.556, 7.527",\
                 "4.013, 4.056, 4.174, 4.372, 4.66, 5.06, 5.586, 6.249, 7.061, 8.027",\
                 "4.595, 4.637, 4.756, 4.953, 5.241, 5.641, 6.167, 6.831, 7.642, 8.608");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.1648, 0.2028, 0.3018, 0.463, 0.7122, 1.082, 1.591, 2.246, 3.05, 4.017",\
                 "0.1648, 0.2036, 0.3018, 0.463, 0.7114, 1.081, 1.59, 2.246, 3.053, 4.016",\
                 "0.1648, 0.203, 0.3024, 0.4628, 0.7124, 1.081, 1.59, 2.246, 3.052, 4.016",\
                 "0.1646, 0.2034, 0.3024, 0.4628, 0.7118, 1.08, 1.59, 2.246, 3.052, 4.017",\
                 "0.1644, 0.203, 0.3022, 0.463, 0.7122, 1.081, 1.59, 2.245, 3.049, 4.017",\
                 "0.1648, 0.2028, 0.3024, 0.4624, 0.7118, 1.08, 1.591, 2.246, 3.053, 4.016",\
                 "0.164, 0.2024, 0.3018, 0.463, 0.7122, 1.082, 1.59, 2.246, 3.053, 4.015",\
                 "0.1642, 0.203, 0.3016, 0.463, 0.7118, 1.08, 1.589, 2.245, 3.051, 4.016",\
                 "0.1646, 0.2024, 0.3018, 0.4628, 0.7114, 1.081, 1.591, 2.245, 3.048, 4.011",\
                 "0.1642, 0.203, 0.3018, 0.4628, 0.7118, 1.081, 1.59, 2.245, 3.049, 4.009");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.1594, 0.2086, 0.3716, 0.677, 1.168, 1.88, 2.825, 4.021, 5.475, 7.204",\
                 "0.1594, 0.2082, 0.3716, 0.6772, 1.168, 1.88, 2.822, 4.014, 5.48, 7.204",\
                 "0.1598, 0.2088, 0.371, 0.677, 1.169, 1.88, 2.821, 4.013, 5.474, 7.204",\
                 "0.1596, 0.208, 0.3718, 0.677, 1.167, 1.878, 2.821, 4.02, 5.47, 7.216",\
                 "0.1588, 0.2082, 0.3718, 0.6772, 1.169, 1.877, 2.821, 4.013, 5.47, 7.203",\
                 "0.1602, 0.2088, 0.3716, 0.6772, 1.167, 1.878, 2.822, 4.019, 5.47, 7.203",\
                 "0.16, 0.2086, 0.3714, 0.677, 1.167, 1.879, 2.821, 4.021, 5.472, 7.208",\
                 "0.161, 0.2084, 0.3714, 0.6778, 1.168, 1.878, 2.826, 4.013, 5.468, 7.209",\
                 "0.159, 0.208, 0.3718, 0.676, 1.167, 1.879, 2.825, 4.017, 5.471, 7.214",\
                 "0.159, 0.2082, 0.3716, 0.6776, 1.167, 1.879, 2.825, 4.018, 5.478, 7.212");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("1.242, 1.288, 1.41, 1.585, 1.807, 2.078, 2.408, 2.808, 3.289, 3.861",\
                 "1.25, 1.297, 1.419, 1.594, 1.815, 2.086, 2.416, 2.816, 3.298, 3.869",\
                 "1.266, 1.313, 1.435, 1.61, 1.831, 2.103, 2.432, 2.832, 3.314, 3.885",\
                 "1.294, 1.34, 1.463, 1.637, 1.859, 2.13, 2.46, 2.86, 3.341, 3.913",\
                 "1.33, 1.376, 1.499, 1.673, 1.895, 2.166, 2.496, 2.896, 3.377, 3.949",\
                 "1.353, 1.4, 1.522, 1.697, 1.919, 2.19, 2.52, 2.92, 3.401, 3.973",\
                 "1.351, 1.397, 1.52, 1.695, 1.917, 2.188, 2.518, 2.918, 3.4, 3.971",\
                 "1.311, 1.358, 1.481, 1.656, 1.879, 2.151, 2.48, 2.88, 3.362, 3.933",\
                 "1.229, 1.275, 1.399, 1.575, 1.798, 2.07, 2.4, 2.8, 3.282, 3.853",\
                 "1.098, 1.146, 1.269, 1.446, 1.669, 1.942, 2.272, 2.672, 3.154, 3.725");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("1.758, 1.803, 1.924, 2.121, 2.407, 2.804, 3.328, 3.99, 4.8, 5.765",\
                 "1.767, 1.811, 1.933, 2.129, 2.416, 2.813, 3.337, 3.998, 4.808, 5.772",\
                 "1.809, 1.854, 1.975, 2.172, 2.458, 2.855, 3.379, 4.041, 4.85, 5.816",\
                 "1.906, 1.95, 2.072, 2.269, 2.555, 2.952, 3.476, 4.138, 4.947, 5.912",\
                 "2.078, 2.122, 2.244, 2.44, 2.726, 3.123, 3.648, 4.309, 5.119, 6.085",\
                 "2.337, 2.381, 2.502, 2.699, 2.985, 3.383, 3.907, 4.568, 5.377, 6.344",\
                 "2.68, 2.725, 2.846, 3.043, 3.329, 3.726, 4.25, 4.911, 5.721, 6.686",\
                 "3.097, 3.142, 3.263, 3.46, 3.746, 4.143, 4.666, 5.327, 6.137, 7.102",\
                 "3.584, 3.629, 3.751, 3.948, 4.233, 4.63, 5.153, 5.815, 6.623, 7.588",\
                 "4.144, 4.189, 4.313, 4.509, 4.795, 5.19, 5.712, 6.373, 7.183, 8.148");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.2246, 0.2722, 0.392, 0.5752, 0.8352, 1.192, 1.673, 2.301, 3.089, 4.044",\
                 "0.2248, 0.2722, 0.3924, 0.5752, 0.8362, 1.192, 1.673, 2.301, 3.088, 4.042",\
                 "0.2244, 0.2716, 0.3926, 0.5754, 0.8346, 1.193, 1.673, 2.303, 3.089, 4.045",\
                 "0.2246, 0.2716, 0.3922, 0.5744, 0.8362, 1.192, 1.673, 2.302, 3.088, 4.042",\
                 "0.2248, 0.2726, 0.3926, 0.5746, 0.8364, 1.192, 1.674, 2.303, 3.092, 4.043",\
                 "0.2256, 0.2722, 0.3932, 0.5754, 0.8364, 1.193, 1.674, 2.301, 3.09, 4.042",\
                 "0.227, 0.2744, 0.3958, 0.5782, 0.838, 1.194, 1.674, 2.302, 3.088, 4.045",\
                 "0.23, 0.2768, 0.3986, 0.5804, 0.8404, 1.195, 1.675, 2.303, 3.089, 4.041",\
                 "0.2328, 0.2802, 0.4024, 0.584, 0.8426, 1.198, 1.678, 2.303, 3.088, 4.039",\
                 "0.2352, 0.2836, 0.4056, 0.5882, 0.8456, 1.201, 1.678, 2.306, 3.091, 4.043");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.188, 0.2352, 0.3922, 0.695, 1.179, 1.886, 2.828, 4.022, 5.47, 7.218",\
                 "0.187, 0.235, 0.3924, 0.695, 1.179, 1.886, 2.828, 4.022, 5.473, 7.208",\
                 "0.187, 0.235, 0.393, 0.695, 1.179, 1.885, 2.828, 4.023, 5.478, 7.218",\
                 "0.188, 0.2352, 0.3924, 0.695, 1.179, 1.885, 2.826, 4.023, 5.475, 7.204",\
                 "0.187, 0.235, 0.3932, 0.694, 1.179, 1.885, 2.829, 4.023, 5.478, 7.218",\
                 "0.1884, 0.2354, 0.393, 0.6944, 1.178, 1.886, 2.829, 4.023, 5.48, 7.218",\
                 "0.1868, 0.2358, 0.3936, 0.6954, 1.179, 1.886, 2.829, 4.022, 5.472, 7.213",\
                 "0.1898, 0.238, 0.3962, 0.6962, 1.179, 1.886, 2.828, 4.023, 5.478, 7.213",\
                 "0.1936, 0.2418, 0.3986, 0.6976, 1.18, 1.886, 2.826, 4.021, 5.478, 7.219",\
                 "0.1964, 0.2446, 0.4004, 0.701, 1.181, 1.886, 2.825, 4.021, 5.478, 7.216");
        }
      }

      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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("2.327, 2.367, 2.471, 2.618, 2.809, 3.054, 3.368, 3.76, 4.239, 4.81",\
                 "2.339, 2.379, 2.482, 2.629, 2.819, 3.065, 3.378, 3.771, 4.25, 4.821",\
                 "2.373, 2.413, 2.517, 2.663, 2.854, 3.099, 3.412, 3.805, 4.284, 4.855",\
                 "2.403, 2.443, 2.547, 2.694, 2.884, 3.129, 3.443, 3.835, 4.314, 4.885",\
                 "2.399, 2.439, 2.544, 2.69, 2.88, 3.125, 3.439, 3.832, 4.311, 4.882",\
                 "2.353, 2.393, 2.497, 2.644, 2.834, 3.08, 3.393, 3.786, 4.264, 4.836",\
                 "2.26, 2.3, 2.404, 2.551, 2.741, 2.986, 3.3, 3.692, 4.171, 4.742",\
                 "2.115, 2.155, 2.259, 2.406, 2.597, 2.842, 3.155, 3.548, 4.027, 4.598",\
                 "1.914, 1.954, 2.058, 2.205, 2.395, 2.64, 2.954, 3.347, 3.825, 4.396",\
                 "1.652, 1.693, 1.796, 1.943, 2.133, 2.378, 2.692, 3.084, 3.563, 4.134");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("2.096, 2.138, 2.257, 2.454, 2.743, 3.143, 3.669, 4.334, 5.145, 6.111",\
                 "2.099, 2.141, 2.26, 2.457, 2.746, 3.146, 3.673, 4.337, 5.148, 6.114",\
                 "2.139, 2.181, 2.3, 2.497, 2.786, 3.186, 3.713, 4.376, 5.188, 6.154",\
                 "2.254, 2.296, 2.415, 2.613, 2.901, 3.301, 3.827, 4.492, 5.304, 6.271",\
                 "2.454, 2.496, 2.615, 2.812, 3.101, 3.501, 4.027, 4.691, 5.503, 6.467",\
                 "2.732, 2.775, 2.894, 3.091, 3.38, 3.78, 4.306, 4.971, 5.783, 6.749",\
                 "3.084, 3.126, 3.246, 3.443, 3.731, 4.131, 4.658, 5.321, 6.132, 7.101",\
                 "3.51, 3.552, 3.671, 3.868, 4.157, 4.557, 5.083, 5.747, 6.556, 7.527",\
                 "4.013, 4.056, 4.174, 4.372, 4.66, 5.06, 5.586, 6.249, 7.061, 8.027",\
                 "4.595, 4.637, 4.756, 4.953, 5.241, 5.641, 6.167, 6.831, 7.642, 8.608");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.2246, 0.2722, 0.392, 0.5752, 0.8352, 1.192, 1.673, 2.301, 3.089, 4.044",\
                 "0.2248, 0.2722, 0.3924, 0.5752, 0.8362, 1.192, 1.673, 2.301, 3.088, 4.042",\
                 "0.2244, 0.2716, 0.3926, 0.5754, 0.8346, 1.193, 1.673, 2.303, 3.089, 4.045",\
                 "0.2246, 0.2716, 0.3922, 0.5744, 0.8362, 1.192, 1.673, 2.302, 3.088, 4.042",\
                 "0.2248, 0.2726, 0.3926, 0.5746, 0.8364, 1.192, 1.674, 2.303, 3.092, 4.043",\
                 "0.2256, 0.2722, 0.3932, 0.5754, 0.8364, 1.193, 1.674, 2.301, 3.09, 4.042",\
                 "0.227, 0.2744, 0.3958, 0.5782, 0.838, 1.194, 1.674, 2.302, 3.088, 4.045",\
                 "0.23, 0.2768, 0.3986, 0.5804, 0.8404, 1.195, 1.675, 2.303, 3.089, 4.041",\
                 "0.2328, 0.2802, 0.4024, 0.584, 0.8426, 1.198, 1.678, 2.303, 3.088, 4.039",\
                 "0.2352, 0.2836, 0.4056, 0.5882, 0.8456, 1.201, 1.678, 2.306, 3.091, 4.043");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.188, 0.2352, 0.3922, 0.695, 1.179, 1.886, 2.828, 4.022, 5.47, 7.218",\
                 "0.187, 0.235, 0.3924, 0.695, 1.179, 1.886, 2.828, 4.022, 5.473, 7.208",\
                 "0.187, 0.235, 0.393, 0.695, 1.179, 1.885, 2.828, 4.023, 5.478, 7.218",\
                 "0.188, 0.2352, 0.3924, 0.695, 1.179, 1.885, 2.826, 4.023, 5.475, 7.204",\
                 "0.187, 0.235, 0.3932, 0.694, 1.179, 1.885, 2.829, 4.023, 5.478, 7.218",\
                 "0.1884, 0.2354, 0.393, 0.6944, 1.178, 1.886, 2.829, 4.023, 5.48, 7.218",\
                 "0.1868, 0.2358, 0.3936, 0.6954, 1.179, 1.886, 2.829, 4.022, 5.472, 7.213",\
                 "0.1898, 0.238, 0.3962, 0.6962, 1.179, 1.886, 2.828, 4.023, 5.478, 7.213",\
                 "0.1936, 0.2418, 0.3986, 0.6976, 1.18, 1.886, 2.826, 4.021, 5.478, 7.219",\
                 "0.1964, 0.2446, 0.4004, 0.701, 1.181, 1.886, 2.825, 4.021, 5.478, 7.216");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("1.826, 1.872, 1.994, 2.168, 2.39, 2.661, 2.99, 3.39, 3.871, 4.443",\
                 "1.83, 1.876, 1.997, 2.172, 2.393, 2.664, 2.993, 3.393, 3.875, 4.446",\
                 "1.87, 1.916, 2.038, 2.212, 2.433, 2.704, 3.033, 3.433, 3.915, 4.486",\
                 "1.985, 2.031, 2.153, 2.327, 2.548, 2.819, 3.149, 3.548, 4.03, 4.601",\
                 "2.184, 2.231, 2.352, 2.526, 2.747, 3.018, 3.348, 3.748, 4.229, 4.801",\
                 "2.463, 2.509, 2.631, 2.805, 3.026, 3.297, 3.627, 4.027, 4.508, 5.08",\
                 "2.814, 2.861, 2.982, 3.156, 3.377, 3.648, 3.978, 4.378, 4.859, 5.431",\
                 "3.239, 3.285, 3.407, 3.581, 3.802, 4.073, 4.402, 4.802, 5.283, 5.855",\
                 "3.741, 3.787, 3.909, 4.083, 4.304, 4.575, 4.904, 5.305, 5.786, 6.357",\
                 "4.32, 4.366, 4.488, 4.662, 4.884, 5.155, 5.484, 5.885, 6.366, 6.936");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("1.947, 1.991, 2.113, 2.31, 2.596, 2.993, 3.518, 4.179, 4.989, 5.955",\
                 "1.958, 2.002, 2.124, 2.32, 2.607, 3.004, 3.528, 4.19, 5, 5.966",\
                 "1.993, 2.036, 2.157, 2.355, 2.641, 3.038, 3.563, 4.224, 5.034, 6",\
                 "2.023, 2.067, 2.188, 2.385, 2.671, 3.069, 3.593, 4.255, 5.065, 6.031",\
                 "2.019, 2.063, 2.185, 2.382, 2.668, 3.065, 3.59, 4.251, 5.061, 6.027",\
                 "1.973, 2.017, 2.138, 2.335, 2.621, 3.019, 3.543, 4.205, 5.015, 5.98",\
                 "1.88, 1.924, 2.045, 2.242, 2.528, 2.926, 3.451, 4.112, 4.922, 5.887",\
                 "1.735, 1.779, 1.901, 2.098, 2.384, 2.781, 3.305, 3.967, 4.777, 5.743",\
                 "1.534, 1.579, 1.699, 1.897, 2.183, 2.581, 3.104, 3.765, 4.575, 5.54",\
                 "1.273, 1.317, 1.438, 1.635, 1.922, 2.319, 2.843, 3.506, 4.314, 5.279");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.2204, 0.2674, 0.3882, 0.5714, 0.8322, 1.191, 1.672, 2.302, 3.087, 4.046",\
                 "0.2204, 0.2676, 0.3882, 0.5718, 0.8332, 1.19, 1.671, 2.301, 3.09, 4.041",\
                 "0.2204, 0.2674, 0.3884, 0.5708, 0.8322, 1.19, 1.671, 2.3, 3.088, 4.04",\
                 "0.2204, 0.2678, 0.3882, 0.571, 0.8328, 1.19, 1.671, 2.3, 3.089, 4.044",\
                 "0.2208, 0.2676, 0.388, 0.571, 0.8332, 1.191, 1.671, 2.299, 3.087, 4.044",\
                 "0.2208, 0.2686, 0.3884, 0.5706, 0.8326, 1.19, 1.671, 2.299, 3.091, 4.04",\
                 "0.221, 0.2682, 0.3884, 0.572, 0.832, 1.19, 1.671, 2.3, 3.089, 4.04",\
                 "0.2206, 0.2678, 0.3878, 0.5712, 0.832, 1.191, 1.672, 2.302, 3.09, 4.041",\
                 "0.2208, 0.2682, 0.3884, 0.5704, 0.8336, 1.19, 1.671, 2.302, 3.088, 4.044",\
                 "0.2204, 0.268, 0.3892, 0.5716, 0.8338, 1.19, 1.67, 2.3, 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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.1858, 0.2332, 0.391, 0.6924, 1.178, 1.887, 2.828, 4.023, 5.477, 7.214",\
                 "0.1852, 0.2332, 0.3912, 0.6926, 1.179, 1.883, 2.828, 4.022, 5.469, 7.218",\
                 "0.1852, 0.2334, 0.3914, 0.6934, 1.177, 1.885, 2.828, 4.023, 5.477, 7.214",\
                 "0.185, 0.2326, 0.3908, 0.6932, 1.179, 1.885, 2.826, 4.017, 5.476, 7.218",\
                 "0.185, 0.2332, 0.3908, 0.694, 1.179, 1.885, 2.826, 4.017, 5.468, 7.213",\
                 "0.186, 0.2322, 0.3912, 0.693, 1.178, 1.886, 2.828, 4.021, 5.47, 7.214",\
                 "0.1856, 0.2324, 0.391, 0.6926, 1.179, 1.885, 2.829, 4.023, 5.472, 7.203",\
                 "0.1842, 0.2324, 0.392, 0.6932, 1.177, 1.884, 2.827, 4.022, 5.481, 7.217",\
                 "0.1842, 0.232, 0.3914, 0.6942, 1.179, 1.884, 2.826, 4.015, 5.477, 7.214",\
                 "0.1844, 0.2326, 0.3916, 0.6932, 1.178, 1.886, 2.829, 4.021, 5.469, 7.203");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("2.136, 2.176, 2.279, 2.426, 2.616, 2.862, 3.175, 3.568, 4.047, 4.618",\
                 "2.144, 2.184, 2.288, 2.435, 2.625, 2.87, 3.184, 3.576, 4.056, 4.627",\
                 "2.186, 2.226, 2.33, 2.477, 2.667, 2.912, 3.226, 3.618, 4.097, 4.669",\
                 "2.283, 2.323, 2.426, 2.573, 2.764, 3.009, 3.323, 3.715, 4.194, 4.766",\
                 "2.455, 2.495, 2.598, 2.745, 2.936, 3.181, 3.494, 3.887, 4.366, 4.937",\
                 "2.713, 2.753, 2.857, 3.004, 3.194, 3.439, 3.753, 4.146, 4.625, 5.196",\
                 "3.056, 3.097, 3.2, 3.347, 3.537, 3.783, 4.096, 4.489, 4.967, 5.539",\
                 "3.473, 3.513, 3.616, 3.763, 3.953, 4.198, 4.512, 4.905, 5.384, 5.955",\
                 "3.958, 3.999, 4.102, 4.249, 4.439, 4.684, 4.998, 5.39, 5.869, 6.44",\
                 "4.517, 4.556, 4.66, 4.806, 4.997, 5.242, 5.555, 5.947, 6.428, 6.997");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("1.519, 1.561, 1.68, 1.877, 2.165, 2.566, 3.092, 3.756, 4.568, 5.534",\
                 "1.527, 1.569, 1.689, 1.886, 2.174, 2.574, 3.101, 3.765, 4.576, 5.544",\
                 "1.543, 1.585, 1.705, 1.902, 2.19, 2.59, 3.117, 3.781, 4.592, 5.559",\
                 "1.572, 1.613, 1.733, 1.93, 2.218, 2.618, 3.145, 3.808, 4.619, 5.589",\
                 "1.611, 1.653, 1.772, 1.969, 2.258, 2.658, 3.184, 3.849, 4.66, 5.626",\
                 "1.639, 1.681, 1.8, 1.997, 2.285, 2.686, 3.212, 3.877, 4.688, 5.653",\
                 "1.641, 1.683, 1.803, 2, 2.288, 2.688, 3.215, 3.879, 4.691, 5.655",\
                 "1.606, 1.648, 1.768, 1.965, 2.253, 2.653, 3.179, 3.843, 4.652, 5.621",\
                 "1.527, 1.569, 1.688, 1.885, 2.173, 2.574, 3.099, 3.762, 4.573, 5.54",\
                 "1.399, 1.441, 1.56, 1.757, 2.045, 2.446, 2.972, 3.636, 4.445, 5.411");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.1646, 0.203, 0.3022, 0.4628, 0.7116, 1.083, 1.59, 2.247, 3.053, 4.015",\
                 "0.165, 0.2032, 0.302, 0.463, 0.7114, 1.08, 1.59, 2.246, 3.053, 4.017",\
                 "0.1644, 0.2028, 0.3016, 0.4628, 0.7122, 1.081, 1.59, 2.246, 3.053, 4.016",\
                 "0.1648, 0.2034, 0.3024, 0.4622, 0.7114, 1.082, 1.59, 2.247, 3.053, 4.013",\
                 "0.1646, 0.2036, 0.302, 0.463, 0.7114, 1.082, 1.591, 2.247, 3.052, 4.013",\
                 "0.1648, 0.2032, 0.3016, 0.4632, 0.7118, 1.083, 1.591, 2.246, 3.053, 4.014",\
                 "0.1648, 0.2032, 0.3018, 0.4626, 0.7124, 1.081, 1.59, 2.246, 3.052, 4.014",\
                 "0.1646, 0.2032, 0.3014, 0.4626, 0.7124, 1.081, 1.589, 2.247, 3.053, 4.012",\
                 "0.1646, 0.2026, 0.3014, 0.4622, 0.7122, 1.08, 1.591, 2.247, 3.053, 4.017",\
                 "0.1648, 0.2032, 0.3014, 0.4634, 0.7118, 1.081, 1.589, 2.243, 3.05, 4.014");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.1598, 0.2086, 0.3718, 0.6772, 1.168, 1.879, 2.825, 4.021, 5.473, 7.213",\
                 "0.1602, 0.2082, 0.3724, 0.677, 1.168, 1.879, 2.823, 4.013, 5.472, 7.204",\
                 "0.1608, 0.2094, 0.3714, 0.6782, 1.169, 1.878, 2.821, 4.012, 5.476, 7.202",\
                 "0.1596, 0.2084, 0.372, 0.677, 1.167, 1.878, 2.821, 4.015, 5.468, 7.214",\
                 "0.1602, 0.2086, 0.372, 0.6772, 1.169, 1.88, 2.822, 4.021, 5.472, 7.204",\
                 "0.1594, 0.2084, 0.3716, 0.677, 1.168, 1.879, 2.825, 4.012, 5.476, 7.211",\
                 "0.1598, 0.2084, 0.3726, 0.6768, 1.167, 1.877, 2.825, 4.018, 5.469, 7.204",\
                 "0.1604, 0.2088, 0.372, 0.6776, 1.169, 1.877, 2.822, 4.021, 5.475, 7.209",\
                 "0.1606, 0.2098, 0.3722, 0.6778, 1.168, 1.878, 2.821, 4.013, 5.475, 7.213",\
                 "0.1602, 0.2092, 0.3728, 0.6772, 1.168, 1.879, 2.824, 4.012, 5.468, 7.208");
        }
      }

      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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("2.136, 2.176, 2.279, 2.426, 2.616, 2.862, 3.175, 3.568, 4.047, 4.618",\
                 "2.144, 2.184, 2.288, 2.435, 2.625, 2.87, 3.184, 3.576, 4.056, 4.627",\
                 "2.186, 2.226, 2.33, 2.477, 2.667, 2.912, 3.226, 3.618, 4.097, 4.669",\
                 "2.283, 2.323, 2.426, 2.573, 2.764, 3.009, 3.323, 3.715, 4.194, 4.766",\
                 "2.455, 2.495, 2.598, 2.745, 2.936, 3.181, 3.494, 3.887, 4.366, 4.937",\
                 "2.713, 2.753, 2.857, 3.004, 3.194, 3.439, 3.753, 4.146, 4.625, 5.196",\
                 "3.056, 3.097, 3.2, 3.347, 3.537, 3.783, 4.096, 4.489, 4.967, 5.539",\
                 "3.473, 3.513, 3.616, 3.763, 3.953, 4.198, 4.512, 4.905, 5.384, 5.955",\
                 "3.958, 3.999, 4.102, 4.249, 4.439, 4.684, 4.998, 5.39, 5.869, 6.44",\
                 "4.517, 4.556, 4.66, 4.806, 4.997, 5.242, 5.555, 5.947, 6.428, 6.997");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("1.947, 1.991, 2.113, 2.31, 2.596, 2.993, 3.518, 4.179, 4.989, 5.955",\
                 "1.958, 2.002, 2.124, 2.32, 2.607, 3.004, 3.528, 4.19, 5, 5.966",\
                 "1.993, 2.036, 2.157, 2.355, 2.641, 3.038, 3.563, 4.224, 5.034, 6",\
                 "2.023, 2.067, 2.188, 2.385, 2.671, 3.069, 3.593, 4.255, 5.065, 6.031",\
                 "2.019, 2.063, 2.185, 2.382, 2.668, 3.065, 3.59, 4.251, 5.061, 6.027",\
                 "1.973, 2.017, 2.138, 2.335, 2.621, 3.019, 3.543, 4.205, 5.015, 5.98",\
                 "1.88, 1.924, 2.045, 2.242, 2.528, 2.926, 3.451, 4.112, 4.922, 5.887",\
                 "1.735, 1.779, 1.901, 2.098, 2.384, 2.781, 3.305, 3.967, 4.777, 5.743",\
                 "1.534, 1.579, 1.699, 1.897, 2.183, 2.581, 3.104, 3.765, 4.575, 5.54",\
                 "1.273, 1.317, 1.438, 1.635, 1.922, 2.319, 2.843, 3.506, 4.314, 5.279");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.2204, 0.2674, 0.3882, 0.5714, 0.8322, 1.191, 1.672, 2.302, 3.087, 4.046",\
                 "0.2204, 0.2676, 0.3882, 0.5718, 0.8332, 1.19, 1.671, 2.301, 3.09, 4.041",\
                 "0.2204, 0.2674, 0.3884, 0.5708, 0.8322, 1.19, 1.671, 2.3, 3.088, 4.04",\
                 "0.2204, 0.2678, 0.3882, 0.571, 0.8328, 1.19, 1.671, 2.3, 3.089, 4.044",\
                 "0.2208, 0.2676, 0.388, 0.571, 0.8332, 1.191, 1.671, 2.299, 3.087, 4.044",\
                 "0.2208, 0.2686, 0.3884, 0.5706, 0.8326, 1.19, 1.671, 2.299, 3.091, 4.04",\
                 "0.221, 0.2682, 0.3884, 0.572, 0.832, 1.19, 1.671, 2.3, 3.089, 4.04",\
                 "0.2206, 0.2678, 0.3878, 0.5712, 0.832, 1.191, 1.672, 2.302, 3.09, 4.041",\
                 "0.2208, 0.2682, 0.3884, 0.5704, 0.8336, 1.19, 1.671, 2.302, 3.088, 4.044",\
                 "0.2204, 0.268, 0.3892, 0.5716, 0.8338, 1.19, 1.67, 2.3, 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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.1858, 0.2332, 0.391, 0.6924, 1.178, 1.887, 2.828, 4.023, 5.477, 7.214",\
                 "0.1852, 0.2332, 0.3912, 0.6926, 1.179, 1.883, 2.828, 4.022, 5.469, 7.218",\
                 "0.1852, 0.2334, 0.3914, 0.6934, 1.177, 1.885, 2.828, 4.023, 5.477, 7.214",\
                 "0.185, 0.2326, 0.3908, 0.6932, 1.179, 1.885, 2.826, 4.017, 5.476, 7.218",\
                 "0.185, 0.2332, 0.3908, 0.694, 1.179, 1.885, 2.826, 4.017, 5.468, 7.213",\
                 "0.186, 0.2322, 0.3912, 0.693, 1.178, 1.886, 2.828, 4.021, 5.47, 7.214",\
                 "0.1856, 0.2324, 0.391, 0.6926, 1.179, 1.885, 2.829, 4.023, 5.472, 7.203",\
                 "0.1842, 0.2324, 0.392, 0.6932, 1.177, 1.884, 2.827, 4.022, 5.481, 7.217",\
                 "0.1842, 0.232, 0.3914, 0.6942, 1.179, 1.884, 2.826, 4.015, 5.477, 7.214",\
                 "0.1844, 0.2326, 0.3916, 0.6932, 1.178, 1.886, 2.829, 4.021, 5.469, 7.203");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.9242, 0.9644, 1.069, 1.218, 1.409, 1.654, 1.968, 2.36, 2.839, 3.41",\
                 "0.9308, 0.9711, 1.076, 1.224, 1.416, 1.661, 1.975, 2.367, 2.846, 3.417",\
                 "0.9433, 0.9836, 1.088, 1.237, 1.428, 1.673, 1.987, 2.379, 2.858, 3.429",\
                 "0.9665, 1.007, 1.112, 1.26, 1.452, 1.697, 2.01, 2.403, 2.882, 3.453",\
                 "0.9984, 1.039, 1.144, 1.292, 1.484, 1.729, 2.042, 2.435, 2.914, 3.484",\
                 "1.031, 1.071, 1.175, 1.323, 1.514, 1.759, 2.072, 2.465, 2.943, 3.514",\
                 "1.046, 1.086, 1.19, 1.338, 1.529, 1.774, 2.087, 2.478, 2.957, 3.528",\
                 "1.034, 1.074, 1.179, 1.328, 1.52, 1.765, 2.078, 2.47, 2.948, 3.518",\
                 "0.9912, 1.032, 1.138, 1.287, 1.48, 1.726, 2.041, 2.434, 2.912, 3.482",\
                 "0.9143, 0.9555, 1.063, 1.213, 1.407, 1.655, 1.973, 2.369, 2.85, 3.42");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("1.013, 1.055, 1.176, 1.373, 1.661, 2.062, 2.588, 3.252, 4.062, 5.029",\
                 "1.025, 1.067, 1.187, 1.385, 1.673, 2.073, 2.6, 3.264, 4.074, 5.041",\
                 "1.077, 1.12, 1.24, 1.438, 1.726, 2.126, 2.652, 3.316, 4.126, 5.093",\
                 "1.188, 1.231, 1.351, 1.549, 1.837, 2.237, 2.764, 3.428, 4.238, 5.204",\
                 "1.362, 1.404, 1.524, 1.722, 2.01, 2.41, 2.936, 3.6, 4.41, 5.378",\
                 "1.583, 1.626, 1.746, 1.943, 2.232, 2.631, 3.158, 3.822, 4.631, 5.599",\
                 "1.845, 1.888, 2.008, 2.206, 2.494, 2.894, 3.421, 4.085, 4.894, 5.862",\
                 "2.148, 2.191, 2.312, 2.51, 2.798, 3.197, 3.723, 4.386, 5.197, 6.164",\
                 "2.492, 2.535, 2.657, 2.854, 3.143, 3.542, 4.067, 4.73, 5.54, 6.507",\
                 "2.876, 2.92, 3.042, 3.24, 3.528, 3.926, 4.451, 5.114, 5.924, 6.89");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.1635, 0.2029, 0.3052, 0.4654, 0.7126, 1.081, 1.589, 2.246, 3.051, 4.016",\
                 "0.1637, 0.2032, 0.304, 0.4654, 0.713, 1.082, 1.59, 2.245, 3.049, 4.015",\
                 "0.1636, 0.2024, 0.3042, 0.4656, 0.714, 1.082, 1.59, 2.246, 3.049, 4.015",\
                 "0.1636, 0.2026, 0.3046, 0.4656, 0.7132, 1.082, 1.589, 2.244, 3.049, 4.015",\
                 "0.1636, 0.2028, 0.3052, 0.4666, 0.7134, 1.083, 1.589, 2.244, 3.05, 4.016",\
                 "0.1644, 0.202, 0.3032, 0.4646, 0.712, 1.081, 1.588, 2.243, 3.05, 4.012",\
                 "0.1658, 0.2042, 0.3052, 0.4674, 0.7136, 1.08, 1.586, 2.241, 3.049, 4.012",\
                 "0.1694, 0.208, 0.3092, 0.4716, 0.7166, 1.082, 1.588, 2.242, 3.045, 4.009",\
                 "0.1744, 0.213, 0.3144, 0.4754, 0.722, 1.088, 1.594, 2.244, 3.047, 4.007",\
                 "0.1792, 0.2188, 0.3202, 0.4808, 0.7276, 1.097, 1.608, 2.259, 3.058, 4.013");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.1657, 0.2148, 0.3768, 0.6826, 1.173, 1.882, 2.826, 4.015, 5.473, 7.208",\
                 "0.167, 0.215, 0.3772, 0.6818, 1.172, 1.882, 2.827, 4.019, 5.477, 7.21",\
                 "0.1664, 0.215, 0.377, 0.6818, 1.171, 1.883, 2.826, 4.019, 5.476, 7.211",\
                 "0.1664, 0.2146, 0.377, 0.6816, 1.171, 1.882, 2.823, 4.014, 5.477, 7.212",\
                 "0.1658, 0.215, 0.3776, 0.6834, 1.172, 1.883, 2.824, 4.015, 5.476, 7.21",\
                 "0.1664, 0.2152, 0.3778, 0.6826, 1.172, 1.883, 2.828, 4.017, 5.474, 7.208",\
                 "0.1668, 0.2166, 0.3784, 0.6832, 1.174, 1.881, 2.827, 4.017, 5.474, 7.204",\
                 "0.1684, 0.2178, 0.3804, 0.6846, 1.172, 1.881, 2.829, 4.015, 5.477, 7.212",\
                 "0.1706, 0.2202, 0.3826, 0.6862, 1.174, 1.882, 2.827, 4.023, 5.481, 7.207",\
                 "0.174, 0.2234, 0.3854, 0.6892, 1.175, 1.881, 2.825, 4.016, 5.477, 7.216");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.9242, 0.9643, 1.069, 1.218, 1.409, 1.654, 1.968, 2.36, 2.839, 3.41",\
                 "0.9308, 0.9711, 1.076, 1.224, 1.416, 1.661, 1.975, 2.367, 2.846, 3.417",\
                 "0.9433, 0.9836, 1.088, 1.237, 1.428, 1.673, 1.987, 2.379, 2.858, 3.429",\
                 "0.9665, 1.007, 1.112, 1.26, 1.452, 1.697, 2.01, 2.403, 2.882, 3.453",\
                 "0.9983, 1.039, 1.144, 1.292, 1.484, 1.729, 2.042, 2.435, 2.914, 3.484",\
                 "1.031, 1.071, 1.175, 1.323, 1.514, 1.759, 2.072, 2.465, 2.944, 3.514",\
                 "1.046, 1.086, 1.19, 1.338, 1.529, 1.774, 2.087, 2.478, 2.957, 3.528",\
                 "1.034, 1.074, 1.179, 1.328, 1.52, 1.765, 2.078, 2.47, 2.948, 3.518",\
                 "0.9912, 1.032, 1.138, 1.287, 1.48, 1.726, 2.041, 2.434, 2.912, 3.483",\
                 "0.9143, 0.9555, 1.063, 1.213, 1.407, 1.655, 1.973, 2.369, 2.85, 3.42");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("1.012, 1.055, 1.175, 1.373, 1.661, 2.061, 2.588, 3.252, 4.062, 5.029",\
                 "1.025, 1.067, 1.187, 1.385, 1.673, 2.073, 2.6, 3.264, 4.074, 5.041",\
                 "1.077, 1.12, 1.24, 1.438, 1.726, 2.125, 2.652, 3.316, 4.126, 5.093",\
                 "1.188, 1.231, 1.351, 1.549, 1.837, 2.237, 2.763, 3.428, 4.238, 5.204",\
                 "1.361, 1.404, 1.524, 1.722, 2.01, 2.41, 2.936, 3.6, 4.411, 5.377",\
                 "1.583, 1.626, 1.746, 1.944, 2.232, 2.631, 3.158, 3.822, 4.632, 5.598",\
                 "1.845, 1.888, 2.008, 2.206, 2.494, 2.894, 3.421, 4.085, 4.894, 5.862",\
                 "2.148, 2.191, 2.311, 2.51, 2.798, 3.197, 3.723, 4.388, 5.197, 6.163",\
                 "2.492, 2.535, 2.657, 2.855, 3.142, 3.542, 4.068, 4.731, 5.541, 6.508",\
                 "2.876, 2.92, 3.042, 3.24, 3.528, 3.926, 4.452, 5.114, 5.924, 6.889");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.1635, 0.203, 0.3044, 0.4654, 0.7124, 1.081, 1.589, 2.246, 3.051, 4.016",\
                 "0.1638, 0.2032, 0.304, 0.4656, 0.713, 1.082, 1.59, 2.245, 3.049, 4.015",\
                 "0.1636, 0.2024, 0.3042, 0.4656, 0.7142, 1.082, 1.59, 2.246, 3.049, 4.015",\
                 "0.1636, 0.2026, 0.3046, 0.4656, 0.7132, 1.082, 1.589, 2.245, 3.051, 4.015",\
                 "0.1634, 0.2026, 0.305, 0.4666, 0.7134, 1.083, 1.589, 2.244, 3.05, 4.016",\
                 "0.1644, 0.202, 0.3032, 0.4646, 0.712, 1.082, 1.588, 2.243, 3.05, 4.012",\
                 "0.1656, 0.2042, 0.3052, 0.4674, 0.7136, 1.08, 1.586, 2.242, 3.051, 4.016",\
                 "0.1696, 0.208, 0.3092, 0.4718, 0.7166, 1.082, 1.588, 2.241, 3.045, 4.012",\
                 "0.1742, 0.213, 0.3144, 0.4756, 0.722, 1.088, 1.594, 2.244, 3.046, 4.006",\
                 "0.1792, 0.2188, 0.3202, 0.4808, 0.7276, 1.097, 1.608, 2.259, 3.057, 4.012");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.1661, 0.215, 0.3774, 0.6824, 1.171, 1.881, 2.825, 4.015, 5.476, 7.211",\
                 "0.166, 0.215, 0.377, 0.683, 1.172, 1.883, 2.826, 4.019, 5.476, 7.211",\
                 "0.1662, 0.215, 0.3772, 0.6818, 1.172, 1.882, 2.826, 4.019, 5.477, 7.211",\
                 "0.1666, 0.2144, 0.3776, 0.683, 1.171, 1.882, 2.828, 4.015, 5.477, 7.213",\
                 "0.1662, 0.2152, 0.3772, 0.6832, 1.172, 1.882, 2.824, 4.016, 5.477, 7.212",\
                 "0.1666, 0.215, 0.3778, 0.684, 1.171, 1.883, 2.824, 4.015, 5.477, 7.213",\
                 "0.1668, 0.2168, 0.3784, 0.683, 1.174, 1.881, 2.826, 4.017, 5.476, 7.206",\
                 "0.1682, 0.2176, 0.3802, 0.6844, 1.172, 1.881, 2.828, 4.02, 5.475, 7.214",\
                 "0.1704, 0.2202, 0.3826, 0.6858, 1.174, 1.883, 2.824, 4.02, 5.478, 7.215",\
                 "0.1748, 0.2232, 0.3854, 0.6888, 1.176, 1.881, 2.825, 4.016, 5.477, 7.217");
        }
      }

      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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.9242, 0.9644, 1.069, 1.218, 1.409, 1.654, 1.968, 2.36, 2.839, 3.41",\
                 "0.9308, 0.9711, 1.076, 1.224, 1.416, 1.661, 1.975, 2.367, 2.846, 3.417",\
                 "0.9433, 0.9836, 1.088, 1.237, 1.428, 1.673, 1.987, 2.379, 2.858, 3.429",\
                 "0.9665, 1.007, 1.112, 1.26, 1.452, 1.697, 2.01, 2.403, 2.882, 3.453",\
                 "0.9984, 1.039, 1.144, 1.292, 1.484, 1.729, 2.042, 2.435, 2.914, 3.484",\
                 "1.031, 1.071, 1.175, 1.323, 1.514, 1.759, 2.072, 2.465, 2.943, 3.514",\
                 "1.046, 1.086, 1.19, 1.338, 1.529, 1.774, 2.087, 2.478, 2.957, 3.528",\
                 "1.034, 1.074, 1.179, 1.328, 1.52, 1.765, 2.078, 2.47, 2.948, 3.518",\
                 "0.9912, 1.032, 1.138, 1.287, 1.48, 1.726, 2.041, 2.434, 2.912, 3.482",\
                 "0.9143, 0.9555, 1.063, 1.213, 1.407, 1.655, 1.973, 2.369, 2.85, 3.42");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("1.013, 1.055, 1.176, 1.373, 1.661, 2.062, 2.588, 3.252, 4.062, 5.029",\
                 "1.025, 1.067, 1.187, 1.385, 1.673, 2.073, 2.6, 3.264, 4.074, 5.041",\
                 "1.077, 1.12, 1.24, 1.438, 1.726, 2.126, 2.652, 3.316, 4.126, 5.093",\
                 "1.188, 1.231, 1.351, 1.549, 1.837, 2.237, 2.764, 3.428, 4.238, 5.204",\
                 "1.362, 1.404, 1.524, 1.722, 2.01, 2.41, 2.936, 3.6, 4.41, 5.378",\
                 "1.583, 1.626, 1.746, 1.943, 2.232, 2.631, 3.158, 3.822, 4.631, 5.599",\
                 "1.845, 1.888, 2.008, 2.206, 2.494, 2.894, 3.421, 4.085, 4.894, 5.862",\
                 "2.148, 2.191, 2.312, 2.51, 2.798, 3.197, 3.723, 4.386, 5.197, 6.164",\
                 "2.492, 2.535, 2.657, 2.854, 3.143, 3.542, 4.067, 4.73, 5.54, 6.507",\
                 "2.876, 2.92, 3.042, 3.24, 3.528, 3.926, 4.451, 5.114, 5.924, 6.89");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.1635, 0.203, 0.3044, 0.4654, 0.7124, 1.081, 1.589, 2.246, 3.051, 4.016",\
                 "0.1638, 0.2032, 0.304, 0.4656, 0.713, 1.082, 1.59, 2.245, 3.049, 4.015",\
                 "0.1636, 0.2024, 0.3042, 0.4656, 0.7142, 1.082, 1.59, 2.246, 3.049, 4.015",\
                 "0.1636, 0.2026, 0.3046, 0.4656, 0.7132, 1.082, 1.589, 2.245, 3.051, 4.015",\
                 "0.1634, 0.2026, 0.305, 0.4666, 0.7134, 1.083, 1.589, 2.244, 3.05, 4.016",\
                 "0.1644, 0.202, 0.3032, 0.4646, 0.712, 1.082, 1.588, 2.243, 3.05, 4.012",\
                 "0.1656, 0.2042, 0.3052, 0.4674, 0.7136, 1.08, 1.586, 2.242, 3.051, 4.016",\
                 "0.1696, 0.208, 0.3092, 0.4718, 0.7166, 1.082, 1.588, 2.241, 3.045, 4.012",\
                 "0.1742, 0.213, 0.3144, 0.4756, 0.722, 1.088, 1.594, 2.244, 3.046, 4.006",\
                 "0.1792, 0.2188, 0.3202, 0.4808, 0.7276, 1.097, 1.608, 2.259, 3.057, 4.012");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.1661, 0.215, 0.3774, 0.6824, 1.171, 1.881, 2.825, 4.015, 5.476, 7.211",\
                 "0.166, 0.215, 0.377, 0.683, 1.172, 1.883, 2.826, 4.019, 5.476, 7.211",\
                 "0.1662, 0.215, 0.3772, 0.6818, 1.172, 1.882, 2.826, 4.019, 5.477, 7.211",\
                 "0.1666, 0.2144, 0.3776, 0.683, 1.171, 1.882, 2.828, 4.015, 5.477, 7.213",\
                 "0.1662, 0.2152, 0.3772, 0.6832, 1.172, 1.882, 2.824, 4.016, 5.477, 7.212",\
                 "0.1666, 0.215, 0.3778, 0.684, 1.171, 1.883, 2.824, 4.015, 5.477, 7.213",\
                 "0.1668, 0.2168, 0.3784, 0.683, 1.174, 1.881, 2.826, 4.017, 5.476, 7.206",\
                 "0.1682, 0.2176, 0.3802, 0.6844, 1.172, 1.881, 2.828, 4.02, 5.475, 7.214",\
                 "0.1704, 0.2202, 0.3826, 0.6858, 1.174, 1.883, 2.824, 4.02, 5.478, 7.215",\
                 "0.1748, 0.2232, 0.3854, 0.6888, 1.176, 1.881, 2.825, 4.016, 5.477, 7.217");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.6613, 0.7074, 0.8294, 1.004, 1.225, 1.496, 1.825, 2.225, 2.707, 3.278",\
                 "0.6712, 0.7173, 0.8392, 1.013, 1.235, 1.506, 1.835, 2.235, 2.717, 3.288",\
                 "0.7082, 0.7543, 0.8761, 1.05, 1.272, 1.543, 1.872, 2.272, 2.754, 3.325",\
                 "0.8005, 0.8465, 0.9685, 1.142, 1.364, 1.635, 1.964, 2.364, 2.845, 3.417",\
                 "0.9653, 1.011, 1.132, 1.305, 1.525, 1.796, 2.126, 2.525, 3.006, 3.578",\
                 "1.186, 1.233, 1.355, 1.53, 1.751, 2.022, 2.351, 2.751, 3.232, 3.803",\
                 "1.448, 1.497, 1.623, 1.8, 2.025, 2.298, 2.629, 3.028, 3.508, 4.079",\
                 "1.755, 1.806, 1.937, 2.118, 2.346, 2.622, 2.953, 3.355, 3.835, 4.405",\
                 "2.103, 2.156, 2.294, 2.483, 2.715, 2.995, 3.329, 3.73, 4.211, 4.782",\
                 "2.489, 2.546, 2.691, 2.889, 3.129, 3.417, 3.756, 4.158, 4.64, 5.21");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.458, 0.4996, 0.6184, 0.8159, 1.105, 1.505, 2.032, 2.697, 3.509, 4.477",\
                 "0.4686, 0.51, 0.6292, 0.8263, 1.115, 1.516, 2.043, 2.708, 3.52, 4.487",\
                 "0.5037, 0.5448, 0.6637, 0.861, 1.15, 1.551, 2.078, 2.743, 3.554, 4.522",\
                 "0.5719, 0.6132, 0.7313, 0.9278, 1.216, 1.616, 2.143, 2.806, 3.619, 4.584",\
                 "0.6506, 0.6931, 0.8117, 1.008, 1.294, 1.693, 2.219, 2.882, 3.694, 4.661",\
                 "0.7129, 0.7567, 0.8771, 1.073, 1.36, 1.756, 2.28, 2.942, 3.752, 4.721",\
                 "0.7519, 0.7983, 0.9223, 1.12, 1.406, 1.801, 2.323, 2.984, 3.793, 4.759",\
                 "0.7621, 0.8111, 0.9404, 1.141, 1.429, 1.824, 2.344, 3.004, 3.81, 4.774",\
                 "0.7401, 0.7924, 0.9281, 1.133, 1.423, 1.821, 2.343, 3, 3.805, 4.769",\
                 "0.6842, 0.7394, 0.8822, 1.092, 1.386, 1.786, 2.312, 2.972, 3.777, 4.737");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.2197, 0.2666, 0.3866, 0.5707, 0.8322, 1.189, 1.672, 2.301, 3.091, 4.042",\
                 "0.2198, 0.2663, 0.3867, 0.57, 0.832, 1.189, 1.672, 2.3, 3.091, 4.041",\
                 "0.2192, 0.266, 0.3866, 0.5704, 0.8318, 1.189, 1.671, 2.301, 3.089, 4.044",\
                 "0.2192, 0.2666, 0.3868, 0.5708, 0.8312, 1.189, 1.671, 2.301, 3.087, 4.044",\
                 "0.2216, 0.2684, 0.3894, 0.5732, 0.8348, 1.191, 1.673, 2.301, 3.091, 4.044",\
                 "0.2432, 0.2904, 0.4094, 0.588, 0.845, 1.199, 1.678, 2.303, 3.092, 4.044",\
                 "0.268, 0.3154, 0.4348, 0.6134, 0.8666, 1.216, 1.688, 2.309, 3.094, 4.048",\
                 "0.299, 0.348, 0.4688, 0.6424, 0.894, 1.237, 1.704, 2.321, 3.101, 4.046",\
                 "0.3368, 0.3884, 0.513, 0.684, 0.9292, 1.267, 1.725, 2.334, 3.108, 4.055",\
                 "0.3774, 0.4314, 0.564, 0.7376, 0.9786, 1.311, 1.759, 2.355, 3.124, 4.06");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.1547, 0.2038, 0.3677, 0.6732, 1.167, 1.878, 2.826, 4.021, 5.477, 7.207",\
                 "0.155, 0.203, 0.367, 0.6745, 1.167, 1.879, 2.826, 4.021, 5.477, 7.207",\
                 "0.1548, 0.2029, 0.3672, 0.6746, 1.166, 1.879, 2.824, 4.016, 5.476, 7.216",\
                 "0.1546, 0.2031, 0.3678, 0.676, 1.166, 1.88, 2.826, 4.019, 5.473, 7.204",\
                 "0.1664, 0.2152, 0.3766, 0.6804, 1.168, 1.88, 2.825, 4.021, 5.476, 7.214",\
                 "0.1834, 0.231, 0.3892, 0.6906, 1.175, 1.882, 2.824, 4.02, 5.472, 7.211",\
                 "0.2086, 0.2536, 0.4082, 0.7048, 1.185, 1.887, 2.829, 4.023, 5.467, 7.209",\
                 "0.2338, 0.283, 0.4332, 0.7278, 1.201, 1.894, 2.831, 4.021, 5.482, 7.207",\
                 "0.2622, 0.3128, 0.4612, 0.7526, 1.226, 1.916, 2.845, 4.029, 5.477, 7.217",\
                 "0.2928, 0.347, 0.4954, 0.7816, 1.252, 1.944, 2.871, 4.044, 5.487, 7.212");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.06956, 0.2435, 0.5757, 1.093, 1.819, 2.775, 3.979, 5.448, 7.2");
          index_2("0.001, 0.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.6605, 0.7066, 0.8287, 1.003, 1.224, 1.495, 1.825, 2.225, 2.706, 3.278",\
                 "0.6703, 0.7166, 0.8384, 1.013, 1.234, 1.505, 1.835, 2.235, 2.716, 3.288",\
                 "0.7074, 0.7537, 0.8754, 1.05, 1.271, 1.542, 1.872, 2.272, 2.753, 3.325",\
                 "0.8001, 0.846, 0.9678, 1.142, 1.363, 1.634, 1.964, 2.364, 2.845, 3.417",\
                 "0.965, 1.011, 1.131, 1.305, 1.526, 1.796, 2.126, 2.525, 3.007, 3.578",\
                 "1.185, 1.232, 1.355, 1.53, 1.751, 2.022, 2.351, 2.751, 3.232, 3.803",\
                 "1.448, 1.497, 1.623, 1.801, 2.025, 2.299, 2.629, 3.028, 3.509, 4.079",\
                 "1.755, 1.806, 1.937, 2.119, 2.346, 2.622, 2.954, 3.355, 3.835, 4.405",\
                 "2.103, 2.156, 2.294, 2.482, 2.716, 2.996, 3.329, 3.73, 4.212, 4.782",\
                 "2.489, 2.546, 2.691, 2.889, 3.129, 3.417, 3.755, 4.159, 4.64, 5.21");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.458, 0.4995, 0.6183, 0.8159, 1.105, 1.505, 2.032, 2.697, 3.509, 4.477",\
                 "0.4686, 0.51, 0.6291, 0.8263, 1.115, 1.516, 2.043, 2.708, 3.52, 4.487",\
                 "0.5036, 0.5448, 0.6637, 0.861, 1.15, 1.551, 2.078, 2.743, 3.554, 4.521",\
                 "0.572, 0.6132, 0.7314, 0.9278, 1.216, 1.616, 2.143, 2.808, 3.619, 4.585",\
                 "0.6506, 0.6929, 0.812, 1.008, 1.294, 1.693, 2.219, 2.883, 3.692, 4.661",\
                 "0.7129, 0.7565, 0.8774, 1.073, 1.36, 1.756, 2.28, 2.943, 3.754, 4.721",\
                 "0.7519, 0.7983, 0.9224, 1.12, 1.406, 1.801, 2.323, 2.984, 3.792, 4.758",\
                 "0.7622, 0.8111, 0.9401, 1.141, 1.429, 1.824, 2.344, 3.004, 3.81, 4.774",\
                 "0.7402, 0.7925, 0.9276, 1.133, 1.423, 1.82, 2.343, 3, 3.806, 4.768",\
                 "0.6841, 0.7391, 0.8821, 1.093, 1.387, 1.786, 2.311, 2.972, 3.777, 4.738");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.2197, 0.2666, 0.3872, 0.5693, 0.8324, 1.19, 1.672, 2.302, 3.092, 4.042",\
                 "0.2197, 0.2661, 0.3876, 0.5694, 0.8314, 1.19, 1.673, 2.3, 3.091, 4.045",\
                 "0.2195, 0.2667, 0.3868, 0.5696, 0.8322, 1.19, 1.672, 2.301, 3.092, 4.044",\
                 "0.2194, 0.2666, 0.3872, 0.5708, 0.8326, 1.19, 1.672, 2.303, 3.091, 4.044",\
                 "0.2214, 0.2684, 0.3896, 0.5736, 0.8344, 1.192, 1.673, 2.303, 3.089, 4.046",\
                 "0.2438, 0.2898, 0.4094, 0.588, 0.8452, 1.199, 1.677, 2.302, 3.089, 4.047",\
                 "0.2682, 0.3158, 0.435, 0.613, 0.8668, 1.216, 1.688, 2.308, 3.091, 4.045",\
                 "0.3002, 0.3476, 0.4676, 0.643, 0.8932, 1.238, 1.706, 2.32, 3.101, 4.046",\
                 "0.3358, 0.3888, 0.5124, 0.6852, 0.9294, 1.267, 1.725, 2.334, 3.109, 4.055",\
                 "0.3762, 0.4314, 0.563, 0.7378, 0.978, 1.311, 1.759, 2.358, 3.123, 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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.1545, 0.2038, 0.3677, 0.6733, 1.167, 1.878, 2.826, 4.021, 5.477, 7.209",\
                 "0.155, 0.203, 0.367, 0.6746, 1.167, 1.879, 2.826, 4.021, 5.477, 7.208",\
                 "0.1547, 0.2029, 0.3672, 0.6746, 1.166, 1.879, 2.824, 4.016, 5.477, 7.215",\
                 "0.1544, 0.204, 0.3683, 0.6758, 1.166, 1.88, 2.826, 4.014, 5.477, 7.203",\
                 "0.1676, 0.2154, 0.377, 0.6792, 1.168, 1.879, 2.825, 4.016, 5.477, 7.21",\
                 "0.1838, 0.2318, 0.389, 0.6904, 1.176, 1.882, 2.821, 4.021, 5.473, 7.215",\
                 "0.2086, 0.2538, 0.4074, 0.7058, 1.184, 1.886, 2.829, 4.014, 5.475, 7.214",\
                 "0.2338, 0.283, 0.4332, 0.727, 1.2, 1.895, 2.831, 4.021, 5.482, 7.207",\
                 "0.263, 0.3142, 0.4614, 0.753, 1.225, 1.915, 2.844, 4.027, 5.476, 7.207",\
                 "0.2938, 0.3468, 0.4944, 0.7826, 1.251, 1.943, 2.873, 4.045, 5.485, 7.211");
        }
      }

      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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.6605, 0.7066, 0.8287, 1.003, 1.224, 1.495, 1.825, 2.225, 2.706, 3.278",\
                 "0.6703, 0.7166, 0.8384, 1.013, 1.234, 1.505, 1.835, 2.235, 2.716, 3.288",\
                 "0.7074, 0.7537, 0.8754, 1.05, 1.271, 1.542, 1.872, 2.272, 2.753, 3.325",\
                 "0.8001, 0.846, 0.9678, 1.142, 1.363, 1.634, 1.964, 2.364, 2.845, 3.417",\
                 "0.965, 1.011, 1.131, 1.305, 1.526, 1.796, 2.126, 2.525, 3.007, 3.578",\
                 "1.185, 1.232, 1.355, 1.53, 1.751, 2.022, 2.351, 2.751, 3.232, 3.803",\
                 "1.448, 1.497, 1.623, 1.801, 2.025, 2.299, 2.629, 3.028, 3.509, 4.079",\
                 "1.755, 1.806, 1.937, 2.119, 2.346, 2.622, 2.954, 3.355, 3.835, 4.405",\
                 "2.103, 2.156, 2.294, 2.482, 2.716, 2.996, 3.329, 3.73, 4.212, 4.782",\
                 "2.489, 2.546, 2.691, 2.889, 3.129, 3.417, 3.755, 4.159, 4.64, 5.21");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.458, 0.4996, 0.6184, 0.8159, 1.105, 1.505, 2.032, 2.697, 3.509, 4.477",\
                 "0.4686, 0.51, 0.6292, 0.8263, 1.115, 1.516, 2.043, 2.708, 3.52, 4.487",\
                 "0.5037, 0.5448, 0.6637, 0.861, 1.15, 1.551, 2.078, 2.743, 3.554, 4.522",\
                 "0.5719, 0.6132, 0.7313, 0.9278, 1.216, 1.616, 2.143, 2.806, 3.619, 4.584",\
                 "0.6506, 0.6931, 0.8117, 1.008, 1.294, 1.693, 2.219, 2.882, 3.694, 4.661",\
                 "0.7129, 0.7567, 0.8771, 1.073, 1.36, 1.756, 2.28, 2.942, 3.752, 4.721",\
                 "0.7519, 0.7983, 0.9223, 1.12, 1.406, 1.801, 2.323, 2.984, 3.793, 4.759",\
                 "0.7621, 0.8111, 0.9404, 1.141, 1.429, 1.824, 2.344, 3.004, 3.81, 4.774",\
                 "0.7401, 0.7924, 0.9281, 1.133, 1.423, 1.821, 2.343, 3, 3.805, 4.769",\
                 "0.6842, 0.7394, 0.8822, 1.092, 1.386, 1.786, 2.312, 2.972, 3.777, 4.737");
        }

        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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.2197, 0.2666, 0.3872, 0.5693, 0.8324, 1.19, 1.672, 2.302, 3.092, 4.042",\
                 "0.2197, 0.2661, 0.3876, 0.5694, 0.8314, 1.19, 1.673, 2.3, 3.091, 4.045",\
                 "0.2195, 0.2667, 0.3868, 0.5696, 0.8322, 1.19, 1.672, 2.301, 3.092, 4.044",\
                 "0.2194, 0.2666, 0.3872, 0.5708, 0.8326, 1.19, 1.672, 2.303, 3.091, 4.044",\
                 "0.2214, 0.2684, 0.3896, 0.5736, 0.8344, 1.192, 1.673, 2.303, 3.089, 4.046",\
                 "0.2438, 0.2898, 0.4094, 0.588, 0.8452, 1.199, 1.677, 2.302, 3.089, 4.047",\
                 "0.2682, 0.3158, 0.435, 0.613, 0.8668, 1.216, 1.688, 2.308, 3.091, 4.045",\
                 "0.3002, 0.3476, 0.4676, 0.643, 0.8932, 1.238, 1.706, 2.32, 3.101, 4.046",\
                 "0.3358, 0.3888, 0.5124, 0.6852, 0.9294, 1.267, 1.725, 2.334, 3.109, 4.055",\
                 "0.3762, 0.4314, 0.563, 0.7378, 0.978, 1.311, 1.759, 2.358, 3.123, 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.01173, 0.04941, 0.1214, 0.2335, 0.3907, 0.5977, 0.8584, 1.177, 1.556");
          values("0.1547, 0.2038, 0.3677, 0.6732, 1.167, 1.878, 2.826, 4.021, 5.477, 7.207",\
                 "0.155, 0.203, 0.367, 0.6745, 1.167, 1.879, 2.826, 4.021, 5.477, 7.207",\
                 "0.1548, 0.2029, 0.3672, 0.6746, 1.166, 1.879, 2.824, 4.016, 5.476, 7.216",\
                 "0.1546, 0.2031, 0.3678, 0.676, 1.166, 1.88, 2.826, 4.019, 5.473, 7.204",\
                 "0.1664, 0.2152, 0.3766, 0.6804, 1.168, 1.88, 2.825, 4.021, 5.476, 7.214",\
                 "0.1834, 0.231, 0.3892, 0.6906, 1.175, 1.882, 2.824, 4.02, 5.472, 7.211",\
                 "0.2086, 0.2536, 0.4082, 0.7048, 1.185, 1.887, 2.829, 4.023, 5.467, 7.209",\
                 "0.2338, 0.283, 0.4332, 0.7278, 1.201, 1.894, 2.831, 4.021, 5.482, 7.207",\
                 "0.2622, 0.3128, 0.4612, 0.7526, 1.226, 1.916, 2.845, 4.029, 5.477, 7.217",\
                 "0.2928, 0.347, 0.4954, 0.7816, 1.252, 1.944, 2.871, 4.044, 5.487, 7.212");
        }
      }
    }
  }