/*
 * Copyright 2022 GlobalFoundries PDK Authors
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *      http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

  cell(gf180mcu_fd_sc_mcu7t5v0__xnor3_4) {
    area : 70.246400 ;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    pin(ZN) {
      direction : output ;
      function : "(!(A1^A2^A3))" ;
      max_capacitance : 1.414 ;
      max_transition : 15.6 ;
      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.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.3652, 0.3543, 0.3373, 0.328, 0.3229, 0.32, 0.3182, 0.317, 0.3162, 0.3155",\
                 "0.365, 0.3541, 0.3369, 0.3277, 0.3228, 0.3198, 0.318, 0.3169, 0.3161, 0.3154",\
                 "0.3647, 0.3539, 0.3368, 0.3276, 0.3226, 0.3197, 0.3178, 0.3166, 0.3158, 0.3152",\
                 "0.3652, 0.3545, 0.3372, 0.3278, 0.3228, 0.32, 0.3182, 0.317, 0.3161, 0.3155",\
                 "0.367, 0.3561, 0.3391, 0.3295, 0.3248, 0.3218, 0.32, 0.3188, 0.318, 0.3173",\
                 "0.3705, 0.3597, 0.3424, 0.3331, 0.328, 0.3253, 0.3235, 0.3224, 0.3215, 0.3207",\
                 "0.376, 0.3651, 0.3481, 0.3386, 0.3338, 0.3309, 0.329, 0.3279, 0.327, 0.3262",\
                 "0.3839, 0.373, 0.3559, 0.3466, 0.3416, 0.3387, 0.3369, 0.3357, 0.3348, 0.3338",\
                 "0.3941, 0.3833, 0.3661, 0.3569, 0.3518, 0.3488, 0.347, 0.3459, 0.345, 0.3435",\
                 "0.4067, 0.3959, 0.3787, 0.3695, 0.3644, 0.3616, 0.3597, 0.3585, 0.3574, 0.355");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.3023, 0.2987, 0.2939, 0.2916, 0.2922, 0.2941, 0.2962, 0.3222, 0.5183, 1.236",\
                 "0.3019, 0.2983, 0.2933, 0.2909, 0.292, 0.2935, 0.2959, 0.3215, 0.521, 1.249",\
                 "0.3013, 0.2977, 0.2929, 0.2905, 0.2915, 0.2926, 0.2956, 0.3238, 0.5383, 1.295",\
                 "0.3018, 0.2983, 0.2934, 0.2909, 0.292, 0.2932, 0.2963, 0.3307, 0.576, 1.396",\
                 "0.3048, 0.3013, 0.2962, 0.2942, 0.2952, 0.2964, 0.3003, 0.3481, 0.6519, 1.577",\
                 "0.3106, 0.307, 0.302, 0.3001, 0.3009, 0.3021, 0.3079, 0.3811, 0.7898, 1.865",\
                 "0.3185, 0.3149, 0.31, 0.3078, 0.3088, 0.3104, 0.3208, 0.4505, 1.034, 2.283",\
                 "0.3292, 0.3255, 0.3209, 0.3192, 0.32, 0.3216, 0.3516, 0.6084, 1.453, 2.822",\
                 "0.3428, 0.3391, 0.3341, 0.3316, 0.3322, 0.3405, 0.444, 0.981, 2.091, 3.337",\
                 "0.359, 0.3553, 0.35, 0.3483, 0.3485, 0.3996, 0.7927, 1.693, 2.674, 3.439");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.3303, 0.319, 0.2998, 0.2888, 0.2826, 0.2791, 0.2769, 0.2754, 0.2744, 0.2737",\
                 "0.3298, 0.3184, 0.2992, 0.2881, 0.282, 0.2785, 0.2763, 0.2749, 0.2739, 0.2732",\
                 "0.3293, 0.3178, 0.2986, 0.2875, 0.2814, 0.2779, 0.2757, 0.2743, 0.2733, 0.2726",\
                 "0.3299, 0.3185, 0.2993, 0.2882, 0.282, 0.2785, 0.2764, 0.275, 0.274, 0.2732",\
                 "0.333, 0.3215, 0.3023, 0.2913, 0.2852, 0.2816, 0.2794, 0.278, 0.277, 0.2762",\
                 "0.3386, 0.3271, 0.308, 0.2969, 0.2908, 0.2872, 0.2851, 0.2836, 0.2826, 0.2818",\
                 "0.3467, 0.3353, 0.3162, 0.3051, 0.299, 0.2954, 0.2932, 0.2917, 0.2907, 0.2896",\
                 "0.3574, 0.346, 0.3268, 0.3158, 0.3096, 0.306, 0.3038, 0.3024, 0.3013, 0.2997",\
                 "0.3709, 0.3595, 0.3403, 0.3292, 0.3231, 0.3195, 0.3173, 0.3158, 0.3141, 0.3108",\
                 "0.3875, 0.376, 0.3568, 0.3456, 0.3395, 0.3359, 0.3337, 0.3313, 0.3266, 0.3189");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.2865, 0.2804, 0.2722, 0.2669, 0.2657, 0.266, 0.269, 0.2922, 0.4707, 1.152",\
                 "0.2863, 0.28, 0.272, 0.2671, 0.266, 0.266, 0.269, 0.2927, 0.4753, 1.166",\
                 "0.286, 0.28, 0.2721, 0.2668, 0.2655, 0.2657, 0.2699, 0.2942, 0.4905, 1.21",\
                 "0.2865, 0.2806, 0.2722, 0.2674, 0.2657, 0.2675, 0.2696, 0.2992, 0.5184, 1.294",\
                 "0.2885, 0.2824, 0.2739, 0.2687, 0.2679, 0.2693, 0.2724, 0.3087, 0.5634, 1.406",\
                 "0.291, 0.2851, 0.277, 0.2718, 0.2708, 0.2713, 0.2765, 0.3231, 0.6332, 1.571",\
                 "0.2961, 0.2901, 0.2818, 0.2773, 0.2769, 0.2767, 0.2824, 0.351, 0.7431, 1.796",\
                 "0.3038, 0.298, 0.2892, 0.2848, 0.2829, 0.2868, 0.295, 0.3979, 0.9095, 2.097",\
                 "0.314, 0.308, 0.2999, 0.295, 0.2936, 0.2929, 0.3113, 0.485, 1.168, 2.478",\
                 "0.3266, 0.3208, 0.3127, 0.3074, 0.3052, 0.3062, 0.3434, 0.6428, 1.545, 2.911");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.3518, 0.3409, 0.3236, 0.3144, 0.3094, 0.3064, 0.3046, 0.3035, 0.3026, 0.302",\
                 "0.3516, 0.3407, 0.3236, 0.3143, 0.3094, 0.3064, 0.3046, 0.3035, 0.3026, 0.302",\
                 "0.3513, 0.3404, 0.3231, 0.3139, 0.3088, 0.306, 0.3042, 0.303, 0.3022, 0.3016",\
                 "0.3517, 0.3409, 0.3237, 0.3145, 0.3095, 0.3065, 0.3047, 0.3035, 0.3027, 0.302",\
                 "0.354, 0.3431, 0.3258, 0.3167, 0.3116, 0.3087, 0.3069, 0.3057, 0.3049, 0.3042",\
                 "0.3584, 0.3476, 0.3305, 0.321, 0.316, 0.3131, 0.3113, 0.3102, 0.3094, 0.3086",\
                 "0.365, 0.3542, 0.337, 0.3277, 0.3227, 0.3198, 0.3181, 0.3169, 0.316, 0.315",\
                 "0.3737, 0.3629, 0.3457, 0.3364, 0.3314, 0.3286, 0.3268, 0.3256, 0.3245, 0.3227",\
                 "0.3848, 0.3738, 0.3567, 0.3474, 0.3426, 0.3396, 0.3378, 0.3364, 0.3345, 0.3302",\
                 "0.3981, 0.3872, 0.3701, 0.3606, 0.3558, 0.3528, 0.3508, 0.3477, 0.3412, 0.3327");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.2426, 0.239, 0.2342, 0.232, 0.2326, 0.2346, 0.2369, 0.2557, 0.4094, 1.027",\
                 "0.2427, 0.2394, 0.234, 0.2322, 0.2325, 0.2346, 0.2366, 0.2549, 0.4129, 1.038",\
                 "0.243, 0.2393, 0.2344, 0.2322, 0.2329, 0.2346, 0.2369, 0.2573, 0.4261, 1.081",\
                 "0.2437, 0.2401, 0.2354, 0.233, 0.2343, 0.2355, 0.2379, 0.262, 0.4558, 1.167",\
                 "0.2457, 0.242, 0.237, 0.2349, 0.2361, 0.2373, 0.2403, 0.2723, 0.5052, 1.301",\
                 "0.2489, 0.2455, 0.2402, 0.2384, 0.2391, 0.2403, 0.2444, 0.2895, 0.582, 1.495",\
                 "0.2538, 0.25, 0.2449, 0.2427, 0.2443, 0.2456, 0.2507, 0.3172, 0.7037, 1.751",\
                 "0.2606, 0.2569, 0.252, 0.2491, 0.2499, 0.2545, 0.2628, 0.3708, 0.8964, 2.098",\
                 "0.2692, 0.2656, 0.2606, 0.2585, 0.2585, 0.2591, 0.2816, 0.4724, 1.197, 2.526",\
                 "0.2802, 0.2765, 0.2713, 0.269, 0.2683, 0.2708, 0.3201, 0.673, 1.64, 2.996");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.2706, 0.2591, 0.2398, 0.2284, 0.2221, 0.2186, 0.2164, 0.2149, 0.2139, 0.2131",\
                 "0.2706, 0.2592, 0.2398, 0.2285, 0.2222, 0.2186, 0.2164, 0.2149, 0.2139, 0.2132",\
                 "0.2707, 0.2593, 0.2399, 0.2286, 0.2223, 0.2187, 0.2165, 0.215, 0.214, 0.2133",\
                 "0.2715, 0.26, 0.2406, 0.2294, 0.2231, 0.2195, 0.2173, 0.2159, 0.2149, 0.2141",\
                 "0.274, 0.2624, 0.2429, 0.2315, 0.2252, 0.2216, 0.2194, 0.218, 0.217, 0.2162",\
                 "0.2782, 0.2667, 0.2468, 0.2353, 0.229, 0.2253, 0.2231, 0.2216, 0.2206, 0.2198",\
                 "0.2843, 0.2727, 0.2528, 0.2412, 0.2347, 0.231, 0.2286, 0.2271, 0.2261, 0.2253",\
                 "0.2931, 0.2813, 0.2612, 0.2492, 0.2424, 0.2385, 0.2363, 0.2348, 0.2337, 0.2327",\
                 "0.3046, 0.2928, 0.2721, 0.2593, 0.2526, 0.2486, 0.2462, 0.2446, 0.2435, 0.2422",\
                 "0.3188, 0.3066, 0.2854, 0.2724, 0.2651, 0.2609, 0.2584, 0.2567, 0.2554, 0.2533");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.2703, 0.2646, 0.2562, 0.2515, 0.2506, 0.2511, 0.2537, 0.272, 0.428, 1.052",\
                 "0.2704, 0.2642, 0.256, 0.2515, 0.2512, 0.2514, 0.2534, 0.2718, 0.4345, 1.065",\
                 "0.27, 0.2638, 0.2557, 0.2511, 0.2508, 0.2511, 0.2543, 0.2737, 0.4479, 1.113",\
                 "0.2703, 0.2643, 0.2563, 0.2516, 0.251, 0.2523, 0.2544, 0.2794, 0.4789, 1.208",\
                 "0.2723, 0.2663, 0.2583, 0.2534, 0.253, 0.2544, 0.256, 0.2932, 0.5468, 1.384",\
                 "0.2769, 0.2711, 0.2629, 0.258, 0.2573, 0.2573, 0.2635, 0.3211, 0.6746, 1.681",\
                 "0.2859, 0.28, 0.2714, 0.2666, 0.265, 0.2656, 0.276, 0.3856, 0.9134, 2.119",\
                 "0.2976, 0.2913, 0.2823, 0.2771, 0.2753, 0.2754, 0.3013, 0.532, 1.335, 2.692",\
                 "0.3117, 0.305, 0.2954, 0.2888, 0.2868, 0.2927, 0.386, 0.8983, 1.993, 3.26",\
                 "0.3285, 0.3214, 0.3117, 0.3051, 0.3023, 0.3506, 0.7371, 1.634, 2.619, 3.393");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.357, 0.3462, 0.329, 0.3195, 0.3147, 0.3118, 0.31, 0.3088, 0.3079, 0.3073",\
                 "0.3571, 0.3463, 0.3291, 0.3199, 0.3148, 0.3119, 0.3101, 0.3089, 0.3081, 0.3075",\
                 "0.3572, 0.3464, 0.3292, 0.3197, 0.3149, 0.312, 0.3102, 0.3091, 0.3082, 0.3075",\
                 "0.3579, 0.3471, 0.3299, 0.3207, 0.3156, 0.3126, 0.3109, 0.3097, 0.3089, 0.3082",\
                 "0.3597, 0.3489, 0.3317, 0.3225, 0.3175, 0.3145, 0.3128, 0.3116, 0.3107, 0.3101",\
                 "0.363, 0.3521, 0.3349, 0.3255, 0.3205, 0.3177, 0.3159, 0.3147, 0.3139, 0.3132",\
                 "0.3678, 0.357, 0.3397, 0.3304, 0.3256, 0.3226, 0.3209, 0.3196, 0.3188, 0.318",\
                 "0.3744, 0.3636, 0.3463, 0.3371, 0.3322, 0.3294, 0.3276, 0.3263, 0.3255, 0.3245",\
                 "0.383, 0.3723, 0.3552, 0.3457, 0.3409, 0.3379, 0.3361, 0.3349, 0.334, 0.3327",\
                 "0.3937, 0.3829, 0.3657, 0.3564, 0.3515, 0.3485, 0.3467, 0.3455, 0.3444, 0.3423");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.299, 0.2954, 0.2902, 0.288, 0.2887, 0.2905, 0.2935, 0.3174, 0.5112, 1.222",\
                 "0.2984, 0.2948, 0.2899, 0.2874, 0.289, 0.2902, 0.2926, 0.3182, 0.5139, 1.233",\
                 "0.2982, 0.2946, 0.2894, 0.2869, 0.2884, 0.2896, 0.2926, 0.3201, 0.5317, 1.281",\
                 "0.2995, 0.2959, 0.2908, 0.2887, 0.2897, 0.2914, 0.2939, 0.3298, 0.5749, 1.397",\
                 "0.3025, 0.299, 0.2941, 0.2918, 0.2928, 0.2943, 0.2979, 0.3482, 0.6587, 1.599",\
                 "0.3076, 0.3044, 0.2991, 0.2967, 0.2981, 0.2997, 0.3061, 0.3854, 0.8125, 1.913",\
                 "0.3144, 0.3108, 0.3059, 0.3036, 0.3046, 0.3064, 0.3187, 0.4625, 1.082, 2.357",\
                 "0.3233, 0.3199, 0.3144, 0.3126, 0.3138, 0.3153, 0.3526, 0.6447, 1.542, 2.912",\
                 "0.3343, 0.3306, 0.3257, 0.3241, 0.3249, 0.334, 0.4656, 1.077, 2.21, 3.393",\
                 "0.3477, 0.3443, 0.3394, 0.3369, 0.3387, 0.4211, 0.9153, 1.83, 2.7, 3.345");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.3273, 0.3158, 0.2967, 0.2856, 0.2795, 0.2759, 0.2737, 0.2723, 0.2713, 0.2706",\
                 "0.3266, 0.3151, 0.296, 0.2849, 0.2787, 0.2752, 0.2731, 0.2716, 0.2706, 0.2699",\
                 "0.3264, 0.3149, 0.2958, 0.2846, 0.2785, 0.275, 0.2729, 0.2714, 0.2704, 0.2697",\
                 "0.3277, 0.3164, 0.2972, 0.286, 0.28, 0.2764, 0.2743, 0.2728, 0.2719, 0.2711",\
                 "0.3309, 0.3196, 0.3004, 0.2892, 0.2832, 0.2796, 0.2774, 0.276, 0.275, 0.2742",\
                 "0.3359, 0.3244, 0.3054, 0.2942, 0.2881, 0.2845, 0.2824, 0.281, 0.28, 0.2791",\
                 "0.3427, 0.3313, 0.3122, 0.3011, 0.295, 0.2915, 0.2892, 0.2878, 0.2867, 0.2857",\
                 "0.3518, 0.3403, 0.3211, 0.31, 0.3039, 0.3003, 0.2981, 0.2967, 0.2955, 0.2938",\
                 "0.3629, 0.3514, 0.3323, 0.3211, 0.3149, 0.3114, 0.3092, 0.3077, 0.3058, 0.3018",\
                 "0.3765, 0.365, 0.3458, 0.3346, 0.3285, 0.325, 0.3226, 0.3197, 0.3136, 0.3052");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.2768, 0.271, 0.2629, 0.2577, 0.2569, 0.2568, 0.2607, 0.2808, 0.4546, 1.122",\
                 "0.277, 0.2709, 0.2632, 0.2582, 0.2575, 0.258, 0.2604, 0.2816, 0.4585, 1.136",\
                 "0.277, 0.2711, 0.263, 0.2584, 0.2576, 0.2583, 0.2607, 0.2854, 0.4747, 1.182",\
                 "0.2777, 0.2719, 0.2637, 0.2592, 0.2586, 0.2595, 0.2626, 0.291, 0.5027, 1.257",\
                 "0.2796, 0.274, 0.2658, 0.2615, 0.2601, 0.261, 0.2647, 0.299, 0.5459, 1.369",\
                 "0.2827, 0.277, 0.2687, 0.2641, 0.2631, 0.2631, 0.2675, 0.3143, 0.613, 1.526",\
                 "0.2876, 0.2819, 0.2733, 0.2688, 0.2682, 0.2687, 0.2741, 0.3381, 0.712, 1.742",\
                 "0.2943, 0.2886, 0.2803, 0.2749, 0.2736, 0.2765, 0.2848, 0.3815, 0.8662, 2.029",\
                 "0.3029, 0.2971, 0.2887, 0.2835, 0.282, 0.2827, 0.2994, 0.4568, 1.104, 2.392",\
                 "0.3137, 0.3077, 0.2998, 0.2947, 0.293, 0.2928, 0.3246, 0.5945, 1.454, 2.819");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.3574, 0.3466, 0.3295, 0.3202, 0.3151, 0.3122, 0.3103, 0.3092, 0.3084, 0.3078",\
                 "0.3571, 0.3462, 0.3291, 0.3198, 0.3148, 0.3118, 0.3101, 0.3089, 0.3081, 0.3074",\
                 "0.357, 0.3461, 0.329, 0.3196, 0.3147, 0.3116, 0.3098, 0.3087, 0.3079, 0.3073",\
                 "0.3577, 0.3468, 0.3296, 0.3204, 0.3155, 0.3125, 0.3107, 0.3095, 0.3087, 0.308",\
                 "0.36, 0.3491, 0.3319, 0.3225, 0.3177, 0.3147, 0.3129, 0.3117, 0.3109, 0.3102",\
                 "0.3645, 0.3536, 0.3364, 0.3272, 0.322, 0.3193, 0.3175, 0.3163, 0.3155, 0.3147",\
                 "0.3715, 0.3607, 0.3435, 0.3341, 0.3291, 0.3262, 0.3244, 0.3233, 0.3224, 0.3213",\
                 "0.3806, 0.3697, 0.3525, 0.3432, 0.3382, 0.3352, 0.3335, 0.3323, 0.3312, 0.3294",\
                 "0.3918, 0.3809, 0.3636, 0.3545, 0.3495, 0.3465, 0.3447, 0.3433, 0.3412, 0.3366",\
                 "0.4055, 0.3946, 0.3773, 0.3679, 0.363, 0.3602, 0.3579, 0.3544, 0.3472, 0.3386");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.2449, 0.2412, 0.2362, 0.2338, 0.2346, 0.2364, 0.2388, 0.2578, 0.4125, 1.032",\
                 "0.2451, 0.2414, 0.2364, 0.2349, 0.2354, 0.2367, 0.2391, 0.2578, 0.4163, 1.044",\
                 "0.2452, 0.2415, 0.2367, 0.2343, 0.2358, 0.237, 0.2391, 0.26, 0.4287, 1.082",\
                 "0.2458, 0.2422, 0.2374, 0.2355, 0.2365, 0.2376, 0.24, 0.2638, 0.4551, 1.158",\
                 "0.2474, 0.2438, 0.2389, 0.2369, 0.2378, 0.2394, 0.2425, 0.2727, 0.4986, 1.281",\
                 "0.2506, 0.2472, 0.2421, 0.2401, 0.2404, 0.2423, 0.2453, 0.2876, 0.5685, 1.46",\
                 "0.2554, 0.2517, 0.2462, 0.2444, 0.2464, 0.2471, 0.2518, 0.3139, 0.6801, 1.701",\
                 "0.262, 0.2583, 0.2533, 0.2509, 0.2514, 0.2549, 0.2632, 0.3612, 0.8544, 2.027",\
                 "0.2708, 0.2673, 0.262, 0.2595, 0.2599, 0.2604, 0.2805, 0.451, 1.131, 2.438",\
                 "0.2816, 0.2779, 0.2727, 0.2698, 0.2703, 0.2706, 0.3118, 0.6216, 1.539, 2.904");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.2728, 0.2614, 0.2421, 0.2307, 0.2244, 0.2209, 0.2186, 0.2172, 0.2162, 0.2154",\
                 "0.2729, 0.2614, 0.2421, 0.2308, 0.2245, 0.2209, 0.2187, 0.2172, 0.2162, 0.2155",\
                 "0.273, 0.2615, 0.2422, 0.2309, 0.2246, 0.221, 0.2188, 0.2174, 0.2164, 0.2156",\
                 "0.2737, 0.2622, 0.2429, 0.2316, 0.2253, 0.2217, 0.2195, 0.218, 0.217, 0.2163",\
                 "0.2758, 0.2643, 0.2448, 0.2334, 0.2271, 0.2235, 0.2213, 0.2199, 0.2189, 0.2181",\
                 "0.2797, 0.2682, 0.2485, 0.237, 0.2306, 0.227, 0.2247, 0.2232, 0.2222, 0.2214",\
                 "0.2856, 0.2739, 0.254, 0.2424, 0.2359, 0.2321, 0.2298, 0.2283, 0.2273, 0.2264",\
                 "0.2942, 0.2824, 0.262, 0.2501, 0.2434, 0.2395, 0.2372, 0.2357, 0.2346, 0.2336",\
                 "0.3055, 0.2934, 0.2728, 0.2602, 0.2532, 0.2492, 0.2468, 0.2452, 0.2441, 0.2428",\
                 "0.3192, 0.307, 0.2858, 0.2727, 0.2656, 0.2613, 0.2588, 0.2571, 0.2558, 0.254");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.2764, 0.2702, 0.2621, 0.2572, 0.2555, 0.2561, 0.2591, 0.2788, 0.4413, 1.079",\
                 "0.2761, 0.2703, 0.2618, 0.2569, 0.2559, 0.2561, 0.2585, 0.2791, 0.4443, 1.09",\
                 "0.276, 0.2701, 0.2618, 0.2569, 0.2551, 0.257, 0.2597, 0.2805, 0.4614, 1.137",\
                 "0.2767, 0.2707, 0.2623, 0.2575, 0.2558, 0.2576, 0.2607, 0.2865, 0.4935, 1.239",\
                 "0.2788, 0.2726, 0.2644, 0.2594, 0.2584, 0.2594, 0.2626, 0.2993, 0.5635, 1.421",\
                 "0.2834, 0.2774, 0.2688, 0.2639, 0.2632, 0.2641, 0.2689, 0.3301, 0.6978, 1.724",\
                 "0.2922, 0.2865, 0.2777, 0.2721, 0.2707, 0.271, 0.2812, 0.3989, 0.9491, 2.173",\
                 "0.3046, 0.2979, 0.2889, 0.2832, 0.2817, 0.2812, 0.3107, 0.5594, 1.392, 2.753",\
                 "0.3188, 0.3122, 0.3022, 0.296, 0.2937, 0.299, 0.406, 0.9569, 2.067, 3.305",\
                 "0.336, 0.3289, 0.3191, 0.3115, 0.3089, 0.3705, 0.8052, 1.716, 2.651, 3.365");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.2801, 0.2687, 0.2494, 0.2386, 0.2324, 0.2289, 0.2268, 0.2254, 0.2244, 0.2237",\
                 "0.28, 0.2686, 0.2494, 0.2385, 0.2324, 0.2289, 0.2267, 0.2253, 0.2243, 0.2236",\
                 "0.2791, 0.2677, 0.2487, 0.2377, 0.2316, 0.2281, 0.2259, 0.2245, 0.2235, 0.2228",\
                 "0.2785, 0.267, 0.2479, 0.2371, 0.2309, 0.2274, 0.2253, 0.2238, 0.2228, 0.2221",\
                 "0.2775, 0.2662, 0.2478, 0.2373, 0.2316, 0.2283, 0.2262, 0.2249, 0.2239, 0.2232",\
                 "0.2786, 0.2675, 0.2495, 0.2393, 0.234, 0.2308, 0.2289, 0.2278, 0.2269, 0.2262",\
                 "0.2835, 0.2723, 0.2546, 0.2447, 0.2395, 0.2364, 0.2345, 0.2333, 0.2324, 0.2318",\
                 "0.2922, 0.281, 0.263, 0.2532, 0.2478, 0.2447, 0.2428, 0.2416, 0.2408, 0.24",\
                 "0.304, 0.2928, 0.2746, 0.2646, 0.2592, 0.2561, 0.2541, 0.2529, 0.252, 0.2511",\
                 "0.3191, 0.3078, 0.2892, 0.279, 0.2734, 0.2702, 0.2682, 0.2671, 0.266, 0.2647");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.2487, 0.245, 0.2403, 0.2382, 0.2387, 0.2405, 0.2422, 0.2582, 0.39, 0.9467",\
                 "0.2482, 0.2446, 0.2396, 0.2374, 0.2382, 0.2402, 0.2419, 0.2568, 0.3949, 0.9571",\
                 "0.2476, 0.2439, 0.239, 0.2369, 0.2377, 0.2393, 0.2414, 0.2585, 0.4021, 0.993",\
                 "0.2478, 0.2442, 0.2394, 0.237, 0.2381, 0.2396, 0.242, 0.2627, 0.4284, 1.075",\
                 "0.2507, 0.2471, 0.2423, 0.2399, 0.2409, 0.2429, 0.2454, 0.2719, 0.478, 1.22",\
                 "0.257, 0.2532, 0.2481, 0.2458, 0.2459, 0.2477, 0.2515, 0.2942, 0.5732, 1.461",\
                 "0.2664, 0.2626, 0.257, 0.2548, 0.2553, 0.2561, 0.2618, 0.3372, 0.752, 1.838",\
                 "0.2791, 0.2752, 0.269, 0.2658, 0.2667, 0.2691, 0.2825, 0.4339, 1.077, 2.364",\
                 "0.2956, 0.2916, 0.2848, 0.2817, 0.2806, 0.2845, 0.3335, 0.6773, 1.635, 2.996",\
                 "0.3162, 0.3118, 0.3051, 0.3002, 0.2992, 0.3137, 0.5175, 1.254, 2.381, 3.43");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.252, 0.2412, 0.2241, 0.2149, 0.2098, 0.2068, 0.205, 0.2038, 0.203, 0.2024",\
                 "0.2519, 0.2409, 0.2237, 0.2145, 0.2095, 0.2065, 0.2048, 0.2036, 0.2027, 0.2022",\
                 "0.2507, 0.2399, 0.2227, 0.2134, 0.2083, 0.2055, 0.2037, 0.2026, 0.2017, 0.2011",\
                 "0.2518, 0.2409, 0.2236, 0.214, 0.2091, 0.2063, 0.2046, 0.2034, 0.2027, 0.2021",\
                 "0.2634, 0.2517, 0.2326, 0.2214, 0.2154, 0.212, 0.2099, 0.2086, 0.2078, 0.2071",\
                 "0.2895, 0.2762, 0.2525, 0.2374, 0.2288, 0.2238, 0.221, 0.219, 0.2177, 0.2167",\
                 "0.3208, 0.3057, 0.2777, 0.2586, 0.2474, 0.2407, 0.2367, 0.234, 0.2323, 0.2308",\
                 "0.3575, 0.3409, 0.3087, 0.2857, 0.2717, 0.2632, 0.2577, 0.2542, 0.2517, 0.2497",\
                 "0.4007, 0.3831, 0.3465, 0.3196, 0.3025, 0.2914, 0.2841, 0.2796, 0.2763, 0.2729",\
                 "0.4519, 0.433, 0.3924, 0.3603, 0.3396, 0.3264, 0.3175, 0.3113, 0.3059, 0.2992");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.1507, 0.1471, 0.1432, 0.1424, 0.1442, 0.1455, 0.1493, 0.159, 0.2557, 0.7049",\
                 "0.151, 0.1477, 0.1436, 0.1429, 0.1443, 0.1458, 0.149, 0.1586, 0.2574, 0.7136",\
                 "0.1512, 0.1474, 0.1433, 0.1428, 0.1441, 0.1458, 0.1484, 0.1606, 0.2654, 0.7449",\
                 "0.1567, 0.1525, 0.1467, 0.1446, 0.1453, 0.147, 0.149, 0.1623, 0.2847, 0.8132",\
                 "0.1702, 0.1647, 0.1567, 0.1521, 0.1507, 0.1512, 0.1536, 0.1712, 0.32, 0.92",\
                 "0.1892, 0.1819, 0.1708, 0.1632, 0.1612, 0.1599, 0.1626, 0.1851, 0.3757, 1.08",\
                 "0.2148, 0.2054, 0.1914, 0.181, 0.1759, 0.1755, 0.1768, 0.2109, 0.4657, 1.31",\
                 "0.2471, 0.2353, 0.218, 0.2047, 0.1958, 0.1928, 0.1979, 0.2579, 0.6192, 1.641",\
                 "0.2868, 0.2722, 0.2524, 0.2356, 0.2242, 0.2165, 0.223, 0.3404, 0.8782, 2.09",\
                 "0.3331, 0.3159, 0.2917, 0.2722, 0.2574, 0.2486, 0.2663, 0.4951, 1.295, 2.647");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.252, 0.2412, 0.2241, 0.2149, 0.2098, 0.2068, 0.205, 0.2038, 0.203, 0.2024",\
                 "0.2518, 0.2409, 0.2239, 0.2145, 0.2095, 0.2066, 0.2048, 0.2035, 0.2027, 0.2021",\
                 "0.2507, 0.2399, 0.2226, 0.2133, 0.2083, 0.2055, 0.2037, 0.2025, 0.2017, 0.2011",\
                 "0.2518, 0.241, 0.2236, 0.214, 0.2091, 0.2063, 0.2046, 0.2035, 0.2027, 0.2021",\
                 "0.2634, 0.2518, 0.2326, 0.2214, 0.2154, 0.2119, 0.2099, 0.2086, 0.2078, 0.2071",\
                 "0.2896, 0.2761, 0.2525, 0.2373, 0.2289, 0.2238, 0.221, 0.219, 0.2177, 0.2167",\
                 "0.3208, 0.3057, 0.2777, 0.2586, 0.2475, 0.2407, 0.2367, 0.2339, 0.2322, 0.2308",\
                 "0.3575, 0.341, 0.3087, 0.2858, 0.2719, 0.2631, 0.2578, 0.2542, 0.2517, 0.2496",\
                 "0.4008, 0.3831, 0.3465, 0.3196, 0.3024, 0.2914, 0.2843, 0.2796, 0.2764, 0.2728",\
                 "0.4518, 0.433, 0.3924, 0.3602, 0.3399, 0.3264, 0.3175, 0.3113, 0.306, 0.2992");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.1507, 0.1473, 0.1432, 0.1425, 0.1441, 0.1455, 0.1478, 0.1578, 0.2551, 0.7046",\
                 "0.1511, 0.1477, 0.1436, 0.1429, 0.1443, 0.1458, 0.149, 0.1583, 0.2574, 0.7136",\
                 "0.1512, 0.1474, 0.1433, 0.1428, 0.1443, 0.1458, 0.1487, 0.1597, 0.2681, 0.7452",\
                 "0.1568, 0.1525, 0.1467, 0.1446, 0.1452, 0.1467, 0.149, 0.1623, 0.2847, 0.812",\
                 "0.1702, 0.1646, 0.1566, 0.1524, 0.1511, 0.1515, 0.1542, 0.1718, 0.3187, 0.9197",\
                 "0.1892, 0.1819, 0.1708, 0.1635, 0.1614, 0.1602, 0.1623, 0.1851, 0.3756, 1.078",\
                 "0.2148, 0.2054, 0.1914, 0.181, 0.1755, 0.1758, 0.1768, 0.2109, 0.4657, 1.31",\
                 "0.2471, 0.2353, 0.218, 0.2047, 0.1958, 0.1916, 0.1979, 0.2579, 0.6195, 1.641",\
                 "0.2868, 0.2722, 0.2523, 0.2356, 0.2242, 0.2165, 0.223, 0.3404, 0.8782, 2.09",\
                 "0.3331, 0.3159, 0.2917, 0.2722, 0.2574, 0.2486, 0.2648, 0.4951, 1.294, 2.646");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.2805, 0.269, 0.2496, 0.2388, 0.2325, 0.229, 0.2269, 0.2254, 0.2244, 0.2237",\
                 "0.2804, 0.2689, 0.2496, 0.2387, 0.2325, 0.2289, 0.2268, 0.2253, 0.2243, 0.2236",\
                 "0.2795, 0.268, 0.249, 0.2379, 0.2317, 0.2282, 0.226, 0.2245, 0.2235, 0.2228",\
                 "0.2787, 0.2673, 0.2481, 0.2373, 0.231, 0.2275, 0.2253, 0.2238, 0.2228, 0.2221",\
                 "0.2779, 0.2665, 0.2481, 0.2374, 0.2316, 0.2283, 0.2262, 0.2249, 0.2239, 0.2232",\
                 "0.2789, 0.2678, 0.2497, 0.2395, 0.234, 0.231, 0.229, 0.2278, 0.2269, 0.2262",\
                 "0.2838, 0.2727, 0.2548, 0.2449, 0.2396, 0.2365, 0.2345, 0.2333, 0.2325, 0.2318",\
                 "0.2923, 0.2812, 0.2632, 0.2532, 0.2479, 0.2448, 0.2428, 0.2417, 0.2408, 0.24",\
                 "0.3043, 0.293, 0.2748, 0.2646, 0.2592, 0.2561, 0.2541, 0.2529, 0.2519, 0.251",\
                 "0.3193, 0.3079, 0.2894, 0.279, 0.2735, 0.2702, 0.2683, 0.267, 0.266, 0.2646");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.2488, 0.2451, 0.2404, 0.238, 0.2389, 0.2406, 0.2429, 0.2573, 0.389, 0.9476",\
                 "0.2483, 0.2447, 0.2395, 0.2374, 0.2384, 0.2403, 0.242, 0.257, 0.3946, 0.9576",\
                 "0.2475, 0.244, 0.2392, 0.2369, 0.2377, 0.2394, 0.2417, 0.2577, 0.4041, 0.9927",\
                 "0.2479, 0.2445, 0.2393, 0.2374, 0.2384, 0.2397, 0.2417, 0.2621, 0.4274, 1.072",\
                 "0.2509, 0.2472, 0.2422, 0.2402, 0.2407, 0.2424, 0.2451, 0.2719, 0.4786, 1.221",\
                 "0.257, 0.2533, 0.2481, 0.2458, 0.2462, 0.2478, 0.2515, 0.2931, 0.5738, 1.462",\
                 "0.2664, 0.2624, 0.2564, 0.2546, 0.2545, 0.2558, 0.2622, 0.3368, 0.7493, 1.833",\
                 "0.2791, 0.275, 0.2686, 0.2654, 0.2666, 0.2694, 0.2828, 0.4335, 1.075, 2.367",\
                 "0.2958, 0.2915, 0.2845, 0.2813, 0.2803, 0.2845, 0.3342, 0.6766, 1.635, 2.996",\
                 "0.3164, 0.3118, 0.3047, 0.3004, 0.2992, 0.3137, 0.5166, 1.254, 2.381, 3.431");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("3.972, 4.07, 4.32, 4.669, 5.097, 5.619, 6.256, 7.034, 7.974, 9.09",\
                 "4.001, 4.1, 4.35, 4.698, 5.127, 5.648, 6.286, 7.064, 8.004, 9.121",\
                 "4.083, 4.181, 4.431, 4.781, 5.209, 5.73, 6.368, 7.146, 8.086, 9.203",\
                 "4.146, 4.245, 4.495, 4.843, 5.272, 5.793, 6.431, 7.209, 8.148, 9.266",\
                 "4.149, 4.246, 4.497, 4.845, 5.274, 5.796, 6.433, 7.211, 8.151, 9.267",\
                 "4.096, 4.194, 4.444, 4.793, 5.221, 5.742, 6.38, 7.158, 8.098, 9.213",\
                 "3.946, 4.044, 4.294, 4.644, 5.072, 5.593, 6.231, 7.009, 7.949, 9.065",\
                 "3.699, 3.797, 4.048, 4.395, 4.825, 5.346, 5.983, 6.763, 7.702, 8.819",\
                 "3.351, 3.449, 3.699, 4.047, 4.477, 4.998, 5.636, 6.414, 7.354, 8.47",\
                 "2.901, 2.999, 3.25, 3.598, 4.027, 4.548, 5.186, 5.964, 6.904, 8.02");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("3.952, 4.037, 4.276, 4.686, 5.317, 6.203, 7.368, 8.836, 10.63, 12.76",\
                 "3.969, 4.054, 4.293, 4.702, 5.334, 6.22, 7.385, 8.852, 10.65, 12.78",\
                 "4.044, 4.129, 4.369, 4.778, 5.409, 6.295, 7.46, 8.929, 10.72, 12.85",\
                 "4.216, 4.301, 4.54, 4.949, 5.581, 6.467, 7.632, 9.1, 10.89, 13.03",\
                 "4.526, 4.611, 4.851, 5.26, 5.892, 6.778, 7.943, 9.411, 11.2, 13.34",\
                 "4.967, 5.053, 5.292, 5.702, 6.333, 7.219, 8.384, 9.851, 11.64, 13.78",\
                 "5.529, 5.615, 5.854, 6.263, 6.896, 7.782, 8.946, 10.41, 12.21, 14.34",\
                 "6.218, 6.303, 6.542, 6.952, 7.585, 8.47, 9.634, 11.1, 12.89, 15.03",\
                 "7.029, 7.114, 7.354, 7.763, 8.394, 9.28, 10.45, 11.91, 13.71, 15.84",\
                 "7.962, 8.047, 8.285, 8.695, 9.327, 10.21, 11.38, 12.85, 14.64, 16.77");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.3654, 0.4574, 0.697, 1.062, 1.564, 2.274, 3.238, 4.492, 6.061, 7.953",\
                 "0.3658, 0.4576, 0.6974, 1.061, 1.565, 2.273, 3.234, 4.489, 6.063, 7.942",\
                 "0.3656, 0.4576, 0.698, 1.061, 1.565, 2.273, 3.235, 4.491, 6.063, 7.941",\
                 "0.3654, 0.4568, 0.6978, 1.063, 1.565, 2.273, 3.235, 4.491, 6.062, 7.95",\
                 "0.366, 0.4576, 0.6978, 1.061, 1.567, 2.272, 3.235, 4.494, 6.056, 7.952",\
                 "0.3662, 0.4574, 0.6976, 1.062, 1.565, 2.272, 3.235, 4.493, 6.062, 7.952",\
                 "0.3654, 0.4576, 0.6976, 1.061, 1.564, 2.274, 3.238, 4.495, 6.062, 7.952",\
                 "0.3658, 0.457, 0.6966, 1.062, 1.564, 2.272, 3.234, 4.486, 6.058, 7.948",\
                 "0.366, 0.458, 0.696, 1.062, 1.564, 2.274, 3.234, 4.494, 6.058, 7.94",\
                 "0.364, 0.458, 0.696, 1.064, 1.566, 2.274, 3.236, 4.49, 6.056, 7.938");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.2478, 0.348, 0.6786, 1.361, 2.467, 4.029, 6.089, 8.672, 11.83, 15.61",\
                 "0.247, 0.3482, 0.6788, 1.361, 2.467, 4.033, 6.09, 8.667, 11.83, 15.6",\
                 "0.2466, 0.3474, 0.6784, 1.361, 2.467, 4.03, 6.091, 8.671, 11.83, 15.6",\
                 "0.2468, 0.348, 0.6786, 1.361, 2.467, 4.026, 6.091, 8.671, 11.83, 15.6",\
                 "0.247, 0.3486, 0.6782, 1.361, 2.466, 4.033, 6.083, 8.672, 11.85, 15.6",\
                 "0.2478, 0.3478, 0.6802, 1.361, 2.467, 4.033, 6.091, 8.668, 11.83, 15.6",\
                 "0.2468, 0.3484, 0.679, 1.361, 2.467, 4.034, 6.09, 8.67, 11.83, 15.6",\
                 "0.246, 0.348, 0.68, 1.362, 2.468, 4.028, 6.084, 8.672, 11.83, 15.61",\
                 "0.248, 0.348, 0.678, 1.362, 2.468, 4.028, 6.078, 8.666, 11.85, 15.6",\
                 "0.248, 0.348, 0.678, 1.362, 2.466, 4.032, 6.082, 8.668, 11.84, 15.59");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("2.035, 2.138, 2.396, 2.75, 3.183, 3.708, 4.348, 5.127, 6.067, 7.184",\
                 "2.058, 2.161, 2.419, 2.773, 3.206, 3.731, 4.371, 5.15, 6.091, 7.208",\
                 "2.142, 2.245, 2.503, 2.857, 3.29, 3.815, 4.454, 5.234, 6.174, 7.291",\
                 "2.292, 2.395, 2.652, 3.007, 3.44, 3.964, 4.604, 5.383, 6.324, 7.441",\
                 "2.44, 2.542, 2.8, 3.154, 3.587, 4.112, 4.752, 5.531, 6.471, 7.588",\
                 "2.527, 2.63, 2.888, 3.243, 3.676, 4.2, 4.84, 5.62, 6.56, 7.677",\
                 "2.545, 2.648, 2.906, 3.261, 3.694, 4.219, 4.859, 5.638, 6.579, 7.696",\
                 "2.483, 2.586, 2.844, 3.2, 3.633, 4.158, 4.798, 5.578, 6.517, 7.633",\
                 "2.33, 2.434, 2.693, 3.048, 3.482, 4.007, 4.647, 5.427, 6.367, 7.484",\
                 "2.078, 2.182, 2.442, 2.798, 3.233, 3.759, 4.399, 5.179, 6.12, 7.236");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("2.871, 2.97, 3.247, 3.682, 4.319, 5.205, 6.369, 7.837, 9.627, 11.76",\
                 "2.901, 3, 3.277, 3.712, 4.35, 5.236, 6.4, 7.867, 9.658, 11.79",\
                 "2.999, 3.098, 3.375, 3.811, 4.448, 5.333, 6.498, 7.965, 9.756, 11.89",\
                 "3.225, 3.324, 3.601, 4.036, 4.673, 5.559, 6.724, 8.191, 9.982, 12.12",\
                 "3.621, 3.72, 3.996, 4.432, 5.069, 5.955, 7.119, 8.586, 10.38, 12.51",\
                 "4.198, 4.298, 4.574, 5.009, 5.646, 6.532, 7.697, 9.164, 10.95, 13.09",\
                 "4.927, 5.027, 5.304, 5.739, 6.376, 7.262, 8.427, 9.893, 11.68, 13.82",\
                 "5.767, 5.868, 6.146, 6.583, 7.219, 8.104, 9.268, 10.74, 12.53, 14.66",\
                 "6.731, 6.832, 7.113, 7.549, 8.185, 9.07, 10.23, 11.7, 13.49, 15.63",\
                 "7.828, 7.93, 8.212, 8.651, 9.287, 10.17, 11.34, 12.8, 14.59, 16.73");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.3902, 0.4838, 0.7222, 1.082, 1.584, 2.286, 3.249, 4.499, 6.067, 7.95",\
                 "0.3898, 0.484, 0.7214, 1.082, 1.583, 2.287, 3.249, 4.502, 6.067, 7.95",\
                 "0.3898, 0.484, 0.7212, 1.082, 1.581, 2.287, 3.244, 4.502, 6.067, 7.947",\
                 "0.3892, 0.484, 0.7216, 1.083, 1.582, 2.288, 3.246, 4.495, 6.059, 7.952",\
                 "0.3908, 0.484, 0.722, 1.083, 1.582, 2.288, 3.249, 4.498, 6.064, 7.945",\
                 "0.392, 0.4856, 0.7224, 1.084, 1.584, 2.286, 3.249, 4.5, 6.063, 7.957",\
                 "0.3932, 0.4866, 0.7258, 1.085, 1.585, 2.287, 3.244, 4.502, 6.068, 7.956",\
                 "0.3958, 0.4894, 0.7272, 1.088, 1.585, 2.288, 3.244, 4.494, 6.058, 7.946",\
                 "0.3996, 0.4932, 0.7312, 1.09, 1.586, 2.292, 3.246, 4.496, 6.06, 7.942",\
                 "0.406, 0.498, 0.736, 1.096, 1.592, 2.294, 3.25, 4.504, 6.062, 7.948");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.306, 0.4214, 0.772, 1.421, 2.497, 4.049, 6.093, 8.693, 11.86, 15.61",\
                 "0.3058, 0.421, 0.771, 1.421, 2.497, 4.045, 6.096, 8.695, 11.84, 15.61",\
                 "0.3056, 0.4206, 0.771, 1.421, 2.498, 4.05, 6.099, 8.696, 11.84, 15.61",\
                 "0.3044, 0.4208, 0.7718, 1.42, 2.495, 4.046, 6.099, 8.694, 11.86, 15.61",\
                 "0.3062, 0.42, 0.7714, 1.419, 2.493, 4.046, 6.098, 8.681, 11.86, 15.61",\
                 "0.3052, 0.4212, 0.7732, 1.419, 2.497, 4.049, 6.097, 8.695, 11.84, 15.61",\
                 "0.3074, 0.4232, 0.773, 1.423, 2.493, 4.049, 6.1, 8.692, 11.86, 15.61",\
                 "0.312, 0.428, 0.78, 1.424, 2.494, 4.046, 6.096, 8.686, 11.86, 15.61",\
                 "0.316, 0.432, 0.784, 1.428, 2.496, 4.048, 6.104, 8.69, 11.86, 15.61",\
                 "0.324, 0.438, 0.788, 1.43, 2.498, 4.046, 6.098, 8.682, 11.85, 15.6");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("3.972, 4.07, 4.32, 4.669, 5.097, 5.619, 6.256, 7.034, 7.974, 9.09",\
                 "4.001, 4.1, 4.35, 4.698, 5.127, 5.648, 6.286, 7.064, 8.004, 9.121",\
                 "4.083, 4.181, 4.431, 4.781, 5.209, 5.73, 6.368, 7.146, 8.086, 9.203",\
                 "4.146, 4.245, 4.495, 4.843, 5.272, 5.793, 6.431, 7.209, 8.148, 9.266",\
                 "4.149, 4.246, 4.497, 4.845, 5.274, 5.796, 6.433, 7.211, 8.151, 9.267",\
                 "4.096, 4.194, 4.444, 4.793, 5.221, 5.742, 6.38, 7.158, 8.098, 9.213",\
                 "3.946, 4.044, 4.294, 4.644, 5.072, 5.593, 6.231, 7.009, 7.949, 9.065",\
                 "3.699, 3.797, 4.048, 4.395, 4.825, 5.346, 5.983, 6.763, 7.702, 8.819",\
                 "3.351, 3.449, 3.699, 4.047, 4.477, 4.998, 5.636, 6.414, 7.354, 8.47",\
                 "2.901, 2.999, 3.25, 3.598, 4.027, 4.548, 5.186, 5.964, 6.904, 8.02");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("3.952, 4.037, 4.276, 4.686, 5.317, 6.203, 7.368, 8.836, 10.63, 12.76",\
                 "3.969, 4.054, 4.293, 4.702, 5.334, 6.22, 7.385, 8.852, 10.65, 12.78",\
                 "4.044, 4.129, 4.369, 4.778, 5.409, 6.295, 7.46, 8.929, 10.72, 12.85",\
                 "4.216, 4.301, 4.54, 4.949, 5.581, 6.467, 7.632, 9.1, 10.89, 13.03",\
                 "4.526, 4.611, 4.851, 5.26, 5.892, 6.778, 7.943, 9.411, 11.2, 13.34",\
                 "4.967, 5.053, 5.292, 5.702, 6.333, 7.219, 8.384, 9.851, 11.64, 13.78",\
                 "5.529, 5.615, 5.854, 6.263, 6.896, 7.782, 8.946, 10.41, 12.21, 14.34",\
                 "6.218, 6.303, 6.542, 6.952, 7.585, 8.47, 9.634, 11.1, 12.89, 15.03",\
                 "7.029, 7.114, 7.354, 7.763, 8.394, 9.28, 10.45, 11.91, 13.71, 15.84",\
                 "7.962, 8.047, 8.285, 8.695, 9.327, 10.21, 11.38, 12.85, 14.64, 16.77");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.3902, 0.4838, 0.7222, 1.082, 1.584, 2.286, 3.249, 4.499, 6.067, 7.95",\
                 "0.3898, 0.484, 0.7214, 1.082, 1.583, 2.287, 3.249, 4.502, 6.067, 7.95",\
                 "0.3898, 0.484, 0.7212, 1.082, 1.581, 2.287, 3.244, 4.502, 6.067, 7.947",\
                 "0.3892, 0.484, 0.7216, 1.083, 1.582, 2.288, 3.246, 4.495, 6.059, 7.952",\
                 "0.3908, 0.484, 0.722, 1.083, 1.582, 2.288, 3.249, 4.498, 6.064, 7.945",\
                 "0.392, 0.4856, 0.7224, 1.084, 1.584, 2.286, 3.249, 4.5, 6.063, 7.957",\
                 "0.3932, 0.4866, 0.7258, 1.085, 1.585, 2.287, 3.244, 4.502, 6.068, 7.956",\
                 "0.3958, 0.4894, 0.7272, 1.088, 1.585, 2.288, 3.244, 4.494, 6.058, 7.946",\
                 "0.3996, 0.4932, 0.7312, 1.09, 1.586, 2.292, 3.246, 4.496, 6.06, 7.942",\
                 "0.406, 0.498, 0.736, 1.096, 1.592, 2.294, 3.25, 4.504, 6.062, 7.948");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.306, 0.4214, 0.772, 1.421, 2.497, 4.049, 6.093, 8.693, 11.86, 15.61",\
                 "0.3058, 0.421, 0.771, 1.421, 2.497, 4.045, 6.096, 8.695, 11.84, 15.61",\
                 "0.3056, 0.4206, 0.771, 1.421, 2.498, 4.05, 6.099, 8.696, 11.84, 15.61",\
                 "0.3044, 0.4208, 0.7718, 1.42, 2.495, 4.046, 6.099, 8.694, 11.86, 15.61",\
                 "0.3062, 0.42, 0.7714, 1.419, 2.493, 4.046, 6.098, 8.681, 11.86, 15.61",\
                 "0.3052, 0.4212, 0.7732, 1.419, 2.497, 4.049, 6.097, 8.695, 11.84, 15.61",\
                 "0.3074, 0.4232, 0.773, 1.423, 2.493, 4.049, 6.1, 8.692, 11.86, 15.61",\
                 "0.312, 0.428, 0.78, 1.424, 2.494, 4.046, 6.096, 8.686, 11.86, 15.61",\
                 "0.316, 0.432, 0.784, 1.428, 2.496, 4.048, 6.104, 8.69, 11.86, 15.61",\
                 "0.324, 0.438, 0.788, 1.43, 2.498, 4.046, 6.098, 8.682, 11.85, 15.6");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("3.099, 3.201, 3.459, 3.814, 4.246, 4.771, 5.41, 6.19, 7.13, 8.247",\
                 "3.116, 3.218, 3.476, 3.831, 4.263, 4.788, 5.427, 6.206, 7.147, 8.264",\
                 "3.191, 3.294, 3.551, 3.906, 4.338, 4.863, 5.502, 6.282, 7.222, 8.339",\
                 "3.363, 3.466, 3.723, 4.078, 4.51, 5.035, 5.674, 6.453, 7.393, 8.51",\
                 "3.672, 3.775, 4.034, 4.388, 4.82, 5.345, 5.984, 6.763, 7.704, 8.821",\
                 "4.113, 4.216, 4.474, 4.828, 5.26, 5.785, 6.424, 7.204, 8.144, 9.261",\
                 "4.674, 4.777, 5.035, 5.389, 5.822, 6.346, 6.986, 7.765, 8.705, 9.822",\
                 "5.359, 5.464, 5.721, 6.075, 6.509, 7.032, 7.673, 8.452, 9.393, 10.51",\
                 "6.169, 6.271, 6.529, 6.883, 7.316, 7.84, 8.48, 9.259, 10.2, 11.32",\
                 "7.099, 7.202, 7.459, 7.814, 8.246, 8.771, 9.41, 10.19, 11.13, 12.25");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("3.476, 3.576, 3.853, 4.288, 4.925, 5.811, 6.975, 8.442, 10.23, 12.37",\
                 "3.506, 3.605, 3.883, 4.318, 4.955, 5.841, 7.005, 8.473, 10.26, 12.4",\
                 "3.589, 3.688, 3.966, 4.402, 5.038, 5.925, 7.089, 8.555, 10.35, 12.48",\
                 "3.653, 3.753, 4.03, 4.466, 5.102, 5.989, 7.153, 8.62, 10.41, 12.55",\
                 "3.654, 3.754, 4.031, 4.467, 5.104, 5.99, 7.154, 8.622, 10.41, 12.55",\
                 "3.592, 3.692, 3.969, 4.404, 5.041, 5.927, 7.091, 8.559, 10.35, 12.48",\
                 "3.44, 3.54, 3.816, 4.252, 4.889, 5.774, 6.94, 8.407, 10.2, 12.33",\
                 "3.191, 3.29, 3.567, 4.003, 4.639, 5.525, 6.69, 8.155, 9.947, 12.08",\
                 "2.844, 2.943, 3.22, 3.655, 4.292, 5.177, 6.342, 7.808, 9.599, 11.73",\
                 "2.395, 2.495, 2.772, 3.208, 3.845, 4.73, 5.895, 7.362, 9.151, 11.29");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.388, 0.4828, 0.7214, 1.08, 1.581, 2.284, 3.243, 4.496, 6.064, 7.945",\
                 "0.3886, 0.4826, 0.7204, 1.082, 1.581, 2.286, 3.243, 4.502, 6.067, 7.948",\
                 "0.3886, 0.4824, 0.7204, 1.082, 1.581, 2.284, 3.245, 4.494, 6.067, 7.948",\
                 "0.3886, 0.482, 0.7204, 1.081, 1.58, 2.285, 3.244, 4.501, 6.066, 7.956",\
                 "0.3894, 0.482, 0.72, 1.08, 1.581, 2.285, 3.245, 4.501, 6.068, 7.948",\
                 "0.3888, 0.482, 0.7202, 1.081, 1.581, 2.285, 3.244, 4.494, 6.065, 7.95",\
                 "0.3882, 0.4816, 0.7202, 1.081, 1.582, 2.286, 3.245, 4.5, 6.064, 7.954",\
                 "0.388, 0.482, 0.72, 1.08, 1.58, 2.286, 3.246, 4.496, 6.064, 7.954",\
                 "0.39, 0.482, 0.72, 1.08, 1.58, 2.284, 3.244, 4.494, 6.064, 7.946",\
                 "0.39, 0.482, 0.722, 1.082, 1.582, 2.286, 3.244, 4.496, 6.058, 7.942");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.3066, 0.4228, 0.7726, 1.423, 2.497, 4.042, 6.097, 8.683, 11.85, 15.61",\
                 "0.307, 0.4234, 0.773, 1.423, 2.498, 4.043, 6.097, 8.682, 11.85, 15.61",\
                 "0.3066, 0.4238, 0.7732, 1.423, 2.494, 4.046, 6.098, 8.685, 11.85, 15.61",\
                 "0.307, 0.4226, 0.7736, 1.424, 2.493, 4.046, 6.104, 8.696, 11.86, 15.61",\
                 "0.307, 0.4246, 0.7744, 1.423, 2.494, 4.046, 6.094, 8.696, 11.86, 15.61",\
                 "0.3054, 0.423, 0.774, 1.421, 2.498, 4.047, 6.099, 8.695, 11.86, 15.6",\
                 "0.305, 0.4214, 0.7718, 1.421, 2.493, 4.043, 6.105, 8.691, 11.86, 15.61",\
                 "0.3066, 0.4222, 0.7738, 1.421, 2.494, 4.045, 6.092, 8.686, 11.84, 15.62",\
                 "0.3054, 0.4216, 0.772, 1.422, 2.494, 4.042, 6.102, 8.68, 11.84, 15.6",\
                 "0.306, 0.422, 0.772, 1.422, 2.492, 4.05, 6.098, 8.682, 11.84, 15.6");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("3.384, 3.483, 3.733, 4.082, 4.51, 5.032, 5.669, 6.447, 7.386, 8.503",\
                 "3.414, 3.512, 3.762, 4.111, 4.539, 5.061, 5.698, 6.477, 7.416, 8.533",\
                 "3.511, 3.61, 3.861, 4.208, 4.638, 5.159, 5.797, 6.575, 7.515, 8.63",\
                 "3.739, 3.838, 4.088, 4.437, 4.864, 5.386, 6.024, 6.802, 7.742, 8.858",\
                 "4.136, 4.234, 4.485, 4.833, 5.262, 5.783, 6.42, 7.199, 8.139, 9.255",\
                 "4.702, 4.801, 5.051, 5.399, 5.828, 6.349, 6.987, 7.766, 8.704, 9.822",\
                 "5.389, 5.486, 5.736, 6.086, 6.514, 7.036, 7.673, 8.451, 9.391, 10.51",\
                 "6.183, 6.28, 6.531, 6.878, 7.308, 7.829, 8.467, 9.245, 10.18, 11.3",\
                 "7.098, 7.197, 7.446, 7.795, 8.224, 8.746, 9.383, 10.16, 11.1, 12.22",\
                 "8.14, 8.239, 8.489, 8.838, 9.267, 9.788, 10.43, 11.2, 12.14, 13.26");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("2.895, 2.98, 3.22, 3.629, 4.26, 5.146, 6.311, 7.78, 9.569, 11.7",\
                 "2.919, 3.004, 3.243, 3.652, 4.284, 5.17, 6.335, 7.803, 9.594, 11.73",\
                 "3.002, 3.087, 3.327, 3.736, 4.368, 5.253, 6.418, 7.887, 9.678, 11.81",\
                 "3.157, 3.242, 3.481, 3.89, 4.522, 5.408, 6.572, 8.041, 9.832, 11.97",\
                 "3.319, 3.404, 3.643, 4.052, 4.684, 5.57, 6.735, 8.203, 9.993, 12.13",\
                 "3.423, 3.509, 3.748, 4.157, 4.788, 5.674, 6.839, 8.308, 10.1, 12.24",\
                 "3.459, 3.545, 3.784, 4.194, 4.825, 5.711, 6.877, 8.345, 10.14, 12.27",\
                 "3.42, 3.505, 3.744, 4.154, 4.785, 5.671, 6.836, 8.303, 10.09, 12.23",\
                 "3.29, 3.376, 3.615, 4.024, 4.656, 5.541, 6.706, 8.173, 9.964, 12.1",\
                 "3.066, 3.151, 3.39, 3.8, 4.43, 5.316, 6.482, 7.949, 9.742, 11.88");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.366, 0.4568, 0.696, 1.061, 1.567, 2.273, 3.236, 4.494, 6.062, 7.944",\
                 "0.366, 0.4566, 0.697, 1.062, 1.565, 2.272, 3.239, 4.494, 6.063, 7.945",\
                 "0.366, 0.457, 0.6976, 1.062, 1.565, 2.272, 3.235, 4.494, 6.054, 7.954",\
                 "0.3656, 0.4568, 0.6964, 1.062, 1.567, 2.271, 3.235, 4.495, 6.056, 7.952",\
                 "0.3658, 0.457, 0.6978, 1.062, 1.565, 2.274, 3.235, 4.494, 6.054, 7.953",\
                 "0.366, 0.4568, 0.6972, 1.061, 1.567, 2.272, 3.234, 4.489, 6.054, 7.942",\
                 "0.3654, 0.4572, 0.697, 1.062, 1.567, 2.272, 3.234, 4.494, 6.062, 7.952",\
                 "0.366, 0.458, 0.696, 1.06, 1.564, 2.272, 3.238, 4.496, 6.058, 7.942",\
                 "0.366, 0.458, 0.698, 1.062, 1.568, 2.272, 3.236, 4.488, 6.06, 7.946",\
                 "0.366, 0.458, 0.696, 1.062, 1.566, 2.27, 3.238, 4.488, 6.06, 7.938");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.248, 0.3486, 0.679, 1.363, 2.466, 4.027, 6.079, 8.673, 11.83, 15.6",\
                 "0.2478, 0.3488, 0.679, 1.363, 2.47, 4.032, 6.088, 8.671, 11.83, 15.61",\
                 "0.2478, 0.3482, 0.6786, 1.36, 2.47, 4.025, 6.085, 8.671, 11.83, 15.61",\
                 "0.2478, 0.3474, 0.679, 1.36, 2.465, 4.03, 6.088, 8.671, 11.83, 15.61",\
                 "0.2478, 0.3484, 0.6794, 1.36, 2.471, 4.028, 6.092, 8.67, 11.83, 15.6",\
                 "0.2476, 0.3476, 0.6788, 1.361, 2.471, 4.03, 6.082, 8.666, 11.83, 15.62",\
                 "0.2472, 0.349, 0.678, 1.361, 2.466, 4.03, 6.086, 8.672, 11.83, 15.61",\
                 "0.2472, 0.3482, 0.6792, 1.361, 2.469, 4.026, 6.078, 8.682, 11.83, 15.6",\
                 "0.248, 0.348, 0.678, 1.36, 2.466, 4.024, 6.084, 8.666, 11.83, 15.59",\
                 "0.248, 0.35, 0.68, 1.362, 2.468, 4.03, 6.078, 8.662, 11.82, 15.59");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("3.384, 3.483, 3.733, 4.082, 4.51, 5.032, 5.669, 6.447, 7.386, 8.503",\
                 "3.414, 3.512, 3.762, 4.111, 4.539, 5.061, 5.698, 6.477, 7.416, 8.533",\
                 "3.511, 3.61, 3.861, 4.208, 4.638, 5.159, 5.797, 6.575, 7.515, 8.63",\
                 "3.739, 3.838, 4.088, 4.437, 4.864, 5.386, 6.024, 6.802, 7.742, 8.858",\
                 "4.136, 4.234, 4.485, 4.833, 5.262, 5.783, 6.42, 7.199, 8.139, 9.255",\
                 "4.702, 4.801, 5.051, 5.399, 5.828, 6.349, 6.987, 7.766, 8.704, 9.822",\
                 "5.389, 5.486, 5.736, 6.086, 6.514, 7.036, 7.673, 8.451, 9.391, 10.51",\
                 "6.183, 6.28, 6.531, 6.878, 7.308, 7.829, 8.467, 9.245, 10.18, 11.3",\
                 "7.098, 7.197, 7.446, 7.795, 8.224, 8.746, 9.383, 10.16, 11.1, 12.22",\
                 "8.14, 8.239, 8.489, 8.838, 9.267, 9.788, 10.43, 11.2, 12.14, 13.26");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("3.476, 3.576, 3.853, 4.288, 4.925, 5.811, 6.975, 8.442, 10.23, 12.37",\
                 "3.506, 3.605, 3.883, 4.318, 4.955, 5.841, 7.005, 8.473, 10.26, 12.4",\
                 "3.589, 3.688, 3.966, 4.402, 5.038, 5.925, 7.089, 8.555, 10.35, 12.48",\
                 "3.653, 3.753, 4.03, 4.466, 5.102, 5.989, 7.153, 8.62, 10.41, 12.55",\
                 "3.654, 3.754, 4.031, 4.467, 5.104, 5.99, 7.154, 8.622, 10.41, 12.55",\
                 "3.592, 3.692, 3.969, 4.404, 5.041, 5.927, 7.091, 8.559, 10.35, 12.48",\
                 "3.44, 3.54, 3.816, 4.252, 4.889, 5.774, 6.94, 8.407, 10.2, 12.33",\
                 "3.191, 3.29, 3.567, 4.003, 4.639, 5.525, 6.69, 8.155, 9.947, 12.08",\
                 "2.844, 2.943, 3.22, 3.655, 4.292, 5.177, 6.342, 7.808, 9.599, 11.73",\
                 "2.395, 2.495, 2.772, 3.208, 3.845, 4.73, 5.895, 7.362, 9.151, 11.29");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.388, 0.4828, 0.7214, 1.08, 1.581, 2.284, 3.243, 4.496, 6.064, 7.945",\
                 "0.3886, 0.4826, 0.7204, 1.082, 1.581, 2.286, 3.243, 4.502, 6.067, 7.948",\
                 "0.3886, 0.4824, 0.7204, 1.082, 1.581, 2.284, 3.245, 4.494, 6.067, 7.948",\
                 "0.3886, 0.482, 0.7204, 1.081, 1.58, 2.285, 3.244, 4.501, 6.066, 7.956",\
                 "0.3894, 0.482, 0.72, 1.08, 1.581, 2.285, 3.245, 4.501, 6.068, 7.948",\
                 "0.3888, 0.482, 0.7202, 1.081, 1.581, 2.285, 3.244, 4.494, 6.065, 7.95",\
                 "0.3882, 0.4816, 0.7202, 1.081, 1.582, 2.286, 3.245, 4.5, 6.064, 7.954",\
                 "0.388, 0.482, 0.72, 1.08, 1.58, 2.286, 3.246, 4.496, 6.064, 7.954",\
                 "0.39, 0.482, 0.72, 1.08, 1.58, 2.284, 3.244, 4.494, 6.064, 7.946",\
                 "0.39, 0.482, 0.722, 1.082, 1.582, 2.286, 3.244, 4.496, 6.058, 7.942");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.248, 0.3486, 0.679, 1.363, 2.466, 4.027, 6.079, 8.673, 11.83, 15.6",\
                 "0.2478, 0.3488, 0.679, 1.363, 2.47, 4.032, 6.088, 8.671, 11.83, 15.61",\
                 "0.2478, 0.3482, 0.6786, 1.36, 2.47, 4.025, 6.085, 8.671, 11.83, 15.61",\
                 "0.2478, 0.3474, 0.679, 1.36, 2.465, 4.03, 6.088, 8.671, 11.83, 15.61",\
                 "0.2478, 0.3484, 0.6794, 1.36, 2.471, 4.028, 6.092, 8.67, 11.83, 15.6",\
                 "0.2476, 0.3476, 0.6788, 1.361, 2.471, 4.03, 6.082, 8.666, 11.83, 15.62",\
                 "0.2472, 0.349, 0.678, 1.361, 2.466, 4.03, 6.086, 8.672, 11.83, 15.61",\
                 "0.2472, 0.3482, 0.6792, 1.361, 2.469, 4.026, 6.078, 8.682, 11.83, 15.6",\
                 "0.248, 0.348, 0.678, 1.36, 2.466, 4.024, 6.084, 8.666, 11.83, 15.59",\
                 "0.248, 0.35, 0.68, 1.362, 2.468, 4.03, 6.078, 8.662, 11.82, 15.59");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("3.842, 3.94, 4.19, 4.539, 4.968, 5.489, 6.126, 6.905, 7.844, 8.961",\
                 "3.871, 3.97, 4.22, 4.569, 4.997, 5.519, 6.156, 6.935, 7.874, 8.99",\
                 "3.953, 4.052, 4.302, 4.651, 5.079, 5.601, 6.238, 7.016, 7.956, 9.072",\
                 "4.012, 4.11, 4.361, 4.709, 5.138, 5.659, 6.297, 7.075, 8.015, 9.131",\
                 "4.004, 4.102, 4.353, 4.701, 5.129, 5.651, 6.289, 7.067, 8.006, 9.123",\
                 "3.916, 4.014, 4.265, 4.613, 5.041, 5.563, 6.2, 6.979, 7.919, 9.035",\
                 "3.734, 3.832, 4.083, 4.432, 4.86, 5.382, 6.019, 6.798, 7.738, 8.854",\
                 "3.451, 3.549, 3.799, 4.148, 4.576, 5.098, 5.735, 6.513, 7.454, 8.569",\
                 "3.054, 3.152, 3.402, 3.751, 4.179, 4.7, 5.338, 6.116, 7.055, 8.172",\
                 "2.542, 2.64, 2.891, 3.239, 3.667, 4.189, 4.826, 5.605, 6.544, 7.661");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("3.868, 3.953, 4.192, 4.601, 5.233, 6.119, 7.284, 8.751, 10.54, 12.68",\
                 "3.879, 3.964, 4.203, 4.612, 5.244, 6.13, 7.295, 8.763, 10.55, 12.69",\
                 "3.978, 4.063, 4.302, 4.712, 5.344, 6.229, 7.395, 8.861, 10.65, 12.79",\
                 "4.235, 4.32, 4.559, 4.968, 5.6, 6.486, 7.651, 9.12, 10.91, 13.05",\
                 "4.654, 4.739, 4.978, 5.387, 6.019, 6.905, 8.07, 9.539, 11.33, 13.46",\
                 "5.202, 5.288, 5.526, 5.936, 6.568, 7.454, 8.619, 10.09, 11.88, 14.01",\
                 "5.864, 5.949, 6.189, 6.599, 7.23, 8.116, 9.281, 10.75, 12.54, 14.67",\
                 "6.659, 6.742, 6.981, 7.391, 8.023, 8.909, 10.07, 11.54, 13.33, 15.47",\
                 "7.593, 7.678, 7.918, 8.328, 8.959, 9.844, 11.01, 12.48, 14.27, 16.41",\
                 "8.675, 8.759, 9, 9.41, 10.04, 10.93, 12.09, 13.56, 15.35, 17.49");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.3662, 0.4578, 0.6974, 1.061, 1.565, 2.272, 3.239, 4.495, 6.063, 7.946",\
                 "0.366, 0.457, 0.6966, 1.061, 1.566, 2.272, 3.235, 4.493, 6.056, 7.953",\
                 "0.366, 0.457, 0.6968, 1.061, 1.566, 2.274, 3.235, 4.495, 6.057, 7.952",\
                 "0.3656, 0.4574, 0.6976, 1.062, 1.565, 2.272, 3.235, 4.493, 6.054, 7.949",\
                 "0.366, 0.4568, 0.6966, 1.062, 1.565, 2.272, 3.234, 4.494, 6.063, 7.941",\
                 "0.3654, 0.4568, 0.6978, 1.062, 1.567, 2.272, 3.235, 4.493, 6.055, 7.953",\
                 "0.3656, 0.458, 0.6974, 1.06, 1.566, 2.273, 3.239, 4.494, 6.053, 7.952",\
                 "0.3654, 0.457, 0.6982, 1.061, 1.565, 2.272, 3.236, 4.488, 6.054, 7.952",\
                 "0.366, 0.458, 0.696, 1.064, 1.564, 2.274, 3.236, 4.492, 6.058, 7.942",\
                 "0.366, 0.456, 0.698, 1.062, 1.566, 2.272, 3.236, 4.49, 6.06, 7.95");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.247, 0.3482, 0.6784, 1.361, 2.467, 4.032, 6.091, 8.664, 11.83, 15.59",\
                 "0.2478, 0.3474, 0.6782, 1.361, 2.466, 4.024, 6.09, 8.671, 11.83, 15.6",\
                 "0.2476, 0.3474, 0.6796, 1.361, 2.467, 4.033, 6.092, 8.665, 11.83, 15.6",\
                 "0.2468, 0.3474, 0.6788, 1.361, 2.466, 4.024, 6.089, 8.672, 11.83, 15.59",\
                 "0.2468, 0.3492, 0.6796, 1.362, 2.467, 4.032, 6.09, 8.671, 11.83, 15.61",\
                 "0.2478, 0.3488, 0.679, 1.361, 2.467, 4.032, 6.092, 8.672, 11.83, 15.61",\
                 "0.2466, 0.3482, 0.6792, 1.359, 2.466, 4.028, 6.09, 8.672, 11.83, 15.61",\
                 "0.246, 0.348, 0.678, 1.36, 2.468, 4.032, 6.088, 8.668, 11.83, 15.61",\
                 "0.246, 0.348, 0.68, 1.362, 2.468, 4.026, 6.088, 8.666, 11.83, 15.59",\
                 "0.246, 0.348, 0.68, 1.36, 2.466, 4.026, 6.08, 8.666, 11.84, 15.62");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("2.06, 2.163, 2.42, 2.775, 3.208, 3.732, 4.372, 5.151, 6.092, 7.209",\
                 "2.083, 2.186, 2.444, 2.798, 3.231, 3.755, 4.395, 5.175, 6.115, 7.232",\
                 "2.135, 2.238, 2.496, 2.85, 3.283, 3.808, 4.447, 5.227, 6.167, 7.284",\
                 "2.223, 2.326, 2.583, 2.937, 3.37, 3.895, 4.535, 5.314, 6.255, 7.372",\
                 "2.307, 2.41, 2.668, 3.023, 3.455, 3.98, 4.62, 5.399, 6.34, 7.456",\
                 "2.342, 2.445, 2.703, 3.058, 3.491, 4.015, 4.655, 5.434, 6.375, 7.492",\
                 "2.307, 2.41, 2.668, 3.023, 3.457, 3.981, 4.621, 5.4, 6.341, 7.458",\
                 "2.188, 2.292, 2.551, 2.905, 3.339, 3.864, 4.504, 5.284, 6.224, 7.34",\
                 "1.97, 2.073, 2.332, 2.688, 3.122, 3.648, 4.288, 5.067, 6.007, 7.124",\
                 "1.643, 1.748, 2.008, 2.365, 2.8, 3.325, 3.966, 4.746, 5.686, 6.803");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("3.031, 3.131, 3.408, 3.844, 4.481, 5.367, 6.532, 7.998, 9.789, 11.92",\
                 "3.052, 3.152, 3.429, 3.865, 4.502, 5.387, 6.552, 8.019, 9.809, 11.95",\
                 "3.159, 3.259, 3.536, 3.971, 4.608, 5.494, 6.659, 8.126, 9.915, 12.05",\
                 "3.393, 3.492, 3.769, 4.205, 4.842, 5.728, 6.893, 8.36, 10.15, 12.29",\
                 "3.794, 3.893, 4.17, 4.606, 5.243, 6.129, 7.293, 8.761, 10.55, 12.69",\
                 "4.381, 4.481, 4.758, 5.194, 5.831, 6.716, 7.881, 9.348, 11.14, 13.27",\
                 "5.135, 5.235, 5.513, 5.949, 6.586, 7.471, 8.636, 10.1, 11.89, 14.03",\
                 "6.014, 6.115, 6.396, 6.832, 7.468, 8.353, 9.517, 10.98, 12.77, 14.91",\
                 "7.023, 7.124, 7.404, 7.842, 8.479, 9.363, 10.53, 11.99, 13.79, 15.92",\
                 "8.177, 8.277, 8.559, 8.998, 9.634, 10.52, 11.68, 13.15, 14.94, 17.07");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.3892, 0.4838, 0.7222, 1.082, 1.582, 2.287, 3.245, 4.495, 6.06, 7.953",\
                 "0.3894, 0.4836, 0.7218, 1.082, 1.582, 2.287, 3.245, 4.496, 6.062, 7.952",\
                 "0.3896, 0.4834, 0.723, 1.082, 1.582, 2.288, 3.246, 4.495, 6.059, 7.953",\
                 "0.3892, 0.4838, 0.722, 1.082, 1.586, 2.287, 3.243, 4.502, 6.066, 7.95",\
                 "0.39, 0.4838, 0.7218, 1.084, 1.585, 2.288, 3.249, 4.499, 6.065, 7.951",\
                 "0.3916, 0.4856, 0.7232, 1.082, 1.583, 2.289, 3.246, 4.498, 6.064, 7.944",\
                 "0.3934, 0.4868, 0.7256, 1.085, 1.583, 2.288, 3.245, 4.499, 6.063, 7.956",\
                 "0.3964, 0.49, 0.7272, 1.087, 1.586, 2.289, 3.246, 4.496, 6.056, 7.948",\
                 "0.401, 0.4956, 0.7308, 1.092, 1.59, 2.29, 3.248, 4.496, 6.068, 7.942",\
                 "0.406, 0.498, 0.736, 1.094, 1.592, 2.294, 3.25, 4.498, 6.064, 7.944");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.307, 0.4238, 0.7738, 1.423, 2.495, 4.047, 6.102, 8.688, 11.86, 15.61",\
                 "0.307, 0.4248, 0.7732, 1.421, 2.498, 4.044, 6.098, 8.681, 11.85, 15.61",\
                 "0.3078, 0.4248, 0.7732, 1.423, 2.494, 4.046, 6.101, 8.691, 11.83, 15.6",\
                 "0.308, 0.4234, 0.774, 1.423, 2.494, 4.046, 6.101, 8.692, 11.86, 15.6",\
                 "0.308, 0.4236, 0.7736, 1.422, 2.495, 4.044, 6.094, 8.696, 11.86, 15.6",\
                 "0.3084, 0.425, 0.7744, 1.422, 2.497, 4.042, 6.094, 8.692, 11.86, 15.61",\
                 "0.3088, 0.4266, 0.7746, 1.423, 2.494, 4.048, 6.102, 8.68, 11.85, 15.6",\
                 "0.314, 0.432, 0.78, 1.426, 2.496, 4.044, 6.104, 8.68, 11.85, 15.62",\
                 "0.318, 0.436, 0.786, 1.428, 2.496, 4.05, 6.102, 8.692, 11.86, 15.62",\
                 "0.326, 0.44, 0.792, 1.432, 2.498, 4.048, 6.106, 8.684, 11.85, 15.6");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("3.842, 3.94, 4.19, 4.539, 4.968, 5.489, 6.126, 6.905, 7.844, 8.961",\
                 "3.871, 3.97, 4.22, 4.569, 4.997, 5.519, 6.156, 6.935, 7.874, 8.99",\
                 "3.953, 4.052, 4.302, 4.651, 5.079, 5.601, 6.238, 7.016, 7.956, 9.072",\
                 "4.012, 4.11, 4.361, 4.709, 5.138, 5.659, 6.297, 7.075, 8.015, 9.131",\
                 "4.004, 4.102, 4.353, 4.701, 5.129, 5.651, 6.289, 7.067, 8.006, 9.123",\
                 "3.916, 4.014, 4.265, 4.613, 5.041, 5.563, 6.2, 6.979, 7.919, 9.035",\
                 "3.734, 3.832, 4.083, 4.432, 4.86, 5.382, 6.019, 6.798, 7.738, 8.854",\
                 "3.451, 3.549, 3.799, 4.148, 4.576, 5.098, 5.735, 6.513, 7.454, 8.569",\
                 "3.054, 3.152, 3.402, 3.751, 4.179, 4.7, 5.338, 6.116, 7.055, 8.172",\
                 "2.542, 2.64, 2.891, 3.239, 3.667, 4.189, 4.826, 5.605, 6.544, 7.661");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("3.868, 3.953, 4.192, 4.601, 5.233, 6.119, 7.284, 8.751, 10.54, 12.68",\
                 "3.879, 3.964, 4.203, 4.612, 5.244, 6.13, 7.295, 8.763, 10.55, 12.69",\
                 "3.978, 4.063, 4.302, 4.712, 5.344, 6.229, 7.395, 8.861, 10.65, 12.79",\
                 "4.235, 4.32, 4.559, 4.968, 5.6, 6.486, 7.651, 9.12, 10.91, 13.05",\
                 "4.654, 4.739, 4.978, 5.387, 6.019, 6.905, 8.07, 9.539, 11.33, 13.46",\
                 "5.202, 5.288, 5.526, 5.936, 6.568, 7.454, 8.619, 10.09, 11.88, 14.01",\
                 "5.864, 5.949, 6.189, 6.599, 7.23, 8.116, 9.281, 10.75, 12.54, 14.67",\
                 "6.659, 6.742, 6.981, 7.391, 8.023, 8.909, 10.07, 11.54, 13.33, 15.47",\
                 "7.593, 7.678, 7.918, 8.328, 8.959, 9.844, 11.01, 12.48, 14.27, 16.41",\
                 "8.675, 8.759, 9, 9.41, 10.04, 10.93, 12.09, 13.56, 15.35, 17.49");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.3892, 0.4838, 0.7222, 1.082, 1.582, 2.287, 3.245, 4.495, 6.06, 7.953",\
                 "0.3894, 0.4836, 0.7218, 1.082, 1.582, 2.287, 3.245, 4.496, 6.062, 7.952",\
                 "0.3896, 0.4834, 0.723, 1.082, 1.582, 2.288, 3.246, 4.495, 6.059, 7.953",\
                 "0.3892, 0.4838, 0.722, 1.082, 1.586, 2.287, 3.243, 4.502, 6.066, 7.95",\
                 "0.39, 0.4838, 0.7218, 1.084, 1.585, 2.288, 3.249, 4.499, 6.065, 7.951",\
                 "0.3916, 0.4856, 0.7232, 1.082, 1.583, 2.289, 3.246, 4.498, 6.064, 7.944",\
                 "0.3934, 0.4868, 0.7256, 1.085, 1.583, 2.288, 3.245, 4.499, 6.063, 7.956",\
                 "0.3964, 0.49, 0.7272, 1.087, 1.586, 2.289, 3.246, 4.496, 6.056, 7.948",\
                 "0.401, 0.4956, 0.7308, 1.092, 1.59, 2.29, 3.248, 4.496, 6.068, 7.942",\
                 "0.406, 0.498, 0.736, 1.094, 1.592, 2.294, 3.25, 4.498, 6.064, 7.944");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.307, 0.4238, 0.7738, 1.423, 2.495, 4.047, 6.102, 8.688, 11.86, 15.61",\
                 "0.307, 0.4248, 0.7732, 1.421, 2.498, 4.044, 6.098, 8.681, 11.85, 15.61",\
                 "0.3078, 0.4248, 0.7732, 1.423, 2.494, 4.046, 6.101, 8.691, 11.83, 15.6",\
                 "0.308, 0.4234, 0.774, 1.423, 2.494, 4.046, 6.101, 8.692, 11.86, 15.6",\
                 "0.308, 0.4236, 0.7736, 1.422, 2.495, 4.044, 6.094, 8.696, 11.86, 15.6",\
                 "0.3084, 0.425, 0.7744, 1.422, 2.497, 4.042, 6.094, 8.692, 11.86, 15.61",\
                 "0.3088, 0.4266, 0.7746, 1.423, 2.494, 4.048, 6.102, 8.68, 11.85, 15.6",\
                 "0.314, 0.432, 0.78, 1.426, 2.496, 4.044, 6.104, 8.68, 11.85, 15.62",\
                 "0.318, 0.436, 0.786, 1.428, 2.496, 4.05, 6.102, 8.692, 11.86, 15.62",\
                 "0.326, 0.44, 0.792, 1.432, 2.498, 4.048, 6.106, 8.684, 11.85, 15.6");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("3.014, 3.117, 3.375, 3.729, 4.162, 4.686, 5.326, 6.105, 7.045, 8.162",\
                 "3.026, 3.128, 3.386, 3.74, 4.173, 4.697, 5.337, 6.116, 7.056, 8.173",\
                 "3.125, 3.228, 3.486, 3.84, 4.273, 4.797, 5.436, 6.216, 7.156, 8.273",\
                 "3.382, 3.485, 3.742, 4.097, 4.529, 5.053, 5.693, 6.472, 7.412, 8.53",\
                 "3.8, 3.904, 4.161, 4.515, 4.948, 5.472, 6.112, 6.891, 7.831, 8.949",\
                 "4.347, 4.45, 4.708, 5.062, 5.495, 6.019, 6.659, 7.438, 8.379, 9.495",\
                 "5.008, 5.111, 5.369, 5.723, 6.156, 6.681, 7.32, 8.099, 9.04, 10.16",\
                 "5.8, 5.903, 6.16, 6.515, 6.949, 7.472, 8.111, 8.89, 9.832, 10.95",\
                 "6.733, 6.835, 7.094, 7.448, 7.881, 8.405, 9.044, 9.824, 10.76, 11.88",\
                 "7.812, 7.915, 8.174, 8.527, 8.959, 9.484, 10.12, 10.9, 11.84, 12.96");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("3.329, 3.428, 3.705, 4.14, 4.777, 5.663, 6.828, 8.295, 10.08, 12.22",\
                 "3.358, 3.457, 3.734, 4.17, 4.807, 5.693, 6.857, 8.324, 10.11, 12.25",\
                 "3.441, 3.54, 3.817, 4.252, 4.889, 5.775, 6.94, 8.407, 10.2, 12.33",\
                 "3.5, 3.599, 3.875, 4.311, 4.948, 5.834, 6.999, 8.466, 10.26, 12.39",\
                 "3.491, 3.591, 3.867, 4.303, 4.939, 5.826, 6.99, 8.457, 10.25, 12.38",\
                 "3.402, 3.502, 3.778, 4.213, 4.85, 5.736, 6.9, 8.367, 10.16, 12.29",\
                 "3.221, 3.321, 3.597, 4.032, 4.669, 5.555, 6.721, 8.187, 9.978, 12.11",\
                 "2.938, 3.037, 3.313, 3.749, 4.386, 5.271, 6.436, 7.903, 9.695, 11.83",\
                 "2.543, 2.642, 2.918, 3.354, 3.991, 4.876, 6.041, 7.507, 9.297, 11.43",\
                 "2.031, 2.131, 2.407, 2.843, 3.48, 4.366, 5.531, 6.997, 8.787, 10.92");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.3886, 0.482, 0.7202, 1.082, 1.582, 2.285, 3.248, 4.497, 6.066, 7.956",\
                 "0.3888, 0.4824, 0.7204, 1.081, 1.581, 2.287, 3.244, 4.495, 6.066, 7.947",\
                 "0.3892, 0.4822, 0.7198, 1.082, 1.581, 2.284, 3.246, 4.494, 6.066, 7.95",\
                 "0.3878, 0.4824, 0.7212, 1.082, 1.582, 2.285, 3.245, 4.495, 6.066, 7.946",\
                 "0.388, 0.4824, 0.721, 1.082, 1.582, 2.284, 3.244, 4.495, 6.066, 7.951",\
                 "0.3896, 0.4824, 0.7202, 1.08, 1.582, 2.285, 3.247, 4.496, 6.058, 7.951",\
                 "0.3882, 0.4822, 0.7196, 1.081, 1.58, 2.286, 3.248, 4.5, 6.066, 7.948",\
                 "0.388, 0.482, 0.72, 1.08, 1.58, 2.284, 3.246, 4.498, 6.066, 7.954",\
                 "0.388, 0.484, 0.72, 1.082, 1.58, 2.284, 3.244, 4.496, 6.062, 7.95",\
                 "0.388, 0.482, 0.72, 1.082, 1.582, 2.286, 3.246, 4.496, 6.064, 7.942");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.304, 0.4204, 0.7706, 1.421, 2.497, 4.045, 6.105, 8.693, 11.86, 15.61",\
                 "0.3054, 0.4208, 0.771, 1.42, 2.497, 4.045, 6.096, 8.695, 11.84, 15.6",\
                 "0.305, 0.421, 0.7724, 1.42, 2.495, 4.05, 6.096, 8.695, 11.86, 15.61",\
                 "0.306, 0.4216, 0.7724, 1.422, 2.493, 4.044, 6.099, 8.684, 11.84, 15.61",\
                 "0.3042, 0.422, 0.7704, 1.421, 2.492, 4.049, 6.1, 8.679, 11.85, 15.61",\
                 "0.3036, 0.4198, 0.77, 1.42, 2.498, 4.044, 6.096, 8.684, 11.84, 15.61",\
                 "0.3058, 0.4218, 0.7714, 1.421, 2.494, 4.046, 6.105, 8.68, 11.85, 15.62",\
                 "0.3038, 0.422, 0.7714, 1.419, 2.494, 4.043, 6.094, 8.68, 11.84, 15.6",\
                 "0.3046, 0.4216, 0.7716, 1.42, 2.496, 4.046, 6.092, 8.68, 11.84, 15.61",\
                 "0.306, 0.422, 0.77, 1.422, 2.492, 4.044, 6.096, 8.682, 11.84, 15.6");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("3.524, 3.622, 3.873, 4.222, 4.65, 5.171, 5.809, 6.587, 7.527, 8.643",\
                 "3.546, 3.643, 3.893, 4.242, 4.67, 5.192, 5.829, 6.607, 7.547, 8.663",\
                 "3.651, 3.75, 4, 4.348, 4.777, 5.298, 5.936, 6.714, 7.654, 8.77",\
                 "3.887, 3.986, 4.235, 4.585, 5.013, 5.534, 6.172, 6.95, 7.889, 9.005",\
                 "4.289, 4.387, 4.638, 4.986, 5.415, 5.936, 6.573, 7.352, 8.292, 9.408",\
                 "4.869, 4.967, 5.217, 5.566, 5.994, 6.516, 7.153, 7.932, 8.87, 9.988",\
                 "5.586, 5.684, 5.935, 6.283, 6.712, 7.234, 7.871, 8.649, 9.589, 10.7",\
                 "6.418, 6.517, 6.767, 7.115, 7.544, 8.065, 8.702, 9.481, 10.42, 11.54",\
                 "7.379, 7.477, 7.727, 8.075, 8.504, 9.025, 9.662, 10.44, 11.38, 12.5",\
                 "8.482, 8.58, 8.829, 9.178, 9.607, 10.13, 10.76, 11.54, 12.48, 13.6");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("2.92, 3.005, 3.244, 3.653, 4.285, 5.171, 6.336, 7.804, 9.593, 11.73",\
                 "2.943, 3.028, 3.267, 3.676, 4.308, 5.194, 6.358, 7.827, 9.619, 11.75",\
                 "2.995, 3.081, 3.32, 3.729, 4.361, 5.247, 6.411, 7.879, 9.669, 11.8",\
                 "3.086, 3.171, 3.411, 3.82, 4.451, 5.337, 6.502, 7.971, 9.76, 11.9",\
                 "3.181, 3.266, 3.505, 3.914, 4.546, 5.432, 6.597, 8.065, 9.855, 11.99",\
                 "3.228, 3.313, 3.552, 3.962, 4.593, 5.479, 6.644, 8.113, 9.905, 12.04",\
                 "3.209, 3.295, 3.534, 3.943, 4.575, 5.46, 6.626, 8.095, 9.887, 12.02",\
                 "3.11, 3.195, 3.433, 3.843, 4.475, 5.359, 6.526, 7.991, 9.784, 11.92",\
                 "2.912, 2.998, 3.237, 3.645, 4.276, 5.162, 6.327, 7.795, 9.585, 11.72",\
                 "2.609, 2.695, 2.934, 3.343, 3.974, 4.86, 6.025, 7.493, 9.283, 11.42");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.366, 0.4574, 0.6964, 1.062, 1.566, 2.272, 3.237, 4.491, 6.062, 7.953",\
                 "0.3662, 0.4574, 0.6976, 1.061, 1.565, 2.272, 3.235, 4.495, 6.055, 7.953",\
                 "0.3656, 0.4578, 0.6976, 1.062, 1.565, 2.272, 3.235, 4.492, 6.063, 7.951",\
                 "0.3658, 0.4566, 0.697, 1.062, 1.565, 2.272, 3.235, 4.493, 6.054, 7.951",\
                 "0.3658, 0.4568, 0.6978, 1.062, 1.567, 2.272, 3.235, 4.488, 6.057, 7.951",\
                 "0.3662, 0.457, 0.6984, 1.062, 1.567, 2.273, 3.237, 4.489, 6.063, 7.942",\
                 "0.3654, 0.457, 0.6964, 1.063, 1.567, 2.274, 3.234, 4.494, 6.062, 7.954",\
                 "0.366, 0.458, 0.698, 1.062, 1.564, 2.274, 3.234, 4.494, 6.062, 7.952",\
                 "0.364, 0.456, 0.698, 1.062, 1.566, 2.272, 3.234, 4.492, 6.058, 7.952",\
                 "0.366, 0.456, 0.696, 1.06, 1.562, 2.27, 3.236, 4.488, 6.05, 7.938");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.2466, 0.3482, 0.6796, 1.361, 2.467, 4.032, 6.09, 8.672, 11.83, 15.6",\
                 "0.2478, 0.3474, 0.6788, 1.361, 2.466, 4.032, 6.085, 8.67, 11.83, 15.61",\
                 "0.2478, 0.3474, 0.6788, 1.36, 2.466, 4.027, 6.086, 8.671, 11.83, 15.6",\
                 "0.2466, 0.3484, 0.6786, 1.361, 2.466, 4.026, 6.085, 8.672, 11.83, 15.6",\
                 "0.2468, 0.3486, 0.6784, 1.36, 2.467, 4.033, 6.092, 8.67, 11.83, 15.61",\
                 "0.247, 0.3486, 0.6788, 1.363, 2.466, 4.032, 6.087, 8.671, 11.83, 15.61",\
                 "0.247, 0.348, 0.6806, 1.363, 2.469, 4.026, 6.078, 8.672, 11.83, 15.61",\
                 "0.2472, 0.349, 0.6792, 1.36, 2.468, 4.026, 6.078, 8.682, 11.83, 15.61",\
                 "0.2472, 0.3484, 0.678, 1.36, 2.468, 4.026, 6.078, 8.668, 11.83, 15.59",\
                 "0.248, 0.348, 0.678, 1.36, 2.466, 4.028, 6.084, 8.666, 11.82, 15.59");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("3.524, 3.622, 3.873, 4.222, 4.65, 5.171, 5.809, 6.587, 7.527, 8.643",\
                 "3.546, 3.643, 3.893, 4.242, 4.67, 5.192, 5.829, 6.607, 7.547, 8.663",\
                 "3.651, 3.75, 4, 4.348, 4.777, 5.298, 5.936, 6.714, 7.654, 8.77",\
                 "3.887, 3.986, 4.235, 4.585, 5.013, 5.534, 6.172, 6.95, 7.889, 9.005",\
                 "4.289, 4.387, 4.638, 4.986, 5.415, 5.936, 6.573, 7.352, 8.292, 9.408",\
                 "4.869, 4.967, 5.217, 5.566, 5.994, 6.516, 7.153, 7.932, 8.87, 9.988",\
                 "5.586, 5.684, 5.935, 6.283, 6.712, 7.234, 7.871, 8.649, 9.589, 10.7",\
                 "6.418, 6.517, 6.767, 7.115, 7.544, 8.065, 8.702, 9.481, 10.42, 11.54",\
                 "7.379, 7.477, 7.727, 8.075, 8.504, 9.025, 9.662, 10.44, 11.38, 12.5",\
                 "8.482, 8.58, 8.829, 9.178, 9.607, 10.13, 10.76, 11.54, 12.48, 13.6");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("3.329, 3.428, 3.705, 4.14, 4.777, 5.663, 6.828, 8.295, 10.08, 12.22",\
                 "3.358, 3.457, 3.734, 4.17, 4.807, 5.693, 6.857, 8.324, 10.11, 12.25",\
                 "3.441, 3.54, 3.817, 4.252, 4.889, 5.775, 6.94, 8.407, 10.2, 12.33",\
                 "3.5, 3.599, 3.875, 4.311, 4.948, 5.834, 6.999, 8.466, 10.26, 12.39",\
                 "3.491, 3.591, 3.867, 4.303, 4.939, 5.826, 6.99, 8.457, 10.25, 12.38",\
                 "3.402, 3.502, 3.778, 4.213, 4.85, 5.736, 6.9, 8.367, 10.16, 12.29",\
                 "3.221, 3.321, 3.597, 4.032, 4.669, 5.555, 6.721, 8.187, 9.978, 12.11",\
                 "2.938, 3.037, 3.313, 3.749, 4.386, 5.271, 6.436, 7.903, 9.695, 11.83",\
                 "2.543, 2.642, 2.918, 3.354, 3.991, 4.876, 6.041, 7.507, 9.297, 11.43",\
                 "2.031, 2.131, 2.407, 2.843, 3.48, 4.366, 5.531, 6.997, 8.787, 10.92");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.3886, 0.482, 0.7202, 1.082, 1.582, 2.285, 3.248, 4.497, 6.066, 7.956",\
                 "0.3888, 0.4824, 0.7204, 1.081, 1.581, 2.287, 3.244, 4.495, 6.066, 7.947",\
                 "0.3892, 0.4822, 0.7198, 1.082, 1.581, 2.284, 3.246, 4.494, 6.066, 7.95",\
                 "0.3878, 0.4824, 0.7212, 1.082, 1.582, 2.285, 3.245, 4.495, 6.066, 7.946",\
                 "0.388, 0.4824, 0.721, 1.082, 1.582, 2.284, 3.244, 4.495, 6.066, 7.951",\
                 "0.3896, 0.4824, 0.7202, 1.08, 1.582, 2.285, 3.247, 4.496, 6.058, 7.951",\
                 "0.3882, 0.4822, 0.7196, 1.081, 1.58, 2.286, 3.248, 4.5, 6.066, 7.948",\
                 "0.388, 0.482, 0.72, 1.08, 1.58, 2.284, 3.246, 4.498, 6.066, 7.954",\
                 "0.388, 0.484, 0.72, 1.082, 1.58, 2.284, 3.244, 4.496, 6.062, 7.95",\
                 "0.388, 0.482, 0.72, 1.082, 1.582, 2.286, 3.246, 4.496, 6.064, 7.942");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.304, 0.4204, 0.7706, 1.421, 2.497, 4.045, 6.105, 8.693, 11.86, 15.61",\
                 "0.3054, 0.4208, 0.771, 1.42, 2.497, 4.045, 6.096, 8.695, 11.84, 15.6",\
                 "0.305, 0.421, 0.7724, 1.42, 2.495, 4.05, 6.096, 8.695, 11.86, 15.61",\
                 "0.306, 0.4216, 0.7724, 1.422, 2.493, 4.044, 6.099, 8.684, 11.84, 15.61",\
                 "0.3042, 0.422, 0.7704, 1.421, 2.492, 4.049, 6.1, 8.679, 11.85, 15.61",\
                 "0.3036, 0.4198, 0.77, 1.42, 2.498, 4.044, 6.096, 8.684, 11.84, 15.61",\
                 "0.3058, 0.4218, 0.7714, 1.421, 2.494, 4.046, 6.105, 8.68, 11.85, 15.62",\
                 "0.3038, 0.422, 0.7714, 1.419, 2.494, 4.043, 6.094, 8.68, 11.84, 15.6",\
                 "0.3046, 0.4216, 0.7716, 1.42, 2.496, 4.046, 6.092, 8.68, 11.84, 15.61",\
                 "0.306, 0.422, 0.77, 1.422, 2.492, 4.044, 6.096, 8.682, 11.84, 15.6");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("1.686, 1.788, 2.046, 2.4, 2.833, 3.357, 3.996, 4.776, 5.716, 6.833",\
                 "1.714, 1.817, 2.075, 2.429, 2.861, 3.385, 4.025, 4.804, 5.745, 6.861",\
                 "1.801, 1.904, 2.162, 2.516, 2.948, 3.473, 4.112, 4.891, 5.832, 6.949",\
                 "1.887, 1.991, 2.248, 2.602, 3.035, 3.559, 4.199, 4.978, 5.919, 7.036",\
                 "1.92, 2.023, 2.28, 2.633, 3.065, 3.589, 4.229, 5.008, 5.948, 7.066",\
                 "1.892, 1.991, 2.243, 2.594, 3.025, 3.548, 4.188, 4.968, 5.908, 7.025",\
                 "1.769, 1.868, 2.12, 2.471, 2.903, 3.426, 4.065, 4.844, 5.785, 6.903",\
                 "1.56, 1.659, 1.912, 2.263, 2.694, 3.217, 3.856, 4.636, 5.575, 6.693",\
                 "1.259, 1.358, 1.61, 1.963, 2.393, 2.918, 3.556, 4.335, 5.275, 6.392",\
                 "0.8601, 0.9591, 1.212, 1.565, 1.997, 2.52, 3.158, 3.936, 4.875, 5.991");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("2.208, 2.293, 2.532, 2.942, 3.574, 4.46, 5.624, 7.093, 8.883, 11.02",\
                 "2.227, 2.312, 2.552, 2.961, 3.593, 4.478, 5.643, 7.112, 8.902, 11.04",\
                 "2.299, 2.384, 2.623, 3.032, 3.664, 4.55, 5.715, 7.183, 8.973, 11.11",\
                 "2.465, 2.55, 2.79, 3.199, 3.83, 4.717, 5.881, 7.35, 9.139, 11.28",\
                 "2.774, 2.86, 3.099, 3.508, 4.14, 5.026, 6.191, 7.658, 9.451, 11.59",\
                 "3.221, 3.307, 3.547, 3.957, 4.588, 5.474, 6.639, 8.107, 9.899, 12.04",\
                 "3.791, 3.877, 4.119, 4.528, 5.159, 6.044, 7.21, 8.678, 10.47, 12.61",\
                 "4.485, 4.572, 4.814, 5.225, 5.855, 6.739, 7.904, 9.373, 11.16, 13.3",\
                 "5.305, 5.394, 5.637, 6.047, 6.678, 7.562, 8.726, 10.19, 11.99, 14.12",\
                 "6.249, 6.338, 6.584, 6.995, 7.624, 8.509, 9.674, 11.14, 12.93, 15.06");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.3882, 0.482, 0.7194, 1.081, 1.58, 2.284, 3.244, 4.501, 6.067, 7.948",\
                 "0.3882, 0.4822, 0.7192, 1.08, 1.58, 2.286, 3.245, 4.5, 6.066, 7.95",\
                 "0.3878, 0.4816, 0.72, 1.082, 1.581, 2.286, 3.248, 4.497, 6.065, 7.951",\
                 "0.388, 0.4814, 0.719, 1.081, 1.581, 2.286, 3.244, 4.494, 6.065, 7.951",\
                 "0.381, 0.4758, 0.7152, 1.078, 1.579, 2.284, 3.247, 4.498, 6.058, 7.945",\
                 "0.372, 0.465, 0.705, 1.07, 1.575, 2.282, 3.247, 4.502, 6.068, 7.957",\
                 "0.3708, 0.4634, 0.7046, 1.07, 1.575, 2.281, 3.24, 4.495, 6.063, 7.958",\
                 "0.372, 0.4634, 0.7056, 1.072, 1.575, 2.281, 3.242, 4.493, 6.056, 7.945",\
                 "0.3738, 0.4654, 0.7074, 1.072, 1.577, 2.28, 3.244, 4.494, 6.058, 7.942",\
                 "0.376, 0.468, 0.712, 1.074, 1.576, 2.28, 3.236, 4.488, 6.05, 7.944");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.2478, 0.3478, 0.6802, 1.363, 2.466, 4.033, 6.09, 8.672, 11.83, 15.61",\
                 "0.2476, 0.348, 0.6792, 1.361, 2.467, 4.027, 6.088, 8.672, 11.83, 15.6",\
                 "0.2476, 0.3474, 0.6786, 1.361, 2.472, 4.024, 6.088, 8.671, 11.83, 15.6",\
                 "0.247, 0.3482, 0.679, 1.36, 2.469, 4.032, 6.088, 8.672, 11.83, 15.62",\
                 "0.2484, 0.348, 0.6792, 1.361, 2.467, 4.027, 6.077, 8.667, 11.83, 15.6",\
                 "0.2504, 0.3514, 0.6806, 1.362, 2.468, 4.029, 6.079, 8.667, 11.84, 15.6",\
                 "0.253, 0.3544, 0.683, 1.363, 2.469, 4.03, 6.091, 8.666, 11.85, 15.62",\
                 "0.2576, 0.3598, 0.6858, 1.364, 2.468, 4.024, 6.086, 8.672, 11.85, 15.61",\
                 "0.264, 0.366, 0.692, 1.364, 2.466, 4.028, 6.076, 8.67, 11.83, 15.59",\
                 "0.27, 0.372, 0.698, 1.368, 2.468, 4.028, 6.08, 8.674, 11.82, 15.6");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("1.691, 1.794, 2.052, 2.407, 2.84, 3.364, 4.004, 4.783, 5.724, 6.841",\
                 "1.72, 1.823, 2.081, 2.435, 2.868, 3.393, 4.032, 4.812, 5.752, 6.869",\
                 "1.807, 1.91, 2.168, 2.523, 2.956, 3.48, 4.12, 4.899, 5.84, 6.957",\
                 "1.894, 1.998, 2.256, 2.61, 3.043, 3.568, 4.207, 4.987, 5.927, 7.044",\
                 "1.928, 2.03, 2.287, 2.641, 3.074, 3.599, 4.238, 5.017, 5.958, 7.075",\
                 "1.899, 1.999, 2.251, 2.602, 3.034, 3.557, 4.197, 4.977, 5.918, 7.035",\
                 "1.777, 1.875, 2.127, 2.478, 2.91, 3.434, 4.073, 4.853, 5.793, 6.912",\
                 "1.567, 1.666, 1.918, 2.27, 2.701, 3.225, 3.864, 4.644, 5.584, 6.7",\
                 "1.264, 1.364, 1.616, 1.969, 2.4, 2.924, 3.563, 4.342, 5.282, 6.399",\
                 "0.8641, 0.9631, 1.217, 1.569, 2.001, 2.525, 3.163, 3.941, 4.88, 5.996");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("2.21, 2.295, 2.534, 2.943, 3.575, 4.461, 5.626, 7.094, 8.886, 11.02",\
                 "2.229, 2.314, 2.553, 2.963, 3.595, 4.48, 5.645, 7.113, 8.904, 11.04",\
                 "2.3, 2.386, 2.625, 3.034, 3.666, 4.552, 5.716, 7.185, 8.974, 11.11",\
                 "2.466, 2.552, 2.791, 3.2, 3.832, 4.718, 5.883, 7.351, 9.141, 11.28",\
                 "2.775, 2.86, 3.099, 3.509, 4.141, 5.026, 6.192, 7.658, 9.451, 11.59",\
                 "3.222, 3.309, 3.548, 3.958, 4.589, 5.475, 6.64, 8.107, 9.899, 12.04",\
                 "3.791, 3.878, 4.118, 4.527, 5.158, 6.043, 7.209, 8.677, 10.47, 12.6",\
                 "4.485, 4.573, 4.814, 5.225, 5.855, 6.739, 7.904, 9.371, 11.16, 13.3",\
                 "5.306, 5.395, 5.637, 6.046, 6.677, 7.563, 8.726, 10.19, 11.98, 14.12",\
                 "6.25, 6.339, 6.584, 6.993, 7.623, 8.508, 9.672, 11.14, 12.93, 15.06");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.3886, 0.483, 0.7202, 1.082, 1.581, 2.285, 3.246, 4.499, 6.066, 7.95",\
                 "0.3882, 0.483, 0.721, 1.082, 1.581, 2.288, 3.246, 4.5, 6.067, 7.95",\
                 "0.3882, 0.4824, 0.7206, 1.083, 1.583, 2.287, 3.249, 4.496, 6.064, 7.952",\
                 "0.3888, 0.4824, 0.7208, 1.081, 1.581, 2.287, 3.245, 4.499, 6.067, 7.949",\
                 "0.3814, 0.4772, 0.7168, 1.079, 1.58, 2.287, 3.246, 4.5, 6.062, 7.953",\
                 "0.373, 0.4648, 0.7062, 1.071, 1.574, 2.284, 3.248, 4.502, 6.066, 7.948",\
                 "0.372, 0.4642, 0.705, 1.072, 1.575, 2.282, 3.241, 4.496, 6.069, 7.958",\
                 "0.373, 0.4642, 0.706, 1.072, 1.577, 2.28, 3.242, 4.494, 6.056, 7.946",\
                 "0.374, 0.4666, 0.7078, 1.073, 1.58, 2.283, 3.243, 4.496, 6.056, 7.944",\
                 "0.376, 0.47, 0.71, 1.076, 1.578, 2.28, 3.238, 4.492, 6.054, 7.94");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.248, 0.3482, 0.6782, 1.361, 2.467, 4.026, 6.077, 8.671, 11.83, 15.6",\
                 "0.2476, 0.348, 0.6788, 1.36, 2.466, 4.027, 6.088, 8.666, 11.83, 15.6",\
                 "0.2478, 0.348, 0.6788, 1.363, 2.467, 4.027, 6.086, 8.672, 11.83, 15.6",\
                 "0.2478, 0.3488, 0.6794, 1.363, 2.471, 4.032, 6.091, 8.669, 11.83, 15.6",\
                 "0.2484, 0.3478, 0.6792, 1.362, 2.467, 4.03, 6.087, 8.665, 11.83, 15.59",\
                 "0.251, 0.3514, 0.6804, 1.364, 2.472, 4.03, 6.085, 8.67, 11.83, 15.6",\
                 "0.2544, 0.3548, 0.6832, 1.363, 2.466, 4.024, 6.09, 8.67, 11.83, 15.6",\
                 "0.2576, 0.3592, 0.6858, 1.362, 2.47, 4.024, 6.088, 8.67, 11.83, 15.61",\
                 "0.262, 0.364, 0.692, 1.366, 2.466, 4.024, 6.08, 8.68, 11.83, 15.59",\
                 "0.272, 0.372, 0.696, 1.366, 2.468, 4.032, 6.076, 8.67, 11.82, 15.59");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("1.691, 1.794, 2.052, 2.407, 2.84, 3.364, 4.004, 4.783, 5.724, 6.841",\
                 "1.72, 1.823, 2.081, 2.435, 2.868, 3.393, 4.032, 4.812, 5.752, 6.869",\
                 "1.807, 1.91, 2.168, 2.523, 2.956, 3.48, 4.12, 4.899, 5.84, 6.957",\
                 "1.894, 1.998, 2.256, 2.61, 3.043, 3.568, 4.207, 4.987, 5.927, 7.044",\
                 "1.928, 2.03, 2.287, 2.641, 3.074, 3.599, 4.238, 5.017, 5.958, 7.075",\
                 "1.899, 1.999, 2.251, 2.602, 3.034, 3.557, 4.197, 4.977, 5.918, 7.035",\
                 "1.777, 1.875, 2.127, 2.478, 2.91, 3.434, 4.073, 4.853, 5.793, 6.912",\
                 "1.567, 1.666, 1.918, 2.27, 2.701, 3.225, 3.864, 4.644, 5.584, 6.7",\
                 "1.264, 1.364, 1.616, 1.969, 2.4, 2.924, 3.563, 4.342, 5.282, 6.399",\
                 "0.8641, 0.9631, 1.217, 1.569, 2.001, 2.525, 3.163, 3.941, 4.88, 5.996");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("2.21, 2.295, 2.534, 2.943, 3.575, 4.461, 5.626, 7.094, 8.886, 11.02",\
                 "2.229, 2.314, 2.553, 2.963, 3.595, 4.48, 5.645, 7.113, 8.904, 11.04",\
                 "2.3, 2.386, 2.625, 3.034, 3.666, 4.552, 5.716, 7.185, 8.974, 11.11",\
                 "2.466, 2.552, 2.791, 3.2, 3.832, 4.718, 5.883, 7.351, 9.141, 11.28",\
                 "2.775, 2.86, 3.099, 3.509, 4.141, 5.026, 6.192, 7.658, 9.451, 11.59",\
                 "3.222, 3.309, 3.548, 3.958, 4.589, 5.475, 6.64, 8.107, 9.899, 12.04",\
                 "3.791, 3.878, 4.118, 4.527, 5.158, 6.043, 7.209, 8.677, 10.47, 12.6",\
                 "4.485, 4.573, 4.814, 5.225, 5.855, 6.739, 7.904, 9.371, 11.16, 13.3",\
                 "5.306, 5.395, 5.637, 6.046, 6.677, 7.563, 8.726, 10.19, 11.98, 14.12",\
                 "6.25, 6.339, 6.584, 6.993, 7.623, 8.508, 9.672, 11.14, 12.93, 15.06");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.3882, 0.482, 0.7194, 1.081, 1.58, 2.284, 3.244, 4.501, 6.067, 7.948",\
                 "0.3882, 0.4822, 0.7192, 1.08, 1.58, 2.286, 3.245, 4.5, 6.066, 7.95",\
                 "0.3878, 0.4816, 0.72, 1.082, 1.581, 2.286, 3.248, 4.497, 6.065, 7.951",\
                 "0.388, 0.4814, 0.719, 1.081, 1.581, 2.286, 3.244, 4.494, 6.065, 7.951",\
                 "0.381, 0.4758, 0.7152, 1.078, 1.579, 2.284, 3.247, 4.498, 6.058, 7.945",\
                 "0.372, 0.465, 0.705, 1.07, 1.575, 2.282, 3.247, 4.502, 6.068, 7.957",\
                 "0.3708, 0.4634, 0.7046, 1.07, 1.575, 2.281, 3.24, 4.495, 6.063, 7.958",\
                 "0.372, 0.4634, 0.7056, 1.072, 1.575, 2.281, 3.242, 4.493, 6.056, 7.945",\
                 "0.3738, 0.4654, 0.7074, 1.072, 1.577, 2.28, 3.244, 4.494, 6.058, 7.942",\
                 "0.376, 0.468, 0.712, 1.074, 1.576, 2.28, 3.236, 4.488, 6.05, 7.944");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.2478, 0.3478, 0.6802, 1.363, 2.466, 4.033, 6.09, 8.672, 11.83, 15.61",\
                 "0.2476, 0.348, 0.6792, 1.361, 2.467, 4.027, 6.088, 8.672, 11.83, 15.6",\
                 "0.2476, 0.3474, 0.6786, 1.361, 2.472, 4.024, 6.088, 8.671, 11.83, 15.6",\
                 "0.247, 0.3482, 0.679, 1.36, 2.469, 4.032, 6.088, 8.672, 11.83, 15.62",\
                 "0.2484, 0.348, 0.6792, 1.361, 2.467, 4.027, 6.077, 8.667, 11.83, 15.6",\
                 "0.2504, 0.3514, 0.6806, 1.362, 2.468, 4.029, 6.079, 8.667, 11.84, 15.6",\
                 "0.253, 0.3544, 0.683, 1.363, 2.469, 4.03, 6.091, 8.666, 11.85, 15.62",\
                 "0.2576, 0.3598, 0.6858, 1.364, 2.468, 4.024, 6.086, 8.672, 11.85, 15.61",\
                 "0.264, 0.366, 0.692, 1.364, 2.466, 4.028, 6.076, 8.67, 11.83, 15.59",\
                 "0.27, 0.372, 0.698, 1.368, 2.468, 4.028, 6.08, 8.674, 11.82, 15.6");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("1.194, 1.293, 1.543, 1.892, 2.321, 2.843, 3.481, 4.259, 5.199, 6.315",\
                 "1.223, 1.321, 1.572, 1.921, 2.35, 2.872, 3.509, 4.288, 5.227, 6.345",\
                 "1.321, 1.42, 1.67, 2.019, 2.448, 2.97, 3.607, 4.386, 5.326, 6.443",\
                 "1.54, 1.639, 1.889, 2.237, 2.666, 3.188, 3.826, 4.605, 5.545, 6.661",\
                 "1.905, 2.004, 2.253, 2.602, 3.03, 3.552, 4.19, 4.968, 5.907, 7.024",\
                 "2.351, 2.456, 2.717, 3.073, 3.507, 4.032, 4.67, 5.449, 6.388, 7.504",\
                 "2.853, 2.964, 3.238, 3.607, 4.051, 4.584, 5.227, 6.007, 6.947, 8.062",\
                 "3.424, 3.541, 3.829, 4.211, 4.667, 5.206, 5.854, 6.637, 7.577, 8.692",\
                 "4.073, 4.195, 4.496, 4.894, 5.363, 5.91, 6.562, 7.346, 8.287, 9.405",\
                 "4.798, 4.927, 5.244, 5.66, 6.144, 6.701, 7.358, 8.146, 9.087, 10.21");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.7684, 0.8623, 1.127, 1.556, 2.193, 3.08, 4.247, 5.715, 7.508, 9.643",\
                 "0.7948, 0.8888, 1.153, 1.582, 2.219, 3.106, 4.274, 5.743, 7.532, 9.671",\
                 "0.8874, 0.981, 1.245, 1.675, 2.312, 3.199, 4.366, 5.835, 7.626, 9.762",\
                 "1.06, 1.154, 1.417, 1.844, 2.48, 3.367, 4.533, 6.002, 7.79, 9.928",\
                 "1.236, 1.333, 1.603, 2.032, 2.667, 3.552, 4.717, 6.184, 7.979, 10.11",\
                 "1.371, 1.473, 1.75, 2.184, 2.819, 3.704, 4.868, 6.334, 8.123, 10.26",\
                 "1.464, 1.571, 1.859, 2.297, 2.932, 3.814, 4.979, 6.444, 8.235, 10.37",\
                 "1.506, 1.619, 1.919, 2.368, 3.002, 3.882, 5.045, 6.51, 8.297, 10.43",\
                 "1.49, 1.609, 1.926, 2.387, 3.027, 3.907, 5.066, 6.529, 8.318, 10.45",\
                 "1.41, 1.537, 1.868, 2.346, 2.995, 3.88, 5.04, 6.502, 8.29, 10.42");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.3664, 0.4576, 0.6984, 1.062, 1.565, 2.276, 3.237, 4.492, 6.057, 7.953",\
                 "0.3668, 0.4578, 0.6988, 1.062, 1.569, 2.276, 3.239, 4.496, 6.063, 7.949",\
                 "0.3666, 0.4576, 0.6986, 1.063, 1.569, 2.276, 3.239, 4.49, 6.064, 7.943",\
                 "0.3668, 0.4582, 0.6988, 1.064, 1.567, 2.275, 3.24, 4.495, 6.064, 7.946",\
                 "0.3772, 0.4674, 0.7056, 1.068, 1.572, 2.278, 3.239, 4.492, 6.064, 7.953",\
                 "0.4302, 0.5202, 0.7512, 1.108, 1.596, 2.293, 3.249, 4.499, 6.056, 7.95",\
                 "0.4788, 0.5756, 0.8086, 1.16, 1.647, 2.328, 3.272, 4.512, 6.066, 7.951",\
                 "0.5264, 0.6278, 0.8674, 1.216, 1.693, 2.37, 3.298, 4.53, 6.08, 7.964",\
                 "0.578, 0.684, 0.934, 1.28, 1.75, 2.408, 3.328, 4.55, 6.094, 7.966",\
                 "0.632, 0.746, 1.008, 1.354, 1.822, 2.464, 3.362, 4.572, 6.108, 7.974");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.2678, 0.3822, 0.7305, 1.396, 2.488, 4.046, 6.096, 8.685, 11.85, 15.62",\
                 "0.2672, 0.3818, 0.7308, 1.396, 2.484, 4.044, 6.103, 8.688, 11.84, 15.62",\
                 "0.2678, 0.381, 0.7298, 1.397, 2.488, 4.039, 6.098, 8.695, 11.85, 15.62",\
                 "0.2712, 0.3854, 0.7326, 1.397, 2.489, 4.045, 6.097, 8.689, 11.85, 15.61",\
                 "0.2978, 0.4114, 0.7582, 1.411, 2.486, 4.046, 6.1, 8.688, 11.85, 15.62",\
                 "0.33, 0.4426, 0.7858, 1.429, 2.5, 4.049, 6.092, 8.686, 11.85, 15.62",\
                 "0.3688, 0.481, 0.8222, 1.449, 2.508, 4.053, 6.109, 8.7, 11.84, 15.61",\
                 "0.4122, 0.5256, 0.8704, 1.48, 2.52, 4.058, 6.106, 8.695, 11.85, 15.63",\
                 "0.4618, 0.5762, 0.925, 1.528, 2.549, 4.068, 6.11, 8.698, 11.85, 15.64",\
                 "0.512, 0.632, 0.986, 1.586, 2.588, 4.1, 6.124, 8.7, 11.86, 15.62");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("1.194, 1.293, 1.543, 1.892, 2.321, 2.843, 3.481, 4.259, 5.199, 6.315",\
                 "1.223, 1.321, 1.571, 1.921, 2.35, 2.871, 3.509, 4.288, 5.227, 6.344",\
                 "1.321, 1.42, 1.67, 2.019, 2.448, 2.97, 3.608, 4.386, 5.326, 6.443",\
                 "1.54, 1.638, 1.889, 2.238, 2.666, 3.188, 3.826, 4.605, 5.544, 6.661",\
                 "1.905, 2.004, 2.253, 2.601, 3.03, 3.552, 4.19, 4.969, 5.908, 7.025",\
                 "2.352, 2.456, 2.717, 3.073, 3.508, 4.031, 4.67, 5.448, 6.388, 7.504",\
                 "2.853, 2.964, 3.238, 3.607, 4.052, 4.584, 5.227, 6.007, 6.946, 8.062",\
                 "3.425, 3.541, 3.829, 4.211, 4.667, 5.206, 5.853, 6.637, 7.576, 8.692",\
                 "4.072, 4.195, 4.496, 4.894, 5.363, 5.91, 6.561, 7.346, 8.287, 9.405",\
                 "4.799, 4.927, 5.244, 5.66, 6.143, 6.701, 7.358, 8.146, 9.087, 10.21");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.7684, 0.8625, 1.127, 1.556, 2.193, 3.08, 4.247, 5.715, 7.506, 9.639",\
                 "0.7952, 0.8888, 1.153, 1.582, 2.219, 3.106, 4.274, 5.743, 7.532, 9.671",\
                 "0.8876, 0.981, 1.245, 1.675, 2.311, 3.199, 4.366, 5.835, 7.623, 9.761",\
                 "1.061, 1.154, 1.417, 1.844, 2.48, 3.366, 4.534, 6, 7.794, 9.925",\
                 "1.236, 1.333, 1.602, 2.033, 2.667, 3.553, 4.718, 6.184, 7.977, 10.11",\
                 "1.371, 1.472, 1.75, 2.184, 2.819, 3.704, 4.868, 6.333, 8.127, 10.26",\
                 "1.464, 1.571, 1.859, 2.298, 2.932, 3.815, 4.979, 6.444, 8.236, 10.37",\
                 "1.506, 1.619, 1.919, 2.368, 3.002, 3.882, 5.044, 6.51, 8.297, 10.43",\
                 "1.49, 1.609, 1.926, 2.387, 3.027, 3.907, 5.066, 6.529, 8.318, 10.45",\
                 "1.41, 1.537, 1.868, 2.346, 2.995, 3.88, 5.04, 6.502, 8.289, 10.42");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.3664, 0.4576, 0.6984, 1.062, 1.565, 2.276, 3.237, 4.492, 6.057, 7.953",\
                 "0.3668, 0.458, 0.6984, 1.064, 1.567, 2.275, 3.24, 4.49, 6.063, 7.953",\
                 "0.3666, 0.4578, 0.6986, 1.063, 1.569, 2.276, 3.24, 4.496, 6.063, 7.947",\
                 "0.3664, 0.458, 0.699, 1.065, 1.569, 2.276, 3.236, 4.496, 6.055, 7.949",\
                 "0.3772, 0.4674, 0.7064, 1.069, 1.57, 2.277, 3.238, 4.496, 6.064, 7.952",\
                 "0.429, 0.5202, 0.752, 1.108, 1.596, 2.293, 3.248, 4.5, 6.064, 7.954",\
                 "0.4788, 0.5754, 0.8086, 1.16, 1.646, 2.329, 3.272, 4.514, 6.069, 7.951",\
                 "0.5272, 0.629, 0.8676, 1.216, 1.695, 2.368, 3.298, 4.53, 6.08, 7.964",\
                 "0.578, 0.684, 0.934, 1.28, 1.75, 2.408, 3.328, 4.55, 6.096, 7.966",\
                 "0.632, 0.746, 1.008, 1.354, 1.82, 2.464, 3.364, 4.574, 6.108, 7.974");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.2678, 0.3808, 0.7316, 1.396, 2.489, 4.044, 6.096, 8.689, 11.85, 15.61",\
                 "0.2673, 0.3818, 0.7308, 1.396, 2.484, 4.044, 6.103, 8.687, 11.84, 15.62",\
                 "0.2672, 0.381, 0.7298, 1.395, 2.488, 4.043, 6.102, 8.687, 11.84, 15.62",\
                 "0.2706, 0.385, 0.7322, 1.397, 2.484, 4.04, 6.096, 8.69, 11.85, 15.62",\
                 "0.2982, 0.4122, 0.7586, 1.411, 2.491, 4.041, 6.093, 8.683, 11.85, 15.62",\
                 "0.33, 0.4444, 0.7872, 1.429, 2.5, 4.045, 6.102, 8.686, 11.84, 15.62",\
                 "0.3688, 0.481, 0.8222, 1.448, 2.508, 4.053, 6.109, 8.699, 11.84, 15.62",\
                 "0.4122, 0.5256, 0.8704, 1.48, 2.52, 4.06, 6.106, 8.695, 11.85, 15.63",\
                 "0.4618, 0.576, 0.9252, 1.528, 2.549, 4.068, 6.11, 8.698, 11.85, 15.64",\
                 "0.512, 0.632, 0.986, 1.586, 2.588, 4.1, 6.124, 8.702, 11.85, 15.62");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("1.194, 1.293, 1.543, 1.892, 2.321, 2.843, 3.481, 4.259, 5.199, 6.315",\
                 "1.223, 1.321, 1.571, 1.921, 2.35, 2.871, 3.509, 4.288, 5.227, 6.344",\
                 "1.321, 1.42, 1.67, 2.019, 2.448, 2.97, 3.608, 4.386, 5.326, 6.443",\
                 "1.54, 1.638, 1.889, 2.238, 2.666, 3.188, 3.826, 4.605, 5.544, 6.661",\
                 "1.905, 2.004, 2.253, 2.601, 3.03, 3.552, 4.19, 4.969, 5.908, 7.025",\
                 "2.352, 2.456, 2.717, 3.073, 3.508, 4.031, 4.67, 5.448, 6.388, 7.504",\
                 "2.853, 2.964, 3.238, 3.607, 4.052, 4.584, 5.227, 6.007, 6.946, 8.062",\
                 "3.425, 3.541, 3.829, 4.211, 4.667, 5.206, 5.853, 6.637, 7.576, 8.692",\
                 "4.072, 4.195, 4.496, 4.894, 5.363, 5.91, 6.561, 7.346, 8.287, 9.405",\
                 "4.799, 4.927, 5.244, 5.66, 6.143, 6.701, 7.358, 8.146, 9.087, 10.21");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.7684, 0.8625, 1.127, 1.556, 2.193, 3.08, 4.247, 5.715, 7.506, 9.639",\
                 "0.7952, 0.8888, 1.153, 1.582, 2.219, 3.106, 4.274, 5.743, 7.532, 9.671",\
                 "0.8876, 0.981, 1.245, 1.675, 2.311, 3.199, 4.366, 5.835, 7.623, 9.761",\
                 "1.061, 1.154, 1.417, 1.844, 2.48, 3.366, 4.534, 6, 7.794, 9.925",\
                 "1.236, 1.333, 1.602, 2.033, 2.667, 3.553, 4.718, 6.184, 7.977, 10.11",\
                 "1.371, 1.472, 1.75, 2.184, 2.819, 3.704, 4.868, 6.333, 8.127, 10.26",\
                 "1.464, 1.571, 1.859, 2.298, 2.932, 3.815, 4.979, 6.444, 8.236, 10.37",\
                 "1.506, 1.619, 1.919, 2.368, 3.002, 3.882, 5.044, 6.51, 8.297, 10.43",\
                 "1.49, 1.609, 1.926, 2.387, 3.027, 3.907, 5.066, 6.529, 8.318, 10.45",\
                 "1.41, 1.537, 1.868, 2.346, 2.995, 3.88, 5.04, 6.502, 8.289, 10.42");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.3664, 0.4576, 0.6984, 1.062, 1.565, 2.276, 3.237, 4.492, 6.057, 7.953",\
                 "0.3668, 0.458, 0.6984, 1.064, 1.567, 2.275, 3.24, 4.49, 6.063, 7.953",\
                 "0.3666, 0.4578, 0.6986, 1.063, 1.569, 2.276, 3.24, 4.496, 6.063, 7.947",\
                 "0.3664, 0.458, 0.699, 1.065, 1.569, 2.276, 3.236, 4.496, 6.055, 7.949",\
                 "0.3772, 0.4674, 0.7064, 1.069, 1.57, 2.277, 3.238, 4.496, 6.064, 7.952",\
                 "0.429, 0.5202, 0.752, 1.108, 1.596, 2.293, 3.248, 4.5, 6.064, 7.954",\
                 "0.4788, 0.5754, 0.8086, 1.16, 1.646, 2.329, 3.272, 4.514, 6.069, 7.951",\
                 "0.5272, 0.629, 0.8676, 1.216, 1.695, 2.368, 3.298, 4.53, 6.08, 7.964",\
                 "0.578, 0.684, 0.934, 1.28, 1.75, 2.408, 3.328, 4.55, 6.096, 7.966",\
                 "0.632, 0.746, 1.008, 1.354, 1.82, 2.464, 3.364, 4.574, 6.108, 7.974");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04499, 0.1104, 0.2122, 0.3551, 0.5432, 0.7801, 1.069, 1.414");
          values("0.2678, 0.3808, 0.7316, 1.396, 2.489, 4.044, 6.096, 8.689, 11.85, 15.61",\
                 "0.2673, 0.3818, 0.7308, 1.396, 2.484, 4.044, 6.103, 8.687, 11.84, 15.62",\
                 "0.2672, 0.381, 0.7298, 1.395, 2.488, 4.043, 6.102, 8.687, 11.84, 15.62",\
                 "0.2706, 0.385, 0.7322, 1.397, 2.484, 4.04, 6.096, 8.69, 11.85, 15.62",\
                 "0.2982, 0.4122, 0.7586, 1.411, 2.491, 4.041, 6.093, 8.683, 11.85, 15.62",\
                 "0.33, 0.4444, 0.7872, 1.429, 2.5, 4.045, 6.102, 8.686, 11.84, 15.62",\
                 "0.3688, 0.481, 0.8222, 1.448, 2.508, 4.053, 6.109, 8.699, 11.84, 15.62",\
                 "0.4122, 0.5256, 0.8704, 1.48, 2.52, 4.06, 6.106, 8.695, 11.85, 15.63",\
                 "0.4618, 0.576, 0.9252, 1.528, 2.549, 4.068, 6.11, 8.698, 11.85, 15.64",\
                 "0.512, 0.632, 0.986, 1.586, 2.588, 4.1, 6.124, 8.702, 11.85, 15.62");
        }
      }
    }
  }