/*
 * 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__xor3_4) {
    area : 72.441600 ;

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

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

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

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

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

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

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

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

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

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

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

    pin(A1) {
      capacitance : 0.004488 ;
      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.005081 ;
      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.006737 ;
      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(Z) {
      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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.3325, 0.3204, 0.3, 0.288, 0.2812, 0.2775, 0.275, 0.2733, 0.2722, 0.2714",\
                 "0.3321, 0.32, 0.2994, 0.2873, 0.2807, 0.2768, 0.2745, 0.2728, 0.2717, 0.2709",\
                 "0.3314, 0.3195, 0.2988, 0.2868, 0.2801, 0.2763, 0.2739, 0.2723, 0.2712, 0.2703",\
                 "0.332, 0.3201, 0.2995, 0.2876, 0.281, 0.277, 0.2746, 0.273, 0.2718, 0.271",\
                 "0.3351, 0.3231, 0.3023, 0.2905, 0.2838, 0.2801, 0.2776, 0.276, 0.2749, 0.274",\
                 "0.3408, 0.3287, 0.3081, 0.2959, 0.2894, 0.2855, 0.2832, 0.2815, 0.2804, 0.2794",\
                 "0.3487, 0.3367, 0.3162, 0.3041, 0.2976, 0.2937, 0.2912, 0.2896, 0.2884, 0.2873",\
                 "0.3594, 0.3472, 0.3268, 0.3148, 0.3081, 0.3043, 0.3017, 0.3001, 0.2988, 0.2971",\
                 "0.3728, 0.3607, 0.3402, 0.3281, 0.3215, 0.3177, 0.3152, 0.3135, 0.3116, 0.308",\
                 "0.3893, 0.3771, 0.3566, 0.3446, 0.338, 0.334, 0.3314, 0.3288, 0.3236, 0.3156");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.3, 0.2931, 0.283, 0.2764, 0.2739, 0.2731, 0.2754, 0.2987, 0.4848, 1.182",\
                 "0.2998, 0.2931, 0.2832, 0.2768, 0.2743, 0.2731, 0.2757, 0.2984, 0.4897, 1.197",\
                 "0.2995, 0.2929, 0.2829, 0.2761, 0.2738, 0.2731, 0.2745, 0.3015, 0.5061, 1.243",\
                 "0.2999, 0.2932, 0.2834, 0.2769, 0.2744, 0.2737, 0.277, 0.3068, 0.5357, 1.325",\
                 "0.3017, 0.2948, 0.2852, 0.2787, 0.2758, 0.2749, 0.2779, 0.316, 0.5822, 1.442",\
                 "0.3044, 0.2977, 0.2879, 0.2813, 0.2788, 0.2781, 0.2823, 0.3336, 0.655, 1.609",\
                 "0.3094, 0.3031, 0.2929, 0.2869, 0.2845, 0.2838, 0.2898, 0.3617, 0.7666, 1.837",\
                 "0.3173, 0.3107, 0.3009, 0.2944, 0.291, 0.2937, 0.3018, 0.4115, 0.9383, 2.14",\
                 "0.3274, 0.321, 0.3112, 0.3045, 0.3012, 0.3004, 0.32, 0.5009, 1.202, 2.521",\
                 "0.3402, 0.3336, 0.3237, 0.3169, 0.3139, 0.3139, 0.3527, 0.6665, 1.587, 2.949");
        }
      }

      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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.3488, 0.3417, 0.333, 0.3287, 0.3267, 0.3256, 0.3252, 0.3248, 0.3246, 0.3244",\
                 "0.3488, 0.3416, 0.3328, 0.3286, 0.3264, 0.3255, 0.325, 0.3247, 0.3245, 0.3243",\
                 "0.3485, 0.3414, 0.3325, 0.3283, 0.3263, 0.3254, 0.3249, 0.3245, 0.3242, 0.3241",\
                 "0.3488, 0.3417, 0.3331, 0.3288, 0.3268, 0.3258, 0.3252, 0.3249, 0.3246, 0.3245",\
                 "0.3507, 0.3435, 0.3348, 0.3304, 0.3284, 0.3274, 0.327, 0.3266, 0.3264, 0.3262",\
                 "0.354, 0.3469, 0.3381, 0.3339, 0.332, 0.3311, 0.3304, 0.33, 0.3299, 0.3296",\
                 "0.3594, 0.3524, 0.3438, 0.3395, 0.3376, 0.3365, 0.336, 0.3356, 0.3353, 0.335",\
                 "0.3673, 0.3602, 0.3515, 0.3471, 0.3452, 0.3443, 0.3437, 0.3433, 0.3431, 0.3426",\
                 "0.3775, 0.3702, 0.3615, 0.3573, 0.3554, 0.3544, 0.3538, 0.3535, 0.3532, 0.3523",\
                 "0.3902, 0.3831, 0.3743, 0.37, 0.3681, 0.367, 0.3666, 0.366, 0.3656, 0.3639");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.2872, 0.2833, 0.2778, 0.2763, 0.2766, 0.2781, 0.2819, 0.3022, 0.4818, 1.153",\
                 "0.2868, 0.2826, 0.2776, 0.2758, 0.2767, 0.2778, 0.2804, 0.3027, 0.4831, 1.166",\
                 "0.2861, 0.282, 0.2766, 0.2752, 0.2762, 0.2778, 0.281, 0.3045, 0.4985, 1.21",\
                 "0.287, 0.2827, 0.2774, 0.2755, 0.2767, 0.2787, 0.2816, 0.311, 0.5331, 1.306",\
                 "0.2898, 0.2859, 0.2808, 0.2788, 0.2798, 0.2814, 0.2844, 0.3267, 0.6003, 1.478",\
                 "0.2956, 0.2914, 0.2863, 0.2846, 0.2857, 0.2876, 0.2919, 0.3552, 0.7259, 1.754",\
                 "0.3036, 0.2995, 0.2942, 0.2927, 0.2937, 0.295, 0.3044, 0.4165, 0.9503, 2.16",\
                 "0.3144, 0.31, 0.305, 0.3034, 0.3042, 0.3058, 0.3313, 0.5545, 1.345, 2.701",\
                 "0.328, 0.3237, 0.3186, 0.3164, 0.3174, 0.3234, 0.4075, 0.8862, 1.963, 3.253",\
                 "0.3444, 0.3401, 0.3349, 0.3327, 0.3338, 0.3706, 0.7026, 1.57, 2.609, 3.455");
        }
      }

      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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.273, 0.2609, 0.2403, 0.2281, 0.2213, 0.2174, 0.215, 0.2134, 0.2122, 0.2114",\
                 "0.2731, 0.261, 0.2404, 0.2282, 0.2215, 0.2175, 0.2151, 0.2135, 0.2123, 0.2115",\
                 "0.2732, 0.2611, 0.2405, 0.2283, 0.2216, 0.2176, 0.2152, 0.2135, 0.2124, 0.2116",\
                 "0.2737, 0.2616, 0.2409, 0.2287, 0.2219, 0.218, 0.2156, 0.214, 0.2128, 0.212",\
                 "0.2754, 0.2633, 0.2425, 0.2302, 0.2235, 0.2195, 0.2171, 0.2154, 0.2144, 0.2135",\
                 "0.279, 0.2669, 0.2459, 0.2335, 0.2268, 0.2228, 0.2203, 0.2186, 0.2174, 0.2165",\
                 "0.2846, 0.2723, 0.2513, 0.2388, 0.2318, 0.2278, 0.2252, 0.2235, 0.2224, 0.2214",\
                 "0.2929, 0.2805, 0.259, 0.2461, 0.2391, 0.235, 0.2325, 0.2308, 0.2295, 0.2285",\
                 "0.3037, 0.2914, 0.2696, 0.2563, 0.2489, 0.2447, 0.242, 0.2403, 0.239, 0.2377",\
                 "0.3173, 0.3047, 0.2824, 0.2687, 0.2611, 0.2568, 0.254, 0.2523, 0.2507, 0.2486");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.2838, 0.2772, 0.2677, 0.2614, 0.2587, 0.2585, 0.2607, 0.28, 0.4424, 1.083",\
                 "0.2837, 0.277, 0.2674, 0.2611, 0.2587, 0.2588, 0.2604, 0.28, 0.4476, 1.097",\
                 "0.2833, 0.2766, 0.2671, 0.2607, 0.2587, 0.2582, 0.261, 0.2817, 0.4615, 1.142",\
                 "0.2838, 0.2772, 0.2678, 0.2614, 0.2587, 0.2591, 0.2608, 0.2876, 0.4958, 1.242",\
                 "0.2857, 0.2792, 0.2698, 0.2634, 0.2608, 0.26, 0.2639, 0.3007, 0.5657, 1.422",\
                 "0.2905, 0.2838, 0.2746, 0.2679, 0.2654, 0.2647, 0.269, 0.3318, 0.6993, 1.721",\
                 "0.2995, 0.2927, 0.2827, 0.2761, 0.2735, 0.2736, 0.2828, 0.3989, 0.9451, 2.164",\
                 "0.311, 0.304, 0.2936, 0.2866, 0.2839, 0.283, 0.3113, 0.5536, 1.377, 2.739",\
                 "0.3252, 0.318, 0.3071, 0.2982, 0.2954, 0.2998, 0.4012, 0.9369, 2.041, 3.289",\
                 "0.342, 0.3345, 0.3228, 0.3145, 0.3105, 0.3649, 0.7763, 1.681, 2.639, 3.38");
        }
      }

      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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.3355, 0.3285, 0.3197, 0.3154, 0.3135, 0.3125, 0.312, 0.3116, 0.3114, 0.3112",\
                 "0.3355, 0.3284, 0.3196, 0.3155, 0.3135, 0.3125, 0.3119, 0.3116, 0.3113, 0.3111",\
                 "0.3352, 0.328, 0.3192, 0.3151, 0.313, 0.3121, 0.3115, 0.3112, 0.3109, 0.3107",\
                 "0.3356, 0.3285, 0.3197, 0.3155, 0.3135, 0.3124, 0.3119, 0.3116, 0.3114, 0.3112",\
                 "0.3376, 0.3306, 0.3217, 0.3176, 0.3156, 0.3145, 0.314, 0.3137, 0.3134, 0.3132",\
                 "0.3421, 0.335, 0.3262, 0.3219, 0.32, 0.3191, 0.3185, 0.3181, 0.3179, 0.3175",\
                 "0.349, 0.3417, 0.3331, 0.3288, 0.3269, 0.3258, 0.3253, 0.325, 0.3246, 0.3242",\
                 "0.3578, 0.3507, 0.3419, 0.3376, 0.3357, 0.3348, 0.3342, 0.3338, 0.3334, 0.3322",\
                 "0.369, 0.3618, 0.353, 0.3488, 0.3468, 0.3458, 0.3453, 0.3447, 0.3436, 0.3402",\
                 "0.3825, 0.3755, 0.3664, 0.3621, 0.3603, 0.3593, 0.3587, 0.3569, 0.3513, 0.3433");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.2274, 0.2232, 0.218, 0.2163, 0.217, 0.2189, 0.222, 0.2369, 0.3768, 0.9533",\
                 "0.2275, 0.2233, 0.2179, 0.2162, 0.2173, 0.2189, 0.2217, 0.2369, 0.3798, 0.9645",\
                 "0.2274, 0.2236, 0.2182, 0.2167, 0.2174, 0.2195, 0.2211, 0.2385, 0.3918, 1.005",\
                 "0.2283, 0.224, 0.2189, 0.2174, 0.2183, 0.2198, 0.2214, 0.2427, 0.4168, 1.085",\
                 "0.2304, 0.226, 0.2209, 0.2192, 0.2204, 0.2219, 0.2254, 0.2518, 0.4612, 1.209",\
                 "0.2337, 0.2296, 0.2244, 0.2225, 0.2234, 0.2249, 0.2282, 0.2668, 0.5298, 1.386",\
                 "0.2389, 0.2348, 0.2293, 0.2275, 0.2295, 0.2308, 0.2344, 0.2915, 0.6375, 1.63",\
                 "0.2461, 0.2418, 0.2365, 0.2338, 0.2343, 0.2383, 0.2463, 0.3365, 0.8078, 1.954",\
                 "0.2551, 0.2508, 0.2455, 0.2429, 0.2429, 0.2429, 0.2617, 0.4233, 1.079, 2.372",\
                 "0.2663, 0.2619, 0.2564, 0.2544, 0.2539, 0.2567, 0.2927, 0.589, 1.487, 2.851");
        }
      }

      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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.3295, 0.3175, 0.2969, 0.285, 0.2783, 0.2744, 0.272, 0.2703, 0.2693, 0.2684",\
                 "0.3288, 0.3168, 0.2962, 0.2843, 0.2775, 0.2736, 0.2713, 0.2697, 0.2685, 0.2677",\
                 "0.3287, 0.3166, 0.296, 0.2841, 0.2775, 0.2735, 0.271, 0.2694, 0.2683, 0.2675",\
                 "0.33, 0.3179, 0.2974, 0.2854, 0.2787, 0.2749, 0.2725, 0.2708, 0.2697, 0.2688",\
                 "0.3332, 0.3211, 0.3006, 0.2886, 0.2821, 0.278, 0.2757, 0.274, 0.2729, 0.272",\
                 "0.3381, 0.3261, 0.3055, 0.2933, 0.2868, 0.283, 0.2806, 0.2789, 0.2778, 0.2768",\
                 "0.3449, 0.3328, 0.3122, 0.3003, 0.2936, 0.2897, 0.2874, 0.2858, 0.2846, 0.2835",\
                 "0.3537, 0.3418, 0.3212, 0.3092, 0.3026, 0.2987, 0.2962, 0.2946, 0.2933, 0.2913",\
                 "0.3648, 0.3528, 0.3322, 0.3201, 0.3135, 0.3097, 0.3072, 0.3055, 0.3033, 0.299",\
                 "0.3784, 0.3663, 0.3457, 0.3337, 0.3271, 0.3232, 0.3205, 0.3171, 0.3105, 0.3019");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.2905, 0.2839, 0.2741, 0.2681, 0.2649, 0.2651, 0.2673, 0.289, 0.4686, 1.151",\
                 "0.2906, 0.284, 0.2746, 0.2682, 0.2659, 0.266, 0.267, 0.2898, 0.4738, 1.166",\
                 "0.2907, 0.2841, 0.2742, 0.2684, 0.2659, 0.266, 0.2685, 0.2916, 0.4896, 1.212",\
                 "0.2913, 0.2848, 0.2752, 0.269, 0.2667, 0.2666, 0.2689, 0.2975, 0.5195, 1.29",\
                 "0.2932, 0.2866, 0.2769, 0.2707, 0.2681, 0.2675, 0.2704, 0.3063, 0.5631, 1.403",\
                 "0.2963, 0.2897, 0.28, 0.2736, 0.2708, 0.271, 0.2748, 0.3223, 0.6305, 1.562",\
                 "0.3012, 0.2946, 0.2846, 0.2791, 0.2767, 0.2761, 0.2807, 0.3471, 0.7355, 1.783",\
                 "0.3078, 0.3011, 0.2913, 0.2846, 0.2817, 0.2847, 0.2918, 0.3914, 0.8937, 2.073",\
                 "0.3166, 0.3101, 0.3005, 0.293, 0.2905, 0.2909, 0.3071, 0.4722, 1.138, 2.437",\
                 "0.3271, 0.3207, 0.3108, 0.3039, 0.3012, 0.3001, 0.3344, 0.6168, 1.496, 2.859");
        }
      }

      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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.3405, 0.3333, 0.3246, 0.3204, 0.3184, 0.3174, 0.3168, 0.3165, 0.3163, 0.3161",\
                 "0.3406, 0.3335, 0.3248, 0.3205, 0.3185, 0.3175, 0.317, 0.3166, 0.3165, 0.3162",\
                 "0.3408, 0.3336, 0.3249, 0.3207, 0.3184, 0.3177, 0.3172, 0.3167, 0.3166, 0.3163",\
                 "0.3414, 0.3342, 0.3256, 0.3213, 0.3193, 0.3183, 0.3178, 0.3174, 0.3172, 0.317",\
                 "0.3432, 0.3361, 0.3273, 0.3231, 0.321, 0.3201, 0.3196, 0.3193, 0.3191, 0.3188",\
                 "0.3465, 0.3393, 0.3306, 0.3262, 0.3242, 0.3232, 0.3227, 0.3224, 0.3222, 0.3219",\
                 "0.3512, 0.3441, 0.3353, 0.3312, 0.3291, 0.3281, 0.3275, 0.3272, 0.327, 0.3267",\
                 "0.3579, 0.3507, 0.3419, 0.3378, 0.3358, 0.3348, 0.3343, 0.3339, 0.3336, 0.3332",\
                 "0.3665, 0.3594, 0.3506, 0.3464, 0.3444, 0.3434, 0.3429, 0.3425, 0.3422, 0.3414",\
                 "0.3772, 0.3699, 0.3611, 0.3568, 0.3549, 0.354, 0.3534, 0.3531, 0.3526, 0.3512");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.2842, 0.28, 0.2745, 0.2728, 0.2736, 0.275, 0.279, 0.2988, 0.4754, 1.14",\
                 "0.2835, 0.2793, 0.2741, 0.272, 0.2734, 0.2753, 0.2772, 0.2989, 0.4778, 1.151",\
                 "0.2833, 0.2789, 0.2737, 0.2723, 0.2731, 0.275, 0.2779, 0.3007, 0.4927, 1.197",\
                 "0.2847, 0.2805, 0.2751, 0.2733, 0.2745, 0.2765, 0.2785, 0.3091, 0.5309, 1.307",\
                 "0.2878, 0.2836, 0.2785, 0.2764, 0.2778, 0.2792, 0.2834, 0.3255, 0.6089, 1.498",\
                 "0.2928, 0.2887, 0.2833, 0.2821, 0.2829, 0.2851, 0.2895, 0.3577, 0.7485, 1.799",\
                 "0.2998, 0.2955, 0.2904, 0.2885, 0.2898, 0.2913, 0.3033, 0.4275, 0.9965, 2.233",\
                 "0.3087, 0.3046, 0.2992, 0.2975, 0.2987, 0.3003, 0.3305, 0.5872, 1.428, 2.794",\
                 "0.3199, 0.3155, 0.3104, 0.3079, 0.3092, 0.3162, 0.4254, 0.9765, 2.089, 3.324",\
                 "0.3335, 0.3293, 0.3241, 0.3215, 0.3228, 0.384, 0.8107, 1.72, 2.664, 3.387");
        }
      }

      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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.2753, 0.2633, 0.2425, 0.2304, 0.2236, 0.2198, 0.2173, 0.2157, 0.2146, 0.2137",\
                 "0.2755, 0.2633, 0.2427, 0.2305, 0.2238, 0.2198, 0.2174, 0.2157, 0.2146, 0.2138",\
                 "0.2755, 0.2634, 0.2428, 0.2306, 0.2239, 0.2199, 0.2174, 0.2158, 0.2147, 0.2139",\
                 "0.2759, 0.2639, 0.2432, 0.231, 0.2243, 0.2203, 0.2178, 0.2163, 0.2151, 0.2143",\
                 "0.2777, 0.2654, 0.2445, 0.2324, 0.2256, 0.2217, 0.2193, 0.2176, 0.2165, 0.2157",\
                 "0.2807, 0.2687, 0.2477, 0.2354, 0.2286, 0.2246, 0.2221, 0.2205, 0.2193, 0.2184",\
                 "0.2861, 0.2738, 0.2527, 0.2401, 0.2334, 0.2293, 0.2268, 0.2251, 0.224, 0.223",\
                 "0.294, 0.2817, 0.2603, 0.2475, 0.2404, 0.2362, 0.2336, 0.232, 0.2308, 0.2297",\
                 "0.3044, 0.292, 0.2702, 0.2572, 0.2498, 0.2456, 0.243, 0.2412, 0.2399, 0.2385",\
                 "0.3175, 0.3048, 0.2827, 0.2691, 0.2616, 0.2573, 0.2546, 0.2527, 0.2513, 0.2493");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.29, 0.2833, 0.2734, 0.2669, 0.2637, 0.2639, 0.2655, 0.2859, 0.4556, 1.112",\
                 "0.2898, 0.283, 0.273, 0.2666, 0.2637, 0.263, 0.2649, 0.2859, 0.46, 1.124",\
                 "0.2894, 0.2826, 0.273, 0.2665, 0.2636, 0.263, 0.2649, 0.288, 0.4742, 1.172",\
                 "0.2901, 0.2832, 0.2735, 0.2669, 0.2647, 0.2642, 0.2662, 0.2949, 0.5115, 1.275",\
                 "0.2922, 0.2854, 0.2757, 0.2692, 0.2664, 0.2666, 0.2687, 0.3095, 0.5849, 1.46",\
                 "0.297, 0.2902, 0.2805, 0.2738, 0.2714, 0.2713, 0.2753, 0.3415, 0.7236, 1.765",\
                 "0.3059, 0.2988, 0.2889, 0.2819, 0.279, 0.2781, 0.2886, 0.414, 0.9833, 2.22",\
                 "0.318, 0.3109, 0.3001, 0.2928, 0.2898, 0.2895, 0.3205, 0.5827, 1.437, 2.802",\
                 "0.3324, 0.3249, 0.3141, 0.3059, 0.3029, 0.3077, 0.4238, 0.998, 2.117, 3.333",\
                 "0.3491, 0.3414, 0.3299, 0.3215, 0.318, 0.3871, 0.8502, 1.763, 2.666, 3.347");
        }
      }

      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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.3415, 0.3344, 0.3256, 0.3214, 0.3193, 0.3183, 0.3179, 0.3175, 0.3173, 0.3171",\
                 "0.3412, 0.334, 0.3254, 0.3211, 0.3192, 0.3181, 0.3176, 0.3172, 0.317, 0.3169",\
                 "0.3411, 0.3339, 0.3252, 0.321, 0.319, 0.318, 0.3175, 0.3171, 0.3169, 0.3167",\
                 "0.3417, 0.3346, 0.3258, 0.3216, 0.3195, 0.3185, 0.3181, 0.3177, 0.3175, 0.3173",\
                 "0.3439, 0.3368, 0.328, 0.3238, 0.3217, 0.3208, 0.3202, 0.32, 0.3197, 0.3195",\
                 "0.3484, 0.3413, 0.3326, 0.3283, 0.3263, 0.3253, 0.3247, 0.3244, 0.3242, 0.3238",\
                 "0.3555, 0.3483, 0.3395, 0.3351, 0.3332, 0.3323, 0.3318, 0.3315, 0.3312, 0.3307",\
                 "0.3647, 0.3577, 0.3487, 0.3445, 0.3426, 0.3416, 0.341, 0.3407, 0.3403, 0.339",\
                 "0.3762, 0.369, 0.3602, 0.3558, 0.3539, 0.353, 0.3526, 0.352, 0.3508, 0.3469",\
                 "0.39, 0.3829, 0.3741, 0.3696, 0.3679, 0.3669, 0.3662, 0.3637, 0.3575, 0.3492");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.2297, 0.2255, 0.2204, 0.2181, 0.2191, 0.2209, 0.2231, 0.2396, 0.3792, 0.9581",\
                 "0.2299, 0.2255, 0.2202, 0.2185, 0.2197, 0.2218, 0.224, 0.2398, 0.3829, 0.9702",\
                 "0.2297, 0.2256, 0.2203, 0.2188, 0.2198, 0.2212, 0.2231, 0.2409, 0.3952, 1.007",\
                 "0.2305, 0.2264, 0.221, 0.2195, 0.2204, 0.2224, 0.2241, 0.2445, 0.4177, 1.076",\
                 "0.2322, 0.2279, 0.2228, 0.221, 0.222, 0.2236, 0.2268, 0.2525, 0.4561, 1.191",\
                 "0.2355, 0.2313, 0.2259, 0.2245, 0.2253, 0.2269, 0.2299, 0.2663, 0.5199, 1.355",\
                 "0.2403, 0.2361, 0.2307, 0.2284, 0.2308, 0.2326, 0.2355, 0.2885, 0.617, 1.584",\
                 "0.2472, 0.2431, 0.2375, 0.2351, 0.2355, 0.2392, 0.2471, 0.3298, 0.7708, 1.889",\
                 "0.2564, 0.252, 0.2467, 0.2449, 0.244, 0.2459, 0.2604, 0.4047, 1.02, 2.29",\
                 "0.2674, 0.2632, 0.2579, 0.2552, 0.2564, 0.2569, 0.2863, 0.5471, 1.396, 2.758");
        }
      }

      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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.2673, 0.2553, 0.2347, 0.223, 0.2161, 0.2124, 0.2099, 0.2083, 0.2072, 0.2064",\
                 "0.2667, 0.2547, 0.2344, 0.2225, 0.2157, 0.2118, 0.2094, 0.2078, 0.2067, 0.2058",\
                 "0.2655, 0.2536, 0.2331, 0.2211, 0.2144, 0.2107, 0.2082, 0.2066, 0.2055, 0.2047",\
                 "0.2664, 0.2543, 0.2336, 0.2216, 0.215, 0.2112, 0.2088, 0.2073, 0.2062, 0.2054",\
                 "0.2753, 0.2628, 0.2409, 0.2276, 0.2203, 0.2161, 0.2135, 0.2117, 0.2105, 0.2097",\
                 "0.3004, 0.2863, 0.2604, 0.2433, 0.2334, 0.2275, 0.2239, 0.2215, 0.2199, 0.2187",\
                 "0.3318, 0.3162, 0.2857, 0.2644, 0.2516, 0.244, 0.2391, 0.2358, 0.2337, 0.232",\
                 "0.3676, 0.3505, 0.316, 0.2907, 0.2752, 0.2652, 0.2589, 0.2549, 0.2519, 0.2494",\
                 "0.4091, 0.3909, 0.3527, 0.3228, 0.3043, 0.292, 0.2843, 0.2788, 0.2748, 0.2709",\
                 "0.4576, 0.4385, 0.3965, 0.3621, 0.3394, 0.325, 0.3153, 0.3083, 0.3021, 0.2943");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.1528, 0.1489, 0.1449, 0.1441, 0.1453, 0.1467, 0.1498, 0.1595, 0.2565, 0.7075",\
                 "0.153, 0.1495, 0.1452, 0.1445, 0.1457, 0.1473, 0.1507, 0.1598, 0.2595, 0.7187",\
                 "0.1535, 0.1497, 0.1454, 0.1444, 0.1457, 0.1473, 0.1495, 0.1608, 0.2673, 0.7491",\
                 "0.1586, 0.1543, 0.1484, 0.1463, 0.1466, 0.1485, 0.1513, 0.1633, 0.2864, 0.8158",\
                 "0.1718, 0.1659, 0.1584, 0.1538, 0.152, 0.1527, 0.1543, 0.1713, 0.321, 0.9242",\
                 "0.1905, 0.1831, 0.1721, 0.1642, 0.1626, 0.1608, 0.1628, 0.1855, 0.3755, 1.084",\
                 "0.2154, 0.2057, 0.1917, 0.1813, 0.1754, 0.1755, 0.1755, 0.2108, 0.4667, 1.308",\
                 "0.2467, 0.2349, 0.2173, 0.2037, 0.1943, 0.1913, 0.1965, 0.2557, 0.6173, 1.632",\
                 "0.2848, 0.2703, 0.2491, 0.2328, 0.22, 0.2125, 0.2201, 0.3347, 0.8701, 2.077",\
                 "0.3293, 0.3124, 0.2876, 0.2675, 0.2534, 0.2441, 0.2589, 0.4855, 1.276, 2.625");
        }
      }

      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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.2488, 0.2417, 0.2327, 0.2284, 0.2264, 0.2254, 0.2248, 0.2243, 0.2241, 0.2239",\
                 "0.2487, 0.2416, 0.2327, 0.2284, 0.2264, 0.2253, 0.2247, 0.2243, 0.2241, 0.2239",\
                 "0.2478, 0.2406, 0.2318, 0.2274, 0.2254, 0.2243, 0.2237, 0.2233, 0.2231, 0.2228",\
                 "0.2469, 0.2398, 0.2309, 0.2265, 0.2244, 0.2235, 0.2228, 0.2224, 0.2222, 0.222",\
                 "0.2476, 0.2406, 0.2318, 0.2277, 0.2256, 0.2247, 0.2241, 0.2237, 0.2235, 0.2233",\
                 "0.2519, 0.2446, 0.236, 0.2315, 0.2296, 0.2287, 0.2281, 0.2276, 0.2275, 0.2273",\
                 "0.2596, 0.2523, 0.2431, 0.2386, 0.2363, 0.2353, 0.2347, 0.2343, 0.2341, 0.2339",\
                 "0.2707, 0.2631, 0.2533, 0.2484, 0.246, 0.2449, 0.2443, 0.2438, 0.2436, 0.2433",\
                 "0.285, 0.2772, 0.2668, 0.2614, 0.2587, 0.2574, 0.2567, 0.2563, 0.2559, 0.2555",\
                 "0.303, 0.2948, 0.2837, 0.2777, 0.2746, 0.2732, 0.2726, 0.2721, 0.2716, 0.2709");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.2492, 0.2446, 0.2388, 0.236, 0.2363, 0.2378, 0.24, 0.2538, 0.3745, 0.9013",\
                 "0.2489, 0.2447, 0.2385, 0.2357, 0.236, 0.2375, 0.2391, 0.2522, 0.3772, 0.9118",\
                 "0.2492, 0.2449, 0.2387, 0.2357, 0.2362, 0.2378, 0.2397, 0.2553, 0.3896, 0.9541",\
                 "0.2504, 0.2461, 0.24, 0.2374, 0.2376, 0.2393, 0.2412, 0.2602, 0.4196, 1.045",\
                 "0.2542, 0.2495, 0.2435, 0.2406, 0.2414, 0.2426, 0.2449, 0.2713, 0.4751, 1.205",\
                 "0.2607, 0.2559, 0.2496, 0.2469, 0.2472, 0.248, 0.2528, 0.293, 0.5738, 1.457",\
                 "0.27, 0.2651, 0.2586, 0.2558, 0.2562, 0.2569, 0.2635, 0.338, 0.7547, 1.835",\
                 "0.2823, 0.2775, 0.2705, 0.2666, 0.2674, 0.2693, 0.2826, 0.4356, 1.078, 2.367",\
                 "0.2984, 0.2935, 0.2861, 0.2822, 0.2813, 0.2856, 0.334, 0.6779, 1.637, 2.996",\
                 "0.3177, 0.3124, 0.305, 0.3003, 0.299, 0.3136, 0.5153, 1.251, 2.376, 3.428");
        }
      }

      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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.2487, 0.2416, 0.2327, 0.2284, 0.2264, 0.2254, 0.2248, 0.2244, 0.2241, 0.2239",\
                 "0.2487, 0.2417, 0.2327, 0.2284, 0.2263, 0.2254, 0.2247, 0.2243, 0.2241, 0.2238",\
                 "0.2478, 0.2406, 0.2318, 0.2274, 0.2254, 0.2243, 0.2237, 0.2233, 0.2231, 0.2228",\
                 "0.2469, 0.2398, 0.2309, 0.2266, 0.2244, 0.2235, 0.2228, 0.2224, 0.2222, 0.222",\
                 "0.2476, 0.2406, 0.2318, 0.2277, 0.2256, 0.2247, 0.2241, 0.2238, 0.2235, 0.2234",\
                 "0.2519, 0.2448, 0.236, 0.2317, 0.2296, 0.2288, 0.2281, 0.2276, 0.2275, 0.2273",\
                 "0.2596, 0.2523, 0.2431, 0.2386, 0.2363, 0.2353, 0.2347, 0.2343, 0.2341, 0.2339",\
                 "0.2707, 0.2631, 0.2533, 0.2484, 0.246, 0.2449, 0.2442, 0.2438, 0.2436, 0.2433",\
                 "0.2851, 0.2772, 0.2668, 0.2614, 0.2587, 0.2574, 0.2567, 0.2563, 0.2559, 0.2555",\
                 "0.303, 0.2948, 0.2838, 0.2777, 0.2746, 0.2732, 0.2726, 0.2721, 0.2716, 0.2709");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.2492, 0.2446, 0.2388, 0.236, 0.2363, 0.2378, 0.24, 0.2535, 0.3753, 0.9013",\
                 "0.2491, 0.2445, 0.2385, 0.2357, 0.2361, 0.2375, 0.2403, 0.2522, 0.3772, 0.911",\
                 "0.2493, 0.2447, 0.2387, 0.236, 0.236, 0.2378, 0.2394, 0.2553, 0.3899, 0.9541",\
                 "0.2507, 0.2458, 0.2401, 0.2372, 0.2376, 0.2393, 0.2409, 0.2605, 0.4177, 1.045",\
                 "0.2542, 0.2497, 0.2434, 0.2408, 0.2411, 0.2426, 0.2455, 0.2713, 0.4733, 1.205",\
                 "0.2606, 0.2559, 0.2496, 0.2469, 0.2472, 0.248, 0.2528, 0.293, 0.5738, 1.457",\
                 "0.27, 0.2651, 0.2586, 0.2558, 0.256, 0.2569, 0.2635, 0.338, 0.7547, 1.835",\
                 "0.2825, 0.2777, 0.2705, 0.2666, 0.2678, 0.2693, 0.2835, 0.4356, 1.079, 2.367",\
                 "0.2984, 0.2935, 0.2861, 0.282, 0.2811, 0.285, 0.3343, 0.6779, 1.638, 2.995",\
                 "0.3179, 0.3126, 0.305, 0.3005, 0.2987, 0.3137, 0.5156, 1.25, 2.376, 3.428");
        }
      }

      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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.2674, 0.2554, 0.2347, 0.2229, 0.2163, 0.2123, 0.2099, 0.2083, 0.2072, 0.2063",\
                 "0.2667, 0.2548, 0.2342, 0.2225, 0.2157, 0.2119, 0.2094, 0.2078, 0.2067, 0.2058",\
                 "0.2656, 0.2536, 0.2329, 0.2211, 0.2145, 0.2106, 0.2082, 0.2066, 0.2055, 0.2047",\
                 "0.2664, 0.2543, 0.2336, 0.2216, 0.215, 0.2112, 0.2088, 0.2073, 0.2062, 0.2054",\
                 "0.2752, 0.2628, 0.2408, 0.2276, 0.2204, 0.2161, 0.2134, 0.2119, 0.2106, 0.2098",\
                 "0.3005, 0.2864, 0.2604, 0.2433, 0.2336, 0.2276, 0.2239, 0.2215, 0.2199, 0.2187",\
                 "0.3319, 0.3161, 0.2859, 0.2644, 0.2517, 0.244, 0.239, 0.2359, 0.2337, 0.232",\
                 "0.3676, 0.3506, 0.3159, 0.2908, 0.2752, 0.2653, 0.2589, 0.2548, 0.2519, 0.2494",\
                 "0.4091, 0.391, 0.3528, 0.3228, 0.3043, 0.2919, 0.2841, 0.2788, 0.2749, 0.271",\
                 "0.4576, 0.4385, 0.3965, 0.3621, 0.3393, 0.3251, 0.3153, 0.3085, 0.3021, 0.2943");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.1527, 0.1489, 0.1448, 0.1441, 0.1454, 0.1473, 0.1501, 0.1591, 0.2569, 0.7075",\
                 "0.1532, 0.1494, 0.1452, 0.1445, 0.1455, 0.1473, 0.1507, 0.1598, 0.2591, 0.7187",\
                 "0.1534, 0.1497, 0.1451, 0.1445, 0.1454, 0.1473, 0.1498, 0.1608, 0.2698, 0.7514",\
                 "0.1585, 0.1543, 0.1485, 0.1461, 0.1467, 0.1485, 0.1504, 0.1633, 0.286, 0.8173",\
                 "0.1719, 0.1662, 0.1583, 0.1535, 0.1525, 0.1527, 0.1543, 0.1716, 0.3217, 0.9242",\
                 "0.1904, 0.1831, 0.1715, 0.1642, 0.1622, 0.1605, 0.1634, 0.1849, 0.377, 1.081",\
                 "0.2155, 0.2059, 0.192, 0.1811, 0.1752, 0.1761, 0.1761, 0.2108, 0.4667, 1.309",\
                 "0.2468, 0.2347, 0.2173, 0.2033, 0.1946, 0.191, 0.1962, 0.2551, 0.6161, 1.635",\
                 "0.2847, 0.2704, 0.2496, 0.2327, 0.2208, 0.2137, 0.2201, 0.3354, 0.8704, 2.077",\
                 "0.3293, 0.3124, 0.2876, 0.2676, 0.2531, 0.2438, 0.2589, 0.4849, 1.277, 2.626");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("3.986, 4.07, 4.278, 4.568, 4.939, 5.419, 6.033, 6.801, 7.739, 8.855",\
                 "4.016, 4.099, 4.308, 4.597, 4.969, 5.449, 6.063, 6.831, 7.769, 8.885",\
                 "4.099, 4.183, 4.392, 4.681, 5.053, 5.532, 6.146, 6.915, 7.852, 8.969",\
                 "4.164, 4.247, 4.456, 4.745, 5.117, 5.596, 6.21, 6.979, 7.915, 9.032",\
                 "4.165, 4.248, 4.457, 4.746, 5.118, 5.597, 6.211, 6.98, 7.917, 9.034",\
                 "4.106, 4.189, 4.398, 4.687, 5.059, 5.538, 6.152, 6.921, 7.859, 8.976",\
                 "3.954, 4.039, 4.248, 4.537, 4.908, 5.388, 6.002, 6.771, 7.708, 8.825",\
                 "3.707, 3.79, 3.999, 4.288, 4.66, 5.139, 5.753, 6.522, 7.458, 8.575",\
                 "3.358, 3.44, 3.649, 3.939, 4.31, 4.79, 5.404, 6.172, 7.109, 8.226",\
                 "2.909, 2.993, 3.202, 3.491, 3.862, 4.341, 4.956, 5.724, 6.661, 7.779");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("3.417, 3.513, 3.782, 4.214, 4.851, 5.738, 6.905, 8.374, 10.16, 12.3",\
                 "3.434, 3.53, 3.799, 4.231, 4.868, 5.755, 6.92, 8.391, 10.18, 12.31",\
                 "3.509, 3.605, 3.874, 4.306, 4.944, 5.831, 6.996, 8.462, 10.26, 12.39",\
                 "3.682, 3.777, 4.046, 4.478, 5.115, 6.003, 7.169, 8.639, 10.43, 12.56",\
                 "3.992, 4.087, 4.356, 4.788, 5.426, 6.313, 7.478, 8.949, 10.74, 12.87",\
                 "4.432, 4.528, 4.797, 5.229, 5.866, 6.753, 7.92, 9.389, 11.18, 13.32",\
                 "4.993, 5.09, 5.358, 5.789, 6.428, 7.314, 8.48, 9.949, 11.74, 13.87",\
                 "5.68, 5.776, 6.045, 6.477, 7.114, 8, 9.167, 10.63, 12.43, 14.56",\
                 "6.49, 6.585, 6.854, 7.285, 7.923, 8.81, 9.974, 11.44, 13.23, 15.36",\
                 "7.419, 7.515, 7.784, 8.216, 8.854, 9.74, 10.91, 12.37, 14.16, 16.3");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.28, 0.3534, 0.5542, 0.8732, 1.373, 2.113, 3.121, 4.422, 6.017, 7.907",\
                 "0.2806, 0.3536, 0.5532, 0.8724, 1.374, 2.111, 3.125, 4.421, 6.018, 7.911",\
                 "0.2804, 0.3534, 0.5536, 0.873, 1.373, 2.11, 3.125, 4.421, 6.016, 7.921",\
                 "0.2804, 0.354, 0.5528, 0.874, 1.373, 2.111, 3.125, 4.422, 6.017, 7.92",\
                 "0.2804, 0.3536, 0.5532, 0.8734, 1.374, 2.111, 3.124, 4.422, 6.018, 7.916",\
                 "0.2806, 0.3534, 0.5534, 0.8724, 1.374, 2.113, 3.124, 4.422, 6.018, 7.915",\
                 "0.2802, 0.3542, 0.5542, 0.8728, 1.376, 2.113, 3.125, 4.42, 6.015, 7.92",\
                 "0.28, 0.3534, 0.5534, 0.8736, 1.373, 2.113, 3.12, 4.418, 6.006, 7.914",\
                 "0.28, 0.354, 0.554, 0.874, 1.374, 2.114, 3.124, 4.418, 6.006, 7.908",\
                 "0.28, 0.354, 0.554, 0.872, 1.374, 2.114, 3.126, 4.418, 6.006, 7.906");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.2784, 0.3942, 0.7446, 1.406, 2.488, 4.039, 6.103, 8.684, 11.85, 15.62",\
                 "0.2786, 0.395, 0.7452, 1.405, 2.487, 4.041, 6.097, 8.687, 11.85, 15.61",\
                 "0.2786, 0.3944, 0.7462, 1.406, 2.492, 4.046, 6.099, 8.688, 11.85, 15.62",\
                 "0.2788, 0.3942, 0.7448, 1.407, 2.488, 4.04, 6.103, 8.689, 11.85, 15.62",\
                 "0.2794, 0.3944, 0.7462, 1.405, 2.488, 4.046, 6.096, 8.694, 11.85, 15.61",\
                 "0.2786, 0.3938, 0.7466, 1.406, 2.488, 4.04, 6.098, 8.689, 11.85, 15.62",\
                 "0.279, 0.395, 0.7448, 1.407, 2.488, 4.041, 6.098, 8.688, 11.85, 15.62",\
                 "0.278, 0.396, 0.746, 1.406, 2.486, 4.046, 6.102, 8.692, 11.84, 15.61",\
                 "0.28, 0.394, 0.746, 1.406, 2.49, 4.046, 6.098, 8.692, 11.84, 15.61",\
                 "0.278, 0.396, 0.744, 1.406, 2.492, 4.042, 6.092, 8.678, 11.84, 15.6");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("2.112, 2.215, 2.478, 2.843, 3.288, 3.822, 4.469, 5.252, 6.195, 7.312",\
                 "2.135, 2.239, 2.501, 2.866, 3.311, 3.846, 4.492, 5.276, 6.218, 7.336",\
                 "2.218, 2.322, 2.585, 2.949, 3.394, 3.929, 4.575, 5.359, 6.301, 7.419",\
                 "2.36, 2.464, 2.727, 3.091, 3.536, 4.071, 4.717, 5.501, 6.443, 7.561",\
                 "2.484, 2.588, 2.85, 3.215, 3.66, 4.194, 4.841, 5.624, 6.566, 7.684",\
                 "2.545, 2.649, 2.912, 3.277, 3.722, 4.257, 4.903, 5.687, 6.629, 7.747",\
                 "2.534, 2.638, 2.901, 3.266, 3.711, 4.246, 4.893, 5.677, 6.619, 7.737",\
                 "2.441, 2.545, 2.808, 3.174, 3.62, 4.155, 4.801, 5.585, 6.528, 7.644",\
                 "2.256, 2.36, 2.625, 2.99, 3.437, 3.971, 4.619, 5.402, 6.344, 7.464",\
                 "1.971, 2.076, 2.341, 2.708, 3.155, 3.691, 4.339, 5.123, 6.064, 7.182");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("3.057, 3.157, 3.434, 3.87, 4.507, 5.392, 6.558, 8.025, 9.815, 11.95",\
                 "3.087, 3.187, 3.463, 3.899, 4.537, 5.423, 6.587, 8.054, 9.844, 11.98",\
                 "3.185, 3.284, 3.561, 3.997, 4.634, 5.52, 6.685, 8.151, 9.941, 12.08",\
                 "3.41, 3.51, 3.786, 4.222, 4.859, 5.746, 6.91, 8.377, 10.17, 12.3",\
                 "3.805, 3.904, 4.181, 4.617, 5.254, 6.141, 7.305, 8.772, 10.56, 12.7",\
                 "4.381, 4.48, 4.758, 5.194, 5.831, 6.717, 7.881, 9.348, 11.14, 13.27",\
                 "5.108, 5.208, 5.485, 5.921, 6.558, 7.444, 8.608, 10.07, 11.87, 14",\
                 "5.95, 6.051, 6.329, 6.765, 7.403, 8.288, 9.453, 10.92, 12.71, 14.84",\
                 "6.916, 7.017, 7.296, 7.733, 8.37, 9.254, 10.42, 11.89, 13.68, 15.81",\
                 "8.017, 8.119, 8.398, 8.836, 9.473, 10.36, 11.52, 12.99, 14.78, 16.91");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.4038, 0.4996, 0.7484, 1.12, 1.627, 2.327, 3.283, 4.522, 6.085, 7.969",\
                 "0.404, 0.4998, 0.7476, 1.12, 1.628, 2.33, 3.282, 4.527, 6.08, 7.969",\
                 "0.405, 0.4996, 0.7476, 1.12, 1.629, 2.33, 3.283, 4.524, 6.078, 7.969",\
                 "0.4042, 0.4996, 0.748, 1.12, 1.627, 2.327, 3.28, 4.521, 6.086, 7.961",\
                 "0.4046, 0.5006, 0.749, 1.122, 1.629, 2.332, 3.28, 4.525, 6.084, 7.97",\
                 "0.4062, 0.5012, 0.7486, 1.124, 1.627, 2.331, 3.28, 4.524, 6.081, 7.973",\
                 "0.4074, 0.5028, 0.7506, 1.123, 1.628, 2.329, 3.278, 4.526, 6.084, 7.971",\
                 "0.4096, 0.5054, 0.7528, 1.125, 1.63, 2.329, 3.283, 4.52, 6.078, 7.966",\
                 "0.4138, 0.5096, 0.7576, 1.128, 1.632, 2.332, 3.28, 4.522, 6.076, 7.958",\
                 "0.418, 0.514, 0.762, 1.136, 1.636, 2.334, 3.286, 4.526, 6.08, 7.958");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.3164, 0.4312, 0.7818, 1.431, 2.503, 4.048, 6.109, 8.698, 11.86, 15.62",\
                 "0.3164, 0.4318, 0.7814, 1.429, 2.505, 4.05, 6.101, 8.695, 11.84, 15.6",\
                 "0.3164, 0.4316, 0.7816, 1.429, 2.506, 4.049, 6.1, 8.693, 11.85, 15.6",\
                 "0.3164, 0.4306, 0.7812, 1.431, 2.504, 4.051, 6.097, 8.699, 11.84, 15.61",\
                 "0.3162, 0.431, 0.7832, 1.431, 2.505, 4.048, 6.102, 8.695, 11.84, 15.62",\
                 "0.3176, 0.4316, 0.7826, 1.431, 2.505, 4.05, 6.109, 8.69, 11.85, 15.61",\
                 "0.321, 0.4342, 0.7826, 1.431, 2.505, 4.048, 6.106, 8.7, 11.84, 15.62",\
                 "0.324, 0.438, 0.788, 1.434, 2.502, 4.05, 6.104, 8.7, 11.84, 15.61",\
                 "0.33, 0.444, 0.792, 1.436, 2.508, 4.05, 6.108, 8.694, 11.86, 15.61",\
                 "0.334, 0.448, 0.796, 1.438, 2.504, 4.052, 6.104, 8.684, 11.85, 15.61");
        }
      }

      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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("3.986, 4.07, 4.278, 4.568, 4.939, 5.419, 6.033, 6.801, 7.739, 8.855",\
                 "4.016, 4.099, 4.308, 4.597, 4.969, 5.449, 6.063, 6.831, 7.769, 8.885",\
                 "4.099, 4.183, 4.392, 4.681, 5.053, 5.532, 6.146, 6.915, 7.852, 8.969",\
                 "4.164, 4.247, 4.456, 4.745, 5.117, 5.596, 6.21, 6.979, 7.915, 9.032",\
                 "4.165, 4.248, 4.457, 4.746, 5.118, 5.597, 6.211, 6.98, 7.917, 9.034",\
                 "4.106, 4.189, 4.398, 4.687, 5.059, 5.538, 6.152, 6.921, 7.859, 8.976",\
                 "3.954, 4.039, 4.248, 4.537, 4.908, 5.388, 6.002, 6.771, 7.708, 8.825",\
                 "3.707, 3.79, 3.999, 4.288, 4.66, 5.139, 5.753, 6.522, 7.458, 8.575",\
                 "3.358, 3.44, 3.649, 3.939, 4.31, 4.79, 5.404, 6.172, 7.109, 8.226",\
                 "2.909, 2.993, 3.202, 3.491, 3.862, 4.341, 4.956, 5.724, 6.661, 7.779");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("3.057, 3.157, 3.434, 3.87, 4.507, 5.392, 6.558, 8.025, 9.815, 11.95",\
                 "3.087, 3.187, 3.463, 3.899, 4.537, 5.423, 6.587, 8.054, 9.844, 11.98",\
                 "3.185, 3.284, 3.561, 3.997, 4.634, 5.52, 6.685, 8.151, 9.941, 12.08",\
                 "3.41, 3.51, 3.786, 4.222, 4.859, 5.746, 6.91, 8.377, 10.17, 12.3",\
                 "3.805, 3.904, 4.181, 4.617, 5.254, 6.141, 7.305, 8.772, 10.56, 12.7",\
                 "4.381, 4.48, 4.758, 5.194, 5.831, 6.717, 7.881, 9.348, 11.14, 13.27",\
                 "5.108, 5.208, 5.485, 5.921, 6.558, 7.444, 8.608, 10.07, 11.87, 14",\
                 "5.95, 6.051, 6.329, 6.765, 7.403, 8.288, 9.453, 10.92, 12.71, 14.84",\
                 "6.916, 7.017, 7.296, 7.733, 8.37, 9.254, 10.42, 11.89, 13.68, 15.81",\
                 "8.017, 8.119, 8.398, 8.836, 9.473, 10.36, 11.52, 12.99, 14.78, 16.91");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.4038, 0.4996, 0.7484, 1.12, 1.627, 2.327, 3.283, 4.522, 6.085, 7.969",\
                 "0.404, 0.4998, 0.7476, 1.12, 1.628, 2.33, 3.282, 4.527, 6.08, 7.969",\
                 "0.405, 0.4996, 0.7476, 1.12, 1.629, 2.33, 3.283, 4.524, 6.078, 7.969",\
                 "0.4042, 0.4996, 0.748, 1.12, 1.627, 2.327, 3.28, 4.521, 6.086, 7.961",\
                 "0.4046, 0.5006, 0.749, 1.122, 1.629, 2.332, 3.28, 4.525, 6.084, 7.97",\
                 "0.4062, 0.5012, 0.7486, 1.124, 1.627, 2.331, 3.28, 4.524, 6.081, 7.973",\
                 "0.4074, 0.5028, 0.7506, 1.123, 1.628, 2.329, 3.278, 4.526, 6.084, 7.971",\
                 "0.4096, 0.5054, 0.7528, 1.125, 1.63, 2.329, 3.283, 4.52, 6.078, 7.966",\
                 "0.4138, 0.5096, 0.7576, 1.128, 1.632, 2.332, 3.28, 4.522, 6.076, 7.958",\
                 "0.418, 0.514, 0.762, 1.136, 1.636, 2.334, 3.286, 4.526, 6.08, 7.958");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.2784, 0.3942, 0.7446, 1.406, 2.488, 4.039, 6.103, 8.684, 11.85, 15.62",\
                 "0.2786, 0.395, 0.7452, 1.405, 2.487, 4.041, 6.097, 8.687, 11.85, 15.61",\
                 "0.2786, 0.3944, 0.7462, 1.406, 2.492, 4.046, 6.099, 8.688, 11.85, 15.62",\
                 "0.2788, 0.3942, 0.7448, 1.407, 2.488, 4.04, 6.103, 8.689, 11.85, 15.62",\
                 "0.2794, 0.3944, 0.7462, 1.405, 2.488, 4.046, 6.096, 8.694, 11.85, 15.61",\
                 "0.2786, 0.3938, 0.7466, 1.406, 2.488, 4.04, 6.098, 8.689, 11.85, 15.62",\
                 "0.279, 0.395, 0.7448, 1.407, 2.488, 4.041, 6.098, 8.688, 11.85, 15.62",\
                 "0.278, 0.396, 0.746, 1.406, 2.486, 4.046, 6.102, 8.692, 11.84, 15.61",\
                 "0.28, 0.394, 0.746, 1.406, 2.49, 4.046, 6.098, 8.692, 11.84, 15.61",\
                 "0.278, 0.396, 0.744, 1.406, 2.492, 4.042, 6.092, 8.678, 11.84, 15.6");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("3.201, 3.305, 3.567, 3.931, 4.377, 4.911, 5.557, 6.341, 7.283, 8.401",\
                 "3.217, 3.321, 3.584, 3.948, 4.394, 4.928, 5.574, 6.358, 7.299, 8.418",\
                 "3.293, 3.397, 3.659, 4.024, 4.469, 5.003, 5.65, 6.433, 7.375, 8.493",\
                 "3.464, 3.568, 3.831, 4.195, 4.64, 5.174, 5.821, 6.604, 7.546, 8.664",\
                 "3.774, 3.877, 4.14, 4.505, 4.95, 5.484, 6.131, 6.914, 7.856, 8.974",\
                 "4.212, 4.316, 4.578, 4.943, 5.388, 5.922, 6.569, 7.352, 8.295, 9.413",\
                 "4.771, 4.874, 5.136, 5.502, 5.947, 6.482, 7.128, 7.912, 8.854, 9.972",\
                 "5.454, 5.557, 5.82, 6.185, 6.63, 7.164, 7.81, 8.595, 9.537, 10.65",\
                 "6.257, 6.36, 6.623, 6.987, 7.432, 7.966, 8.614, 9.397, 10.34, 11.46",\
                 "7.18, 7.284, 7.547, 7.912, 8.357, 8.891, 9.538, 10.32, 11.26, 12.38");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("3.647, 3.746, 4.023, 4.459, 5.097, 5.982, 7.147, 8.614, 10.41, 12.54",\
                 "3.677, 3.777, 4.054, 4.49, 5.127, 6.013, 7.177, 8.645, 10.43, 12.57",\
                 "3.76, 3.86, 4.137, 4.573, 5.21, 6.096, 7.261, 8.727, 10.52, 12.65",\
                 "3.824, 3.924, 4.201, 4.637, 5.275, 6.16, 7.325, 8.791, 10.58, 12.72",\
                 "3.825, 3.925, 4.202, 4.638, 5.275, 6.161, 7.325, 8.793, 10.58, 12.72",\
                 "3.76, 3.86, 4.137, 4.573, 5.21, 6.096, 7.261, 8.726, 10.52, 12.65",\
                 "3.605, 3.704, 3.981, 4.417, 5.054, 5.939, 7.105, 8.572, 10.36, 12.49",\
                 "3.355, 3.455, 3.732, 4.167, 4.805, 5.691, 6.854, 8.321, 10.11, 12.25",\
                 "3.006, 3.106, 3.384, 3.819, 4.456, 5.342, 6.507, 7.973, 9.762, 11.9",\
                 "2.559, 2.659, 2.935, 3.371, 4.008, 4.894, 6.06, 7.525, 9.315, 11.45");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.4038, 0.4986, 0.7462, 1.121, 1.625, 2.326, 3.281, 4.522, 6.08, 7.969",\
                 "0.4038, 0.4992, 0.7472, 1.12, 1.627, 2.327, 3.281, 4.521, 6.086, 7.963",\
                 "0.403, 0.4994, 0.7472, 1.119, 1.626, 2.326, 3.28, 4.527, 6.08, 7.967",\
                 "0.403, 0.4992, 0.7464, 1.121, 1.626, 2.326, 3.279, 4.525, 6.085, 7.971",\
                 "0.4028, 0.4994, 0.747, 1.119, 1.626, 2.328, 3.279, 4.524, 6.083, 7.971",\
                 "0.4036, 0.4988, 0.7462, 1.12, 1.625, 2.328, 3.282, 4.527, 6.087, 7.97",\
                 "0.403, 0.4994, 0.7464, 1.12, 1.627, 2.327, 3.28, 4.528, 6.082, 7.968",\
                 "0.404, 0.5, 0.748, 1.12, 1.626, 2.328, 3.278, 4.526, 6.082, 7.972",\
                 "0.404, 0.5, 0.748, 1.12, 1.626, 2.328, 3.278, 4.524, 6.084, 7.97",\
                 "0.404, 0.498, 0.748, 1.12, 1.628, 2.33, 3.278, 4.526, 6.076, 7.958");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.319, 0.4338, 0.784, 1.432, 2.505, 4.057, 6.104, 8.691, 11.85, 15.61",\
                 "0.3186, 0.4328, 0.7816, 1.431, 2.504, 4.054, 6.101, 8.7, 11.84, 15.62",\
                 "0.3184, 0.4348, 0.784, 1.432, 2.502, 4.053, 6.109, 8.686, 11.84, 15.61",\
                 "0.3186, 0.4332, 0.7828, 1.432, 2.506, 4.048, 6.1, 8.692, 11.85, 15.61",\
                 "0.3184, 0.4336, 0.7824, 1.432, 2.505, 4.052, 6.098, 8.699, 11.84, 15.61",\
                 "0.3172, 0.4328, 0.783, 1.431, 2.505, 4.051, 6.107, 8.682, 11.84, 15.61",\
                 "0.3172, 0.4318, 0.782, 1.43, 2.502, 4.055, 6.107, 8.696, 11.84, 15.61",\
                 "0.3172, 0.4332, 0.7828, 1.43, 2.502, 4.047, 6.1, 8.694, 11.86, 15.61",\
                 "0.316, 0.434, 0.782, 1.43, 2.502, 4.056, 6.1, 8.682, 11.85, 15.62",\
                 "0.318, 0.432, 0.782, 1.43, 2.5, 4.05, 6.106, 8.692, 11.84, 15.6");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("3.412, 3.496, 3.705, 3.994, 4.365, 4.845, 5.459, 6.228, 7.164, 8.281",\
                 "3.442, 3.526, 3.735, 4.024, 4.396, 4.875, 5.489, 6.258, 7.194, 8.312",\
                 "3.54, 3.624, 3.833, 4.122, 4.493, 4.973, 5.587, 6.355, 7.293, 8.41",\
                 "3.765, 3.849, 4.058, 4.347, 4.718, 5.198, 5.812, 6.58, 7.517, 8.634",\
                 "4.16, 4.244, 4.452, 4.741, 5.113, 5.592, 6.206, 6.975, 7.913, 9.029",\
                 "4.733, 4.816, 5.024, 5.314, 5.685, 6.165, 6.779, 7.547, 8.485, 9.601",\
                 "5.445, 5.528, 5.737, 6.026, 6.398, 6.877, 7.491, 8.26, 9.197, 10.31",\
                 "6.269, 6.351, 6.56, 6.849, 7.22, 7.699, 8.315, 9.082, 10.02, 11.14",\
                 "7.213, 7.296, 7.504, 7.793, 8.166, 8.645, 9.258, 10.03, 10.96, 12.08",\
                 "8.29, 8.374, 8.581, 8.87, 9.245, 9.724, 10.34, 11.11, 12.04, 13.16");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("2.351, 2.446, 2.716, 3.148, 3.785, 4.672, 5.838, 7.308, 9.096, 11.24",\
                 "2.374, 2.469, 2.739, 3.171, 3.808, 4.695, 5.862, 7.331, 9.118, 11.26",\
                 "2.458, 2.554, 2.823, 3.255, 3.892, 4.779, 5.944, 7.415, 9.206, 11.34",\
                 "2.607, 2.703, 2.972, 3.404, 4.042, 4.928, 6.093, 7.565, 9.358, 11.49",\
                 "2.753, 2.848, 3.117, 3.549, 4.187, 5.074, 6.24, 7.71, 9.5, 11.63",\
                 "2.836, 2.932, 3.201, 3.633, 4.271, 5.158, 6.323, 7.793, 9.587, 11.72",\
                 "2.853, 2.948, 3.217, 3.65, 4.287, 5.173, 6.337, 7.805, 9.602, 11.74",\
                 "2.787, 2.883, 3.152, 3.583, 4.221, 5.108, 6.272, 7.737, 9.529, 11.67",\
                 "2.629, 2.725, 2.994, 3.426, 4.063, 4.949, 6.115, 7.581, 9.371, 11.51",\
                 "2.371, 2.467, 2.736, 3.168, 3.806, 4.692, 5.858, 7.323, 9.113, 11.25");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.2806, 0.3534, 0.553, 0.8738, 1.374, 2.111, 3.124, 4.422, 6.017, 7.919",\
                 "0.2804, 0.3534, 0.5528, 0.8736, 1.376, 2.113, 3.124, 4.419, 6.016, 7.918",\
                 "0.2802, 0.3536, 0.5528, 0.8726, 1.375, 2.11, 3.125, 4.422, 6.016, 7.917",\
                 "0.2802, 0.3534, 0.5534, 0.8738, 1.375, 2.111, 3.125, 4.42, 6.016, 7.919",\
                 "0.2802, 0.3536, 0.5534, 0.8738, 1.374, 2.111, 3.125, 4.42, 6.016, 7.912",\
                 "0.28, 0.3534, 0.553, 0.8732, 1.374, 2.113, 3.121, 4.42, 6.017, 7.914",\
                 "0.28, 0.3538, 0.553, 0.8732, 1.376, 2.111, 3.122, 4.422, 6.014, 7.918",\
                 "0.28, 0.354, 0.554, 0.874, 1.374, 2.112, 3.122, 4.422, 6.014, 7.918",\
                 "0.28, 0.352, 0.554, 0.872, 1.374, 2.11, 3.124, 4.416, 6.01, 7.918",\
                 "0.28, 0.356, 0.554, 0.874, 1.372, 2.11, 3.122, 4.416, 6.008, 7.906");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.2788, 0.3952, 0.7444, 1.407, 2.492, 4.047, 6.103, 8.69, 11.85, 15.63",\
                 "0.28, 0.3956, 0.7444, 1.406, 2.488, 4.045, 6.103, 8.69, 11.85, 15.63",\
                 "0.279, 0.395, 0.7442, 1.405, 2.488, 4.042, 6.097, 8.685, 11.86, 15.63",\
                 "0.279, 0.3944, 0.7438, 1.406, 2.491, 4.045, 6.104, 8.684, 11.85, 15.63",\
                 "0.2788, 0.395, 0.7442, 1.406, 2.488, 4.046, 6.095, 8.687, 11.85, 15.63",\
                 "0.2792, 0.395, 0.7452, 1.406, 2.491, 4.044, 6.096, 8.688, 11.85, 15.63",\
                 "0.2792, 0.3952, 0.7456, 1.405, 2.488, 4.045, 6.1, 8.69, 11.85, 15.63",\
                 "0.2786, 0.3948, 0.746, 1.406, 2.487, 4.042, 6.092, 8.688, 11.85, 15.61",\
                 "0.28, 0.395, 0.747, 1.406, 2.488, 4.048, 6.092, 8.68, 11.85, 15.63",\
                 "0.28, 0.396, 0.746, 1.406, 2.49, 4.044, 6.098, 8.694, 11.84, 15.6");
        }
      }

      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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("3.412, 3.496, 3.705, 3.994, 4.365, 4.845, 5.459, 6.228, 7.164, 8.281",\
                 "3.442, 3.526, 3.735, 4.024, 4.396, 4.875, 5.489, 6.258, 7.194, 8.312",\
                 "3.54, 3.624, 3.833, 4.122, 4.493, 4.973, 5.587, 6.355, 7.293, 8.41",\
                 "3.765, 3.849, 4.058, 4.347, 4.718, 5.198, 5.812, 6.58, 7.517, 8.634",\
                 "4.16, 4.244, 4.452, 4.741, 5.113, 5.592, 6.206, 6.975, 7.913, 9.029",\
                 "4.733, 4.816, 5.024, 5.314, 5.685, 6.165, 6.779, 7.547, 8.485, 9.601",\
                 "5.445, 5.528, 5.737, 6.026, 6.398, 6.877, 7.491, 8.26, 9.197, 10.31",\
                 "6.269, 6.351, 6.56, 6.849, 7.22, 7.699, 8.315, 9.082, 10.02, 11.14",\
                 "7.213, 7.296, 7.504, 7.793, 8.166, 8.645, 9.258, 10.03, 10.96, 12.08",\
                 "8.29, 8.374, 8.581, 8.87, 9.245, 9.724, 10.34, 11.11, 12.04, 13.16");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("3.647, 3.746, 4.023, 4.459, 5.097, 5.982, 7.147, 8.614, 10.41, 12.54",\
                 "3.677, 3.777, 4.054, 4.49, 5.127, 6.013, 7.177, 8.645, 10.43, 12.57",\
                 "3.76, 3.86, 4.137, 4.573, 5.21, 6.096, 7.261, 8.727, 10.52, 12.65",\
                 "3.824, 3.924, 4.201, 4.637, 5.275, 6.16, 7.325, 8.791, 10.58, 12.72",\
                 "3.825, 3.925, 4.202, 4.638, 5.275, 6.161, 7.325, 8.793, 10.58, 12.72",\
                 "3.76, 3.86, 4.137, 4.573, 5.21, 6.096, 7.261, 8.726, 10.52, 12.65",\
                 "3.605, 3.704, 3.981, 4.417, 5.054, 5.939, 7.105, 8.572, 10.36, 12.49",\
                 "3.355, 3.455, 3.732, 4.167, 4.805, 5.691, 6.854, 8.321, 10.11, 12.25",\
                 "3.006, 3.106, 3.384, 3.819, 4.456, 5.342, 6.507, 7.973, 9.762, 11.9",\
                 "2.559, 2.659, 2.935, 3.371, 4.008, 4.894, 6.06, 7.525, 9.315, 11.45");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.4038, 0.4986, 0.7462, 1.121, 1.625, 2.326, 3.281, 4.522, 6.08, 7.969",\
                 "0.4038, 0.4992, 0.7472, 1.12, 1.627, 2.327, 3.281, 4.521, 6.086, 7.963",\
                 "0.403, 0.4994, 0.7472, 1.119, 1.626, 2.326, 3.28, 4.527, 6.08, 7.967",\
                 "0.403, 0.4992, 0.7464, 1.121, 1.626, 2.326, 3.279, 4.525, 6.085, 7.971",\
                 "0.4028, 0.4994, 0.747, 1.119, 1.626, 2.328, 3.279, 4.524, 6.083, 7.971",\
                 "0.4036, 0.4988, 0.7462, 1.12, 1.625, 2.328, 3.282, 4.527, 6.087, 7.97",\
                 "0.403, 0.4994, 0.7464, 1.12, 1.627, 2.327, 3.28, 4.528, 6.082, 7.968",\
                 "0.404, 0.5, 0.748, 1.12, 1.626, 2.328, 3.278, 4.526, 6.082, 7.972",\
                 "0.404, 0.5, 0.748, 1.12, 1.626, 2.328, 3.278, 4.524, 6.084, 7.97",\
                 "0.404, 0.498, 0.748, 1.12, 1.628, 2.33, 3.278, 4.526, 6.076, 7.958");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.2788, 0.3952, 0.7444, 1.407, 2.492, 4.047, 6.103, 8.69, 11.85, 15.63",\
                 "0.28, 0.3956, 0.7444, 1.406, 2.488, 4.045, 6.103, 8.69, 11.85, 15.63",\
                 "0.279, 0.395, 0.7442, 1.405, 2.488, 4.042, 6.097, 8.685, 11.86, 15.63",\
                 "0.279, 0.3944, 0.7438, 1.406, 2.491, 4.045, 6.104, 8.684, 11.85, 15.63",\
                 "0.2788, 0.395, 0.7442, 1.406, 2.488, 4.046, 6.095, 8.687, 11.85, 15.63",\
                 "0.2792, 0.395, 0.7452, 1.406, 2.491, 4.044, 6.096, 8.688, 11.85, 15.63",\
                 "0.2792, 0.3952, 0.7456, 1.405, 2.488, 4.045, 6.1, 8.69, 11.85, 15.63",\
                 "0.2786, 0.3948, 0.746, 1.406, 2.487, 4.042, 6.092, 8.688, 11.85, 15.61",\
                 "0.28, 0.395, 0.747, 1.406, 2.488, 4.048, 6.092, 8.68, 11.85, 15.63",\
                 "0.28, 0.396, 0.746, 1.406, 2.49, 4.044, 6.098, 8.694, 11.84, 15.6");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("3.848, 3.932, 4.14, 4.43, 4.801, 5.281, 5.895, 6.663, 7.6, 8.717",\
                 "3.877, 3.961, 4.169, 4.458, 4.83, 5.309, 5.924, 6.692, 7.63, 8.746",\
                 "3.96, 4.043, 4.252, 4.541, 4.912, 5.392, 6.006, 6.775, 7.712, 8.829",\
                 "4.018, 4.102, 4.31, 4.6, 4.971, 5.451, 6.065, 6.834, 7.771, 8.887",\
                 "4.01, 4.093, 4.302, 4.591, 4.963, 5.442, 6.056, 6.825, 7.762, 8.879",\
                 "3.921, 4.004, 4.213, 4.502, 4.874, 5.353, 5.967, 6.736, 7.674, 8.789",\
                 "3.739, 3.822, 4.031, 4.321, 4.692, 5.172, 5.786, 6.555, 7.492, 8.609",\
                 "3.455, 3.539, 3.747, 4.037, 4.409, 4.888, 5.502, 6.271, 7.208, 8.324",\
                 "3.06, 3.145, 3.354, 3.643, 4.014, 4.494, 5.108, 5.877, 6.813, 7.93",\
                 "2.55, 2.633, 2.843, 3.13, 3.502, 3.982, 4.596, 5.364, 6.301, 7.417");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("3.334, 3.43, 3.699, 4.131, 4.768, 5.655, 6.822, 8.291, 10.08, 12.22",\
                 "3.345, 3.44, 3.709, 4.141, 4.779, 5.666, 6.832, 8.301, 10.09, 12.23",\
                 "3.445, 3.54, 3.809, 4.241, 4.878, 5.765, 6.93, 8.401, 10.19, 12.33",\
                 "3.701, 3.796, 4.065, 4.497, 5.135, 6.022, 7.186, 8.657, 10.45, 12.58",\
                 "4.12, 4.215, 4.485, 4.916, 5.554, 6.44, 7.606, 9.076, 10.86, 13.01",\
                 "4.667, 4.763, 5.031, 5.464, 6.102, 6.988, 8.153, 9.623, 11.42, 13.55",\
                 "5.329, 5.423, 5.693, 6.125, 6.763, 7.65, 8.815, 10.28, 12.08, 14.21",\
                 "6.122, 6.218, 6.486, 6.918, 7.556, 8.442, 9.608, 11.08, 12.87, 15",\
                 "7.055, 7.151, 7.419, 7.852, 8.489, 9.376, 10.54, 12.01, 13.8, 15.93",\
                 "8.136, 8.231, 8.501, 8.932, 9.57, 10.46, 11.62, 13.09, 14.88, 17.01");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.28, 0.3534, 0.5528, 0.8738, 1.376, 2.113, 3.124, 4.423, 6.016, 7.919",\
                 "0.2806, 0.3536, 0.553, 0.8726, 1.376, 2.113, 3.123, 4.422, 6.01, 7.918",\
                 "0.2802, 0.3534, 0.5532, 0.8738, 1.373, 2.111, 3.125, 4.418, 6.01, 7.92",\
                 "0.2806, 0.3534, 0.5528, 0.8738, 1.373, 2.111, 3.125, 4.423, 6.011, 7.92",\
                 "0.28, 0.3534, 0.5526, 0.8732, 1.373, 2.111, 3.121, 4.419, 6.012, 7.91",\
                 "0.2806, 0.3536, 0.5544, 0.8736, 1.374, 2.111, 3.125, 4.421, 6.018, 7.918",\
                 "0.2802, 0.3542, 0.554, 0.873, 1.374, 2.11, 3.122, 4.422, 6.015, 7.92",\
                 "0.2804, 0.354, 0.5542, 0.8738, 1.374, 2.113, 3.122, 4.418, 6.012, 7.916",\
                 "0.282, 0.354, 0.554, 0.874, 1.374, 2.112, 3.124, 4.416, 6.006, 7.908",\
                 "0.28, 0.354, 0.552, 0.874, 1.374, 2.112, 3.124, 4.422, 6.008, 7.91");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.2788, 0.394, 0.7452, 1.407, 2.49, 4.041, 6.103, 8.69, 11.85, 15.62",\
                 "0.2786, 0.3944, 0.7468, 1.407, 2.492, 4.041, 6.099, 8.688, 11.86, 15.62",\
                 "0.2786, 0.394, 0.745, 1.406, 2.487, 4.041, 6.101, 8.689, 11.85, 15.62",\
                 "0.2788, 0.3938, 0.7456, 1.405, 2.487, 4.041, 6.103, 8.688, 11.86, 15.62",\
                 "0.2792, 0.3944, 0.7466, 1.407, 2.491, 4.044, 6.094, 8.687, 11.84, 15.62",\
                 "0.2792, 0.394, 0.7446, 1.405, 2.491, 4.041, 6.097, 8.687, 11.86, 15.62",\
                 "0.2788, 0.3938, 0.745, 1.407, 2.492, 4.046, 6.098, 8.686, 11.85, 15.62",\
                 "0.278, 0.394, 0.744, 1.406, 2.49, 4.05, 6.096, 8.698, 11.85, 15.63",\
                 "0.28, 0.394, 0.746, 1.406, 2.488, 4.046, 6.094, 8.692, 11.86, 15.61",\
                 "0.278, 0.396, 0.744, 1.406, 2.492, 4.046, 6.096, 8.68, 11.85, 15.63");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("2.136, 2.24, 2.503, 2.867, 3.312, 3.847, 4.493, 5.277, 6.219, 7.337",\
                 "2.159, 2.263, 2.526, 2.89, 3.335, 3.87, 4.516, 5.3, 6.242, 7.36",\
                 "2.211, 2.315, 2.578, 2.942, 3.387, 3.922, 4.568, 5.352, 6.294, 7.412",\
                 "2.293, 2.397, 2.659, 3.024, 3.469, 4.003, 4.65, 5.433, 6.376, 7.493",\
                 "2.359, 2.462, 2.725, 3.089, 3.534, 4.069, 4.716, 5.499, 6.441, 7.559",\
                 "2.37, 2.474, 2.737, 3.102, 3.547, 4.082, 4.728, 5.512, 6.454, 7.572",\
                 "2.307, 2.411, 2.674, 3.039, 3.485, 4.019, 4.666, 5.45, 6.392, 7.51",\
                 "2.156, 2.261, 2.524, 2.889, 3.335, 3.87, 4.517, 5.301, 6.244, 7.361",\
                 "1.905, 2.01, 2.274, 2.642, 3.087, 3.622, 4.27, 5.053, 5.996, 7.113",\
                 "1.547, 1.652, 1.919, 2.286, 2.733, 3.27, 3.916, 4.7, 5.643, 6.76");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("3.225, 3.325, 3.602, 4.038, 4.675, 5.561, 6.726, 8.192, 9.983, 12.11",\
                 "3.246, 3.346, 3.623, 4.059, 4.696, 5.582, 6.746, 8.213, 10, 12.14",\
                 "3.352, 3.452, 3.729, 4.165, 4.802, 5.688, 6.853, 8.319, 10.11, 12.24",\
                 "3.585, 3.685, 3.962, 4.398, 5.036, 5.921, 7.086, 8.552, 10.34, 12.48",\
                 "3.986, 4.085, 4.363, 4.799, 5.436, 6.322, 7.486, 8.953, 10.74, 12.88",\
                 "4.572, 4.672, 4.949, 5.386, 6.022, 6.908, 8.074, 9.54, 11.33, 13.46",\
                 "5.326, 5.426, 5.704, 6.139, 6.777, 7.662, 8.826, 10.29, 12.08, 14.22",\
                 "6.208, 6.309, 6.587, 7.024, 7.661, 8.545, 9.71, 11.18, 12.97, 15.1",\
                 "7.22, 7.321, 7.6, 8.036, 8.673, 9.557, 10.72, 12.19, 13.98, 16.11",\
                 "8.376, 8.477, 8.758, 9.196, 9.831, 10.72, 11.88, 13.35, 15.14, 17.27");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.4038, 0.5002, 0.7474, 1.12, 1.626, 2.327, 3.283, 4.528, 6.082, 7.965",\
                 "0.404, 0.4996, 0.7476, 1.12, 1.628, 2.33, 3.283, 4.524, 6.082, 7.968",\
                 "0.4038, 0.4996, 0.7474, 1.12, 1.626, 2.33, 3.283, 4.522, 6.085, 7.969",\
                 "0.4036, 0.4998, 0.747, 1.121, 1.627, 2.33, 3.279, 4.523, 6.078, 7.97",\
                 "0.4048, 0.5002, 0.7484, 1.12, 1.63, 2.329, 3.281, 4.527, 6.08, 7.969",\
                 "0.4056, 0.5012, 0.75, 1.123, 1.626, 2.329, 3.282, 4.522, 6.086, 7.971",\
                 "0.4084, 0.5032, 0.7504, 1.124, 1.629, 2.327, 3.279, 4.523, 6.08, 7.971",\
                 "0.41, 0.5056, 0.754, 1.126, 1.63, 2.33, 3.279, 4.524, 6.075, 7.968",\
                 "0.4126, 0.5102, 0.7572, 1.13, 1.631, 2.332, 3.282, 4.526, 6.078, 7.958",\
                 "0.418, 0.514, 0.762, 1.132, 1.638, 2.334, 3.286, 4.526, 6.08, 7.96");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.3186, 0.4332, 0.7828, 1.432, 2.504, 4.049, 6.107, 8.687, 11.84, 15.61",\
                 "0.3194, 0.4332, 0.782, 1.432, 2.505, 4.049, 6.098, 8.696, 11.85, 15.6",\
                 "0.3184, 0.4336, 0.7816, 1.432, 2.505, 4.05, 6.109, 8.692, 11.85, 15.61",\
                 "0.3208, 0.433, 0.782, 1.433, 2.502, 4.054, 6.107, 8.682, 11.85, 15.61",\
                 "0.3188, 0.4338, 0.7822, 1.43, 2.506, 4.048, 6.096, 8.692, 11.85, 15.61",\
                 "0.3192, 0.4334, 0.7826, 1.431, 2.503, 4.05, 6.109, 8.698, 11.86, 15.62",\
                 "0.3206, 0.436, 0.787, 1.433, 2.501, 4.05, 6.106, 8.686, 11.85, 15.61",\
                 "0.326, 0.442, 0.788, 1.434, 2.502, 4.054, 6.104, 8.694, 11.85, 15.62",\
                 "0.33, 0.444, 0.792, 1.438, 2.504, 4.048, 6.106, 8.688, 11.85, 15.61",\
                 "0.336, 0.448, 0.798, 1.44, 2.504, 4.056, 6.104, 8.682, 11.84, 15.61");
        }
      }

      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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("3.848, 3.932, 4.14, 4.43, 4.801, 5.281, 5.895, 6.663, 7.6, 8.717",\
                 "3.877, 3.961, 4.169, 4.458, 4.83, 5.309, 5.924, 6.692, 7.63, 8.746",\
                 "3.96, 4.043, 4.252, 4.541, 4.912, 5.392, 6.006, 6.775, 7.712, 8.829",\
                 "4.018, 4.102, 4.31, 4.6, 4.971, 5.451, 6.065, 6.834, 7.771, 8.887",\
                 "4.01, 4.093, 4.302, 4.591, 4.963, 5.442, 6.056, 6.825, 7.762, 8.879",\
                 "3.921, 4.004, 4.213, 4.502, 4.874, 5.353, 5.967, 6.736, 7.674, 8.789",\
                 "3.739, 3.822, 4.031, 4.321, 4.692, 5.172, 5.786, 6.555, 7.492, 8.609",\
                 "3.455, 3.539, 3.747, 4.037, 4.409, 4.888, 5.502, 6.271, 7.208, 8.324",\
                 "3.06, 3.145, 3.354, 3.643, 4.014, 4.494, 5.108, 5.877, 6.813, 7.93",\
                 "2.55, 2.633, 2.843, 3.13, 3.502, 3.982, 4.596, 5.364, 6.301, 7.417");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("3.225, 3.325, 3.602, 4.038, 4.675, 5.561, 6.726, 8.192, 9.983, 12.11",\
                 "3.246, 3.346, 3.623, 4.059, 4.696, 5.582, 6.746, 8.213, 10, 12.14",\
                 "3.352, 3.452, 3.729, 4.165, 4.802, 5.688, 6.853, 8.319, 10.11, 12.24",\
                 "3.585, 3.685, 3.962, 4.398, 5.036, 5.921, 7.086, 8.552, 10.34, 12.48",\
                 "3.986, 4.085, 4.363, 4.799, 5.436, 6.322, 7.486, 8.953, 10.74, 12.88",\
                 "4.572, 4.672, 4.949, 5.386, 6.022, 6.908, 8.074, 9.54, 11.33, 13.46",\
                 "5.326, 5.426, 5.704, 6.139, 6.777, 7.662, 8.826, 10.29, 12.08, 14.22",\
                 "6.208, 6.309, 6.587, 7.024, 7.661, 8.545, 9.71, 11.18, 12.97, 15.1",\
                 "7.22, 7.321, 7.6, 8.036, 8.673, 9.557, 10.72, 12.19, 13.98, 16.11",\
                 "8.376, 8.477, 8.758, 9.196, 9.831, 10.72, 11.88, 13.35, 15.14, 17.27");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.4038, 0.5002, 0.7474, 1.12, 1.626, 2.327, 3.283, 4.528, 6.082, 7.965",\
                 "0.404, 0.4996, 0.7476, 1.12, 1.628, 2.33, 3.283, 4.524, 6.082, 7.968",\
                 "0.4038, 0.4996, 0.7474, 1.12, 1.626, 2.33, 3.283, 4.522, 6.085, 7.969",\
                 "0.4036, 0.4998, 0.747, 1.121, 1.627, 2.33, 3.279, 4.523, 6.078, 7.97",\
                 "0.4048, 0.5002, 0.7484, 1.12, 1.63, 2.329, 3.281, 4.527, 6.08, 7.969",\
                 "0.4056, 0.5012, 0.75, 1.123, 1.626, 2.329, 3.282, 4.522, 6.086, 7.971",\
                 "0.4084, 0.5032, 0.7504, 1.124, 1.629, 2.327, 3.279, 4.523, 6.08, 7.971",\
                 "0.41, 0.5056, 0.754, 1.126, 1.63, 2.33, 3.279, 4.524, 6.075, 7.968",\
                 "0.4126, 0.5102, 0.7572, 1.13, 1.631, 2.332, 3.282, 4.526, 6.078, 7.958",\
                 "0.418, 0.514, 0.762, 1.132, 1.638, 2.334, 3.286, 4.526, 6.08, 7.96");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.2788, 0.394, 0.7452, 1.407, 2.49, 4.041, 6.103, 8.69, 11.85, 15.62",\
                 "0.2786, 0.3944, 0.7468, 1.407, 2.492, 4.041, 6.099, 8.688, 11.86, 15.62",\
                 "0.2786, 0.394, 0.745, 1.406, 2.487, 4.041, 6.101, 8.689, 11.85, 15.62",\
                 "0.2788, 0.3938, 0.7456, 1.405, 2.487, 4.041, 6.103, 8.688, 11.86, 15.62",\
                 "0.2792, 0.3944, 0.7466, 1.407, 2.491, 4.044, 6.094, 8.687, 11.84, 15.62",\
                 "0.2792, 0.394, 0.7446, 1.405, 2.491, 4.041, 6.097, 8.687, 11.86, 15.62",\
                 "0.2788, 0.3938, 0.745, 1.407, 2.492, 4.046, 6.098, 8.686, 11.85, 15.62",\
                 "0.278, 0.394, 0.744, 1.406, 2.49, 4.05, 6.096, 8.698, 11.85, 15.63",\
                 "0.28, 0.394, 0.746, 1.406, 2.488, 4.046, 6.094, 8.692, 11.86, 15.61",\
                 "0.278, 0.396, 0.744, 1.406, 2.492, 4.046, 6.096, 8.68, 11.85, 15.63");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("3.118, 3.221, 3.484, 3.848, 4.293, 4.828, 5.474, 6.258, 7.199, 8.317",\
                 "3.128, 3.232, 3.495, 3.859, 4.304, 4.838, 5.485, 6.269, 7.211, 8.328",\
                 "3.228, 3.332, 3.594, 3.959, 4.404, 4.938, 5.584, 6.368, 7.31, 8.428",\
                 "3.485, 3.588, 3.851, 4.215, 4.66, 5.194, 5.841, 6.625, 7.567, 8.684",\
                 "3.903, 4.006, 4.269, 4.634, 5.079, 5.613, 6.26, 7.043, 7.985, 9.103",\
                 "4.447, 4.551, 4.814, 5.178, 5.623, 6.157, 6.804, 7.587, 8.53, 9.648",\
                 "5.106, 5.209, 5.473, 5.837, 6.281, 6.817, 7.463, 8.247, 9.189, 10.31",\
                 "5.896, 5.998, 6.262, 6.627, 7.072, 7.606, 8.253, 9.036, 9.978, 11.1",\
                 "6.825, 6.929, 7.192, 7.557, 8.001, 8.536, 9.183, 9.966, 10.91, 12.03",\
                 "7.9, 8.003, 8.265, 8.63, 9.075, 9.609, 10.26, 11.04, 11.98, 13.1");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("3.493, 3.592, 3.869, 4.305, 4.941, 5.827, 6.992, 8.459, 10.25, 12.38",\
                 "3.522, 3.621, 3.898, 4.334, 4.971, 5.857, 7.022, 8.488, 10.28, 12.41",\
                 "3.604, 3.704, 3.98, 4.417, 5.054, 5.94, 7.104, 8.571, 10.36, 12.5",\
                 "3.663, 3.763, 4.039, 4.476, 5.113, 5.999, 7.164, 8.629, 10.42, 12.56",\
                 "3.654, 3.754, 4.03, 4.467, 5.104, 5.99, 7.154, 8.621, 10.41, 12.55",\
                 "3.565, 3.665, 3.941, 4.377, 5.014, 5.9, 7.065, 8.533, 10.32, 12.46",\
                 "3.384, 3.483, 3.76, 4.196, 4.833, 5.719, 6.884, 8.351, 10.14, 12.28",\
                 "3.1, 3.2, 3.476, 3.912, 4.55, 5.436, 6.599, 8.067, 9.857, 11.99",\
                 "2.708, 2.807, 3.084, 3.519, 4.157, 5.042, 6.207, 7.673, 9.463, 11.6",\
                 "2.196, 2.296, 2.572, 3.008, 3.646, 4.531, 5.697, 7.162, 8.952, 11.09");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.4028, 0.499, 0.7464, 1.119, 1.626, 2.326, 3.281, 4.526, 6.083, 7.97",\
                 "0.4024, 0.4994, 0.7474, 1.119, 1.626, 2.326, 3.28, 4.527, 6.08, 7.971",\
                 "0.4032, 0.4994, 0.7466, 1.12, 1.628, 2.328, 3.278, 4.521, 6.081, 7.971",\
                 "0.4036, 0.4994, 0.7474, 1.12, 1.626, 2.327, 3.28, 4.527, 6.086, 7.971",\
                 "0.4032, 0.4984, 0.747, 1.119, 1.626, 2.328, 3.28, 4.521, 6.081, 7.971",\
                 "0.4046, 0.499, 0.7456, 1.121, 1.626, 2.327, 3.28, 4.527, 6.082, 7.96",\
                 "0.4028, 0.4982, 0.746, 1.12, 1.627, 2.329, 3.284, 4.524, 6.086, 7.97",\
                 "0.404, 0.5, 0.748, 1.118, 1.626, 2.328, 3.28, 4.528, 6.082, 7.964",\
                 "0.402, 0.498, 0.748, 1.118, 1.626, 2.328, 3.28, 4.522, 6.086, 7.972",\
                 "0.402, 0.498, 0.748, 1.12, 1.626, 2.328, 3.28, 4.522, 6.08, 7.96");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.3166, 0.431, 0.7818, 1.431, 2.501, 4.049, 6.107, 8.698, 11.86, 15.61",\
                 "0.3164, 0.431, 0.7824, 1.431, 2.505, 4.049, 6.099, 8.695, 11.87, 15.6",\
                 "0.3164, 0.431, 0.7802, 1.43, 2.5, 4.049, 6.099, 8.7, 11.84, 15.61",\
                 "0.3164, 0.431, 0.7814, 1.43, 2.502, 4.05, 6.108, 8.683, 11.86, 15.61",\
                 "0.3178, 0.4312, 0.78, 1.429, 2.504, 4.05, 6.096, 8.697, 11.84, 15.61",\
                 "0.316, 0.4312, 0.7806, 1.43, 2.501, 4.05, 6.106, 8.697, 11.86, 15.62",\
                 "0.318, 0.432, 0.7808, 1.429, 2.5, 4.05, 6.097, 8.698, 11.84, 15.61",\
                 "0.3164, 0.4316, 0.7824, 1.429, 2.502, 4.05, 6.098, 8.69, 11.84, 15.61",\
                 "0.3172, 0.4308, 0.7794, 1.428, 2.506, 4.05, 6.1, 8.686, 11.85, 15.61",\
                 "0.318, 0.432, 0.78, 1.43, 2.502, 4.052, 6.1, 8.684, 11.84, 15.61");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("3.565, 3.648, 3.857, 4.146, 4.518, 4.997, 5.612, 6.38, 7.317, 8.434",\
                 "3.586, 3.669, 3.878, 4.167, 4.539, 5.018, 5.632, 6.401, 7.338, 8.455",\
                 "3.692, 3.775, 3.984, 4.273, 4.645, 5.124, 5.738, 6.507, 7.444, 8.561",\
                 "3.925, 4.008, 4.217, 4.506, 4.878, 5.357, 5.971, 6.74, 7.677, 8.794",\
                 "4.325, 4.408, 4.617, 4.906, 5.277, 5.757, 6.371, 7.139, 8.077, 9.193",\
                 "4.908, 4.992, 5.201, 5.49, 5.862, 6.341, 6.955, 7.724, 8.661, 9.778",\
                 "5.648, 5.732, 5.941, 6.23, 6.602, 7.081, 7.695, 8.464, 9.401, 10.52",\
                 "6.51, 6.593, 6.802, 7.091, 7.463, 7.942, 8.557, 9.325, 10.26, 11.38",\
                 "7.501, 7.584, 7.793, 8.081, 8.452, 8.931, 9.547, 10.32, 11.25, 12.37",\
                 "8.633, 8.716, 8.926, 9.215, 9.587, 10.07, 10.68, 11.45, 12.39, 13.5");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("2.375, 2.471, 2.74, 3.172, 3.81, 4.696, 5.862, 7.33, 9.125, 11.26",\
                 "2.398, 2.494, 2.763, 3.195, 3.833, 4.72, 5.886, 7.356, 9.142, 11.28",\
                 "2.451, 2.546, 2.815, 3.247, 3.885, 4.772, 5.937, 7.406, 9.201, 11.34",\
                 "2.539, 2.635, 2.904, 3.336, 3.973, 4.86, 6.026, 7.496, 9.29, 11.43",\
                 "2.623, 2.719, 2.988, 3.42, 4.057, 4.944, 6.11, 7.58, 9.37, 11.5",\
                 "2.656, 2.752, 3.021, 3.453, 4.09, 4.977, 6.143, 7.608, 9.406, 11.54",\
                 "2.619, 2.714, 2.983, 3.415, 4.053, 4.939, 6.104, 7.572, 9.368, 11.5",\
                 "2.495, 2.591, 2.859, 3.292, 3.929, 4.816, 5.981, 7.447, 9.237, 11.38",\
                 "2.271, 2.367, 2.636, 3.068, 3.705, 4.592, 5.758, 7.224, 9.013, 11.15",\
                 "1.939, 2.035, 2.304, 2.736, 3.374, 4.261, 5.426, 6.892, 8.681, 10.82");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.2798, 0.3534, 0.5532, 0.8738, 1.374, 2.113, 3.121, 4.422, 6.017, 7.92",\
                 "0.2802, 0.3538, 0.5542, 0.8734, 1.376, 2.111, 3.125, 4.42, 6.018, 7.91",\
                 "0.2804, 0.3536, 0.553, 0.8724, 1.373, 2.112, 3.125, 4.417, 6.016, 7.908",\
                 "0.2798, 0.354, 0.553, 0.8724, 1.374, 2.111, 3.125, 4.421, 6.018, 7.912",\
                 "0.2802, 0.3532, 0.553, 0.8724, 1.373, 2.111, 3.124, 4.421, 6.018, 7.915",\
                 "0.2802, 0.3536, 0.5544, 0.8732, 1.373, 2.112, 3.126, 4.419, 6.015, 7.918",\
                 "0.2806, 0.3534, 0.5542, 0.874, 1.374, 2.114, 3.124, 4.422, 6.012, 7.918",\
                 "0.282, 0.354, 0.556, 0.876, 1.372, 2.112, 3.124, 4.42, 6.01, 7.92",\
                 "0.28, 0.354, 0.554, 0.872, 1.374, 2.11, 3.124, 4.422, 6.012, 7.908",\
                 "0.28, 0.354, 0.552, 0.872, 1.372, 2.11, 3.124, 4.416, 6.008, 7.908");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.2804, 0.394, 0.7468, 1.406, 2.492, 4.046, 6.096, 8.684, 11.86, 15.64",\
                 "0.28, 0.3956, 0.7442, 1.405, 2.491, 4.04, 6.103, 8.689, 11.85, 15.62",\
                 "0.279, 0.3956, 0.7446, 1.405, 2.489, 4.046, 6.096, 8.688, 11.85, 15.63",\
                 "0.2792, 0.3946, 0.7458, 1.405, 2.487, 4.041, 6.099, 8.689, 11.85, 15.63",\
                 "0.2788, 0.3948, 0.744, 1.407, 2.488, 4.044, 6.095, 8.688, 11.85, 15.63",\
                 "0.279, 0.3946, 0.7452, 1.407, 2.492, 4.046, 6.095, 8.687, 11.86, 15.62",\
                 "0.2796, 0.3954, 0.7472, 1.405, 2.487, 4.043, 6.092, 8.69, 11.85, 15.62",\
                 "0.2794, 0.3946, 0.7464, 1.406, 2.49, 4.041, 6.097, 8.682, 11.84, 15.61",\
                 "0.28, 0.3952, 0.7458, 1.407, 2.488, 4.046, 6.098, 8.678, 11.85, 15.63",\
                 "0.278, 0.396, 0.746, 1.406, 2.488, 4.04, 6.098, 8.68, 11.84, 15.6");
        }
      }

      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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("3.565, 3.648, 3.857, 4.146, 4.518, 4.997, 5.612, 6.38, 7.317, 8.434",\
                 "3.586, 3.669, 3.878, 4.167, 4.539, 5.018, 5.632, 6.401, 7.338, 8.455",\
                 "3.692, 3.775, 3.984, 4.273, 4.645, 5.124, 5.738, 6.507, 7.444, 8.561",\
                 "3.925, 4.008, 4.217, 4.506, 4.878, 5.357, 5.971, 6.74, 7.677, 8.794",\
                 "4.325, 4.408, 4.617, 4.906, 5.277, 5.757, 6.371, 7.139, 8.077, 9.193",\
                 "4.908, 4.992, 5.201, 5.49, 5.862, 6.341, 6.955, 7.724, 8.661, 9.778",\
                 "5.648, 5.732, 5.941, 6.23, 6.602, 7.081, 7.695, 8.464, 9.401, 10.52",\
                 "6.51, 6.593, 6.802, 7.091, 7.463, 7.942, 8.557, 9.325, 10.26, 11.38",\
                 "7.501, 7.584, 7.793, 8.081, 8.452, 8.931, 9.547, 10.32, 11.25, 12.37",\
                 "8.633, 8.716, 8.926, 9.215, 9.587, 10.07, 10.68, 11.45, 12.39, 13.5");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("3.493, 3.592, 3.869, 4.305, 4.941, 5.827, 6.992, 8.459, 10.25, 12.38",\
                 "3.522, 3.621, 3.898, 4.334, 4.971, 5.857, 7.022, 8.488, 10.28, 12.41",\
                 "3.604, 3.704, 3.98, 4.417, 5.054, 5.94, 7.104, 8.571, 10.36, 12.5",\
                 "3.663, 3.763, 4.039, 4.476, 5.113, 5.999, 7.164, 8.629, 10.42, 12.56",\
                 "3.654, 3.754, 4.03, 4.467, 5.104, 5.99, 7.154, 8.621, 10.41, 12.55",\
                 "3.565, 3.665, 3.941, 4.377, 5.014, 5.9, 7.065, 8.533, 10.32, 12.46",\
                 "3.384, 3.483, 3.76, 4.196, 4.833, 5.719, 6.884, 8.351, 10.14, 12.28",\
                 "3.1, 3.2, 3.476, 3.912, 4.55, 5.436, 6.599, 8.067, 9.857, 11.99",\
                 "2.708, 2.807, 3.084, 3.519, 4.157, 5.042, 6.207, 7.673, 9.463, 11.6",\
                 "2.196, 2.296, 2.572, 3.008, 3.646, 4.531, 5.697, 7.162, 8.952, 11.09");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.4028, 0.499, 0.7464, 1.119, 1.626, 2.326, 3.281, 4.526, 6.083, 7.97",\
                 "0.4024, 0.4994, 0.7474, 1.119, 1.626, 2.326, 3.28, 4.527, 6.08, 7.971",\
                 "0.4032, 0.4994, 0.7466, 1.12, 1.628, 2.328, 3.278, 4.521, 6.081, 7.971",\
                 "0.4036, 0.4994, 0.7474, 1.12, 1.626, 2.327, 3.28, 4.527, 6.086, 7.971",\
                 "0.4032, 0.4984, 0.747, 1.119, 1.626, 2.328, 3.28, 4.521, 6.081, 7.971",\
                 "0.4046, 0.499, 0.7456, 1.121, 1.626, 2.327, 3.28, 4.527, 6.082, 7.96",\
                 "0.4028, 0.4982, 0.746, 1.12, 1.627, 2.329, 3.284, 4.524, 6.086, 7.97",\
                 "0.404, 0.5, 0.748, 1.118, 1.626, 2.328, 3.28, 4.528, 6.082, 7.964",\
                 "0.402, 0.498, 0.748, 1.118, 1.626, 2.328, 3.28, 4.522, 6.086, 7.972",\
                 "0.402, 0.498, 0.748, 1.12, 1.626, 2.328, 3.28, 4.522, 6.08, 7.96");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.2804, 0.394, 0.7468, 1.406, 2.492, 4.046, 6.096, 8.684, 11.86, 15.64",\
                 "0.28, 0.3956, 0.7442, 1.405, 2.491, 4.04, 6.103, 8.689, 11.85, 15.62",\
                 "0.279, 0.3956, 0.7446, 1.405, 2.489, 4.046, 6.096, 8.688, 11.85, 15.63",\
                 "0.2792, 0.3946, 0.7458, 1.405, 2.487, 4.041, 6.099, 8.689, 11.85, 15.63",\
                 "0.2788, 0.3948, 0.744, 1.407, 2.488, 4.044, 6.095, 8.688, 11.85, 15.63",\
                 "0.279, 0.3946, 0.7452, 1.407, 2.492, 4.046, 6.095, 8.687, 11.86, 15.62",\
                 "0.2796, 0.3954, 0.7472, 1.405, 2.487, 4.043, 6.092, 8.69, 11.85, 15.62",\
                 "0.2794, 0.3946, 0.7464, 1.406, 2.49, 4.041, 6.097, 8.682, 11.84, 15.61",\
                 "0.28, 0.3952, 0.7458, 1.407, 2.488, 4.046, 6.098, 8.678, 11.85, 15.63",\
                 "0.278, 0.396, 0.746, 1.406, 2.488, 4.04, 6.098, 8.68, 11.84, 15.6");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("1.427, 1.513, 1.724, 2.014, 2.386, 2.865, 3.479, 4.247, 5.184, 6.3",\
                 "1.449, 1.534, 1.745, 2.035, 2.407, 2.887, 3.501, 4.269, 5.206, 6.322",\
                 "1.492, 1.577, 1.788, 2.078, 2.45, 2.93, 3.543, 4.312, 5.249, 6.366",\
                 "1.552, 1.637, 1.849, 2.139, 2.511, 2.99, 3.604, 4.373, 5.31, 6.427",\
                 "1.597, 1.681, 1.891, 2.181, 2.552, 3.032, 3.645, 4.414, 5.351, 6.468",\
                 "1.594, 1.678, 1.888, 2.178, 2.549, 3.028, 3.64, 4.409, 5.345, 6.462",\
                 "1.526, 1.61, 1.821, 2.112, 2.484, 2.963, 3.575, 4.343, 5.278, 6.394",\
                 "1.382, 1.466, 1.679, 1.971, 2.344, 2.823, 3.436, 4.204, 5.139, 6.256",\
                 "1.152, 1.239, 1.453, 1.746, 2.121, 2.602, 3.217, 3.986, 4.922, 6.038",\
                 "0.8321, 0.9201, 1.136, 1.43, 1.807, 2.291, 2.913, 3.687, 4.626, 5.743");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("1.759, 1.855, 2.127, 2.56, 3.199, 4.087, 5.253, 6.72, 8.512, 10.65",\
                 "1.789, 1.885, 2.157, 2.59, 3.229, 4.116, 5.283, 6.751, 8.539, 10.67",\
                 "1.92, 2.016, 2.287, 2.721, 3.36, 4.247, 5.414, 6.881, 8.671, 10.8",\
                 "2.192, 2.288, 2.56, 2.994, 3.633, 4.52, 5.686, 7.154, 8.944, 11.08",\
                 "2.606, 2.702, 2.974, 3.408, 4.046, 4.934, 6.101, 7.568, 9.358, 11.49",\
                 "3.115, 3.212, 3.485, 3.919, 4.558, 5.445, 6.612, 8.079, 9.87, 12",\
                 "3.714, 3.811, 4.083, 4.518, 5.157, 6.046, 7.212, 8.678, 10.47, 12.61",\
                 "4.414, 4.512, 4.784, 5.22, 5.859, 6.747, 7.912, 9.382, 11.17, 13.31",\
                 "5.222, 5.321, 5.595, 6.031, 6.669, 7.556, 8.723, 10.19, 11.98, 14.12",\
                 "6.144, 6.242, 6.517, 6.955, 7.594, 8.48, 9.645, 11.11, 12.9, 15.04");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.2846, 0.359, 0.557, 0.874, 1.373, 2.114, 3.124, 4.421, 6.009, 7.915",\
                 "0.2846, 0.3592, 0.5568, 0.8754, 1.376, 2.113, 3.125, 4.421, 6.011, 7.916",\
                 "0.2848, 0.359, 0.5582, 0.8754, 1.377, 2.113, 3.124, 4.421, 6.009, 7.921",\
                 "0.2854, 0.3598, 0.5578, 0.8754, 1.376, 2.114, 3.121, 4.42, 6.016, 7.921",\
                 "0.2806, 0.355, 0.554, 0.8746, 1.374, 2.112, 3.125, 4.418, 6.017, 7.919",\
                 "0.2812, 0.356, 0.5574, 0.8742, 1.372, 2.107, 3.121, 4.421, 6.014, 7.916",\
                 "0.2852, 0.3594, 0.559, 0.8764, 1.373, 2.109, 3.117, 4.409, 6.003, 7.906",\
                 "0.2904, 0.3652, 0.5642, 0.881, 1.375, 2.112, 3.121, 4.41, 5.999, 7.897",\
                 "0.2964, 0.3714, 0.5702, 0.886, 1.384, 2.117, 3.126, 4.416, 6.004, 7.9",\
                 "0.304, 0.38, 0.576, 0.892, 1.39, 2.134, 3.15, 4.438, 6.02, 7.906");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.2858, 0.4016, 0.7552, 1.412, 2.496, 4.05, 6.096, 8.684, 11.85, 15.62",\
                 "0.2858, 0.4022, 0.7552, 1.414, 2.492, 4.05, 6.098, 8.69, 11.85, 15.62",\
                 "0.2852, 0.4024, 0.7542, 1.414, 2.492, 4.05, 6.098, 8.682, 11.85, 15.62",\
                 "0.2856, 0.4024, 0.7552, 1.413, 2.492, 4.05, 6.098, 8.681, 11.84, 15.61",\
                 "0.2864, 0.4032, 0.7528, 1.413, 2.493, 4.05, 6.098, 8.688, 11.84, 15.62",\
                 "0.288, 0.4038, 0.755, 1.414, 2.497, 4.043, 6.106, 8.683, 11.85, 15.62",\
                 "0.2888, 0.4048, 0.7582, 1.415, 2.498, 4.046, 6.106, 8.688, 11.86, 15.62",\
                 "0.2914, 0.4078, 0.7612, 1.416, 2.494, 4.046, 6.104, 8.688, 11.85, 15.62",\
                 "0.296, 0.41, 0.764, 1.42, 2.498, 4.048, 6.1, 8.694, 11.85, 15.61",\
                 "0.3, 0.416, 0.77, 1.422, 2.496, 4.052, 6.096, 8.69, 11.84, 15.61");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("1.427, 1.513, 1.724, 2.014, 2.386, 2.865, 3.479, 4.247, 5.184, 6.3",\
                 "1.449, 1.534, 1.745, 2.035, 2.407, 2.887, 3.5, 4.269, 5.206, 6.322",\
                 "1.492, 1.577, 1.788, 2.078, 2.45, 2.929, 3.543, 4.312, 5.249, 6.366",\
                 "1.552, 1.637, 1.849, 2.139, 2.511, 2.99, 3.604, 4.373, 5.31, 6.425",\
                 "1.597, 1.681, 1.891, 2.181, 2.552, 3.032, 3.646, 4.414, 5.351, 6.468",\
                 "1.594, 1.678, 1.887, 2.178, 2.549, 3.027, 3.641, 4.409, 5.345, 6.462",\
                 "1.526, 1.61, 1.821, 2.112, 2.484, 2.963, 3.575, 4.343, 5.278, 6.394",\
                 "1.382, 1.466, 1.679, 1.971, 2.344, 2.823, 3.436, 4.204, 5.139, 6.255",\
                 "1.152, 1.239, 1.453, 1.746, 2.121, 2.602, 3.217, 3.986, 4.922, 6.038",\
                 "0.8321, 0.9201, 1.136, 1.43, 1.807, 2.291, 2.913, 3.687, 4.626, 5.743");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("1.759, 1.855, 2.127, 2.56, 3.199, 4.087, 5.253, 6.72, 8.512, 10.65",\
                 "1.789, 1.885, 2.156, 2.59, 3.229, 4.117, 5.283, 6.751, 8.54, 10.68",\
                 "1.92, 2.016, 2.287, 2.721, 3.36, 4.247, 5.412, 6.881, 8.67, 10.81",\
                 "2.192, 2.288, 2.56, 2.994, 3.633, 4.52, 5.685, 7.154, 8.945, 11.08",\
                 "2.606, 2.702, 2.974, 3.408, 4.046, 4.933, 6.101, 7.568, 9.357, 11.49",\
                 "3.115, 3.212, 3.484, 3.919, 4.558, 5.445, 6.612, 8.079, 9.87, 12",\
                 "3.714, 3.811, 4.083, 4.518, 5.158, 6.046, 7.212, 8.678, 10.47, 12.61",\
                 "4.414, 4.511, 4.784, 5.22, 5.859, 6.747, 7.912, 9.382, 11.17, 13.31",\
                 "5.222, 5.321, 5.595, 6.031, 6.669, 7.556, 8.722, 10.19, 11.98, 14.11",\
                 "6.145, 6.242, 6.517, 6.955, 7.593, 8.48, 9.645, 11.11, 12.9, 15.04");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.2846, 0.359, 0.5568, 0.8752, 1.373, 2.114, 3.124, 4.422, 6.009, 7.915",\
                 "0.2846, 0.359, 0.5568, 0.8764, 1.376, 2.113, 3.125, 4.422, 6.016, 7.917",\
                 "0.2848, 0.359, 0.5582, 0.8756, 1.377, 2.113, 3.125, 4.421, 6.016, 7.921",\
                 "0.285, 0.36, 0.5582, 0.8768, 1.376, 2.114, 3.125, 4.42, 6.01, 7.915",\
                 "0.2806, 0.3548, 0.554, 0.8736, 1.375, 2.112, 3.125, 4.417, 6.017, 7.918",\
                 "0.2812, 0.3554, 0.5556, 0.8744, 1.371, 2.106, 3.121, 4.421, 6.014, 7.914",\
                 "0.2852, 0.3594, 0.559, 0.8764, 1.375, 2.108, 3.117, 4.409, 6.001, 7.908",\
                 "0.2904, 0.3652, 0.5642, 0.881, 1.375, 2.112, 3.121, 4.41, 5.999, 7.897",\
                 "0.2966, 0.3714, 0.5702, 0.886, 1.384, 2.117, 3.126, 4.416, 6.002, 7.9",\
                 "0.304, 0.38, 0.578, 0.892, 1.39, 2.134, 3.15, 4.438, 6.02, 7.906");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.2856, 0.4016, 0.7552, 1.412, 2.496, 4.05, 6.096, 8.684, 11.86, 15.62",\
                 "0.2858, 0.4012, 0.7552, 1.414, 2.497, 4.05, 6.106, 8.69, 11.85, 15.62",\
                 "0.2852, 0.401, 0.754, 1.413, 2.493, 4.05, 6.105, 8.684, 11.85, 15.62",\
                 "0.2854, 0.4022, 0.754, 1.413, 2.492, 4.05, 6.108, 8.683, 11.85, 15.62",\
                 "0.2866, 0.403, 0.7552, 1.414, 2.497, 4.05, 6.106, 8.686, 11.85, 15.62",\
                 "0.287, 0.4038, 0.7554, 1.414, 2.497, 4.043, 6.106, 8.683, 11.84, 15.62",\
                 "0.2886, 0.4048, 0.7582, 1.415, 2.497, 4.046, 6.106, 8.688, 11.86, 15.62",\
                 "0.2918, 0.409, 0.7612, 1.416, 2.496, 4.046, 6.104, 8.688, 11.85, 15.62",\
                 "0.296, 0.41, 0.764, 1.418, 2.498, 4.048, 6.104, 8.688, 11.85, 15.61",\
                 "0.298, 0.416, 0.77, 1.42, 2.5, 4.052, 6.102, 8.69, 11.84, 15.63");
        }
      }

      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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("1.427, 1.513, 1.724, 2.014, 2.386, 2.865, 3.479, 4.247, 5.184, 6.3",\
                 "1.449, 1.534, 1.745, 2.035, 2.407, 2.887, 3.5, 4.269, 5.206, 6.322",\
                 "1.492, 1.577, 1.788, 2.078, 2.45, 2.929, 3.543, 4.312, 5.249, 6.366",\
                 "1.552, 1.637, 1.849, 2.139, 2.511, 2.99, 3.604, 4.373, 5.31, 6.425",\
                 "1.597, 1.681, 1.891, 2.181, 2.552, 3.032, 3.646, 4.414, 5.351, 6.468",\
                 "1.594, 1.678, 1.887, 2.178, 2.549, 3.027, 3.641, 4.409, 5.345, 6.462",\
                 "1.526, 1.61, 1.821, 2.112, 2.484, 2.963, 3.575, 4.343, 5.278, 6.394",\
                 "1.382, 1.466, 1.679, 1.971, 2.344, 2.823, 3.436, 4.204, 5.139, 6.255",\
                 "1.152, 1.239, 1.453, 1.746, 2.121, 2.602, 3.217, 3.986, 4.922, 6.038",\
                 "0.8321, 0.9201, 1.136, 1.43, 1.807, 2.291, 2.913, 3.687, 4.626, 5.743");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("1.759, 1.855, 2.127, 2.56, 3.199, 4.087, 5.253, 6.72, 8.512, 10.65",\
                 "1.789, 1.885, 2.156, 2.59, 3.229, 4.117, 5.283, 6.751, 8.54, 10.68",\
                 "1.92, 2.016, 2.287, 2.721, 3.36, 4.247, 5.412, 6.881, 8.67, 10.81",\
                 "2.192, 2.288, 2.56, 2.994, 3.633, 4.52, 5.685, 7.154, 8.945, 11.08",\
                 "2.606, 2.702, 2.974, 3.408, 4.046, 4.933, 6.101, 7.568, 9.357, 11.49",\
                 "3.115, 3.212, 3.484, 3.919, 4.558, 5.445, 6.612, 8.079, 9.87, 12",\
                 "3.714, 3.811, 4.083, 4.518, 5.158, 6.046, 7.212, 8.678, 10.47, 12.61",\
                 "4.414, 4.511, 4.784, 5.22, 5.859, 6.747, 7.912, 9.382, 11.17, 13.31",\
                 "5.222, 5.321, 5.595, 6.031, 6.669, 7.556, 8.722, 10.19, 11.98, 14.11",\
                 "6.145, 6.242, 6.517, 6.955, 7.593, 8.48, 9.645, 11.11, 12.9, 15.04");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.2846, 0.359, 0.557, 0.874, 1.373, 2.114, 3.124, 4.421, 6.009, 7.915",\
                 "0.2846, 0.3592, 0.5568, 0.8754, 1.376, 2.113, 3.125, 4.421, 6.011, 7.916",\
                 "0.2848, 0.359, 0.5582, 0.8754, 1.377, 2.113, 3.124, 4.421, 6.009, 7.921",\
                 "0.2854, 0.3598, 0.5578, 0.8754, 1.376, 2.114, 3.121, 4.42, 6.016, 7.921",\
                 "0.2806, 0.355, 0.554, 0.8746, 1.374, 2.112, 3.125, 4.418, 6.017, 7.919",\
                 "0.2812, 0.356, 0.5574, 0.8742, 1.372, 2.107, 3.121, 4.421, 6.014, 7.916",\
                 "0.2852, 0.3594, 0.559, 0.8764, 1.373, 2.109, 3.117, 4.409, 6.003, 7.906",\
                 "0.2904, 0.3652, 0.5642, 0.881, 1.375, 2.112, 3.121, 4.41, 5.999, 7.897",\
                 "0.2964, 0.3714, 0.5702, 0.886, 1.384, 2.117, 3.126, 4.416, 6.004, 7.9",\
                 "0.304, 0.38, 0.576, 0.892, 1.39, 2.134, 3.15, 4.438, 6.02, 7.906");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.2856, 0.4016, 0.7552, 1.412, 2.496, 4.05, 6.096, 8.684, 11.86, 15.62",\
                 "0.2858, 0.4012, 0.7552, 1.414, 2.497, 4.05, 6.106, 8.69, 11.85, 15.62",\
                 "0.2852, 0.401, 0.754, 1.413, 2.493, 4.05, 6.105, 8.684, 11.85, 15.62",\
                 "0.2854, 0.4022, 0.754, 1.413, 2.492, 4.05, 6.108, 8.683, 11.85, 15.62",\
                 "0.2866, 0.403, 0.7552, 1.414, 2.497, 4.05, 6.106, 8.686, 11.85, 15.62",\
                 "0.287, 0.4038, 0.7554, 1.414, 2.497, 4.043, 6.106, 8.683, 11.84, 15.62",\
                 "0.2886, 0.4048, 0.7582, 1.415, 2.497, 4.046, 6.106, 8.688, 11.86, 15.62",\
                 "0.2918, 0.409, 0.7612, 1.416, 2.496, 4.046, 6.104, 8.688, 11.85, 15.62",\
                 "0.296, 0.41, 0.764, 1.418, 2.498, 4.048, 6.104, 8.688, 11.85, 15.61",\
                 "0.298, 0.416, 0.77, 1.42, 2.5, 4.052, 6.102, 8.69, 11.84, 15.63");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("1.358, 1.462, 1.724, 2.089, 2.533, 3.068, 3.714, 4.498, 5.439, 6.558",\
                 "1.387, 1.491, 1.753, 2.118, 2.563, 3.097, 3.744, 4.527, 5.469, 6.587",\
                 "1.483, 1.587, 1.85, 2.214, 2.659, 3.193, 3.84, 4.623, 5.566, 6.683",\
                 "1.7, 1.804, 2.066, 2.43, 2.876, 3.409, 4.056, 4.84, 5.782, 6.9",\
                 "2.07, 2.173, 2.435, 2.798, 3.243, 3.777, 4.424, 5.207, 6.149, 7.267",\
                 "2.546, 2.655, 2.925, 3.294, 3.743, 4.279, 4.925, 5.709, 6.65, 7.768",\
                 "3.082, 3.196, 3.48, 3.863, 4.324, 4.869, 5.519, 6.304, 7.245, 8.362",\
                 "3.69, 3.811, 4.109, 4.505, 4.98, 5.531, 6.189, 6.976, 7.92, 9.037",\
                 "4.384, 4.509, 4.821, 5.232, 5.718, 6.278, 6.941, 7.73, 8.676, 9.794",\
                 "5.164, 5.295, 5.621, 6.05, 6.551, 7.121, 7.789, 8.582, 9.527, 10.65");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.7691, 0.8636, 1.131, 1.563, 2.201, 3.088, 4.254, 5.724, 7.516, 9.65",\
                 "0.7972, 0.892, 1.16, 1.591, 2.229, 3.116, 4.283, 5.753, 7.545, 9.681",\
                 "0.8915, 0.9862, 1.254, 1.685, 2.323, 3.21, 4.376, 5.843, 7.639, 9.776",\
                 "1.065, 1.159, 1.425, 1.855, 2.492, 3.379, 4.546, 6.015, 7.806, 9.94",\
                 "1.241, 1.339, 1.611, 2.044, 2.678, 3.563, 4.729, 6.199, 7.99, 10.13",\
                 "1.374, 1.475, 1.755, 2.191, 2.828, 3.712, 4.876, 6.341, 8.139, 10.28",\
                 "1.459, 1.565, 1.855, 2.297, 2.932, 3.816, 4.978, 6.445, 8.235, 10.37",\
                 "1.486, 1.599, 1.901, 2.354, 2.99, 3.87, 5.031, 6.496, 8.285, 10.42",\
                 "1.45, 1.57, 1.887, 2.352, 2.993, 3.873, 5.033, 6.495, 8.284, 10.42",\
                 "1.343, 1.471, 1.804, 2.287, 2.937, 3.822, 4.981, 6.442, 8.228, 10.36");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.4024, 0.4982, 0.7458, 1.119, 1.626, 2.327, 3.278, 4.527, 6.084, 7.971",\
                 "0.4022, 0.4984, 0.7468, 1.119, 1.628, 2.327, 3.282, 4.528, 6.081, 7.969",\
                 "0.4028, 0.499, 0.7468, 1.119, 1.627, 2.33, 3.281, 4.524, 6.083, 7.97",\
                 "0.4032, 0.4986, 0.7464, 1.12, 1.627, 2.326, 3.281, 4.523, 6.084, 7.968",\
                 "0.4078, 0.5028, 0.75, 1.124, 1.63, 2.333, 3.281, 4.525, 6.087, 7.967",\
                 "0.4574, 0.5516, 0.792, 1.156, 1.651, 2.344, 3.29, 4.531, 6.088, 7.97",\
                 "0.5096, 0.6098, 0.8514, 1.214, 1.704, 2.38, 3.313, 4.543, 6.089, 7.972",\
                 "0.5572, 0.6632, 0.914, 1.273, 1.757, 2.426, 3.346, 4.562, 6.1, 7.978",\
                 "0.606, 0.718, 0.98, 1.336, 1.814, 2.47, 3.382, 4.592, 6.12, 7.99",\
                 "0.662, 0.778, 1.05, 1.408, 1.88, 2.524, 3.42, 4.614, 6.14, 7.998");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.2724, 0.388, 0.738, 1.404, 2.49, 4.042, 6.096, 8.69, 11.86, 15.63",\
                 "0.2729, 0.3873, 0.738, 1.404, 2.489, 4.044, 6.104, 8.687, 11.86, 15.63",\
                 "0.2722, 0.3872, 0.74, 1.402, 2.49, 4.04, 6.096, 8.689, 11.86, 15.63",\
                 "0.2752, 0.3918, 0.741, 1.404, 2.487, 4.046, 6.103, 8.685, 11.86, 15.63",\
                 "0.302, 0.4156, 0.764, 1.416, 2.491, 4.046, 6.096, 8.689, 11.85, 15.62",\
                 "0.334, 0.4484, 0.7946, 1.435, 2.502, 4.046, 6.102, 8.685, 11.85, 15.63",\
                 "0.3728, 0.4864, 0.8306, 1.459, 2.511, 4.054, 6.1, 8.701, 11.84, 15.62",\
                 "0.4182, 0.5318, 0.8772, 1.493, 2.524, 4.058, 6.107, 8.694, 11.85, 15.6",\
                 "0.467, 0.5842, 0.9344, 1.538, 2.556, 4.07, 6.114, 8.696, 11.85, 15.64",\
                 "0.52, 0.638, 0.998, 1.594, 2.594, 4.1, 6.136, 8.7, 11.85, 15.61");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.01075, 0.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("1.357, 1.461, 1.724, 2.088, 2.533, 3.068, 3.714, 4.498, 5.44, 6.558",\
                 "1.386, 1.49, 1.753, 2.117, 2.562, 3.097, 3.743, 4.527, 5.469, 6.587",\
                 "1.483, 1.587, 1.849, 2.214, 2.659, 3.193, 3.84, 4.624, 5.566, 6.684",\
                 "1.7, 1.803, 2.067, 2.43, 2.876, 3.41, 4.056, 4.84, 5.782, 6.9",\
                 "2.07, 2.173, 2.435, 2.798, 3.243, 3.777, 4.424, 5.207, 6.149, 7.267",\
                 "2.547, 2.655, 2.925, 3.295, 3.743, 4.279, 4.926, 5.71, 6.651, 7.769",\
                 "3.082, 3.196, 3.481, 3.864, 4.324, 4.869, 5.52, 6.304, 7.246, 8.363",\
                 "3.691, 3.811, 4.109, 4.506, 4.98, 5.531, 6.189, 6.978, 7.92, 9.037",\
                 "4.383, 4.51, 4.821, 5.232, 5.718, 6.279, 6.941, 7.732, 8.676, 9.795",\
                 "5.164, 5.295, 5.622, 6.05, 6.55, 7.122, 7.789, 8.582, 9.528, 10.65");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.7688, 0.8636, 1.131, 1.563, 2.201, 3.088, 4.255, 5.722, 7.518, 9.656",\
                 "0.7973, 0.892, 1.16, 1.591, 2.229, 3.116, 4.283, 5.753, 7.545, 9.681",\
                 "0.8912, 0.9862, 1.253, 1.685, 2.323, 3.21, 4.377, 5.843, 7.64, 9.775",\
                 "1.064, 1.159, 1.425, 1.855, 2.492, 3.378, 4.545, 6.014, 7.808, 9.944",\
                 "1.241, 1.339, 1.611, 2.043, 2.679, 3.563, 4.729, 6.198, 7.993, 10.13",\
                 "1.374, 1.475, 1.755, 2.191, 2.828, 3.712, 4.877, 6.342, 8.139, 10.28",\
                 "1.458, 1.566, 1.855, 2.297, 2.932, 3.816, 4.978, 6.445, 8.235, 10.37",\
                 "1.486, 1.599, 1.901, 2.353, 2.991, 3.87, 5.032, 6.497, 8.284, 10.42",\
                 "1.449, 1.57, 1.888, 2.352, 2.995, 3.875, 5.033, 6.495, 8.284, 10.42",\
                 "1.343, 1.471, 1.805, 2.287, 2.937, 3.822, 4.981, 6.442, 8.228, 10.36");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.4036, 0.499, 0.746, 1.12, 1.627, 2.329, 3.279, 4.521, 6.085, 7.968",\
                 "0.4024, 0.4988, 0.7454, 1.119, 1.627, 2.328, 3.282, 4.528, 6.082, 7.97",\
                 "0.4032, 0.499, 0.746, 1.12, 1.627, 2.329, 3.281, 4.523, 6.086, 7.967",\
                 "0.4032, 0.499, 0.7472, 1.12, 1.628, 2.327, 3.283, 4.527, 6.086, 7.963",\
                 "0.4078, 0.503, 0.7506, 1.123, 1.628, 2.33, 3.28, 4.529, 6.085, 7.971",\
                 "0.4564, 0.5524, 0.7918, 1.155, 1.65, 2.344, 3.291, 4.525, 6.089, 7.972",\
                 "0.5098, 0.6104, 0.8526, 1.213, 1.702, 2.38, 3.312, 4.543, 6.084, 7.972",\
                 "0.5572, 0.6644, 0.9148, 1.273, 1.756, 2.424, 3.348, 4.562, 6.108, 7.972",\
                 "0.608, 0.718, 0.98, 1.336, 1.814, 2.47, 3.382, 4.59, 6.122, 7.988",\
                 "0.662, 0.778, 1.05, 1.408, 1.884, 2.526, 3.416, 4.61, 6.136, 7.996");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.2723, 0.3879, 0.7382, 1.403, 2.492, 4.042, 6.104, 8.69, 11.85, 15.63",\
                 "0.2723, 0.3873, 0.7382, 1.405, 2.486, 4.044, 6.104, 8.686, 11.86, 15.63",\
                 "0.2726, 0.3872, 0.7386, 1.405, 2.488, 4.041, 6.098, 8.689, 11.86, 15.63",\
                 "0.2756, 0.3918, 0.7408, 1.404, 2.491, 4.046, 6.097, 8.69, 11.86, 15.63",\
                 "0.3018, 0.4178, 0.7652, 1.417, 2.494, 4.041, 6.097, 8.69, 11.85, 15.62",\
                 "0.334, 0.4486, 0.7944, 1.436, 2.504, 4.049, 6.098, 8.684, 11.85, 15.63",\
                 "0.3746, 0.4858, 0.8316, 1.458, 2.512, 4.055, 6.11, 8.699, 11.86, 15.62",\
                 "0.4184, 0.5328, 0.8794, 1.489, 2.524, 4.06, 6.106, 8.697, 11.87, 15.63",\
                 "0.4672, 0.5838, 0.9338, 1.537, 2.552, 4.07, 6.11, 8.7, 11.85, 15.63",\
                 "0.52, 0.638, 0.996, 1.594, 2.598, 4.1, 6.136, 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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("1.357, 1.461, 1.724, 2.088, 2.533, 3.068, 3.714, 4.498, 5.44, 6.558",\
                 "1.386, 1.49, 1.753, 2.117, 2.562, 3.097, 3.743, 4.527, 5.469, 6.587",\
                 "1.483, 1.587, 1.849, 2.214, 2.659, 3.193, 3.84, 4.624, 5.566, 6.684",\
                 "1.7, 1.803, 2.067, 2.43, 2.876, 3.41, 4.056, 4.84, 5.782, 6.9",\
                 "2.07, 2.173, 2.435, 2.798, 3.243, 3.777, 4.424, 5.207, 6.149, 7.267",\
                 "2.547, 2.655, 2.925, 3.295, 3.743, 4.279, 4.926, 5.71, 6.651, 7.769",\
                 "3.082, 3.196, 3.481, 3.864, 4.324, 4.869, 5.52, 6.304, 7.246, 8.363",\
                 "3.691, 3.811, 4.109, 4.506, 4.98, 5.531, 6.189, 6.978, 7.92, 9.037",\
                 "4.383, 4.51, 4.821, 5.232, 5.718, 6.279, 6.941, 7.732, 8.676, 9.795",\
                 "5.164, 5.295, 5.622, 6.05, 6.55, 7.122, 7.789, 8.582, 9.528, 10.65");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.7688, 0.8636, 1.131, 1.563, 2.201, 3.088, 4.255, 5.722, 7.518, 9.656",\
                 "0.7973, 0.892, 1.16, 1.591, 2.229, 3.116, 4.283, 5.753, 7.545, 9.681",\
                 "0.8912, 0.9862, 1.253, 1.685, 2.323, 3.21, 4.377, 5.843, 7.64, 9.775",\
                 "1.064, 1.159, 1.425, 1.855, 2.492, 3.378, 4.545, 6.014, 7.808, 9.944",\
                 "1.241, 1.339, 1.611, 2.043, 2.679, 3.563, 4.729, 6.198, 7.993, 10.13",\
                 "1.374, 1.475, 1.755, 2.191, 2.828, 3.712, 4.877, 6.342, 8.139, 10.28",\
                 "1.458, 1.566, 1.855, 2.297, 2.932, 3.816, 4.978, 6.445, 8.235, 10.37",\
                 "1.486, 1.599, 1.901, 2.353, 2.991, 3.87, 5.032, 6.497, 8.284, 10.42",\
                 "1.449, 1.57, 1.888, 2.352, 2.995, 3.875, 5.033, 6.495, 8.284, 10.42",\
                 "1.343, 1.471, 1.805, 2.287, 2.937, 3.822, 4.981, 6.442, 8.228, 10.36");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.4024, 0.4982, 0.7458, 1.119, 1.626, 2.327, 3.278, 4.527, 6.084, 7.971",\
                 "0.4022, 0.4984, 0.7468, 1.119, 1.628, 2.327, 3.282, 4.528, 6.081, 7.969",\
                 "0.4028, 0.499, 0.7468, 1.119, 1.627, 2.33, 3.281, 4.524, 6.083, 7.97",\
                 "0.4032, 0.4986, 0.7464, 1.12, 1.627, 2.326, 3.281, 4.523, 6.084, 7.968",\
                 "0.4078, 0.5028, 0.75, 1.124, 1.63, 2.333, 3.281, 4.525, 6.087, 7.967",\
                 "0.4574, 0.5516, 0.792, 1.156, 1.651, 2.344, 3.29, 4.531, 6.088, 7.97",\
                 "0.5096, 0.6098, 0.8514, 1.214, 1.704, 2.38, 3.313, 4.543, 6.089, 7.972",\
                 "0.5572, 0.6632, 0.914, 1.273, 1.757, 2.426, 3.346, 4.562, 6.1, 7.978",\
                 "0.606, 0.718, 0.98, 1.336, 1.814, 2.47, 3.382, 4.592, 6.12, 7.99",\
                 "0.662, 0.778, 1.05, 1.408, 1.88, 2.524, 3.42, 4.614, 6.14, 7.998");
        }

        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.04498, 0.1103, 0.2122, 0.355, 0.543, 0.7799, 1.069, 1.414");
          values("0.2724, 0.388, 0.738, 1.404, 2.49, 4.042, 6.096, 8.69, 11.86, 15.63",\
                 "0.2729, 0.3873, 0.738, 1.404, 2.489, 4.044, 6.104, 8.687, 11.86, 15.63",\
                 "0.2722, 0.3872, 0.74, 1.402, 2.49, 4.04, 6.096, 8.689, 11.86, 15.63",\
                 "0.2752, 0.3918, 0.741, 1.404, 2.487, 4.046, 6.103, 8.685, 11.86, 15.63",\
                 "0.302, 0.4156, 0.764, 1.416, 2.491, 4.046, 6.096, 8.689, 11.85, 15.62",\
                 "0.334, 0.4484, 0.7946, 1.435, 2.502, 4.046, 6.102, 8.685, 11.85, 15.63",\
                 "0.3728, 0.4864, 0.8306, 1.459, 2.511, 4.054, 6.1, 8.701, 11.84, 15.62",\
                 "0.4182, 0.5318, 0.8772, 1.493, 2.524, 4.058, 6.107, 8.694, 11.85, 15.6",\
                 "0.467, 0.5842, 0.9344, 1.538, 2.556, 4.07, 6.114, 8.696, 11.85, 15.64",\
                 "0.52, 0.638, 0.998, 1.594, 2.594, 4.1, 6.136, 8.7, 11.85, 15.61");
        }
      }
    }
  }