  cell(gf180mcu_fd_sc_mcu9t5v0__xnor3_4) {
    area : 90.316800 ;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    pin(ZN) {
      direction : output ;
      function : "(!(A1^A2^A3))" ;
      max_capacitance : 1.838 ;
      max_transition : 13.2 ;
      min_capacitance : 0.001 ;
      output_voltage : default ;
      related_ground_pin : VSS ;
      related_power_pin : VDD ;

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.4821, 0.4662, 0.4394, 0.4254, 0.4181, 0.4141, 0.4116, 0.4099, 0.4087, 0.408",\
                 "0.4822, 0.4661, 0.4392, 0.4254, 0.4178, 0.414, 0.4116, 0.4097, 0.4087, 0.4078",\
                 "0.4819, 0.4658, 0.439, 0.4248, 0.4179, 0.4137, 0.4112, 0.4096, 0.4085, 0.4076",\
                 "0.482, 0.466, 0.4393, 0.4252, 0.4181, 0.414, 0.4114, 0.4098, 0.4087, 0.4078",\
                 "0.4834, 0.4674, 0.4408, 0.4266, 0.4193, 0.4152, 0.4128, 0.4111, 0.41, 0.4092",\
                 "0.4862, 0.4701, 0.4433, 0.4291, 0.4218, 0.4178, 0.4154, 0.4139, 0.4128, 0.4118",\
                 "0.4905, 0.4747, 0.4477, 0.4335, 0.4264, 0.4225, 0.42, 0.4184, 0.4172, 0.4163",\
                 "0.4969, 0.4806, 0.4541, 0.4401, 0.4328, 0.4287, 0.4263, 0.4246, 0.4235, 0.4227",\
                 "0.5052, 0.4893, 0.4626, 0.4484, 0.4415, 0.4373, 0.4347, 0.4331, 0.432, 0.4309",\
                 "0.5159, 0.4999, 0.473, 0.4591, 0.4519, 0.4479, 0.4454, 0.4436, 0.4424, 0.4414");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.405, 0.4, 0.3924, 0.3886, 0.3891, 0.3921, 0.3953, 0.4057, 0.5147, 1.043",\
                 "0.4046, 0.3992, 0.3918, 0.388, 0.3894, 0.3912, 0.395, 0.4069, 0.5179, 1.052",\
                 "0.4036, 0.3987, 0.3909, 0.3874, 0.3887, 0.3906, 0.3938, 0.406, 0.5258, 1.091",\
                 "0.4041, 0.3987, 0.3912, 0.3874, 0.3887, 0.3909, 0.3938, 0.4085, 0.5462, 1.168",\
                 "0.4062, 0.4009, 0.3933, 0.3902, 0.3909, 0.393, 0.3961, 0.4152, 0.5864, 1.31",\
                 "0.4108, 0.4052, 0.3982, 0.3942, 0.3958, 0.3981, 0.4009, 0.4308, 0.6656, 1.551",\
                 "0.4174, 0.412, 0.4048, 0.4012, 0.4024, 0.4044, 0.4092, 0.4609, 0.8128, 1.945",\
                 "0.4261, 0.421, 0.4137, 0.4106, 0.4115, 0.4134, 0.4216, 0.5304, 1.1, 2.547",\
                 "0.4376, 0.4322, 0.4242, 0.4212, 0.4224, 0.4256, 0.451, 0.7026, 1.653, 3.396",\
                 "0.4513, 0.4461, 0.4391, 0.4341, 0.4349, 0.4422, 0.5555, 1.188, 2.591, 4.267");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.4538, 0.437, 0.4071, 0.3899, 0.3809, 0.3758, 0.3726, 0.3705, 0.3691, 0.368",\
                 "0.4533, 0.4366, 0.4067, 0.3894, 0.3804, 0.3752, 0.372, 0.37, 0.3686, 0.3676",\
                 "0.4527, 0.436, 0.406, 0.3887, 0.3798, 0.3746, 0.3715, 0.3695, 0.368, 0.367",\
                 "0.4529, 0.4363, 0.4063, 0.3893, 0.3801, 0.3749, 0.3718, 0.3697, 0.3682, 0.3672",\
                 "0.4551, 0.4384, 0.4085, 0.3911, 0.3822, 0.377, 0.3739, 0.3719, 0.3704, 0.3694",\
                 "0.4596, 0.4429, 0.413, 0.3956, 0.3867, 0.3815, 0.3784, 0.3764, 0.3749, 0.3739",\
                 "0.4664, 0.4496, 0.4195, 0.4026, 0.3936, 0.3884, 0.3852, 0.383, 0.3815, 0.3804",\
                 "0.4751, 0.4583, 0.4284, 0.4112, 0.4023, 0.3971, 0.3938, 0.3919, 0.3904, 0.3892",\
                 "0.4866, 0.4698, 0.4399, 0.4225, 0.4136, 0.4085, 0.4052, 0.4032, 0.4016, 0.4001",\
                 "0.5007, 0.4837, 0.4539, 0.4367, 0.4276, 0.4223, 0.4192, 0.417, 0.4151, 0.4115");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.3711, 0.3622, 0.3505, 0.3436, 0.3423, 0.3432, 0.3459, 0.3561, 0.4395, 0.8917",\
                 "0.3709, 0.3623, 0.3508, 0.3439, 0.3427, 0.3432, 0.3462, 0.3546, 0.4415, 0.9011",\
                 "0.3708, 0.3621, 0.3511, 0.344, 0.3422, 0.3441, 0.3474, 0.357, 0.4485, 0.9324",\
                 "0.3709, 0.3623, 0.3508, 0.3437, 0.3426, 0.3435, 0.3479, 0.357, 0.4624, 0.9896",\
                 "0.3726, 0.3637, 0.3522, 0.3453, 0.3439, 0.3453, 0.3479, 0.3607, 0.4887, 1.075",\
                 "0.3745, 0.3658, 0.3543, 0.3472, 0.3463, 0.3486, 0.3516, 0.3698, 0.5235, 1.201",\
                 "0.3778, 0.3692, 0.3581, 0.3513, 0.3506, 0.3513, 0.3551, 0.3787, 0.5818, 1.382",\
                 "0.384, 0.3752, 0.3635, 0.3566, 0.3553, 0.3588, 0.3624, 0.3981, 0.6696, 1.642",\
                 "0.3925, 0.3839, 0.3722, 0.3654, 0.3635, 0.3644, 0.3726, 0.4346, 0.8212, 2.012",\
                 "0.4032, 0.3949, 0.3836, 0.3762, 0.3734, 0.3728, 0.3812, 0.4934, 1.076, 2.527");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.4696, 0.4534, 0.4268, 0.4127, 0.4056, 0.4016, 0.3989, 0.3974, 0.3963, 0.3955",\
                 "0.4697, 0.4536, 0.4268, 0.4126, 0.4054, 0.4014, 0.399, 0.3974, 0.3962, 0.3954",\
                 "0.4693, 0.4531, 0.4266, 0.4125, 0.4053, 0.4011, 0.3986, 0.397, 0.3959, 0.395",\
                 "0.4695, 0.4535, 0.4269, 0.4127, 0.4055, 0.4014, 0.3989, 0.3973, 0.3963, 0.3954",\
                 "0.4714, 0.4553, 0.4287, 0.4146, 0.4075, 0.4033, 0.4007, 0.3992, 0.398, 0.3973",\
                 "0.4756, 0.4595, 0.4329, 0.4186, 0.4115, 0.4073, 0.4049, 0.4033, 0.4022, 0.4014",\
                 "0.482, 0.466, 0.4394, 0.425, 0.4178, 0.4137, 0.4113, 0.4097, 0.4085, 0.4077",\
                 "0.4905, 0.4743, 0.4476, 0.4337, 0.4263, 0.4224, 0.4199, 0.4183, 0.4171, 0.416",\
                 "0.5013, 0.4852, 0.4584, 0.4444, 0.437, 0.433, 0.4305, 0.4289, 0.4276, 0.4262",\
                 "0.5144, 0.4984, 0.4717, 0.4575, 0.4503, 0.4461, 0.4437, 0.442, 0.4402, 0.4361");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.3408, 0.3355, 0.3282, 0.3241, 0.3254, 0.3278, 0.3314, 0.3394, 0.4185, 0.8501",\
                 "0.341, 0.3355, 0.3283, 0.3243, 0.3258, 0.3281, 0.3314, 0.3394, 0.4215, 0.8579",\
                 "0.341, 0.3356, 0.3284, 0.3247, 0.3259, 0.3284, 0.3305, 0.3395, 0.4295, 0.8862",\
                 "0.3414, 0.3363, 0.3291, 0.3248, 0.3267, 0.329, 0.332, 0.3428, 0.443, 0.9475",\
                 "0.3433, 0.3379, 0.3306, 0.3266, 0.3285, 0.3302, 0.3331, 0.3462, 0.4724, 1.053",\
                 "0.3464, 0.3413, 0.3338, 0.3299, 0.3312, 0.3338, 0.3365, 0.3541, 0.5153, 1.211",\
                 "0.3514, 0.346, 0.3383, 0.335, 0.3353, 0.338, 0.3418, 0.3687, 0.5883, 1.446",\
                 "0.3578, 0.3524, 0.3447, 0.3408, 0.3416, 0.3458, 0.3487, 0.3937, 0.7143, 1.781",\
                 "0.3664, 0.3613, 0.3541, 0.3494, 0.3492, 0.352, 0.364, 0.4455, 0.9244, 2.257",\
                 "0.3777, 0.372, 0.3647, 0.3598, 0.3611, 0.3619, 0.3777, 0.5472, 1.297, 2.913");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.3913, 0.3744, 0.3437, 0.3259, 0.3165, 0.3112, 0.308, 0.3058, 0.3043, 0.3033",\
                 "0.3914, 0.3744, 0.344, 0.3262, 0.3167, 0.3112, 0.308, 0.3058, 0.3044, 0.3033",\
                 "0.3915, 0.3746, 0.344, 0.3263, 0.3167, 0.3113, 0.3081, 0.3059, 0.3045, 0.3034",\
                 "0.3921, 0.3751, 0.3445, 0.3269, 0.3173, 0.3119, 0.3086, 0.3065, 0.305, 0.304",\
                 "0.3946, 0.3775, 0.347, 0.3291, 0.3195, 0.3142, 0.311, 0.3088, 0.3073, 0.3063",\
                 "0.3999, 0.3827, 0.3517, 0.3336, 0.324, 0.3185, 0.3151, 0.3129, 0.3113, 0.3103",\
                 "0.407, 0.3897, 0.3585, 0.3401, 0.3301, 0.3246, 0.3212, 0.319, 0.3175, 0.3163",\
                 "0.417, 0.3994, 0.3676, 0.3489, 0.3387, 0.3329, 0.3294, 0.3271, 0.3256, 0.3244",\
                 "0.4298, 0.4123, 0.3799, 0.3605, 0.3499, 0.3439, 0.3402, 0.3378, 0.3363, 0.3351",\
                 "0.4464, 0.4283, 0.3954, 0.3748, 0.3638, 0.3575, 0.3536, 0.3512, 0.3495, 0.3481");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.3562, 0.3476, 0.3368, 0.3298, 0.3284, 0.3302, 0.3335, 0.3415, 0.4161, 0.8209",\
                 "0.3562, 0.3482, 0.3368, 0.3304, 0.3291, 0.3299, 0.3335, 0.3418, 0.4181, 0.8306",\
                 "0.3559, 0.3474, 0.3363, 0.3298, 0.3285, 0.3314, 0.3338, 0.3409, 0.4241, 0.8591",\
                 "0.3562, 0.3478, 0.3365, 0.3298, 0.3283, 0.3305, 0.3344, 0.3431, 0.4393, 0.9218",\
                 "0.3577, 0.3494, 0.3379, 0.3317, 0.3307, 0.3326, 0.336, 0.3468, 0.4678, 1.044",\
                 "0.3621, 0.354, 0.3423, 0.336, 0.3348, 0.3362, 0.3405, 0.358, 0.5313, 1.257",\
                 "0.372, 0.3635, 0.352, 0.3452, 0.3436, 0.3437, 0.3494, 0.383, 0.6514, 1.616",\
                 "0.3858, 0.3764, 0.3644, 0.3564, 0.3554, 0.3547, 0.3609, 0.4361, 0.8898, 2.185",\
                 "0.4018, 0.3926, 0.3789, 0.3693, 0.3669, 0.3697, 0.3844, 0.5687, 1.369, 3.021",\
                 "0.4212, 0.4108, 0.3977, 0.3879, 0.3829, 0.3861, 0.4616, 0.9539, 2.25, 4.001");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.4741, 0.458, 0.4315, 0.4173, 0.4102, 0.406, 0.4035, 0.4019, 0.4007, 0.3999",\
                 "0.4744, 0.4583, 0.4315, 0.4174, 0.4101, 0.4062, 0.4037, 0.402, 0.401, 0.4",\
                 "0.4744, 0.4584, 0.4317, 0.4175, 0.4105, 0.4063, 0.4039, 0.4021, 0.401, 0.4001",\
                 "0.4748, 0.4587, 0.432, 0.4177, 0.4106, 0.4068, 0.4041, 0.4026, 0.4015, 0.4007",\
                 "0.4763, 0.4603, 0.4334, 0.4193, 0.4122, 0.4081, 0.4056, 0.404, 0.4028, 0.402",\
                 "0.4788, 0.4628, 0.436, 0.4217, 0.4146, 0.4106, 0.4082, 0.4066, 0.4055, 0.4046",\
                 "0.4828, 0.4668, 0.4401, 0.426, 0.4187, 0.4146, 0.4121, 0.4105, 0.4094, 0.4085",\
                 "0.488, 0.4719, 0.4454, 0.4312, 0.4242, 0.4201, 0.4175, 0.4159, 0.4148, 0.4139",\
                 "0.4951, 0.4792, 0.4526, 0.4382, 0.4311, 0.427, 0.4247, 0.4231, 0.4218, 0.421",\
                 "0.5042, 0.4882, 0.4612, 0.4474, 0.44, 0.436, 0.4335, 0.4319, 0.4309, 0.4298");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.4017, 0.3963, 0.3887, 0.3848, 0.386, 0.3884, 0.3916, 0.4028, 0.5079, 1.028",\
                 "0.4011, 0.3959, 0.3886, 0.3849, 0.3861, 0.3884, 0.3916, 0.4016, 0.51, 1.039",\
                 "0.4007, 0.3956, 0.3883, 0.3842, 0.3858, 0.3881, 0.3919, 0.4035, 0.5177, 1.074",\
                 "0.4018, 0.3963, 0.3887, 0.385, 0.3865, 0.3887, 0.3919, 0.4062, 0.543, 1.16",\
                 "0.4042, 0.3991, 0.3914, 0.3873, 0.3886, 0.3911, 0.3948, 0.4145, 0.5899, 1.326",\
                 "0.4085, 0.403, 0.3962, 0.3918, 0.3931, 0.3956, 0.3993, 0.4307, 0.6778, 1.596",\
                 "0.4141, 0.4089, 0.4016, 0.3975, 0.3991, 0.4013, 0.4073, 0.4638, 0.8451, 2.024",\
                 "0.4214, 0.416, 0.4087, 0.4055, 0.4065, 0.4085, 0.4194, 0.5425, 1.17, 2.68",\
                 "0.4308, 0.4255, 0.4181, 0.4136, 0.4154, 0.4179, 0.4522, 0.7524, 1.797, 3.567",\
                 "0.4421, 0.4368, 0.4296, 0.4251, 0.4262, 0.4384, 0.5932, 1.346, 2.807, 4.384");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.4508, 0.434, 0.4042, 0.3869, 0.3778, 0.3726, 0.3695, 0.3675, 0.366, 0.365",\
                 "0.4501, 0.4333, 0.4035, 0.3863, 0.3771, 0.3719, 0.3687, 0.3667, 0.3653, 0.3643",\
                 "0.4496, 0.4329, 0.4031, 0.3857, 0.3768, 0.3716, 0.3684, 0.3664, 0.365, 0.364",\
                 "0.4507, 0.4339, 0.4041, 0.3869, 0.3778, 0.3725, 0.3694, 0.3673, 0.3659, 0.3649",\
                 "0.4532, 0.4365, 0.4066, 0.3895, 0.3804, 0.3752, 0.372, 0.3699, 0.3685, 0.3674",\
                 "0.4574, 0.4406, 0.4107, 0.3935, 0.3845, 0.3792, 0.3761, 0.374, 0.3726, 0.3716",\
                 "0.4631, 0.4464, 0.4166, 0.3992, 0.3902, 0.385, 0.3818, 0.3797, 0.3783, 0.3773",\
                 "0.4707, 0.4538, 0.4241, 0.4066, 0.3976, 0.3925, 0.3894, 0.3874, 0.3858, 0.3846",\
                 "0.4801, 0.4631, 0.4334, 0.416, 0.407, 0.4018, 0.3987, 0.3966, 0.395, 0.3933",\
                 "0.4916, 0.4746, 0.4449, 0.4276, 0.4185, 0.4133, 0.4101, 0.408, 0.4058, 0.4012");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.3608, 0.3522, 0.3412, 0.3343, 0.3332, 0.3347, 0.3377, 0.346, 0.4299, 0.8686",\
                 "0.3608, 0.3524, 0.3414, 0.335, 0.3338, 0.3359, 0.3383, 0.347, 0.4331, 0.8782",\
                 "0.3609, 0.3529, 0.3413, 0.3352, 0.3332, 0.3359, 0.3392, 0.3497, 0.441, 0.909",\
                 "0.3615, 0.353, 0.3425, 0.3354, 0.3336, 0.3368, 0.34, 0.3482, 0.4532, 0.9636",\
                 "0.3629, 0.3545, 0.3433, 0.3369, 0.3358, 0.3374, 0.3412, 0.3534, 0.4758, 1.047",\
                 "0.3653, 0.3569, 0.3456, 0.3387, 0.338, 0.3389, 0.3422, 0.3583, 0.5065, 1.164",\
                 "0.3692, 0.3608, 0.349, 0.3436, 0.3428, 0.3428, 0.3471, 0.3686, 0.5587, 1.338",\
                 "0.3748, 0.3664, 0.3548, 0.348, 0.3459, 0.3512, 0.3535, 0.3851, 0.642, 1.584",\
                 "0.3822, 0.3738, 0.3623, 0.356, 0.3541, 0.3548, 0.3632, 0.42, 0.7812, 1.926",\
                 "0.3911, 0.3825, 0.3713, 0.3641, 0.3618, 0.3613, 0.37, 0.4702, 1.01, 2.414");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.4753, 0.4595, 0.4327, 0.4184, 0.4113, 0.4071, 0.4046, 0.4028, 0.4018, 0.401",\
                 "0.475, 0.4591, 0.4325, 0.4183, 0.4108, 0.4067, 0.4042, 0.4027, 0.4015, 0.4008",\
                 "0.4749, 0.4589, 0.4323, 0.418, 0.4105, 0.4067, 0.4041, 0.4025, 0.4015, 0.4006",\
                 "0.4756, 0.4595, 0.4326, 0.4186, 0.4115, 0.4071, 0.4048, 0.4032, 0.4021, 0.4012",\
                 "0.4775, 0.4615, 0.4347, 0.4207, 0.4133, 0.4092, 0.4067, 0.4051, 0.404, 0.403",\
                 "0.4816, 0.4654, 0.439, 0.4246, 0.4173, 0.4134, 0.411, 0.4093, 0.4082, 0.4073",\
                 "0.4882, 0.4721, 0.4453, 0.431, 0.424, 0.42, 0.4176, 0.416, 0.4149, 0.414",\
                 "0.4971, 0.4811, 0.4546, 0.4402, 0.433, 0.4291, 0.4265, 0.425, 0.4237, 0.4227",\
                 "0.5083, 0.4924, 0.4654, 0.4516, 0.4443, 0.4403, 0.4377, 0.436, 0.4348, 0.4331",\
                 "0.5223, 0.5062, 0.4793, 0.4652, 0.4579, 0.4539, 0.4514, 0.4496, 0.4475, 0.443");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.3431, 0.3377, 0.3303, 0.3268, 0.3273, 0.3296, 0.333, 0.3404, 0.4213, 0.854",\
                 "0.343, 0.3379, 0.3305, 0.3266, 0.3285, 0.3299, 0.333, 0.3422, 0.4241, 0.8624",\
                 "0.3434, 0.3379, 0.3307, 0.3267, 0.3279, 0.3305, 0.3339, 0.3425, 0.4307, 0.8892",\
                 "0.3441, 0.3385, 0.3313, 0.3275, 0.3289, 0.3308, 0.3333, 0.3446, 0.4448, 0.9443",\
                 "0.3451, 0.34, 0.3327, 0.3288, 0.3301, 0.3323, 0.3349, 0.348, 0.4684, 1.036",\
                 "0.3484, 0.3429, 0.3356, 0.3318, 0.333, 0.335, 0.3383, 0.3547, 0.5101, 1.18",\
                 "0.3527, 0.3475, 0.3399, 0.3364, 0.3373, 0.3395, 0.3434, 0.3678, 0.5746, 1.39",\
                 "0.3592, 0.3535, 0.3463, 0.3412, 0.3433, 0.3479, 0.3508, 0.3891, 0.682, 1.697",\
                 "0.3681, 0.3628, 0.355, 0.3505, 0.3505, 0.3533, 0.3634, 0.4337, 0.8688, 2.14",\
                 "0.3789, 0.3734, 0.3655, 0.3616, 0.362, 0.3656, 0.3759, 0.5188, 1.194, 2.745");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.3937, 0.3767, 0.3461, 0.3284, 0.3187, 0.3134, 0.3102, 0.308, 0.3066, 0.3055",\
                 "0.3937, 0.3768, 0.3463, 0.3286, 0.3189, 0.3136, 0.3104, 0.3081, 0.3067, 0.3056",\
                 "0.3938, 0.3769, 0.3463, 0.3285, 0.319, 0.3136, 0.3104, 0.3082, 0.3067, 0.3057",\
                 "0.3944, 0.3774, 0.3469, 0.3289, 0.3195, 0.3141, 0.3109, 0.3087, 0.3073, 0.3062",\
                 "0.3964, 0.3793, 0.3487, 0.3309, 0.3212, 0.3159, 0.3127, 0.3106, 0.3091, 0.3081",\
                 "0.401, 0.3839, 0.3531, 0.3347, 0.3252, 0.3197, 0.3164, 0.3142, 0.3127, 0.3117",\
                 "0.4076, 0.3904, 0.359, 0.3407, 0.3309, 0.3253, 0.3217, 0.3196, 0.3181, 0.3169",\
                 "0.4175, 0.3999, 0.3681, 0.3491, 0.3388, 0.3331, 0.3297, 0.3274, 0.3259, 0.3247",\
                 "0.43, 0.4123, 0.3801, 0.3603, 0.3497, 0.3436, 0.3401, 0.3378, 0.3362, 0.335",\
                 "0.4462, 0.4281, 0.3949, 0.3746, 0.3634, 0.357, 0.353, 0.3507, 0.349, 0.3476");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.3642, 0.3555, 0.3436, 0.3368, 0.3352, 0.3361, 0.3395, 0.3475, 0.4255, 0.8393",\
                 "0.3638, 0.3552, 0.3437, 0.337, 0.3348, 0.3361, 0.3398, 0.3481, 0.4246, 0.8463",\
                 "0.3637, 0.3551, 0.3434, 0.3366, 0.3352, 0.3376, 0.3404, 0.3502, 0.4331, 0.8826",\
                 "0.3643, 0.3556, 0.3439, 0.3372, 0.3359, 0.3373, 0.3407, 0.3508, 0.4502, 0.9449",\
                 "0.3658, 0.3571, 0.3458, 0.3388, 0.3368, 0.3391, 0.3426, 0.3539, 0.4796, 1.07",\
                 "0.3702, 0.3616, 0.35, 0.3432, 0.3414, 0.3433, 0.3473, 0.3667, 0.5465, 1.292",\
                 "0.38, 0.3712, 0.359, 0.3518, 0.3501, 0.3505, 0.3547, 0.3923, 0.6725, 1.663",\
                 "0.394, 0.3847, 0.3724, 0.3643, 0.3628, 0.3628, 0.3683, 0.4496, 0.9287, 2.253",\
                 "0.4106, 0.4011, 0.3872, 0.3786, 0.3756, 0.3771, 0.395, 0.5943, 1.436, 3.113",\
                 "0.4302, 0.4202, 0.4058, 0.3954, 0.391, 0.3937, 0.4814, 1.02, 2.359, 4.088");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.4014, 0.3846, 0.355, 0.3382, 0.329, 0.3238, 0.3208, 0.3187, 0.3173, 0.3163",\
                 "0.4012, 0.3845, 0.3548, 0.3381, 0.3289, 0.3237, 0.3205, 0.3185, 0.3171, 0.3161",\
                 "0.4003, 0.3835, 0.3538, 0.3371, 0.3278, 0.3227, 0.3196, 0.3175, 0.3161, 0.3151",\
                 "0.398, 0.3813, 0.3517, 0.3347, 0.3256, 0.3204, 0.3174, 0.3153, 0.3139, 0.3128",\
                 "0.3966, 0.38, 0.3506, 0.334, 0.3252, 0.3201, 0.317, 0.315, 0.3136, 0.3126",\
                 "0.3949, 0.3784, 0.3499, 0.3341, 0.326, 0.3213, 0.3185, 0.3166, 0.3153, 0.3145",\
                 "0.3977, 0.3814, 0.3532, 0.338, 0.3303, 0.3259, 0.3231, 0.3214, 0.3202, 0.3193",\
                 "0.4058, 0.3895, 0.3615, 0.346, 0.3381, 0.3338, 0.3312, 0.3295, 0.3283, 0.3274",\
                 "0.4182, 0.4018, 0.3735, 0.3577, 0.3498, 0.3451, 0.3426, 0.3408, 0.3397, 0.3388",\
                 "0.4344, 0.4179, 0.3891, 0.3731, 0.3648, 0.3601, 0.3573, 0.3556, 0.3543, 0.3533");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.3481, 0.3426, 0.3356, 0.3315, 0.3331, 0.3353, 0.3381, 0.3461, 0.4095, 0.7739",\
                 "0.3478, 0.3424, 0.3352, 0.3317, 0.3324, 0.335, 0.3378, 0.3452, 0.4094, 0.7805",\
                 "0.3469, 0.3418, 0.3342, 0.3309, 0.3322, 0.3344, 0.3372, 0.3443, 0.4152, 0.8051",\
                 "0.3468, 0.3417, 0.3342, 0.3303, 0.3318, 0.3341, 0.3372, 0.3446, 0.4254, 0.8555",\
                 "0.3487, 0.3433, 0.3359, 0.3319, 0.3329, 0.3356, 0.3384, 0.3492, 0.451, 0.9519",\
                 "0.3546, 0.3492, 0.3415, 0.3372, 0.3383, 0.3404, 0.3427, 0.3577, 0.4974, 1.12",\
                 "0.3638, 0.3578, 0.3498, 0.3464, 0.3466, 0.3485, 0.3521, 0.3762, 0.5853, 1.405",\
                 "0.3774, 0.3712, 0.3622, 0.357, 0.3586, 0.3611, 0.3658, 0.4139, 0.7564, 1.874",\
                 "0.3952, 0.3887, 0.3789, 0.3728, 0.3727, 0.3767, 0.3863, 0.5039, 1.106, 2.595",\
                 "0.4176, 0.4105, 0.4008, 0.3942, 0.3921, 0.3928, 0.4317, 0.7431, 1.804, 3.571");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.3576, 0.3417, 0.315, 0.3012, 0.2938, 0.2897, 0.2872, 0.2855, 0.2844, 0.2835",\
                 "0.3572, 0.341, 0.3146, 0.3004, 0.2931, 0.2893, 0.2868, 0.285, 0.2839, 0.2831",\
                 "0.3553, 0.3391, 0.3126, 0.2984, 0.2912, 0.2874, 0.2849, 0.2832, 0.282, 0.2812",\
                 "0.356, 0.34, 0.3132, 0.299, 0.2916, 0.2878, 0.2854, 0.2839, 0.2828, 0.282",\
                 "0.3694, 0.3526, 0.3238, 0.3074, 0.2991, 0.2946, 0.2919, 0.2902, 0.289, 0.2881",\
                 "0.4046, 0.3852, 0.3503, 0.3287, 0.3168, 0.3101, 0.306, 0.3036, 0.3018, 0.3005",\
                 "0.4474, 0.4258, 0.3845, 0.3572, 0.3414, 0.3321, 0.3265, 0.3229, 0.3205, 0.3189",\
                 "0.4965, 0.4733, 0.4262, 0.3927, 0.3732, 0.3612, 0.3539, 0.3489, 0.3459, 0.3436",\
                 "0.554, 0.5292, 0.4766, 0.4368, 0.4131, 0.3982, 0.3883, 0.3825, 0.3783, 0.375",\
                 "0.621, 0.5948, 0.5368, 0.4903, 0.4617, 0.4436, 0.4312, 0.4233, 0.4178, 0.4135");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.2068, 0.2021, 0.1969, 0.1969, 0.1994, 0.2025, 0.2062, 0.2108, 0.2542, 0.5278",\
                 "0.2073, 0.2021, 0.1971, 0.1973, 0.1998, 0.2037, 0.2074, 0.2123, 0.2554, 0.5341",\
                 "0.2074, 0.2026, 0.1974, 0.1972, 0.1999, 0.2028, 0.2074, 0.212, 0.2596, 0.5526",\
                 "0.2141, 0.2087, 0.2015, 0.1994, 0.2007, 0.2031, 0.2071, 0.2123, 0.2684, 0.5952",\
                 "0.232, 0.2242, 0.2137, 0.2089, 0.2075, 0.2088, 0.2122, 0.2186, 0.286, 0.6635",\
                 "0.2575, 0.247, 0.2324, 0.2234, 0.2205, 0.2202, 0.2221, 0.2304, 0.3163, 0.7675",\
                 "0.2912, 0.2779, 0.26, 0.2458, 0.239, 0.2388, 0.2387, 0.2503, 0.3669, 0.9312",\
                 "0.3343, 0.3173, 0.2945, 0.2762, 0.2658, 0.261, 0.2652, 0.2799, 0.451, 1.175",\
                 "0.3868, 0.366, 0.3386, 0.317, 0.3011, 0.2922, 0.2915, 0.3307, 0.5941, 1.555",\
                 "0.4484, 0.4235, 0.3899, 0.3648, 0.3462, 0.3327, 0.329, 0.3984, 0.8435, 2.116");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.3576, 0.3417, 0.315, 0.3012, 0.2938, 0.2897, 0.2872, 0.2855, 0.2844, 0.2835",\
                 "0.3573, 0.341, 0.3146, 0.3004, 0.2931, 0.2893, 0.2868, 0.285, 0.2839, 0.2831",\
                 "0.3552, 0.3393, 0.3125, 0.2984, 0.2912, 0.2874, 0.2849, 0.2832, 0.282, 0.2812",\
                 "0.3561, 0.3399, 0.3132, 0.2989, 0.2916, 0.2878, 0.2855, 0.2838, 0.2827, 0.282",\
                 "0.3694, 0.3527, 0.3238, 0.3075, 0.2991, 0.2947, 0.2919, 0.2902, 0.2889, 0.2881",\
                 "0.4046, 0.3854, 0.3503, 0.3285, 0.3167, 0.3101, 0.306, 0.3035, 0.3018, 0.3005",\
                 "0.4475, 0.4257, 0.3845, 0.3569, 0.3413, 0.332, 0.3266, 0.3228, 0.3206, 0.3189",\
                 "0.4965, 0.4733, 0.4259, 0.3927, 0.3733, 0.3613, 0.3539, 0.3491, 0.3459, 0.3437",\
                 "0.554, 0.5292, 0.4766, 0.4368, 0.4127, 0.3981, 0.3887, 0.3822, 0.3784, 0.3748",\
                 "0.6209, 0.5947, 0.5368, 0.4903, 0.4619, 0.4435, 0.4312, 0.4234, 0.4178, 0.4135");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.2068, 0.2021, 0.1969, 0.1969, 0.1994, 0.2025, 0.2062, 0.2111, 0.2565, 0.5278",\
                 "0.2073, 0.2024, 0.1976, 0.1973, 0.1998, 0.2037, 0.2068, 0.2123, 0.2551, 0.5335",\
                 "0.2074, 0.2024, 0.1976, 0.1972, 0.2001, 0.2028, 0.2074, 0.212, 0.2593, 0.5526",\
                 "0.2141, 0.2084, 0.2015, 0.1994, 0.2007, 0.2031, 0.2077, 0.2129, 0.268, 0.5947",\
                 "0.232, 0.2243, 0.2142, 0.2087, 0.2076, 0.2094, 0.2137, 0.2189, 0.2869, 0.6635",\
                 "0.2574, 0.247, 0.2324, 0.2234, 0.2205, 0.2202, 0.2221, 0.2304, 0.3163, 0.7679",\
                 "0.2912, 0.2779, 0.26, 0.2458, 0.239, 0.2397, 0.2396, 0.2473, 0.3658, 0.9297",\
                 "0.3343, 0.3173, 0.2942, 0.2764, 0.2659, 0.2607, 0.2652, 0.279, 0.4507, 1.176",\
                 "0.3868, 0.3658, 0.3386, 0.3164, 0.3022, 0.2913, 0.2921, 0.3304, 0.5935, 1.555",\
                 "0.4484, 0.4234, 0.3899, 0.3645, 0.3462, 0.3315, 0.329, 0.3981, 0.8435, 2.116");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.4024, 0.3855, 0.3556, 0.3386, 0.3292, 0.324, 0.3208, 0.3187, 0.3173, 0.3163",\
                 "0.4022, 0.3854, 0.3554, 0.3384, 0.3291, 0.3238, 0.3207, 0.3186, 0.3172, 0.3161",\
                 "0.4011, 0.3844, 0.3544, 0.3374, 0.3281, 0.3228, 0.3196, 0.3175, 0.3161, 0.3151",\
                 "0.399, 0.3821, 0.3523, 0.3351, 0.3258, 0.3206, 0.3174, 0.3154, 0.3139, 0.3129",\
                 "0.3976, 0.381, 0.3512, 0.3343, 0.3253, 0.3204, 0.3172, 0.3151, 0.3136, 0.3126",\
                 "0.3958, 0.3793, 0.3506, 0.3344, 0.3263, 0.3215, 0.3186, 0.3167, 0.3154, 0.3145",\
                 "0.3986, 0.3822, 0.3539, 0.3383, 0.3305, 0.3261, 0.3233, 0.3216, 0.3202, 0.3194",\
                 "0.4065, 0.39, 0.3619, 0.3463, 0.3385, 0.3341, 0.3314, 0.3297, 0.3284, 0.3275",\
                 "0.4189, 0.4023, 0.3739, 0.3579, 0.3498, 0.3454, 0.3425, 0.3408, 0.3397, 0.3387",\
                 "0.435, 0.4184, 0.3893, 0.3733, 0.3649, 0.3602, 0.3573, 0.3556, 0.3542, 0.3532");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.348, 0.3426, 0.3354, 0.3317, 0.3327, 0.3356, 0.3393, 0.3443, 0.4082, 0.7733",\
                 "0.3479, 0.3425, 0.3352, 0.3315, 0.3328, 0.3347, 0.3387, 0.3443, 0.4102, 0.7811",\
                 "0.3472, 0.3419, 0.3346, 0.3307, 0.3324, 0.3344, 0.3381, 0.3452, 0.4152, 0.8054",\
                 "0.3469, 0.3417, 0.3343, 0.3304, 0.3315, 0.3341, 0.3375, 0.3446, 0.4255, 0.8552",\
                 "0.3487, 0.3435, 0.3363, 0.332, 0.3337, 0.3356, 0.339, 0.3486, 0.4482, 0.9504",\
                 "0.3547, 0.3491, 0.3414, 0.3373, 0.3373, 0.3398, 0.3427, 0.358, 0.4953, 1.12",\
                 "0.3639, 0.3584, 0.3493, 0.3455, 0.3466, 0.3482, 0.3533, 0.3766, 0.5845, 1.406",\
                 "0.3776, 0.3714, 0.3625, 0.3574, 0.3584, 0.3605, 0.365, 0.4152, 0.7569, 1.867",\
                 "0.3954, 0.3889, 0.3787, 0.374, 0.3725, 0.3764, 0.3873, 0.5039, 1.106, 2.594",\
                 "0.4176, 0.4107, 0.4002, 0.3945, 0.3917, 0.3928, 0.4311, 0.7435, 1.804, 3.571");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("3.78, 3.864, 4.077, 4.371, 4.73, 5.162, 5.684, 6.317, 7.077, 7.98",\
                 "3.806, 3.89, 4.102, 4.397, 4.755, 5.187, 5.709, 6.342, 7.103, 8.005",\
                 "3.883, 3.966, 4.179, 4.473, 4.832, 5.264, 5.786, 6.418, 7.179, 8.081",\
                 "3.957, 4.041, 4.253, 4.548, 4.907, 5.338, 5.861, 6.493, 7.254, 8.156",\
                 "3.979, 4.064, 4.276, 4.571, 4.929, 5.361, 5.883, 6.516, 7.276, 8.179",\
                 "3.95, 4.034, 4.247, 4.541, 4.9, 5.331, 5.853, 6.486, 7.247, 8.148",\
                 "3.845, 3.929, 4.141, 4.436, 4.795, 5.226, 5.748, 6.381, 7.142, 8.044",\
                 "3.657, 3.741, 3.953, 4.248, 4.607, 5.038, 5.561, 6.193, 6.953, 7.855",\
                 "3.384, 3.47, 3.681, 3.977, 4.336, 4.767, 5.289, 5.921, 6.681, 7.584",\
                 "3.025, 3.11, 3.323, 3.617, 3.976, 4.408, 4.93, 5.562, 6.323, 7.225");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("4.06, 4.134, 4.339, 4.685, 5.22, 5.969, 6.954, 8.196, 9.711, 11.52",\
                 "4.074, 4.148, 4.353, 4.7, 5.234, 5.983, 6.968, 8.21, 9.725, 11.53",\
                 "4.136, 4.21, 4.415, 4.762, 5.296, 6.046, 7.031, 8.272, 9.788, 11.59",\
                 "4.275, 4.349, 4.554, 4.901, 5.435, 6.185, 7.17, 8.411, 9.927, 11.73",\
                 "4.531, 4.606, 4.811, 5.158, 5.691, 6.441, 7.426, 8.668, 10.18, 11.99",\
                 "4.912, 4.986, 5.191, 5.538, 6.072, 6.821, 7.807, 9.048, 10.56, 12.37",\
                 "5.398, 5.472, 5.677, 6.024, 6.558, 7.308, 8.293, 9.534, 11.05, 12.85",\
                 "5.994, 6.068, 6.273, 6.62, 7.155, 7.904, 8.889, 10.13, 11.65, 13.45",\
                 "6.701, 6.775, 6.98, 7.328, 7.861, 8.61, 9.596, 10.84, 12.35, 14.16",\
                 "7.517, 7.592, 7.797, 8.143, 8.678, 9.426, 10.41, 11.65, 13.17, 14.98");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.3246, 0.4018, 0.6024, 0.9042, 1.313, 1.88, 2.648, 3.654, 4.908, 6.425",\
                 "0.324, 0.4018, 0.6022, 0.9042, 1.313, 1.879, 2.649, 3.653, 4.905, 6.427",\
                 "0.3244, 0.4018, 0.6014, 0.903, 1.314, 1.883, 2.649, 3.654, 4.908, 6.426",\
                 "0.3246, 0.4012, 0.6026, 0.9044, 1.314, 1.881, 2.649, 3.652, 4.907, 6.426",\
                 "0.324, 0.4014, 0.6024, 0.9038, 1.313, 1.88, 2.648, 3.655, 4.907, 6.425",\
                 "0.3242, 0.4016, 0.6016, 0.9036, 1.313, 1.881, 2.649, 3.652, 4.906, 6.427",\
                 "0.3244, 0.4012, 0.6022, 0.9036, 1.315, 1.881, 2.649, 3.653, 4.909, 6.426",\
                 "0.3248, 0.4018, 0.6024, 0.9054, 1.314, 1.883, 2.65, 3.649, 4.906, 6.428",\
                 "0.3252, 0.4016, 0.6026, 0.9052, 1.314, 1.88, 2.65, 3.65, 4.902, 6.416",\
                 "0.326, 0.402, 0.602, 0.904, 1.314, 1.882, 2.65, 3.654, 4.906, 6.42");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.2152, 0.3014, 0.5792, 1.154, 2.088, 3.407, 5.139, 7.323, 9.988, 13.18",\
                 "0.2154, 0.3016, 0.5806, 1.152, 2.085, 3.402, 5.137, 7.325, 9.999, 13.18",\
                 "0.2156, 0.3028, 0.58, 1.152, 2.085, 3.406, 5.142, 7.327, 9.999, 13.19",\
                 "0.2152, 0.3024, 0.58, 1.153, 2.088, 3.406, 5.141, 7.328, 9.997, 13.19",\
                 "0.2152, 0.3024, 0.58, 1.152, 2.089, 3.406, 5.141, 7.327, 9.999, 13.19",\
                 "0.2152, 0.3024, 0.5806, 1.152, 2.084, 3.405, 5.145, 7.329, 9.988, 13.18",\
                 "0.2156, 0.3018, 0.5794, 1.152, 2.086, 3.406, 5.14, 7.332, 9.994, 13.17",\
                 "0.216, 0.302, 0.58, 1.154, 2.086, 3.408, 5.14, 7.32, 9.994, 13.18",\
                 "0.214, 0.302, 0.58, 1.152, 2.086, 3.404, 5.144, 7.322, 9.994, 13.2",\
                 "0.214, 0.302, 0.58, 1.152, 2.086, 3.4, 5.14, 7.332, 9.988, 13.17");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("2.049, 2.139, 2.359, 2.66, 3.024, 3.458, 3.983, 4.617, 5.379, 6.281",\
                 "2.07, 2.159, 2.379, 2.68, 3.044, 3.479, 4.003, 4.638, 5.399, 6.302",\
                 "2.14, 2.229, 2.45, 2.75, 3.115, 3.55, 4.074, 4.709, 5.47, 6.373",\
                 "2.275, 2.364, 2.585, 2.885, 3.249, 3.684, 4.209, 4.843, 5.604, 6.507",\
                 "2.445, 2.535, 2.755, 3.056, 3.42, 3.855, 4.379, 5.014, 5.775, 6.678",\
                 "2.584, 2.673, 2.894, 3.195, 3.559, 3.994, 4.519, 5.153, 5.914, 6.817",\
                 "2.671, 2.76, 2.982, 3.283, 3.647, 4.083, 4.608, 5.242, 6.004, 6.906",\
                 "2.705, 2.795, 3.016, 3.317, 3.682, 4.117, 4.642, 5.276, 6.037, 6.94",\
                 "2.676, 2.766, 2.988, 3.289, 3.654, 4.09, 4.615, 5.249, 6.011, 6.913",\
                 "2.577, 2.667, 2.891, 3.192, 3.559, 3.995, 4.52, 5.154, 5.916, 6.818");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("2.609, 2.694, 2.93, 3.3, 3.839, 4.589, 5.575, 6.815, 8.33, 10.14",\
                 "2.636, 2.721, 2.957, 3.327, 3.866, 4.616, 5.602, 6.842, 8.357, 10.16",\
                 "2.72, 2.806, 3.042, 3.412, 3.951, 4.701, 5.686, 6.927, 8.441, 10.25",\
                 "2.905, 2.991, 3.227, 3.597, 4.136, 4.886, 5.872, 7.111, 8.626, 10.43",\
                 "3.225, 3.311, 3.546, 3.917, 4.456, 5.206, 6.192, 7.432, 8.946, 10.75",\
                 "3.696, 3.781, 4.017, 4.387, 4.927, 5.676, 6.662, 7.903, 9.416, 11.22",\
                 "4.294, 4.38, 4.617, 4.987, 5.526, 6.275, 7.26, 8.501, 10.02, 11.82",\
                 "4.981, 5.068, 5.305, 5.676, 6.215, 6.964, 7.949, 9.189, 10.7, 12.51",\
                 "5.759, 5.846, 6.085, 6.456, 6.995, 7.745, 8.73, 9.969, 11.48, 13.29",\
                 "6.636, 6.723, 6.964, 7.336, 7.875, 8.624, 9.608, 10.85, 12.36, 14.17");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.3508, 0.4308, 0.6302, 0.9284, 1.335, 1.899, 2.663, 3.661, 4.912, 6.427",\
                 "0.3504, 0.4306, 0.6298, 0.9282, 1.335, 1.897, 2.661, 3.663, 4.916, 6.422",\
                 "0.3508, 0.4316, 0.6296, 0.9302, 1.335, 1.898, 2.661, 3.661, 4.913, 6.428",\
                 "0.3508, 0.4312, 0.6294, 0.9282, 1.335, 1.899, 2.663, 3.664, 4.911, 6.428",\
                 "0.3512, 0.4314, 0.63, 0.929, 1.335, 1.897, 2.663, 3.66, 4.91, 6.428",\
                 "0.353, 0.4328, 0.6322, 0.931, 1.336, 1.901, 2.661, 3.663, 4.916, 6.431",\
                 "0.3548, 0.435, 0.6338, 0.9318, 1.336, 1.898, 2.663, 3.659, 4.915, 6.429",\
                 "0.3566, 0.4368, 0.6358, 0.9322, 1.338, 1.901, 2.661, 3.662, 4.909, 6.423",\
                 "0.361, 0.4408, 0.6396, 0.9358, 1.34, 1.901, 2.664, 3.662, 4.912, 6.422",\
                 "0.366, 0.446, 0.644, 0.942, 1.344, 1.906, 2.666, 3.662, 4.91, 6.424");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.262, 0.3616, 0.6574, 1.206, 2.113, 3.418, 5.158, 7.345, 10.02, 13.19",\
                 "0.2614, 0.3612, 0.6576, 1.205, 2.113, 3.42, 5.159, 7.346, 10.02, 13.19",\
                 "0.261, 0.361, 0.6584, 1.206, 2.114, 3.421, 5.15, 7.347, 10.02, 13.19",\
                 "0.261, 0.361, 0.6582, 1.206, 2.114, 3.42, 5.157, 7.343, 10.01, 13.19",\
                 "0.2612, 0.3616, 0.6592, 1.206, 2.113, 3.42, 5.16, 7.347, 10.02, 13.2",\
                 "0.2616, 0.3616, 0.6598, 1.205, 2.112, 3.42, 5.155, 7.348, 10.02, 13.19",\
                 "0.2634, 0.362, 0.6592, 1.206, 2.114, 3.426, 5.155, 7.348, 10.02, 13.2",\
                 "0.2682, 0.3674, 0.665, 1.211, 2.112, 3.42, 5.154, 7.346, 10.02, 13.2",\
                 "0.272, 0.372, 0.67, 1.214, 2.112, 3.424, 5.154, 7.344, 10.01, 13.19",\
                 "0.28, 0.376, 0.676, 1.216, 2.116, 3.422, 5.154, 7.338, 10.02, 13.18");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("3.78, 3.864, 4.077, 4.371, 4.73, 5.162, 5.684, 6.317, 7.077, 7.98",\
                 "3.806, 3.89, 4.102, 4.397, 4.755, 5.187, 5.709, 6.342, 7.103, 8.005",\
                 "3.883, 3.966, 4.179, 4.473, 4.832, 5.264, 5.786, 6.418, 7.179, 8.081",\
                 "3.957, 4.041, 4.253, 4.548, 4.907, 5.338, 5.861, 6.493, 7.254, 8.156",\
                 "3.979, 4.064, 4.276, 4.571, 4.929, 5.361, 5.883, 6.516, 7.276, 8.179",\
                 "3.95, 4.034, 4.247, 4.541, 4.9, 5.331, 5.853, 6.486, 7.247, 8.148",\
                 "3.845, 3.929, 4.141, 4.436, 4.795, 5.226, 5.748, 6.381, 7.142, 8.044",\
                 "3.657, 3.741, 3.953, 4.248, 4.607, 5.038, 5.561, 6.193, 6.953, 7.855",\
                 "3.384, 3.47, 3.681, 3.977, 4.336, 4.767, 5.289, 5.921, 6.681, 7.584",\
                 "3.025, 3.11, 3.323, 3.617, 3.976, 4.408, 4.93, 5.562, 6.323, 7.225");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("4.06, 4.134, 4.339, 4.685, 5.22, 5.969, 6.954, 8.196, 9.711, 11.52",\
                 "4.074, 4.148, 4.353, 4.7, 5.234, 5.983, 6.968, 8.21, 9.725, 11.53",\
                 "4.136, 4.21, 4.415, 4.762, 5.296, 6.046, 7.031, 8.272, 9.788, 11.59",\
                 "4.275, 4.349, 4.554, 4.901, 5.435, 6.185, 7.17, 8.411, 9.927, 11.73",\
                 "4.531, 4.606, 4.811, 5.158, 5.691, 6.441, 7.426, 8.668, 10.18, 11.99",\
                 "4.912, 4.986, 5.191, 5.538, 6.072, 6.821, 7.807, 9.048, 10.56, 12.37",\
                 "5.398, 5.472, 5.677, 6.024, 6.558, 7.308, 8.293, 9.534, 11.05, 12.85",\
                 "5.994, 6.068, 6.273, 6.62, 7.155, 7.904, 8.889, 10.13, 11.65, 13.45",\
                 "6.701, 6.775, 6.98, 7.328, 7.861, 8.61, 9.596, 10.84, 12.35, 14.16",\
                 "7.517, 7.592, 7.797, 8.143, 8.678, 9.426, 10.41, 11.65, 13.17, 14.98");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.3508, 0.4308, 0.6302, 0.9284, 1.335, 1.899, 2.663, 3.661, 4.912, 6.427",\
                 "0.3504, 0.4306, 0.6298, 0.9282, 1.335, 1.897, 2.661, 3.663, 4.916, 6.422",\
                 "0.3508, 0.4316, 0.6296, 0.9302, 1.335, 1.898, 2.661, 3.661, 4.913, 6.428",\
                 "0.3508, 0.4312, 0.6294, 0.9282, 1.335, 1.899, 2.663, 3.664, 4.911, 6.428",\
                 "0.3512, 0.4314, 0.63, 0.929, 1.335, 1.897, 2.663, 3.66, 4.91, 6.428",\
                 "0.353, 0.4328, 0.6322, 0.931, 1.336, 1.901, 2.661, 3.663, 4.916, 6.431",\
                 "0.3548, 0.435, 0.6338, 0.9318, 1.336, 1.898, 2.663, 3.659, 4.915, 6.429",\
                 "0.3566, 0.4368, 0.6358, 0.9322, 1.338, 1.901, 2.661, 3.662, 4.909, 6.423",\
                 "0.361, 0.4408, 0.6396, 0.9358, 1.34, 1.901, 2.664, 3.662, 4.912, 6.422",\
                 "0.366, 0.446, 0.644, 0.942, 1.344, 1.906, 2.666, 3.662, 4.91, 6.424");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.262, 0.3616, 0.6574, 1.206, 2.113, 3.418, 5.158, 7.345, 10.02, 13.19",\
                 "0.2614, 0.3612, 0.6576, 1.205, 2.113, 3.42, 5.159, 7.346, 10.02, 13.19",\
                 "0.261, 0.361, 0.6584, 1.206, 2.114, 3.421, 5.15, 7.347, 10.02, 13.19",\
                 "0.261, 0.361, 0.6582, 1.206, 2.114, 3.42, 5.157, 7.343, 10.01, 13.19",\
                 "0.2612, 0.3616, 0.6592, 1.206, 2.113, 3.42, 5.16, 7.347, 10.02, 13.2",\
                 "0.2616, 0.3616, 0.6598, 1.205, 2.112, 3.42, 5.155, 7.348, 10.02, 13.19",\
                 "0.2634, 0.362, 0.6592, 1.206, 2.114, 3.426, 5.155, 7.348, 10.02, 13.2",\
                 "0.2682, 0.3674, 0.665, 1.211, 2.112, 3.42, 5.154, 7.346, 10.02, 13.2",\
                 "0.272, 0.372, 0.67, 1.214, 2.112, 3.424, 5.154, 7.344, 10.01, 13.19",\
                 "0.28, 0.376, 0.676, 1.216, 2.116, 3.422, 5.154, 7.338, 10.02, 13.18");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("3.15, 3.238, 3.459, 3.758, 4.122, 4.557, 5.081, 5.715, 6.476, 7.379",\
                 "3.164, 3.253, 3.473, 3.773, 4.136, 4.571, 5.095, 5.729, 6.49, 7.393",\
                 "3.226, 3.315, 3.535, 3.836, 4.199, 4.633, 5.158, 5.792, 6.553, 7.456",\
                 "3.365, 3.454, 3.675, 3.974, 4.338, 4.772, 5.297, 5.931, 6.692, 7.595",\
                 "3.622, 3.71, 3.931, 4.231, 4.594, 5.029, 5.553, 6.187, 6.948, 7.851",\
                 "4.001, 4.09, 4.31, 4.61, 4.974, 5.408, 5.932, 6.566, 7.327, 8.23",\
                 "4.486, 4.575, 4.795, 5.095, 5.459, 5.893, 6.418, 7.051, 7.812, 8.715",\
                 "5.081, 5.169, 5.39, 5.69, 6.052, 6.487, 7.011, 7.646, 8.407, 9.31",\
                 "5.785, 5.874, 6.094, 6.395, 6.758, 7.193, 7.717, 8.351, 9.112, 10.02",\
                 "6.6, 6.689, 6.909, 7.209, 7.572, 8.006, 8.531, 9.165, 9.927, 10.83");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("3.141, 3.226, 3.463, 3.833, 4.373, 5.122, 6.107, 7.347, 8.863, 10.67",\
                 "3.166, 3.252, 3.488, 3.859, 4.398, 5.148, 6.133, 7.373, 8.888, 10.69",\
                 "3.244, 3.33, 3.566, 3.936, 4.475, 5.225, 6.211, 7.451, 8.966, 10.77",\
                 "3.32, 3.405, 3.641, 4.012, 4.551, 5.3, 6.285, 7.527, 9.041, 10.85",\
                 "3.343, 3.428, 3.665, 4.035, 4.574, 5.324, 6.309, 7.55, 9.064, 10.87",\
                 "3.309, 3.394, 3.63, 4.001, 4.54, 5.29, 6.275, 7.515, 9.029, 10.83",\
                 "3.204, 3.29, 3.526, 3.896, 4.435, 5.185, 6.17, 7.411, 8.925, 10.73",\
                 "3.015, 3.101, 3.337, 3.707, 4.247, 4.996, 5.981, 7.222, 8.737, 10.54",\
                 "2.743, 2.829, 3.065, 3.435, 3.974, 4.725, 5.709, 6.949, 8.463, 10.27",\
                 "2.385, 2.471, 2.708, 3.078, 3.616, 4.366, 5.351, 6.592, 8.106, 9.911");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.3466, 0.4276, 0.6272, 0.9252, 1.331, 1.895, 2.659, 3.662, 4.915, 6.429",\
                 "0.3478, 0.4282, 0.6266, 0.9254, 1.332, 1.895, 2.662, 3.659, 4.915, 6.425",\
                 "0.3472, 0.4276, 0.627, 0.9254, 1.33, 1.895, 2.659, 3.662, 4.915, 6.427",\
                 "0.347, 0.428, 0.627, 0.926, 1.33, 1.895, 2.658, 3.662, 4.915, 6.43",\
                 "0.3472, 0.4278, 0.6264, 0.9256, 1.331, 1.894, 2.659, 3.662, 4.915, 6.429",\
                 "0.3468, 0.4278, 0.6272, 0.9242, 1.332, 1.895, 2.66, 3.661, 4.914, 6.427",\
                 "0.3476, 0.4278, 0.6276, 0.9264, 1.332, 1.897, 2.661, 3.66, 4.916, 6.43",\
                 "0.347, 0.4276, 0.626, 0.9252, 1.33, 1.894, 2.662, 3.662, 4.916, 6.426",\
                 "0.35, 0.428, 0.628, 0.924, 1.33, 1.896, 2.662, 3.656, 4.912, 6.426",\
                 "0.35, 0.428, 0.628, 0.926, 1.33, 1.896, 2.658, 3.658, 4.912, 6.42");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.2636, 0.3624, 0.6608, 1.206, 2.112, 3.42, 5.153, 7.346, 10.02, 13.19",\
                 "0.2628, 0.3618, 0.6604, 1.207, 2.113, 3.42, 5.16, 7.347, 10.02, 13.2",\
                 "0.2634, 0.362, 0.6602, 1.207, 2.114, 3.42, 5.159, 7.346, 10.02, 13.18",\
                 "0.2628, 0.362, 0.6604, 1.208, 2.112, 3.418, 5.153, 7.346, 10.02, 13.19",\
                 "0.2634, 0.363, 0.6608, 1.206, 2.113, 3.42, 5.16, 7.347, 10.02, 13.19",\
                 "0.2632, 0.3614, 0.6596, 1.206, 2.113, 3.419, 5.158, 7.339, 10.02, 13.19",\
                 "0.2612, 0.3616, 0.6598, 1.206, 2.112, 3.419, 5.155, 7.334, 10.02, 13.19",\
                 "0.2634, 0.361, 0.6596, 1.206, 2.113, 3.418, 5.15, 7.339, 10.02, 13.19",\
                 "0.2628, 0.3614, 0.66, 1.208, 2.112, 3.422, 5.15, 7.336, 10.01, 13.21",\
                 "0.262, 0.36, 0.658, 1.206, 2.11, 3.42, 5.158, 7.336, 10, 13.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("3.253, 3.338, 3.55, 3.844, 4.203, 4.634, 5.157, 5.789, 6.55, 7.452",\
                 "3.28, 3.364, 3.576, 3.871, 4.23, 4.661, 5.183, 5.816, 6.576, 7.479",\
                 "3.364, 3.448, 3.66, 3.955, 4.314, 4.745, 5.267, 5.9, 6.661, 7.562",\
                 "3.55, 3.634, 3.847, 4.141, 4.5, 4.931, 5.454, 6.086, 6.847, 7.749",\
                 "3.872, 3.956, 4.169, 4.463, 4.822, 5.253, 5.775, 6.408, 7.169, 8.071",\
                 "4.336, 4.42, 4.632, 4.927, 5.286, 5.717, 6.24, 6.872, 7.633, 8.535",\
                 "4.904, 4.988, 5.201, 5.496, 5.854, 6.285, 6.808, 7.441, 8.202, 9.104",\
                 "5.554, 5.638, 5.851, 6.145, 6.504, 6.935, 7.459, 8.091, 8.851, 9.754",\
                 "6.296, 6.379, 6.592, 6.886, 7.246, 7.676, 8.198, 8.831, 9.591, 10.49",\
                 "7.13, 7.216, 7.429, 7.722, 8.081, 8.512, 9.035, 9.667, 10.43, 11.33");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("2.972, 3.046, 3.251, 3.598, 4.132, 4.881, 5.867, 7.108, 8.621, 10.43",\
                 "2.992, 3.066, 3.271, 3.618, 4.152, 4.901, 5.887, 7.127, 8.643, 10.45",\
                 "3.063, 3.137, 3.342, 3.688, 4.223, 4.972, 5.957, 7.198, 8.714, 10.52",\
                 "3.198, 3.273, 3.478, 3.825, 4.358, 5.108, 6.094, 7.334, 8.847, 10.65",\
                 "3.379, 3.453, 3.657, 4.004, 4.539, 5.288, 6.273, 7.514, 9.03, 10.83",\
                 "3.531, 3.605, 3.811, 4.157, 4.692, 5.441, 6.426, 7.668, 9.183, 10.99",\
                 "3.634, 3.708, 3.914, 4.261, 4.795, 5.543, 6.529, 7.77, 9.284, 11.09",\
                 "3.685, 3.759, 3.965, 4.312, 4.845, 5.595, 6.579, 7.823, 9.338, 11.14",\
                 "3.675, 3.75, 3.955, 4.301, 4.835, 5.585, 6.57, 7.81, 9.324, 11.13",\
                 "3.599, 3.674, 3.879, 4.227, 4.76, 5.508, 6.495, 7.734, 9.248, 11.05");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.324, 0.4012, 0.6012, 0.9034, 1.314, 1.879, 2.65, 3.652, 4.91, 6.426",\
                 "0.3242, 0.4014, 0.6028, 0.9042, 1.314, 1.88, 2.649, 3.654, 4.91, 6.427",\
                 "0.3242, 0.402, 0.6032, 0.9042, 1.313, 1.883, 2.649, 3.652, 4.907, 6.426",\
                 "0.3246, 0.401, 0.6024, 0.904, 1.314, 1.88, 2.648, 3.655, 4.905, 6.426",\
                 "0.3246, 0.4012, 0.603, 0.9036, 1.314, 1.881, 2.648, 3.654, 4.908, 6.425",\
                 "0.3242, 0.4012, 0.6024, 0.9032, 1.315, 1.88, 2.648, 3.654, 4.908, 6.425",\
                 "0.3246, 0.4018, 0.6026, 0.9042, 1.315, 1.88, 2.649, 3.653, 4.908, 6.428",\
                 "0.324, 0.4016, 0.602, 0.906, 1.314, 1.882, 2.648, 3.654, 4.908, 6.428",\
                 "0.324, 0.402, 0.604, 0.904, 1.314, 1.88, 2.648, 3.652, 4.908, 6.424",\
                 "0.324, 0.402, 0.602, 0.902, 1.312, 1.88, 2.648, 3.648, 4.904, 6.414");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.2158, 0.302, 0.5806, 1.152, 2.085, 3.405, 5.144, 7.32, 9.993, 13.18",\
                 "0.2158, 0.3018, 0.5794, 1.152, 2.085, 3.403, 5.143, 7.324, 9.995, 13.18",\
                 "0.2162, 0.3018, 0.5794, 1.152, 2.087, 3.404, 5.142, 7.33, 9.997, 13.18",\
                 "0.2154, 0.3022, 0.5806, 1.151, 2.084, 3.406, 5.144, 7.319, 9.992, 13.18",\
                 "0.2158, 0.3022, 0.5794, 1.151, 2.085, 3.406, 5.142, 7.33, 9.997, 13.18",\
                 "0.2164, 0.303, 0.5796, 1.152, 2.087, 3.404, 5.141, 7.331, 9.996, 13.18",\
                 "0.2166, 0.3018, 0.5802, 1.151, 2.087, 3.406, 5.142, 7.322, 9.994, 13.19",\
                 "0.2156, 0.3026, 0.5812, 1.151, 2.086, 3.402, 5.141, 7.332, 10.01, 13.17",\
                 "0.2158, 0.3028, 0.5814, 1.152, 2.084, 3.404, 5.134, 7.32, 10.01, 13.17",\
                 "0.218, 0.304, 0.58, 1.152, 2.088, 3.402, 5.138, 7.324, 9.988, 13.17");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("3.253, 3.338, 3.55, 3.844, 4.203, 4.634, 5.157, 5.789, 6.55, 7.452",\
                 "3.28, 3.364, 3.576, 3.871, 4.23, 4.661, 5.183, 5.816, 6.576, 7.479",\
                 "3.364, 3.448, 3.66, 3.955, 4.314, 4.745, 5.267, 5.9, 6.661, 7.562",\
                 "3.55, 3.634, 3.847, 4.141, 4.5, 4.931, 5.454, 6.086, 6.847, 7.749",\
                 "3.872, 3.956, 4.169, 4.463, 4.822, 5.253, 5.775, 6.408, 7.169, 8.071",\
                 "4.336, 4.42, 4.632, 4.927, 5.286, 5.717, 6.24, 6.872, 7.633, 8.535",\
                 "4.904, 4.988, 5.201, 5.496, 5.854, 6.285, 6.808, 7.441, 8.202, 9.104",\
                 "5.554, 5.638, 5.851, 6.145, 6.504, 6.935, 7.459, 8.091, 8.851, 9.754",\
                 "6.296, 6.379, 6.592, 6.886, 7.246, 7.676, 8.198, 8.831, 9.591, 10.49",\
                 "7.13, 7.216, 7.429, 7.722, 8.081, 8.512, 9.035, 9.667, 10.43, 11.33");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("2.972, 3.046, 3.251, 3.598, 4.132, 4.881, 5.867, 7.108, 8.621, 10.43",\
                 "2.992, 3.066, 3.271, 3.618, 4.152, 4.901, 5.887, 7.127, 8.643, 10.45",\
                 "3.063, 3.137, 3.342, 3.688, 4.223, 4.972, 5.957, 7.198, 8.714, 10.52",\
                 "3.198, 3.273, 3.478, 3.825, 4.358, 5.108, 6.094, 7.334, 8.847, 10.65",\
                 "3.379, 3.453, 3.657, 4.004, 4.539, 5.288, 6.273, 7.514, 9.03, 10.83",\
                 "3.531, 3.605, 3.811, 4.157, 4.692, 5.441, 6.426, 7.668, 9.183, 10.99",\
                 "3.634, 3.708, 3.914, 4.261, 4.795, 5.543, 6.529, 7.77, 9.284, 11.09",\
                 "3.685, 3.759, 3.965, 4.312, 4.845, 5.595, 6.579, 7.823, 9.338, 11.14",\
                 "3.675, 3.75, 3.955, 4.301, 4.835, 5.585, 6.57, 7.81, 9.324, 11.13",\
                 "3.599, 3.674, 3.879, 4.227, 4.76, 5.508, 6.495, 7.734, 9.248, 11.05");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.3466, 0.4276, 0.6272, 0.9252, 1.331, 1.895, 2.659, 3.662, 4.915, 6.429",\
                 "0.3478, 0.4282, 0.6266, 0.9254, 1.332, 1.895, 2.662, 3.659, 4.915, 6.425",\
                 "0.3472, 0.4276, 0.627, 0.9254, 1.33, 1.895, 2.659, 3.662, 4.915, 6.427",\
                 "0.347, 0.428, 0.627, 0.926, 1.33, 1.895, 2.658, 3.662, 4.915, 6.43",\
                 "0.3472, 0.4278, 0.6264, 0.9256, 1.331, 1.894, 2.659, 3.662, 4.915, 6.429",\
                 "0.3468, 0.4278, 0.6272, 0.9242, 1.332, 1.895, 2.66, 3.661, 4.914, 6.427",\
                 "0.3476, 0.4278, 0.6276, 0.9264, 1.332, 1.897, 2.661, 3.66, 4.916, 6.43",\
                 "0.347, 0.4276, 0.626, 0.9252, 1.33, 1.894, 2.662, 3.662, 4.916, 6.426",\
                 "0.35, 0.428, 0.628, 0.924, 1.33, 1.896, 2.662, 3.656, 4.912, 6.426",\
                 "0.35, 0.428, 0.628, 0.926, 1.33, 1.896, 2.658, 3.658, 4.912, 6.42");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.2636, 0.3624, 0.6608, 1.206, 2.112, 3.42, 5.153, 7.346, 10.02, 13.19",\
                 "0.2628, 0.3618, 0.6604, 1.207, 2.113, 3.42, 5.16, 7.347, 10.02, 13.2",\
                 "0.2634, 0.362, 0.6602, 1.207, 2.114, 3.42, 5.159, 7.346, 10.02, 13.18",\
                 "0.2628, 0.362, 0.6604, 1.208, 2.112, 3.418, 5.153, 7.346, 10.02, 13.19",\
                 "0.2634, 0.363, 0.6608, 1.206, 2.113, 3.42, 5.16, 7.347, 10.02, 13.19",\
                 "0.2632, 0.3614, 0.6596, 1.206, 2.113, 3.419, 5.158, 7.339, 10.02, 13.19",\
                 "0.2612, 0.3616, 0.6598, 1.206, 2.112, 3.419, 5.155, 7.334, 10.02, 13.19",\
                 "0.2634, 0.361, 0.6596, 1.206, 2.113, 3.418, 5.15, 7.339, 10.02, 13.19",\
                 "0.2628, 0.3614, 0.66, 1.208, 2.112, 3.422, 5.15, 7.336, 10.01, 13.21",\
                 "0.262, 0.36, 0.658, 1.206, 2.11, 3.42, 5.158, 7.336, 10, 13.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("3.67, 3.754, 3.967, 4.261, 4.62, 5.052, 5.574, 6.207, 6.967, 7.869",\
                 "3.696, 3.779, 3.992, 4.287, 4.645, 5.077, 5.599, 6.231, 6.992, 7.894",\
                 "3.771, 3.855, 4.068, 4.362, 4.721, 5.152, 5.675, 6.307, 7.068, 7.97",\
                 "3.84, 3.924, 4.137, 4.431, 4.79, 5.221, 5.744, 6.376, 7.137, 8.039",\
                 "3.852, 3.937, 4.149, 4.444, 4.803, 5.234, 5.756, 6.389, 7.15, 8.052",\
                 "3.799, 3.883, 4.095, 4.389, 4.749, 5.18, 5.702, 6.335, 7.095, 7.997",\
                 "3.668, 3.752, 3.964, 4.259, 4.618, 5.049, 5.572, 6.204, 6.965, 7.867",\
                 "3.449, 3.534, 3.746, 4.04, 4.399, 4.831, 5.353, 5.985, 6.746, 7.649",\
                 "3.138, 3.223, 3.435, 3.729, 4.089, 4.52, 5.042, 5.675, 6.436, 7.338",\
                 "2.729, 2.812, 3.024, 3.32, 3.679, 4.11, 4.632, 5.265, 6.026, 6.928");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("3.976, 4.05, 4.255, 4.602, 5.136, 5.885, 6.871, 8.112, 9.628, 11.43",\
                 "3.985, 4.059, 4.264, 4.611, 5.145, 5.894, 6.879, 8.121, 9.635, 11.44",\
                 "4.062, 4.137, 4.342, 4.689, 5.223, 5.973, 6.958, 8.199, 9.714, 11.52",\
                 "4.273, 4.347, 4.552, 4.899, 5.433, 6.182, 7.167, 8.409, 9.924, 11.73",\
                 "4.629, 4.703, 4.908, 5.255, 5.789, 6.538, 7.523, 8.764, 10.28, 12.09",\
                 "5.112, 5.186, 5.391, 5.738, 6.272, 7.022, 8.006, 9.247, 10.76, 12.57",\
                 "5.697, 5.771, 5.976, 6.322, 6.857, 7.607, 8.592, 9.833, 11.35, 13.15",\
                 "6.387, 6.462, 6.668, 7.016, 7.549, 8.299, 9.284, 10.53, 12.04, 13.85",\
                 "7.203, 7.277, 7.482, 7.828, 8.363, 9.111, 10.1, 11.34, 12.85, 14.66",\
                 "8.143, 8.217, 8.422, 8.769, 9.303, 10.05, 11.04, 12.28, 13.79, 15.6");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.3246, 0.4012, 0.602, 0.9038, 1.313, 1.88, 2.649, 3.655, 4.907, 6.426",\
                 "0.3242, 0.402, 0.6028, 0.9044, 1.314, 1.88, 2.649, 3.652, 4.906, 6.426",\
                 "0.324, 0.4022, 0.6024, 0.9052, 1.314, 1.88, 2.649, 3.652, 4.908, 6.426",\
                 "0.3248, 0.4016, 0.6028, 0.9044, 1.314, 1.882, 2.648, 3.655, 4.908, 6.426",\
                 "0.3254, 0.4018, 0.6026, 0.9036, 1.313, 1.883, 2.649, 3.655, 4.91, 6.427",\
                 "0.3242, 0.4016, 0.6028, 0.9044, 1.315, 1.881, 2.649, 3.653, 4.909, 6.426",\
                 "0.3246, 0.4014, 0.6028, 0.905, 1.314, 1.881, 2.651, 3.651, 4.909, 6.418",\
                 "0.3252, 0.402, 0.6028, 0.904, 1.315, 1.881, 2.648, 3.648, 4.907, 6.424",\
                 "0.3242, 0.4014, 0.603, 0.9042, 1.312, 1.882, 2.648, 3.654, 4.9, 6.414",\
                 "0.324, 0.402, 0.602, 0.904, 1.314, 1.88, 2.648, 3.654, 4.91, 6.416");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.2152, 0.3024, 0.5798, 1.152, 2.088, 3.404, 5.143, 7.32, 9.996, 13.18",\
                 "0.216, 0.3022, 0.5794, 1.152, 2.088, 3.406, 5.14, 7.33, 9.989, 13.17",\
                 "0.2152, 0.302, 0.581, 1.152, 2.084, 3.407, 5.144, 7.322, 9.996, 13.18",\
                 "0.2154, 0.3024, 0.58, 1.152, 2.085, 3.407, 5.137, 7.323, 9.988, 13.18",\
                 "0.215, 0.3024, 0.5812, 1.152, 2.088, 3.407, 5.145, 7.321, 9.996, 13.18",\
                 "0.2158, 0.3022, 0.5804, 1.152, 2.087, 3.407, 5.139, 7.328, 9.998, 13.17",\
                 "0.216, 0.3022, 0.5804, 1.152, 2.084, 3.406, 5.146, 7.334, 9.994, 13.18",\
                 "0.216, 0.302, 0.58, 1.152, 2.09, 3.402, 5.142, 7.332, 9.988, 13.18",\
                 "0.216, 0.302, 0.58, 1.152, 2.084, 3.4, 5.14, 7.32, 9.992, 13.18",\
                 "0.216, 0.304, 0.58, 1.152, 2.084, 3.404, 5.138, 7.33, 9.996, 13.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("2.074, 2.163, 2.384, 2.684, 3.048, 3.483, 4.008, 4.642, 5.403, 6.306",\
                 "2.094, 2.183, 2.404, 2.704, 3.069, 3.503, 4.028, 4.662, 5.424, 6.327",\
                 "2.14, 2.229, 2.449, 2.75, 3.114, 3.549, 4.074, 4.708, 5.469, 6.372",\
                 "2.219, 2.308, 2.528, 2.829, 3.193, 3.628, 4.153, 4.787, 5.548, 6.451",\
                 "2.319, 2.408, 2.629, 2.929, 3.293, 3.728, 4.253, 4.887, 5.648, 6.551",\
                 "2.395, 2.485, 2.706, 3.006, 3.369, 3.805, 4.33, 4.964, 5.725, 6.628",\
                 "2.426, 2.515, 2.736, 3.037, 3.401, 3.837, 4.361, 4.996, 5.757, 6.66",\
                 "2.399, 2.487, 2.71, 3.01, 3.375, 3.81, 4.336, 4.97, 5.731, 6.634",\
                 "2.302, 2.392, 2.614, 2.916, 3.281, 3.717, 4.242, 4.876, 5.638, 6.54",\
                 "2.126, 2.217, 2.44, 2.742, 3.108, 3.544, 4.069, 4.704, 5.466, 6.369");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("2.734, 2.819, 3.055, 3.426, 3.965, 4.715, 5.7, 6.94, 8.455, 10.26",\
                 "2.753, 2.838, 3.075, 3.445, 3.984, 4.733, 5.719, 6.959, 8.474, 10.28",\
                 "2.842, 2.928, 3.164, 3.534, 4.074, 4.823, 5.809, 7.049, 8.563, 10.37",\
                 "3.033, 3.119, 3.355, 3.726, 4.265, 5.014, 6, 7.24, 8.755, 10.56",\
                 "3.358, 3.443, 3.679, 4.05, 4.589, 5.339, 6.325, 7.565, 9.079, 10.88",\
                 "3.836, 3.921, 4.158, 4.529, 5.068, 5.817, 6.803, 8.042, 9.557, 11.36",\
                 "4.454, 4.54, 4.778, 5.148, 5.687, 6.436, 7.422, 8.662, 10.18, 11.98",\
                 "5.174, 5.261, 5.498, 5.87, 6.409, 7.157, 8.143, 9.383, 10.9, 12.7",\
                 "5.991, 6.079, 6.318, 6.69, 7.229, 7.976, 8.961, 10.2, 11.72, 13.52",\
                 "6.918, 7.005, 7.245, 7.618, 8.157, 8.905, 9.89, 11.13, 12.64, 14.45");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.351, 0.431, 0.6296, 0.9296, 1.333, 1.897, 2.663, 3.659, 4.912, 6.428",\
                 "0.351, 0.4318, 0.6298, 0.9298, 1.335, 1.897, 2.662, 3.663, 4.912, 6.428",\
                 "0.351, 0.431, 0.6294, 0.9286, 1.335, 1.898, 2.663, 3.659, 4.909, 6.429",\
                 "0.3504, 0.4314, 0.6298, 0.9282, 1.333, 1.897, 2.661, 3.663, 4.915, 6.423",\
                 "0.352, 0.4312, 0.6302, 0.93, 1.333, 1.898, 2.663, 3.663, 4.909, 6.422",\
                 "0.3528, 0.4332, 0.6324, 0.9304, 1.334, 1.899, 2.662, 3.662, 4.913, 6.428",\
                 "0.3546, 0.4346, 0.6336, 0.9306, 1.336, 1.898, 2.662, 3.663, 4.915, 6.43",\
                 "0.3578, 0.4378, 0.6366, 0.9338, 1.337, 1.9, 2.665, 3.659, 4.909, 6.42",\
                 "0.3622, 0.4418, 0.64, 0.9358, 1.339, 1.901, 2.664, 3.661, 4.908, 6.42",\
                 "0.3662, 0.448, 0.646, 0.944, 1.342, 1.906, 2.668, 3.662, 4.92, 6.42");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.2632, 0.362, 0.6614, 1.206, 2.114, 3.419, 5.159, 7.341, 10.01, 13.19",\
                 "0.2632, 0.3626, 0.6604, 1.208, 2.111, 3.419, 5.157, 7.34, 10.02, 13.19",\
                 "0.2632, 0.3636, 0.6604, 1.209, 2.112, 3.421, 5.16, 7.335, 10.01, 13.19",\
                 "0.264, 0.3636, 0.66, 1.207, 2.113, 3.421, 5.16, 7.346, 10.02, 13.19",\
                 "0.2632, 0.3628, 0.6606, 1.207, 2.114, 3.42, 5.16, 7.346, 10.02, 13.19",\
                 "0.2634, 0.364, 0.6604, 1.208, 2.115, 3.42, 5.157, 7.344, 10.02, 13.19",\
                 "0.2664, 0.3642, 0.6622, 1.208, 2.115, 3.418, 5.156, 7.342, 10.02, 13.18",\
                 "0.2702, 0.3686, 0.6668, 1.211, 2.116, 3.42, 5.158, 7.338, 10, 13.19",\
                 "0.274, 0.374, 0.672, 1.212, 2.114, 3.424, 5.156, 7.346, 10.01, 13.21",\
                 "0.28, 0.378, 0.678, 1.218, 2.116, 3.424, 5.152, 7.344, 10.02, 13.18");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("3.67, 3.754, 3.967, 4.261, 4.62, 5.052, 5.574, 6.207, 6.967, 7.869",\
                 "3.696, 3.779, 3.992, 4.287, 4.645, 5.077, 5.599, 6.231, 6.992, 7.894",\
                 "3.771, 3.855, 4.068, 4.362, 4.721, 5.152, 5.675, 6.307, 7.068, 7.97",\
                 "3.84, 3.924, 4.137, 4.431, 4.79, 5.221, 5.744, 6.376, 7.137, 8.039",\
                 "3.852, 3.937, 4.149, 4.444, 4.803, 5.234, 5.756, 6.389, 7.15, 8.052",\
                 "3.799, 3.883, 4.095, 4.389, 4.749, 5.18, 5.702, 6.335, 7.095, 7.997",\
                 "3.668, 3.752, 3.964, 4.259, 4.618, 5.049, 5.572, 6.204, 6.965, 7.867",\
                 "3.449, 3.534, 3.746, 4.04, 4.399, 4.831, 5.353, 5.985, 6.746, 7.649",\
                 "3.138, 3.223, 3.435, 3.729, 4.089, 4.52, 5.042, 5.675, 6.436, 7.338",\
                 "2.729, 2.812, 3.024, 3.32, 3.679, 4.11, 4.632, 5.265, 6.026, 6.928");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("3.976, 4.05, 4.255, 4.602, 5.136, 5.885, 6.871, 8.112, 9.628, 11.43",\
                 "3.985, 4.059, 4.264, 4.611, 5.145, 5.894, 6.879, 8.121, 9.635, 11.44",\
                 "4.062, 4.137, 4.342, 4.689, 5.223, 5.973, 6.958, 8.199, 9.714, 11.52",\
                 "4.273, 4.347, 4.552, 4.899, 5.433, 6.182, 7.167, 8.409, 9.924, 11.73",\
                 "4.629, 4.703, 4.908, 5.255, 5.789, 6.538, 7.523, 8.764, 10.28, 12.09",\
                 "5.112, 5.186, 5.391, 5.738, 6.272, 7.022, 8.006, 9.247, 10.76, 12.57",\
                 "5.697, 5.771, 5.976, 6.322, 6.857, 7.607, 8.592, 9.833, 11.35, 13.15",\
                 "6.387, 6.462, 6.668, 7.016, 7.549, 8.299, 9.284, 10.53, 12.04, 13.85",\
                 "7.203, 7.277, 7.482, 7.828, 8.363, 9.111, 10.1, 11.34, 12.85, 14.66",\
                 "8.143, 8.217, 8.422, 8.769, 9.303, 10.05, 11.04, 12.28, 13.79, 15.6");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.351, 0.431, 0.6296, 0.9296, 1.333, 1.897, 2.663, 3.659, 4.912, 6.428",\
                 "0.351, 0.4318, 0.6298, 0.9298, 1.335, 1.897, 2.662, 3.663, 4.912, 6.428",\
                 "0.351, 0.431, 0.6294, 0.9286, 1.335, 1.898, 2.663, 3.659, 4.909, 6.429",\
                 "0.3504, 0.4314, 0.6298, 0.9282, 1.333, 1.897, 2.661, 3.663, 4.915, 6.423",\
                 "0.352, 0.4312, 0.6302, 0.93, 1.333, 1.898, 2.663, 3.663, 4.909, 6.422",\
                 "0.3528, 0.4332, 0.6324, 0.9304, 1.334, 1.899, 2.662, 3.662, 4.913, 6.428",\
                 "0.3546, 0.4346, 0.6336, 0.9306, 1.336, 1.898, 2.662, 3.663, 4.915, 6.43",\
                 "0.3578, 0.4378, 0.6366, 0.9338, 1.337, 1.9, 2.665, 3.659, 4.909, 6.42",\
                 "0.3622, 0.4418, 0.64, 0.9358, 1.339, 1.901, 2.664, 3.661, 4.908, 6.42",\
                 "0.3662, 0.448, 0.646, 0.944, 1.342, 1.906, 2.668, 3.662, 4.92, 6.42");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.2632, 0.362, 0.6614, 1.206, 2.114, 3.419, 5.159, 7.341, 10.01, 13.19",\
                 "0.2632, 0.3626, 0.6604, 1.208, 2.111, 3.419, 5.157, 7.34, 10.02, 13.19",\
                 "0.2632, 0.3636, 0.6604, 1.209, 2.112, 3.421, 5.16, 7.335, 10.01, 13.19",\
                 "0.264, 0.3636, 0.66, 1.207, 2.113, 3.421, 5.16, 7.346, 10.02, 13.19",\
                 "0.2632, 0.3628, 0.6606, 1.207, 2.114, 3.42, 5.16, 7.346, 10.02, 13.19",\
                 "0.2634, 0.364, 0.6604, 1.208, 2.115, 3.42, 5.157, 7.344, 10.02, 13.19",\
                 "0.2664, 0.3642, 0.6622, 1.208, 2.115, 3.418, 5.156, 7.342, 10.02, 13.18",\
                 "0.2702, 0.3686, 0.6668, 1.211, 2.116, 3.42, 5.158, 7.338, 10, 13.19",\
                 "0.274, 0.374, 0.672, 1.212, 2.114, 3.424, 5.156, 7.346, 10.01, 13.21",\
                 "0.28, 0.378, 0.678, 1.218, 2.116, 3.424, 5.152, 7.344, 10.02, 13.18");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("3.066, 3.154, 3.375, 3.675, 4.038, 4.473, 4.997, 5.632, 6.393, 7.296",\
                 "3.075, 3.163, 3.383, 3.684, 4.047, 4.482, 5.006, 5.64, 6.401, 7.304",\
                 "3.153, 3.241, 3.462, 3.762, 4.125, 4.56, 5.084, 5.718, 6.479, 7.382",\
                 "3.363, 3.451, 3.672, 3.972, 4.335, 4.77, 5.294, 5.928, 6.689, 7.592",\
                 "3.719, 3.808, 4.027, 4.327, 4.691, 5.125, 5.65, 6.284, 7.045, 7.948",\
                 "4.201, 4.29, 4.51, 4.81, 5.173, 5.608, 6.132, 6.766, 7.527, 8.43",\
                 "4.784, 4.873, 5.093, 5.393, 5.757, 6.191, 6.715, 7.35, 8.111, 9.013",\
                 "5.474, 5.563, 5.784, 6.083, 6.447, 6.882, 7.406, 8.041, 8.802, 9.704",\
                 "6.287, 6.376, 6.596, 6.897, 7.26, 7.695, 8.219, 8.853, 9.614, 10.52",\
                 "7.226, 7.315, 7.535, 7.836, 8.2, 8.634, 9.158, 9.792, 10.55, 11.46");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("3.026, 3.111, 3.347, 3.717, 4.257, 5.007, 5.992, 7.232, 8.746, 10.55",\
                 "3.052, 3.137, 3.373, 3.743, 4.282, 5.032, 6.018, 7.258, 8.772, 10.58",\
                 "3.128, 3.213, 3.449, 3.819, 4.358, 5.108, 6.094, 7.334, 8.848, 10.65",\
                 "3.196, 3.281, 3.518, 3.888, 4.427, 5.177, 6.162, 7.403, 8.917, 10.72",\
                 "3.209, 3.294, 3.53, 3.9, 4.44, 5.189, 6.176, 7.415, 8.93, 10.74",\
                 "3.154, 3.239, 3.475, 3.845, 4.385, 5.135, 6.12, 7.361, 8.875, 10.68",\
                 "3.023, 3.109, 3.344, 3.714, 4.254, 5.003, 5.989, 7.229, 8.745, 10.55",\
                 "2.806, 2.891, 3.128, 3.497, 4.036, 4.786, 5.77, 7.011, 8.526, 10.33",\
                 "2.495, 2.581, 2.816, 3.186, 3.726, 4.475, 5.461, 6.701, 8.215, 10.02",\
                 "2.085, 2.171, 2.407, 2.777, 3.316, 4.066, 5.051, 6.292, 7.806, 9.611");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.3472, 0.4282, 0.6266, 0.9264, 1.331, 1.895, 2.661, 3.662, 4.915, 6.422",\
                 "0.3476, 0.428, 0.6264, 0.9252, 1.332, 1.895, 2.662, 3.657, 4.911, 6.427",\
                 "0.3468, 0.4278, 0.6276, 0.9242, 1.332, 1.894, 2.66, 3.661, 4.914, 6.428",\
                 "0.3472, 0.4282, 0.6266, 0.9256, 1.33, 1.894, 2.659, 3.661, 4.915, 6.429",\
                 "0.3476, 0.427, 0.628, 0.9248, 1.331, 1.895, 2.661, 3.659, 4.91, 6.428",\
                 "0.347, 0.4274, 0.6266, 0.9262, 1.332, 1.895, 2.659, 3.662, 4.911, 6.423",\
                 "0.3468, 0.4276, 0.6268, 0.9252, 1.332, 1.895, 2.661, 3.656, 4.915, 6.428",\
                 "0.348, 0.4282, 0.6258, 0.926, 1.33, 1.896, 2.66, 3.662, 4.914, 6.43",\
                 "0.348, 0.428, 0.626, 0.926, 1.33, 1.894, 2.658, 3.66, 4.912, 6.428",\
                 "0.346, 0.428, 0.626, 0.926, 1.332, 1.894, 2.66, 3.656, 4.91, 6.42");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.2612, 0.3606, 0.6594, 1.206, 2.111, 3.42, 5.158, 7.337, 10, 13.18",\
                 "0.2612, 0.3608, 0.6588, 1.207, 2.114, 3.42, 5.157, 7.336, 10.01, 13.18",\
                 "0.2614, 0.3612, 0.6588, 1.207, 2.114, 3.42, 5.156, 7.333, 10.01, 13.18",\
                 "0.2612, 0.3604, 0.658, 1.205, 2.114, 3.421, 5.158, 7.347, 10.01, 13.18",\
                 "0.2612, 0.3612, 0.6576, 1.207, 2.113, 3.418, 5.16, 7.346, 10.02, 13.19",\
                 "0.2622, 0.3614, 0.6592, 1.205, 2.114, 3.421, 5.154, 7.347, 10.02, 13.2",\
                 "0.2604, 0.3602, 0.6576, 1.205, 2.11, 3.419, 5.16, 7.347, 10.02, 13.19",\
                 "0.2614, 0.36, 0.6568, 1.207, 2.113, 3.417, 5.151, 7.346, 10.02, 13.18",\
                 "0.2624, 0.3602, 0.6594, 1.205, 2.111, 3.42, 5.15, 7.338, 10.01, 13.19",\
                 "0.2626, 0.36, 0.658, 1.208, 2.108, 3.418, 5.154, 7.344, 10, 13.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("3.369, 3.453, 3.666, 3.96, 4.32, 4.751, 5.273, 5.906, 6.666, 7.568",\
                 "3.388, 3.473, 3.685, 3.979, 4.338, 4.769, 5.292, 5.925, 6.685, 7.587",\
                 "3.478, 3.562, 3.774, 4.069, 4.427, 4.859, 5.381, 6.014, 6.775, 7.677",\
                 "3.67, 3.755, 3.967, 4.261, 4.62, 5.051, 5.574, 6.206, 6.967, 7.869",\
                 "3.997, 4.081, 4.293, 4.587, 4.947, 5.378, 5.9, 6.533, 7.294, 8.196",\
                 "4.471, 4.555, 4.768, 5.062, 5.421, 5.852, 6.374, 7.007, 7.768, 8.669",\
                 "5.064, 5.149, 5.36, 5.655, 6.013, 6.444, 6.967, 7.599, 8.36, 9.262",\
                 "5.748, 5.832, 6.045, 6.338, 6.697, 7.128, 7.651, 8.284, 9.045, 9.947",\
                 "6.53, 6.614, 6.826, 7.121, 7.48, 7.911, 8.433, 9.066, 9.827, 10.73",\
                 "7.419, 7.503, 7.715, 8.011, 8.368, 8.8, 9.322, 9.955, 10.71, 11.62");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("2.995, 3.069, 3.274, 3.621, 4.155, 4.904, 5.889, 7.131, 8.646, 10.45",\
                 "3.016, 3.091, 3.296, 3.642, 4.177, 4.926, 5.911, 7.152, 8.666, 10.47",\
                 "3.062, 3.136, 3.341, 3.688, 4.222, 4.971, 5.957, 7.198, 8.712, 10.52",\
                 "3.142, 3.216, 3.421, 3.768, 4.302, 5.052, 6.037, 7.278, 8.793, 10.6",\
                 "3.248, 3.323, 3.528, 3.874, 4.409, 5.158, 6.143, 7.384, 8.9, 10.71",\
                 "3.335, 3.409, 3.615, 3.96, 4.495, 5.244, 6.229, 7.471, 8.985, 10.79",\
                 "3.377, 3.452, 3.657, 4.003, 4.537, 5.287, 6.272, 7.513, 9.028, 10.84",\
                 "3.365, 3.439, 3.644, 3.991, 4.525, 5.274, 6.259, 7.501, 9.016, 10.82",\
                 "3.287, 3.361, 3.567, 3.913, 4.448, 5.196, 6.182, 7.422, 8.936, 10.74",\
                 "3.129, 3.203, 3.409, 3.756, 4.29, 5.039, 6.024, 7.265, 8.779, 10.58");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.3244, 0.4018, 0.602, 0.9036, 1.313, 1.88, 2.649, 3.652, 4.91, 6.427",\
                 "0.324, 0.4012, 0.6034, 0.9036, 1.313, 1.881, 2.648, 3.653, 4.907, 6.424",\
                 "0.324, 0.4014, 0.6034, 0.9038, 1.313, 1.88, 2.649, 3.653, 4.904, 6.426",\
                 "0.324, 0.4012, 0.6022, 0.9038, 1.314, 1.881, 2.648, 3.653, 4.906, 6.426",\
                 "0.3242, 0.4024, 0.6022, 0.9038, 1.313, 1.88, 2.649, 3.654, 4.904, 6.427",\
                 "0.3242, 0.4014, 0.6022, 0.9038, 1.314, 1.88, 2.649, 3.652, 4.905, 6.426",\
                 "0.325, 0.4018, 0.602, 0.9044, 1.314, 1.881, 2.65, 3.655, 4.906, 6.424",\
                 "0.324, 0.402, 0.602, 0.902, 1.314, 1.882, 2.652, 3.654, 4.904, 6.426",\
                 "0.324, 0.402, 0.602, 0.904, 1.314, 1.882, 2.648, 3.652, 4.908, 6.42",\
                 "0.324, 0.402, 0.602, 0.904, 1.312, 1.88, 2.646, 3.648, 4.902, 6.422");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.2162, 0.3028, 0.5798, 1.154, 2.088, 3.407, 5.139, 7.334, 9.99, 13.18",\
                 "0.2156, 0.302, 0.5794, 1.152, 2.085, 3.406, 5.144, 7.321, 9.992, 13.18",\
                 "0.2158, 0.302, 0.5794, 1.152, 2.088, 3.405, 5.144, 7.32, 9.994, 13.18",\
                 "0.2166, 0.302, 0.5804, 1.152, 2.085, 3.405, 5.144, 7.318, 9.996, 13.17",\
                 "0.2158, 0.3022, 0.5794, 1.152, 2.088, 3.405, 5.144, 7.318, 9.997, 13.17",\
                 "0.2156, 0.302, 0.5796, 1.152, 2.084, 3.405, 5.143, 7.328, 9.998, 13.18",\
                 "0.2156, 0.3036, 0.5812, 1.154, 2.086, 3.404, 5.145, 7.322, 9.995, 13.17",\
                 "0.2166, 0.303, 0.5808, 1.152, 2.085, 3.404, 5.143, 7.328, 9.998, 13.18",\
                 "0.216, 0.3032, 0.5794, 1.152, 2.086, 3.406, 5.134, 7.32, 9.994, 13.2",\
                 "0.216, 0.304, 0.582, 1.152, 2.084, 3.404, 5.134, 7.32, 9.994, 13.17");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("3.369, 3.453, 3.666, 3.96, 4.32, 4.751, 5.273, 5.906, 6.666, 7.568",\
                 "3.388, 3.473, 3.685, 3.979, 4.338, 4.769, 5.292, 5.925, 6.685, 7.587",\
                 "3.478, 3.562, 3.774, 4.069, 4.427, 4.859, 5.381, 6.014, 6.775, 7.677",\
                 "3.67, 3.755, 3.967, 4.261, 4.62, 5.051, 5.574, 6.206, 6.967, 7.869",\
                 "3.997, 4.081, 4.293, 4.587, 4.947, 5.378, 5.9, 6.533, 7.294, 8.196",\
                 "4.471, 4.555, 4.768, 5.062, 5.421, 5.852, 6.374, 7.007, 7.768, 8.669",\
                 "5.064, 5.149, 5.36, 5.655, 6.013, 6.444, 6.967, 7.599, 8.36, 9.262",\
                 "5.748, 5.832, 6.045, 6.338, 6.697, 7.128, 7.651, 8.284, 9.045, 9.947",\
                 "6.53, 6.614, 6.826, 7.121, 7.48, 7.911, 8.433, 9.066, 9.827, 10.73",\
                 "7.419, 7.503, 7.715, 8.011, 8.368, 8.8, 9.322, 9.955, 10.71, 11.62");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("2.995, 3.069, 3.274, 3.621, 4.155, 4.904, 5.889, 7.131, 8.646, 10.45",\
                 "3.016, 3.091, 3.296, 3.642, 4.177, 4.926, 5.911, 7.152, 8.666, 10.47",\
                 "3.062, 3.136, 3.341, 3.688, 4.222, 4.971, 5.957, 7.198, 8.712, 10.52",\
                 "3.142, 3.216, 3.421, 3.768, 4.302, 5.052, 6.037, 7.278, 8.793, 10.6",\
                 "3.248, 3.323, 3.528, 3.874, 4.409, 5.158, 6.143, 7.384, 8.9, 10.71",\
                 "3.335, 3.409, 3.615, 3.96, 4.495, 5.244, 6.229, 7.471, 8.985, 10.79",\
                 "3.377, 3.452, 3.657, 4.003, 4.537, 5.287, 6.272, 7.513, 9.028, 10.84",\
                 "3.365, 3.439, 3.644, 3.991, 4.525, 5.274, 6.259, 7.501, 9.016, 10.82",\
                 "3.287, 3.361, 3.567, 3.913, 4.448, 5.196, 6.182, 7.422, 8.936, 10.74",\
                 "3.129, 3.203, 3.409, 3.756, 4.29, 5.039, 6.024, 7.265, 8.779, 10.58");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.3472, 0.4282, 0.6266, 0.9264, 1.331, 1.895, 2.661, 3.662, 4.915, 6.422",\
                 "0.3476, 0.428, 0.6264, 0.9252, 1.332, 1.895, 2.662, 3.657, 4.911, 6.427",\
                 "0.3468, 0.4278, 0.6276, 0.9242, 1.332, 1.894, 2.66, 3.661, 4.914, 6.428",\
                 "0.3472, 0.4282, 0.6266, 0.9256, 1.33, 1.894, 2.659, 3.661, 4.915, 6.429",\
                 "0.3476, 0.427, 0.628, 0.9248, 1.331, 1.895, 2.661, 3.659, 4.91, 6.428",\
                 "0.347, 0.4274, 0.6266, 0.9262, 1.332, 1.895, 2.659, 3.662, 4.911, 6.423",\
                 "0.3468, 0.4276, 0.6268, 0.9252, 1.332, 1.895, 2.661, 3.656, 4.915, 6.428",\
                 "0.348, 0.4282, 0.6258, 0.926, 1.33, 1.896, 2.66, 3.662, 4.914, 6.43",\
                 "0.348, 0.428, 0.626, 0.926, 1.33, 1.894, 2.658, 3.66, 4.912, 6.428",\
                 "0.346, 0.428, 0.626, 0.926, 1.332, 1.894, 2.66, 3.656, 4.91, 6.42");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.2162, 0.3028, 0.5798, 1.154, 2.088, 3.407, 5.139, 7.334, 9.99, 13.18",\
                 "0.2156, 0.302, 0.5794, 1.152, 2.085, 3.406, 5.144, 7.321, 9.992, 13.18",\
                 "0.2158, 0.302, 0.5794, 1.152, 2.088, 3.405, 5.144, 7.32, 9.994, 13.18",\
                 "0.2166, 0.302, 0.5804, 1.152, 2.085, 3.405, 5.144, 7.318, 9.996, 13.17",\
                 "0.2158, 0.3022, 0.5794, 1.152, 2.088, 3.405, 5.144, 7.318, 9.997, 13.17",\
                 "0.2156, 0.302, 0.5796, 1.152, 2.084, 3.405, 5.143, 7.328, 9.998, 13.18",\
                 "0.2156, 0.3036, 0.5812, 1.154, 2.086, 3.404, 5.145, 7.322, 9.995, 13.17",\
                 "0.2166, 0.303, 0.5808, 1.152, 2.085, 3.404, 5.143, 7.328, 9.998, 13.18",\
                 "0.216, 0.3032, 0.5794, 1.152, 2.086, 3.406, 5.134, 7.32, 9.994, 13.2",\
                 "0.216, 0.304, 0.582, 1.152, 2.084, 3.404, 5.134, 7.32, 9.994, 13.17");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("1.664, 1.754, 1.974, 2.274, 2.638, 3.072, 3.596, 4.23, 4.992, 5.894",\
                 "1.688, 1.777, 1.998, 2.297, 2.661, 3.095, 3.619, 4.253, 5.015, 5.918",\
                 "1.765, 1.854, 2.075, 2.374, 2.738, 3.172, 3.697, 4.331, 5.092, 5.995",\
                 "1.874, 1.962, 2.183, 2.483, 2.846, 3.281, 3.805, 4.439, 5.2, 6.103",\
                 "1.952, 2.041, 2.261, 2.561, 2.924, 3.359, 3.883, 4.518, 5.279, 6.181",\
                 "1.998, 2.084, 2.298, 2.595, 2.957, 3.391, 3.915, 4.549, 5.311, 6.214",\
                 "1.972, 2.057, 2.272, 2.568, 2.93, 3.363, 3.887, 4.521, 5.283, 6.186",\
                 "1.883, 1.969, 2.183, 2.48, 2.841, 3.274, 3.798, 4.432, 5.193, 6.095",\
                 "1.727, 1.812, 2.027, 2.324, 2.686, 3.12, 3.644, 4.278, 5.04, 5.942",\
                 "1.502, 1.588, 1.803, 2.101, 2.463, 2.897, 3.421, 4.055, 4.816, 5.718");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("2.149, 2.223, 2.428, 2.775, 3.31, 4.059, 5.044, 6.285, 7.801, 9.607",\
                 "2.17, 2.244, 2.449, 2.796, 3.33, 4.079, 5.065, 6.305, 7.821, 9.624",\
                 "2.235, 2.31, 2.514, 2.862, 3.396, 4.145, 5.131, 6.371, 7.887, 9.694",\
                 "2.366, 2.44, 2.645, 2.992, 3.526, 4.275, 5.26, 6.502, 8.017, 9.821",\
                 "2.602, 2.677, 2.882, 3.228, 3.762, 4.512, 5.497, 6.738, 8.254, 10.06",\
                 "2.955, 3.03, 3.236, 3.583, 4.116, 4.866, 5.851, 7.091, 8.606, 10.41",\
                 "3.408, 3.482, 3.69, 4.037, 4.57, 5.319, 6.304, 7.545, 9.061, 10.87",\
                 "3.959, 4.035, 4.243, 4.59, 5.123, 5.871, 6.856, 8.097, 9.612, 11.42",\
                 "4.607, 4.684, 4.893, 5.24, 5.774, 6.521, 7.506, 8.747, 10.26, 12.07",\
                 "5.349, 5.427, 5.639, 5.986, 6.519, 7.267, 8.251, 9.491, 11, 12.81");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.3466, 0.427, 0.6266, 0.9266, 1.33, 1.894, 2.658, 3.661, 4.915, 6.424",\
                 "0.3466, 0.4266, 0.627, 0.926, 1.332, 1.894, 2.661, 3.659, 4.915, 6.427",\
                 "0.3464, 0.4274, 0.6252, 0.9256, 1.332, 1.894, 2.659, 3.662, 4.914, 6.422",\
                 "0.3462, 0.4274, 0.6262, 0.9238, 1.332, 1.893, 2.661, 3.659, 4.911, 6.423",\
                 "0.3456, 0.4258, 0.6248, 0.9248, 1.33, 1.895, 2.66, 3.661, 4.909, 6.425",\
                 "0.3352, 0.413, 0.6136, 0.9164, 1.325, 1.893, 2.658, 3.657, 4.91, 6.43",\
                 "0.3308, 0.4092, 0.611, 0.9128, 1.324, 1.889, 2.655, 3.66, 4.916, 6.424",\
                 "0.3312, 0.4084, 0.6116, 0.9144, 1.323, 1.89, 2.657, 3.655, 4.908, 6.425",\
                 "0.3324, 0.4116, 0.6132, 0.9162, 1.325, 1.893, 2.656, 3.655, 4.909, 6.422",\
                 "0.3358, 0.413, 0.615, 0.9176, 1.328, 1.892, 2.656, 3.66, 4.906, 6.422");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.2158, 0.3024, 0.5804, 1.153, 2.088, 3.406, 5.144, 7.321, 9.997, 13.17",\
                 "0.2158, 0.3018, 0.5794, 1.153, 2.084, 3.407, 5.144, 7.328, 9.993, 13.18",\
                 "0.2154, 0.3022, 0.5796, 1.152, 2.087, 3.406, 5.144, 7.33, 9.989, 13.18",\
                 "0.2156, 0.3018, 0.5794, 1.152, 2.084, 3.402, 5.143, 7.335, 9.99, 13.18",\
                 "0.2164, 0.3022, 0.5796, 1.152, 2.084, 3.406, 5.141, 7.325, 9.999, 13.17",\
                 "0.2176, 0.3046, 0.5814, 1.154, 2.088, 3.405, 5.142, 7.329, 9.99, 13.18",\
                 "0.2216, 0.3088, 0.5842, 1.153, 2.086, 3.406, 5.143, 7.331, 9.997, 13.17",\
                 "0.2268, 0.313, 0.587, 1.154, 2.085, 3.402, 5.134, 7.33, 9.994, 13.2",\
                 "0.23, 0.318, 0.592, 1.156, 2.086, 3.402, 5.138, 7.334, 9.992, 13.2",\
                 "0.236, 0.326, 0.598, 1.158, 2.09, 3.406, 5.136, 7.322, 9.992, 13.17");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("1.675, 1.764, 1.985, 2.285, 2.65, 3.084, 3.609, 4.243, 5.005, 5.907",\
                 "1.698, 1.787, 2.008, 2.309, 2.673, 3.108, 3.632, 4.266, 5.028, 5.93",\
                 "1.776, 1.865, 2.086, 2.386, 2.75, 3.185, 3.71, 4.344, 5.105, 6.008",\
                 "1.884, 1.974, 2.195, 2.495, 2.859, 3.294, 3.818, 4.453, 5.214, 6.117",\
                 "1.964, 2.053, 2.273, 2.574, 2.937, 3.373, 3.897, 4.532, 5.293, 6.195",\
                 "2.009, 2.095, 2.31, 2.608, 2.97, 3.405, 3.929, 4.563, 5.325, 6.228",\
                 "1.984, 2.069, 2.283, 2.58, 2.942, 3.376, 3.9, 4.535, 5.297, 6.2",\
                 "1.893, 1.978, 2.193, 2.49, 2.853, 3.287, 3.811, 4.445, 5.206, 6.109",\
                 "1.737, 1.822, 2.037, 2.335, 2.696, 3.131, 3.655, 4.289, 5.05, 5.953",\
                 "1.509, 1.596, 1.81, 2.109, 2.471, 2.906, 3.43, 4.064, 4.825, 5.727");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("2.15, 2.224, 2.43, 2.776, 3.311, 4.06, 5.046, 6.286, 7.802, 9.606",\
                 "2.171, 2.245, 2.451, 2.797, 3.331, 4.081, 5.066, 6.307, 7.822, 9.626",\
                 "2.238, 2.311, 2.517, 2.863, 3.398, 4.147, 5.132, 6.373, 7.889, 9.692",\
                 "2.367, 2.442, 2.647, 2.993, 3.527, 4.277, 5.262, 6.503, 8.017, 9.823",\
                 "2.603, 2.678, 2.883, 3.229, 3.764, 4.512, 5.498, 6.739, 8.254, 10.06",\
                 "2.955, 3.03, 3.236, 3.582, 4.116, 4.865, 5.85, 7.092, 8.607, 10.41",\
                 "3.408, 3.483, 3.689, 4.035, 4.569, 5.318, 6.304, 7.545, 9.06, 10.87",\
                 "3.959, 4.035, 4.243, 4.59, 5.123, 5.871, 6.855, 8.096, 9.612, 11.42",\
                 "4.608, 4.684, 4.893, 5.24, 5.772, 6.521, 7.505, 8.746, 10.26, 12.07",\
                 "5.349, 5.427, 5.638, 5.985, 6.518, 7.265, 8.249, 9.489, 11, 12.81");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.3482, 0.4288, 0.6272, 0.9284, 1.332, 1.896, 2.66, 3.663, 4.916, 6.422",\
                 "0.3488, 0.4284, 0.6276, 0.928, 1.334, 1.897, 2.663, 3.659, 4.91, 6.428",\
                 "0.3484, 0.4284, 0.629, 0.9282, 1.334, 1.896, 2.663, 3.661, 4.916, 6.426",\
                 "0.3484, 0.4284, 0.628, 0.927, 1.332, 1.899, 2.661, 3.66, 4.914, 6.427",\
                 "0.3472, 0.428, 0.6278, 0.9268, 1.333, 1.896, 2.663, 3.663, 4.911, 6.427",\
                 "0.337, 0.4144, 0.6146, 0.9172, 1.327, 1.896, 2.66, 3.663, 4.915, 6.43",\
                 "0.3322, 0.4106, 0.612, 0.9146, 1.324, 1.892, 2.657, 3.661, 4.917, 6.427",\
                 "0.3324, 0.4106, 0.6122, 0.9168, 1.325, 1.893, 2.659, 3.657, 4.908, 6.425",\
                 "0.334, 0.4118, 0.614, 0.9166, 1.326, 1.892, 2.658, 3.659, 4.908, 6.42",\
                 "0.3366, 0.4152, 0.6164, 0.9192, 1.328, 1.896, 2.66, 3.66, 4.906, 6.418");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.215, 0.3024, 0.5792, 1.152, 2.084, 3.407, 5.144, 7.335, 9.993, 13.18",\
                 "0.2156, 0.302, 0.5792, 1.152, 2.088, 3.406, 5.144, 7.331, 9.99, 13.18",\
                 "0.2158, 0.302, 0.5792, 1.152, 2.084, 3.405, 5.144, 7.322, 9.995, 13.18",\
                 "0.216, 0.302, 0.5794, 1.152, 2.087, 3.407, 5.144, 7.329, 9.992, 13.18",\
                 "0.2166, 0.3024, 0.5796, 1.152, 2.089, 3.406, 5.144, 7.326, 9.996, 13.18",\
                 "0.2174, 0.3048, 0.581, 1.152, 2.088, 3.403, 5.143, 7.326, 9.993, 13.18",\
                 "0.2218, 0.3094, 0.5834, 1.152, 2.086, 3.405, 5.135, 7.324, 9.988, 13.17",\
                 "0.2258, 0.312, 0.5886, 1.156, 2.083, 3.401, 5.14, 7.328, 9.99, 13.18",\
                 "0.23, 0.318, 0.592, 1.156, 2.086, 3.402, 5.136, 7.332, 9.992, 13.2",\
                 "0.238, 0.326, 0.598, 1.158, 2.086, 3.404, 5.136, 7.324, 10, 13.17");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("1.675, 1.764, 1.985, 2.285, 2.65, 3.084, 3.609, 4.243, 5.005, 5.907",\
                 "1.698, 1.787, 2.008, 2.309, 2.673, 3.108, 3.632, 4.266, 5.028, 5.93",\
                 "1.776, 1.865, 2.086, 2.386, 2.75, 3.185, 3.71, 4.344, 5.105, 6.008",\
                 "1.884, 1.974, 2.195, 2.495, 2.859, 3.294, 3.818, 4.453, 5.214, 6.117",\
                 "1.964, 2.053, 2.273, 2.574, 2.937, 3.373, 3.897, 4.532, 5.293, 6.195",\
                 "2.009, 2.095, 2.31, 2.608, 2.97, 3.405, 3.929, 4.563, 5.325, 6.228",\
                 "1.984, 2.069, 2.283, 2.58, 2.942, 3.376, 3.9, 4.535, 5.297, 6.2",\
                 "1.893, 1.978, 2.193, 2.49, 2.853, 3.287, 3.811, 4.445, 5.206, 6.109",\
                 "1.737, 1.822, 2.037, 2.335, 2.696, 3.131, 3.655, 4.289, 5.05, 5.953",\
                 "1.509, 1.596, 1.81, 2.109, 2.471, 2.906, 3.43, 4.064, 4.825, 5.727");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("2.149, 2.223, 2.428, 2.775, 3.31, 4.059, 5.044, 6.285, 7.801, 9.607",\
                 "2.17, 2.244, 2.449, 2.796, 3.33, 4.079, 5.065, 6.305, 7.821, 9.624",\
                 "2.235, 2.31, 2.514, 2.862, 3.396, 4.145, 5.131, 6.371, 7.887, 9.694",\
                 "2.366, 2.44, 2.645, 2.992, 3.526, 4.275, 5.26, 6.502, 8.017, 9.821",\
                 "2.602, 2.677, 2.882, 3.228, 3.762, 4.512, 5.497, 6.738, 8.254, 10.06",\
                 "2.955, 3.03, 3.236, 3.583, 4.116, 4.866, 5.851, 7.091, 8.606, 10.41",\
                 "3.408, 3.482, 3.69, 4.037, 4.57, 5.319, 6.304, 7.545, 9.061, 10.87",\
                 "3.959, 4.035, 4.243, 4.59, 5.123, 5.871, 6.856, 8.097, 9.612, 11.42",\
                 "4.607, 4.684, 4.893, 5.24, 5.774, 6.521, 7.506, 8.747, 10.26, 12.07",\
                 "5.349, 5.427, 5.639, 5.986, 6.519, 7.267, 8.251, 9.491, 11, 12.81");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.3466, 0.427, 0.6266, 0.9266, 1.33, 1.894, 2.658, 3.661, 4.915, 6.424",\
                 "0.3466, 0.4266, 0.627, 0.926, 1.332, 1.894, 2.661, 3.659, 4.915, 6.427",\
                 "0.3464, 0.4274, 0.6252, 0.9256, 1.332, 1.894, 2.659, 3.662, 4.914, 6.422",\
                 "0.3462, 0.4274, 0.6262, 0.9238, 1.332, 1.893, 2.661, 3.659, 4.911, 6.423",\
                 "0.3456, 0.4258, 0.6248, 0.9248, 1.33, 1.895, 2.66, 3.661, 4.909, 6.425",\
                 "0.3352, 0.413, 0.6136, 0.9164, 1.325, 1.893, 2.658, 3.657, 4.91, 6.43",\
                 "0.3308, 0.4092, 0.611, 0.9128, 1.324, 1.889, 2.655, 3.66, 4.916, 6.424",\
                 "0.3312, 0.4084, 0.6116, 0.9144, 1.323, 1.89, 2.657, 3.655, 4.908, 6.425",\
                 "0.3324, 0.4116, 0.6132, 0.9162, 1.325, 1.893, 2.656, 3.655, 4.909, 6.422",\
                 "0.3358, 0.413, 0.615, 0.9176, 1.328, 1.892, 2.656, 3.66, 4.906, 6.422");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.2158, 0.3024, 0.5804, 1.153, 2.088, 3.406, 5.144, 7.321, 9.997, 13.17",\
                 "0.2158, 0.3018, 0.5794, 1.153, 2.084, 3.407, 5.144, 7.328, 9.993, 13.18",\
                 "0.2154, 0.3022, 0.5796, 1.152, 2.087, 3.406, 5.144, 7.33, 9.989, 13.18",\
                 "0.2156, 0.3018, 0.5794, 1.152, 2.084, 3.402, 5.143, 7.335, 9.99, 13.18",\
                 "0.2164, 0.3022, 0.5796, 1.152, 2.084, 3.406, 5.141, 7.325, 9.999, 13.17",\
                 "0.2176, 0.3046, 0.5814, 1.154, 2.088, 3.405, 5.142, 7.329, 9.99, 13.18",\
                 "0.2216, 0.3088, 0.5842, 1.153, 2.086, 3.406, 5.143, 7.331, 9.997, 13.17",\
                 "0.2268, 0.313, 0.587, 1.154, 2.085, 3.402, 5.134, 7.33, 9.994, 13.2",\
                 "0.23, 0.318, 0.592, 1.156, 2.086, 3.402, 5.138, 7.334, 9.992, 13.2",\
                 "0.236, 0.326, 0.598, 1.158, 2.09, 3.406, 5.136, 7.322, 9.992, 13.17");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("1.08, 1.165, 1.378, 1.672, 2.032, 2.463, 2.986, 3.619, 4.379, 5.281",\
                 "1.103, 1.188, 1.4, 1.695, 2.054, 2.486, 3.008, 3.642, 4.402, 5.305",\
                 "1.183, 1.267, 1.48, 1.775, 2.133, 2.565, 3.088, 3.721, 4.481, 5.384",\
                 "1.365, 1.449, 1.662, 1.956, 2.315, 2.747, 3.269, 3.902, 4.664, 5.566",\
                 "1.675, 1.759, 1.971, 2.264, 2.624, 3.055, 3.578, 4.211, 4.971, 5.874",\
                 "2.064, 2.153, 2.372, 2.672, 3.034, 3.468, 3.991, 4.624, 5.383, 6.286",\
                 "2.499, 2.593, 2.823, 3.134, 3.506, 3.947, 4.473, 5.108, 5.869, 6.77",\
                 "2.994, 3.093, 3.335, 3.656, 4.037, 4.484, 5.015, 5.653, 6.415, 7.316",\
                 "3.556, 3.659, 3.913, 4.246, 4.638, 5.091, 5.626, 6.265, 7.028, 7.931",\
                 "4.187, 4.295, 4.561, 4.908, 5.312, 5.774, 6.313, 6.954, 7.718, 8.62");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.6668, 0.7469, 0.9716, 1.336, 1.875, 2.626, 3.613, 4.855, 6.371, 8.176",\
                 "0.6892, 0.769, 0.994, 1.358, 1.898, 2.649, 3.636, 4.878, 6.393, 8.2",\
                 "0.768, 0.8477, 1.073, 1.436, 1.976, 2.727, 3.715, 4.957, 6.472, 8.278",\
                 "0.9151, 0.9951, 1.218, 1.581, 2.12, 2.87, 3.857, 5.1, 6.615, 8.422",\
                 "1.067, 1.15, 1.378, 1.743, 2.28, 3.029, 4.015, 5.256, 6.771, 8.58",\
                 "1.185, 1.27, 1.505, 1.872, 2.411, 3.159, 4.144, 5.386, 6.898, 8.707",\
                 "1.265, 1.355, 1.598, 1.969, 2.506, 3.253, 4.237, 5.476, 6.993, 8.801",\
                 "1.301, 1.396, 1.649, 2.028, 2.564, 3.309, 4.292, 5.531, 7.044, 8.849",\
                 "1.287, 1.388, 1.654, 2.043, 2.583, 3.327, 4.307, 5.545, 7.058, 8.862",\
                 "1.218, 1.324, 1.603, 2.007, 2.554, 3.3, 4.281, 5.516, 7.028, 8.831");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.3248, 0.4022, 0.6032, 0.9042, 1.316, 1.884, 2.651, 3.655, 4.904, 6.426",\
                 "0.3252, 0.4018, 0.6018, 0.905, 1.315, 1.884, 2.651, 3.656, 4.911, 6.426",\
                 "0.325, 0.4016, 0.6026, 0.9054, 1.315, 1.884, 2.65, 3.656, 4.911, 6.426",\
                 "0.325, 0.402, 0.6034, 0.9046, 1.317, 1.884, 2.651, 3.656, 4.91, 6.427",\
                 "0.331, 0.4074, 0.607, 0.9088, 1.319, 1.885, 2.652, 3.656, 4.911, 6.424",\
                 "0.3772, 0.453, 0.6456, 0.9418, 1.338, 1.898, 2.659, 3.659, 4.909, 6.423",\
                 "0.4232, 0.5036, 0.698, 0.9884, 1.384, 1.93, 2.683, 3.669, 4.918, 6.429",\
                 "0.4646, 0.5494, 0.7506, 1.038, 1.427, 1.966, 2.711, 3.69, 4.932, 6.438",\
                 "0.509, 0.5982, 0.8076, 1.092, 1.476, 2.004, 2.736, 3.712, 4.942, 6.446",\
                 "0.558, 0.652, 0.868, 1.156, 1.53, 2.05, 2.766, 3.732, 4.954, 6.454");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.225, 0.322, 0.6182, 1.181, 2.101, 3.414, 5.152, 7.341, 10.02, 13.2",\
                 "0.2248, 0.3232, 0.6182, 1.182, 2.1, 3.42, 5.156, 7.348, 10.01, 13.19",\
                 "0.2249, 0.323, 0.6192, 1.183, 2.105, 3.419, 5.157, 7.342, 10.02, 13.2",\
                 "0.228, 0.3246, 0.6204, 1.184, 2.104, 3.421, 5.152, 7.341, 10.01, 13.2",\
                 "0.251, 0.348, 0.6414, 1.192, 2.106, 3.418, 5.154, 7.348, 10.01, 13.19",\
                 "0.279, 0.3754, 0.6666, 1.208, 2.114, 3.424, 5.154, 7.339, 10.01, 13.19",\
                 "0.3132, 0.4068, 0.697, 1.227, 2.123, 3.427, 5.157, 7.34, 10.01, 13.19",\
                 "0.3518, 0.4454, 0.7364, 1.253, 2.133, 3.433, 5.162, 7.349, 10.02, 13.19",\
                 "0.3944, 0.49, 0.7848, 1.292, 2.154, 3.441, 5.168, 7.353, 10.02, 13.21",\
                 "0.4398, 0.5376, 0.8366, 1.339, 2.186, 3.466, 5.178, 7.356, 10.03, 13.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("1.08, 1.165, 1.378, 1.672, 2.032, 2.463, 2.986, 3.619, 4.379, 5.281",\
                 "1.103, 1.188, 1.4, 1.695, 2.054, 2.486, 3.008, 3.642, 4.402, 5.305",\
                 "1.183, 1.267, 1.48, 1.775, 2.133, 2.565, 3.088, 3.721, 4.481, 5.384",\
                 "1.365, 1.449, 1.662, 1.956, 2.315, 2.747, 3.269, 3.902, 4.663, 5.566",\
                 "1.675, 1.759, 1.971, 2.265, 2.624, 3.055, 3.578, 4.21, 4.971, 5.874",\
                 "2.064, 2.153, 2.372, 2.672, 3.034, 3.468, 3.991, 4.624, 5.383, 6.286",\
                 "2.499, 2.592, 2.823, 3.133, 3.507, 3.947, 4.474, 5.108, 5.868, 6.771",\
                 "2.994, 3.093, 3.334, 3.656, 4.037, 4.484, 5.015, 5.652, 6.415, 7.317",\
                 "3.556, 3.659, 3.913, 4.246, 4.639, 5.091, 5.627, 6.265, 7.028, 7.932",\
                 "4.187, 4.295, 4.561, 4.908, 5.312, 5.774, 6.314, 6.954, 7.718, 8.621");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.6668, 0.7469, 0.9716, 1.336, 1.875, 2.626, 3.613, 4.855, 6.371, 8.176",\
                 "0.6892, 0.7693, 0.994, 1.358, 1.898, 2.649, 3.636, 4.878, 6.393, 8.2",\
                 "0.768, 0.8479, 1.073, 1.436, 1.976, 2.727, 3.715, 4.957, 6.471, 8.277",\
                 "0.9152, 0.9951, 1.218, 1.581, 2.12, 2.87, 3.858, 5.097, 6.615, 8.42",\
                 "1.067, 1.15, 1.378, 1.743, 2.28, 3.03, 4.016, 5.257, 6.773, 8.574",\
                 "1.185, 1.27, 1.505, 1.872, 2.411, 3.159, 4.144, 5.386, 6.898, 8.707",\
                 "1.265, 1.355, 1.598, 1.969, 2.506, 3.253, 4.237, 5.477, 6.993, 8.798",\
                 "1.301, 1.395, 1.649, 2.028, 2.565, 3.309, 4.291, 5.531, 7.044, 8.848",\
                 "1.287, 1.387, 1.654, 2.043, 2.584, 3.326, 4.308, 5.545, 7.058, 8.862",\
                 "1.218, 1.324, 1.603, 2.007, 2.554, 3.3, 4.281, 5.516, 7.028, 8.831");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.3248, 0.4022, 0.6032, 0.9042, 1.316, 1.884, 2.651, 3.655, 4.904, 6.426",\
                 "0.3252, 0.4018, 0.6018, 0.905, 1.315, 1.884, 2.651, 3.656, 4.911, 6.426",\
                 "0.3246, 0.4016, 0.6032, 0.9054, 1.315, 1.884, 2.65, 3.656, 4.911, 6.426",\
                 "0.325, 0.402, 0.6032, 0.9054, 1.315, 1.883, 2.649, 3.652, 4.911, 6.427",\
                 "0.331, 0.4078, 0.6072, 0.9108, 1.319, 1.886, 2.65, 3.654, 4.908, 6.426",\
                 "0.3764, 0.453, 0.6458, 0.9408, 1.339, 1.898, 2.657, 3.66, 4.909, 6.425",\
                 "0.4228, 0.504, 0.6976, 0.9886, 1.382, 1.932, 2.682, 3.672, 4.918, 6.43",\
                 "0.4644, 0.5494, 0.7504, 1.038, 1.427, 1.965, 2.709, 3.69, 4.929, 6.438",\
                 "0.5092, 0.5982, 0.8074, 1.091, 1.474, 2.004, 2.736, 3.71, 4.944, 6.444",\
                 "0.558, 0.652, 0.868, 1.156, 1.534, 2.05, 2.77, 3.732, 4.954, 6.454");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.225, 0.322, 0.6182, 1.181, 2.101, 3.414, 5.152, 7.341, 10.02, 13.2",\
                 "0.2247, 0.322, 0.6187, 1.181, 2.1, 3.419, 5.152, 7.348, 10.01, 13.19",\
                 "0.2249, 0.3218, 0.6186, 1.183, 2.104, 3.415, 5.157, 7.342, 10.01, 13.2",\
                 "0.2276, 0.3252, 0.6204, 1.184, 2.104, 3.421, 5.157, 7.348, 10.01, 13.19",\
                 "0.251, 0.347, 0.6406, 1.193, 2.106, 3.417, 5.152, 7.338, 10.01, 13.19",\
                 "0.279, 0.3754, 0.6666, 1.208, 2.114, 3.424, 5.154, 7.34, 10.01, 13.19",\
                 "0.3132, 0.4068, 0.697, 1.227, 2.123, 3.428, 5.163, 7.35, 10.02, 13.2",\
                 "0.3518, 0.4468, 0.7374, 1.253, 2.132, 3.433, 5.163, 7.347, 10.02, 13.19",\
                 "0.3932, 0.4902, 0.7848, 1.291, 2.154, 3.441, 5.166, 7.351, 10.02, 13.21",\
                 "0.4398, 0.5378, 0.8366, 1.34, 2.186, 3.462, 5.178, 7.356, 10.03, 13.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("1.08, 1.165, 1.378, 1.672, 2.032, 2.463, 2.986, 3.619, 4.379, 5.281",\
                 "1.103, 1.188, 1.4, 1.695, 2.054, 2.486, 3.008, 3.642, 4.402, 5.305",\
                 "1.183, 1.267, 1.48, 1.775, 2.133, 2.565, 3.088, 3.721, 4.481, 5.384",\
                 "1.365, 1.449, 1.662, 1.956, 2.315, 2.747, 3.269, 3.902, 4.663, 5.566",\
                 "1.675, 1.759, 1.971, 2.265, 2.624, 3.055, 3.578, 4.21, 4.971, 5.874",\
                 "2.064, 2.153, 2.372, 2.672, 3.034, 3.468, 3.991, 4.624, 5.383, 6.286",\
                 "2.499, 2.592, 2.823, 3.133, 3.507, 3.947, 4.474, 5.108, 5.868, 6.771",\
                 "2.994, 3.093, 3.334, 3.656, 4.037, 4.484, 5.015, 5.652, 6.415, 7.317",\
                 "3.556, 3.659, 3.913, 4.246, 4.639, 5.091, 5.627, 6.265, 7.028, 7.932",\
                 "4.187, 4.295, 4.561, 4.908, 5.312, 5.774, 6.314, 6.954, 7.718, 8.621");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.6668, 0.7469, 0.9716, 1.336, 1.875, 2.626, 3.613, 4.855, 6.371, 8.176",\
                 "0.6892, 0.7693, 0.994, 1.358, 1.898, 2.649, 3.636, 4.878, 6.393, 8.2",\
                 "0.768, 0.8479, 1.073, 1.436, 1.976, 2.727, 3.715, 4.957, 6.471, 8.277",\
                 "0.9152, 0.9951, 1.218, 1.581, 2.12, 2.87, 3.858, 5.097, 6.615, 8.42",\
                 "1.067, 1.15, 1.378, 1.743, 2.28, 3.03, 4.016, 5.257, 6.773, 8.574",\
                 "1.185, 1.27, 1.505, 1.872, 2.411, 3.159, 4.144, 5.386, 6.898, 8.707",\
                 "1.265, 1.355, 1.598, 1.969, 2.506, 3.253, 4.237, 5.477, 6.993, 8.798",\
                 "1.301, 1.395, 1.649, 2.028, 2.565, 3.309, 4.291, 5.531, 7.044, 8.848",\
                 "1.287, 1.387, 1.654, 2.043, 2.584, 3.326, 4.308, 5.545, 7.058, 8.862",\
                 "1.218, 1.324, 1.603, 2.007, 2.554, 3.3, 4.281, 5.516, 7.028, 8.831");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.3248, 0.4022, 0.6032, 0.9042, 1.316, 1.884, 2.651, 3.655, 4.904, 6.426",\
                 "0.3252, 0.4018, 0.6018, 0.905, 1.315, 1.884, 2.651, 3.656, 4.911, 6.426",\
                 "0.3246, 0.4016, 0.6032, 0.9054, 1.315, 1.884, 2.65, 3.656, 4.911, 6.426",\
                 "0.325, 0.402, 0.6032, 0.9054, 1.315, 1.883, 2.649, 3.652, 4.911, 6.427",\
                 "0.331, 0.4078, 0.6072, 0.9108, 1.319, 1.886, 2.65, 3.654, 4.908, 6.426",\
                 "0.3764, 0.453, 0.6458, 0.9408, 1.339, 1.898, 2.657, 3.66, 4.909, 6.425",\
                 "0.4228, 0.504, 0.6976, 0.9886, 1.382, 1.932, 2.682, 3.672, 4.918, 6.43",\
                 "0.4644, 0.5494, 0.7504, 1.038, 1.427, 1.965, 2.709, 3.69, 4.929, 6.438",\
                 "0.5092, 0.5982, 0.8074, 1.091, 1.474, 2.004, 2.736, 3.71, 4.944, 6.444",\
                 "0.558, 0.652, 0.868, 1.156, 1.534, 2.05, 2.77, 3.732, 4.954, 6.454");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.01368, 0.05818, 0.1432, 0.2756, 0.4613, 0.7058, 1.014, 1.39, 1.838");
          values("0.225, 0.322, 0.6182, 1.181, 2.101, 3.414, 5.152, 7.341, 10.02, 13.2",\
                 "0.2247, 0.322, 0.6187, 1.181, 2.1, 3.419, 5.152, 7.348, 10.01, 13.19",\
                 "0.2249, 0.3218, 0.6186, 1.183, 2.104, 3.415, 5.157, 7.342, 10.01, 13.2",\
                 "0.2276, 0.3252, 0.6204, 1.184, 2.104, 3.421, 5.157, 7.348, 10.01, 13.19",\
                 "0.251, 0.347, 0.6406, 1.193, 2.106, 3.417, 5.152, 7.338, 10.01, 13.19",\
                 "0.279, 0.3754, 0.6666, 1.208, 2.114, 3.424, 5.154, 7.34, 10.01, 13.19",\
                 "0.3132, 0.4068, 0.697, 1.227, 2.123, 3.428, 5.163, 7.35, 10.02, 13.2",\
                 "0.3518, 0.4468, 0.7374, 1.253, 2.132, 3.433, 5.163, 7.347, 10.02, 13.19",\
                 "0.3932, 0.4902, 0.7848, 1.291, 2.154, 3.441, 5.166, 7.351, 10.02, 13.21",\
                 "0.4398, 0.5378, 0.8366, 1.34, 2.186, 3.462, 5.178, 7.356, 10.03, 13.19");
        }
      }
    }
  }