  cell(gf180mcu_fd_sc_mcu9t5v0__xnor3_4) {
    area : 90.316800 ;

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&!A2&!A3" ;
      value : "5.85774e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&!A2&A3" ;
      value : "5.7762e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&A2&!A3" ;
      value : "4.08438e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&A2&A3" ;
      value : "4.05558e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&!A2&!A3" ;
      value : "4.91076e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&!A2&A3" ;
      value : "4.88214e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&A2&!A3" ;
      value : "4.92624e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&A2&A3" ;
      value : "4.8447e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      value : "5.85774e-05" ;
    }

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

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

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

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

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

    pin(ZN) {
      direction : output ;
      function : "(!(A1^A2^A3))" ;
      max_capacitance : 1.258 ;
      max_transition : 12 ;
      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.1258, 0.1259, 0.1264, 0.1275, 0.1287, 0.1295, 0.1301, 0.1305, 0.1308, 0.131",\
                 "0.1258, 0.1258, 0.1264, 0.1275, 0.1287, 0.1296, 0.1301, 0.1305, 0.1308, 0.131",\
                 "0.1258, 0.1258, 0.1263, 0.1275, 0.1286, 0.1294, 0.13, 0.1305, 0.1307, 0.1309",\
                 "0.1256, 0.1256, 0.1262, 0.1273, 0.1285, 0.1293, 0.1299, 0.1303, 0.1305, 0.1307",\
                 "0.1254, 0.1254, 0.1261, 0.1272, 0.1283, 0.1292, 0.1297, 0.1301, 0.1304, 0.1306",\
                 "0.1254, 0.1254, 0.126, 0.1271, 0.1283, 0.1291, 0.1297, 0.1301, 0.1304, 0.1306",\
                 "0.1255, 0.1255, 0.126, 0.1272, 0.1283, 0.1292, 0.1298, 0.1302, 0.1304, 0.1306",\
                 "0.1257, 0.1256, 0.1262, 0.1273, 0.1285, 0.1293, 0.1299, 0.1303, 0.1306, 0.1308",\
                 "0.1258, 0.1258, 0.1264, 0.1276, 0.1287, 0.1296, 0.1302, 0.1306, 0.1308, 0.131",\
                 "0.1263, 0.1263, 0.1269, 0.128, 0.1292, 0.13, 0.1306, 0.131, 0.1312, 0.1314");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.1176, 0.1179, 0.1188, 0.1203, 0.1217, 0.1232, 0.1247, 0.1267, 0.1363, 0.2155",\
                 "0.1175, 0.1178, 0.1188, 0.1199, 0.1217, 0.1233, 0.1246, 0.1258, 0.1382, 0.2157",\
                 "0.1173, 0.1177, 0.1185, 0.1199, 0.1215, 0.123, 0.1239, 0.1255, 0.1377, 0.2224",\
                 "0.1171, 0.1175, 0.1183, 0.1196, 0.1212, 0.123, 0.1238, 0.1258, 0.1401, 0.2388",\
                 "0.117, 0.1174, 0.1182, 0.1196, 0.1211, 0.1229, 0.1236, 0.1258, 0.1447, 0.2657",\
                 "0.1169, 0.1173, 0.1182, 0.1196, 0.121, 0.1225, 0.1237, 0.1267, 0.1565, 0.3157",\
                 "0.1169, 0.1173, 0.1181, 0.1195, 0.1212, 0.1228, 0.1237, 0.1285, 0.1776, 0.4005",\
                 "0.1171, 0.1174, 0.1185, 0.1196, 0.1212, 0.1226, 0.125, 0.1344, 0.2244, 0.5428",\
                 "0.1173, 0.1176, 0.1186, 0.1198, 0.1216, 0.1229, 0.1256, 0.1543, 0.331, 0.76",\
                 "0.1177, 0.1181, 0.1188, 0.1203, 0.1218, 0.1237, 0.1327, 0.2262, 0.5482, 1.008");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.1141, 0.114, 0.1145, 0.1155, 0.1165, 0.1174, 0.118, 0.1185, 0.1188, 0.119",\
                 "0.114, 0.1139, 0.1143, 0.1153, 0.1164, 0.1173, 0.1179, 0.1183, 0.1187, 0.1189",\
                 "0.1138, 0.1137, 0.1141, 0.1151, 0.1162, 0.1171, 0.1177, 0.1182, 0.1185, 0.1187",\
                 "0.1137, 0.1136, 0.114, 0.115, 0.1161, 0.117, 0.1176, 0.1181, 0.1184, 0.1186",\
                 "0.1136, 0.1134, 0.1139, 0.1149, 0.116, 0.1169, 0.1175, 0.1179, 0.1182, 0.1184",\
                 "0.1135, 0.1134, 0.1138, 0.1148, 0.1159, 0.1168, 0.1174, 0.1178, 0.1181, 0.1184",\
                 "0.1135, 0.1133, 0.1138, 0.1148, 0.1159, 0.1168, 0.1174, 0.1178, 0.1181, 0.1183",\
                 "0.1136, 0.1134, 0.1139, 0.1149, 0.116, 0.1169, 0.1175, 0.1179, 0.1182, 0.1184",\
                 "0.1138, 0.1137, 0.1141, 0.1151, 0.1162, 0.1171, 0.1178, 0.1182, 0.1185, 0.1187",\
                 "0.1142, 0.1141, 0.1145, 0.1155, 0.1166, 0.1175, 0.1181, 0.1186, 0.1188, 0.1189");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.09977, 0.09993, 0.1007, 0.1017, 0.1032, 0.1049, 0.1062, 0.1078, 0.1164, 0.1772",\
                 "0.09986, 0.09993, 0.1006, 0.1018, 0.1032, 0.1048, 0.1061, 0.108, 0.116, 0.179",\
                 "0.09977, 0.09992, 0.1007, 0.1017, 0.1033, 0.1049, 0.1062, 0.1084, 0.1166, 0.1848",\
                 "0.09965, 0.09986, 0.1006, 0.1016, 0.1031, 0.1047, 0.1061, 0.1083, 0.1184, 0.1957",\
                 "0.09944, 0.09964, 0.1004, 0.1014, 0.1029, 0.1047, 0.106, 0.1077, 0.1206, 0.2132",\
                 "0.09941, 0.09964, 0.1005, 0.1015, 0.1029, 0.1046, 0.1058, 0.1082, 0.1264, 0.2422",\
                 "0.09954, 0.09988, 0.1004, 0.1015, 0.103, 0.1047, 0.106, 0.1088, 0.1351, 0.2834",\
                 "0.09966, 0.09984, 0.1007, 0.1018, 0.1032, 0.1048, 0.1063, 0.1105, 0.1507, 0.3505",\
                 "0.09996, 0.1002, 0.101, 0.1021, 0.1034, 0.1055, 0.1071, 0.1134, 0.1809, 0.4552",\
                 "0.1004, 0.1006, 0.1012, 0.1023, 0.1035, 0.1047, 0.1076, 0.1254, 0.2435, 0.6116");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.1226, 0.1227, 0.1232, 0.1243, 0.1255, 0.1263, 0.1269, 0.1273, 0.1276, 0.1278",\
                 "0.1227, 0.1226, 0.1232, 0.1243, 0.1255, 0.1263, 0.1269, 0.1273, 0.1276, 0.1278",\
                 "0.1225, 0.1224, 0.123, 0.1242, 0.1253, 0.1262, 0.1268, 0.1272, 0.1274, 0.1276",\
                 "0.1223, 0.1223, 0.1228, 0.124, 0.1251, 0.126, 0.1266, 0.127, 0.1272, 0.1274",\
                 "0.1222, 0.1221, 0.1228, 0.1239, 0.125, 0.1258, 0.1264, 0.1268, 0.1271, 0.1273",\
                 "0.1221, 0.1221, 0.1227, 0.1239, 0.125, 0.1259, 0.1265, 0.1269, 0.1271, 0.1273",\
                 "0.1223, 0.1223, 0.1229, 0.124, 0.1251, 0.126, 0.1266, 0.127, 0.1273, 0.1274",\
                 "0.1226, 0.1225, 0.1232, 0.1243, 0.1254, 0.1262, 0.1268, 0.1272, 0.1275, 0.1277",\
                 "0.1229, 0.1229, 0.1235, 0.1246, 0.1258, 0.1266, 0.1272, 0.1276, 0.1279, 0.128",\
                 "0.1234, 0.1234, 0.124, 0.1251, 0.1263, 0.1271, 0.1277, 0.1281, 0.1283, 0.1282");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.09619, 0.09652, 0.09738, 0.09881, 0.1004, 0.1018, 0.1032, 0.1041, 0.1118, 0.1643",\
                 "0.09619, 0.09652, 0.09747, 0.09885, 0.1003, 0.1018, 0.1033, 0.1043, 0.112, 0.164",\
                 "0.09616, 0.0965, 0.09755, 0.09858, 0.1003, 0.1017, 0.1038, 0.1043, 0.1117, 0.1683",\
                 "0.09608, 0.09644, 0.09742, 0.09879, 0.1003, 0.1019, 0.1032, 0.1042, 0.1139, 0.1776",\
                 "0.09606, 0.09639, 0.09728, 0.09869, 0.1003, 0.1016, 0.1036, 0.1043, 0.1168, 0.1953",\
                 "0.09601, 0.09633, 0.09731, 0.09858, 0.1002, 0.1016, 0.1028, 0.1047, 0.1218, 0.2248",\
                 "0.09602, 0.09637, 0.09722, 0.09863, 0.1002, 0.1014, 0.1031, 0.1058, 0.1293, 0.2727",\
                 "0.09609, 0.09642, 0.0974, 0.09854, 0.1002, 0.1019, 0.1029, 0.1072, 0.1467, 0.3472",\
                 "0.09629, 0.09664, 0.09755, 0.09887, 0.1003, 0.1021, 0.1037, 0.1112, 0.1834, 0.4706",\
                 "0.09662, 0.097, 0.09798, 0.09917, 0.1003, 0.1014, 0.1047, 0.1249, 0.26, 0.6521");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.09279, 0.09267, 0.09306, 0.094, 0.09506, 0.09596, 0.09659, 0.09705, 0.09736, 0.09757",\
                 "0.09278, 0.09264, 0.09306, 0.09398, 0.09506, 0.09596, 0.09659, 0.09705, 0.09735, 0.09757",\
                 "0.09272, 0.09261, 0.09301, 0.09397, 0.09504, 0.09592, 0.09658, 0.09702, 0.09733, 0.09756",\
                 "0.09265, 0.09254, 0.09291, 0.09388, 0.09494, 0.09585, 0.09648, 0.09693, 0.09724, 0.09746",\
                 "0.09251, 0.09239, 0.09276, 0.09372, 0.0948, 0.09568, 0.09633, 0.09678, 0.0971, 0.09732",\
                 "0.09237, 0.09226, 0.09262, 0.09357, 0.09464, 0.09555, 0.0962, 0.09666, 0.09698, 0.0972",\
                 "0.09243, 0.09233, 0.09263, 0.09352, 0.09464, 0.09554, 0.09619, 0.09664, 0.09696, 0.09719",\
                 "0.09249, 0.09234, 0.09265, 0.09362, 0.09468, 0.09555, 0.09623, 0.09668, 0.097, 0.09724",\
                 "0.09282, 0.09266, 0.09294, 0.09382, 0.09485, 0.09574, 0.09639, 0.09689, 0.09722, 0.09744",\
                 "0.09313, 0.09295, 0.09325, 0.09411, 0.09511, 0.09602, 0.09668, 0.09716, 0.09752, 0.09776");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.09664, 0.09694, 0.09766, 0.09864, 0.1002, 0.102, 0.1031, 0.1039, 0.1107, 0.1641",\
                 "0.09675, 0.09696, 0.09768, 0.09879, 0.1002, 0.102, 0.1031, 0.1045, 0.1114, 0.1647",\
                 "0.09657, 0.09675, 0.09773, 0.09866, 0.1002, 0.102, 0.103, 0.1049, 0.1122, 0.1696",\
                 "0.09637, 0.09656, 0.09721, 0.09839, 0.09985, 0.1015, 0.1028, 0.1049, 0.1129, 0.1803",\
                 "0.09622, 0.09643, 0.09723, 0.09837, 0.09976, 0.1013, 0.1031, 0.1053, 0.1167, 0.2011",\
                 "0.09629, 0.09658, 0.09741, 0.09834, 0.09981, 0.1015, 0.1031, 0.1052, 0.1236, 0.2396",\
                 "0.09631, 0.09652, 0.09718, 0.09826, 0.09974, 0.1015, 0.1029, 0.1067, 0.1394, 0.3131",\
                 "0.09649, 0.09667, 0.09759, 0.09823, 0.09979, 0.1014, 0.1029, 0.1114, 0.1768, 0.4503",\
                 "0.09674, 0.09695, 0.09763, 0.09864, 0.0999, 0.1016, 0.1036, 0.1263, 0.275, 0.6806",\
                 "0.09724, 0.09739, 0.09793, 0.09879, 0.1002, 0.1023, 0.1099, 0.1929, 0.4978, 0.9627");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.1235, 0.1235, 0.1241, 0.1253, 0.1264, 0.1273, 0.1279, 0.1283, 0.1285, 0.1287",\
                 "0.1236, 0.1236, 0.1242, 0.1253, 0.1264, 0.1273, 0.1279, 0.1283, 0.1286, 0.1287",\
                 "0.1236, 0.1235, 0.1241, 0.1253, 0.1264, 0.1273, 0.1278, 0.1282, 0.1285, 0.1287",\
                 "0.1234, 0.1234, 0.124, 0.1251, 0.1263, 0.1271, 0.1277, 0.1281, 0.1284, 0.1286",\
                 "0.1234, 0.1233, 0.1239, 0.125, 0.1262, 0.127, 0.1276, 0.128, 0.1283, 0.1285",\
                 "0.1234, 0.1233, 0.1239, 0.125, 0.1262, 0.1271, 0.1277, 0.128, 0.1283, 0.1285",\
                 "0.1235, 0.1234, 0.124, 0.1251, 0.1263, 0.1271, 0.1277, 0.1281, 0.1284, 0.1286",\
                 "0.1236, 0.1236, 0.1242, 0.1254, 0.1265, 0.1274, 0.1279, 0.1283, 0.1286, 0.1288",\
                 "0.1239, 0.124, 0.1244, 0.1256, 0.1267, 0.1276, 0.1282, 0.1286, 0.1288, 0.129",\
                 "0.1243, 0.1242, 0.1249, 0.126, 0.1272, 0.128, 0.1286, 0.129, 0.1293, 0.1294");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.1165, 0.1169, 0.1177, 0.1192, 0.1207, 0.1222, 0.1236, 0.1249, 0.1366, 0.2124",\
                 "0.1164, 0.1167, 0.1175, 0.1191, 0.1204, 0.122, 0.1235, 0.1256, 0.1348, 0.2121",\
                 "0.1161, 0.1165, 0.1175, 0.1187, 0.1203, 0.1217, 0.1237, 0.1243, 0.1364, 0.2183",\
                 "0.116, 0.1163, 0.1172, 0.1186, 0.1201, 0.1218, 0.1235, 0.125, 0.1399, 0.2334",\
                 "0.116, 0.1164, 0.1171, 0.1185, 0.1201, 0.1218, 0.1226, 0.1249, 0.1441, 0.2634",\
                 "0.1161, 0.1164, 0.1172, 0.1187, 0.1202, 0.1218, 0.1227, 0.1256, 0.1551, 0.3176",\
                 "0.1162, 0.1165, 0.1175, 0.1188, 0.1204, 0.1217, 0.1231, 0.1284, 0.1798, 0.4141",\
                 "0.1164, 0.1167, 0.1177, 0.1191, 0.1207, 0.1222, 0.1244, 0.1359, 0.2368, 0.5746",\
                 "0.1166, 0.1171, 0.1181, 0.1192, 0.1208, 0.1223, 0.1253, 0.1621, 0.3619, 0.8094",\
                 "0.1172, 0.1175, 0.1184, 0.1195, 0.1214, 0.123, 0.1366, 0.2565, 0.6078, 1.05");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.1131, 0.113, 0.1134, 0.1144, 0.1155, 0.1164, 0.117, 0.1175, 0.1178, 0.118",\
                 "0.1129, 0.1128, 0.1133, 0.1142, 0.1153, 0.1162, 0.1169, 0.1173, 0.1176, 0.1178",\
                 "0.1127, 0.1126, 0.113, 0.114, 0.1151, 0.116, 0.1166, 0.117, 0.1174, 0.1176",\
                 "0.1126, 0.1125, 0.1129, 0.1139, 0.115, 0.1159, 0.1165, 0.117, 0.1173, 0.1175",\
                 "0.1126, 0.1125, 0.1128, 0.1139, 0.1149, 0.1158, 0.1165, 0.1169, 0.1172, 0.1174",\
                 "0.1126, 0.1125, 0.1129, 0.1139, 0.115, 0.1159, 0.1165, 0.117, 0.1173, 0.1175",\
                 "0.1128, 0.1127, 0.1131, 0.1141, 0.1152, 0.116, 0.1167, 0.1171, 0.1174, 0.1176",\
                 "0.113, 0.1129, 0.1133, 0.1143, 0.1154, 0.1163, 0.1169, 0.1173, 0.1176, 0.1178",\
                 "0.1133, 0.1132, 0.1136, 0.1146, 0.1157, 0.1166, 0.1172, 0.1177, 0.118, 0.1181",\
                 "0.1137, 0.1136, 0.114, 0.115, 0.1161, 0.117, 0.1177, 0.1181, 0.1183, 0.1183");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.09764, 0.09787, 0.09848, 0.09957, 0.101, 0.103, 0.104, 0.1052, 0.1133, 0.1725",\
                 "0.09765, 0.09788, 0.09866, 0.09975, 0.1011, 0.1028, 0.1039, 0.106, 0.1138, 0.1745",\
                 "0.0977, 0.09792, 0.09868, 0.09977, 0.1011, 0.1029, 0.1043, 0.1066, 0.1137, 0.1797",\
                 "0.09763, 0.09777, 0.09839, 0.09944, 0.101, 0.1027, 0.1043, 0.1057, 0.1171, 0.1901",\
                 "0.09752, 0.09771, 0.09836, 0.09959, 0.1011, 0.1028, 0.1044, 0.1058, 0.1184, 0.2062",\
                 "0.09744, 0.09765, 0.09845, 0.09944, 0.101, 0.1026, 0.1037, 0.1062, 0.1234, 0.2337",\
                 "0.09764, 0.09776, 0.09845, 0.09937, 0.101, 0.1026, 0.1039, 0.1067, 0.1306, 0.2725",\
                 "0.09768, 0.09796, 0.09857, 0.09959, 0.1015, 0.103, 0.1041, 0.1085, 0.1457, 0.3366",\
                 "0.098, 0.09816, 0.09891, 0.09998, 0.1014, 0.1034, 0.1053, 0.1116, 0.1738, 0.4371",\
                 "0.09845, 0.09862, 0.09935, 0.1003, 0.1017, 0.1027, 0.1053, 0.122, 0.2315, 0.5884");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.1243, 0.1243, 0.1248, 0.126, 0.1272, 0.128, 0.1286, 0.129, 0.1293, 0.1294",\
                 "0.1242, 0.1242, 0.1248, 0.1259, 0.1271, 0.1279, 0.1285, 0.1289, 0.1292, 0.1294",\
                 "0.1241, 0.1241, 0.1246, 0.1258, 0.127, 0.1278, 0.1284, 0.1288, 0.129, 0.1292",\
                 "0.124, 0.124, 0.1245, 0.1257, 0.1268, 0.1277, 0.1283, 0.1287, 0.1289, 0.1291",\
                 "0.1239, 0.1239, 0.1245, 0.1256, 0.1268, 0.1276, 0.1282, 0.1286, 0.1289, 0.1291",\
                 "0.124, 0.1239, 0.1246, 0.1257, 0.1268, 0.1277, 0.1282, 0.1286, 0.1289, 0.1291",\
                 "0.1241, 0.1241, 0.1247, 0.1258, 0.127, 0.1278, 0.1284, 0.1288, 0.1291, 0.1292",\
                 "0.1244, 0.1243, 0.1249, 0.1261, 0.1272, 0.1281, 0.1286, 0.129, 0.1293, 0.1295",\
                 "0.1247, 0.1247, 0.1253, 0.1264, 0.1276, 0.1284, 0.129, 0.1294, 0.1297, 0.1298",\
                 "0.1252, 0.1251, 0.1258, 0.1269, 0.128, 0.1289, 0.1295, 0.1299, 0.1301, 0.1298");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.0968, 0.09721, 0.09797, 0.09946, 0.101, 0.1023, 0.1036, 0.1049, 0.1125, 0.1647",\
                 "0.09688, 0.09721, 0.09821, 0.09946, 0.101, 0.1024, 0.1045, 0.1051, 0.112, 0.1652",\
                 "0.09689, 0.09722, 0.09823, 0.09949, 0.1011, 0.1025, 0.1045, 0.1051, 0.1123, 0.1696",\
                 "0.09691, 0.0972, 0.09815, 0.09953, 0.1011, 0.1025, 0.1045, 0.1049, 0.1139, 0.1783",\
                 "0.09679, 0.09712, 0.0981, 0.09937, 0.101, 0.1024, 0.1036, 0.1052, 0.1162, 0.1939",\
                 "0.09671, 0.09702, 0.09803, 0.09931, 0.1009, 0.1024, 0.1033, 0.105, 0.1215, 0.2202",\
                 "0.09667, 0.09696, 0.09785, 0.09924, 0.1006, 0.1024, 0.1033, 0.1058, 0.129, 0.2654",\
                 "0.09669, 0.097, 0.09774, 0.09906, 0.101, 0.1024, 0.1035, 0.1075, 0.1443, 0.3354",\
                 "0.09683, 0.09723, 0.09801, 0.09951, 0.1009, 0.103, 0.1043, 0.1106, 0.1774, 0.4519",\
                 "0.09713, 0.0974, 0.09824, 0.09946, 0.1011, 0.1017, 0.1047, 0.123, 0.247, 0.6257");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.09344, 0.09332, 0.0937, 0.09465, 0.09573, 0.09661, 0.09726, 0.09771, 0.09802, 0.09824",\
                 "0.09346, 0.09329, 0.09371, 0.09468, 0.09576, 0.09664, 0.09729, 0.09773, 0.09804, 0.09826",\
                 "0.09345, 0.09331, 0.09373, 0.0947, 0.09576, 0.09666, 0.09729, 0.09774, 0.09805, 0.09828",\
                 "0.09337, 0.09324, 0.09368, 0.09461, 0.0957, 0.09659, 0.09723, 0.09767, 0.09798, 0.09821",\
                 "0.09325, 0.09317, 0.09354, 0.09449, 0.09556, 0.09646, 0.09709, 0.09755, 0.09786, 0.09809",\
                 "0.09313, 0.09298, 0.09336, 0.09429, 0.0954, 0.09631, 0.09696, 0.09741, 0.09773, 0.09796",\
                 "0.09311, 0.09302, 0.09332, 0.09424, 0.09534, 0.09623, 0.09689, 0.09734, 0.09765, 0.09789",\
                 "0.09315, 0.09299, 0.09335, 0.09424, 0.09531, 0.09619, 0.09686, 0.0973, 0.09763, 0.09785",\
                 "0.09329, 0.0931, 0.09349, 0.09432, 0.09542, 0.0963, 0.09695, 0.09743, 0.09777, 0.09799",\
                 "0.09356, 0.0934, 0.09371, 0.09459, 0.09563, 0.0965, 0.09716, 0.09765, 0.09799, 0.09822");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.0983, 0.09848, 0.09929, 0.1003, 0.1018, 0.1035, 0.1046, 0.1065, 0.1134, 0.1682",\
                 "0.09827, 0.09837, 0.09899, 0.1003, 0.1018, 0.1035, 0.1046, 0.1058, 0.1139, 0.1694",\
                 "0.09812, 0.09828, 0.09909, 0.1001, 0.1015, 0.1032, 0.1044, 0.1062, 0.114, 0.1759",\
                 "0.09801, 0.0982, 0.09899, 0.09998, 0.1014, 0.103, 0.1042, 0.1061, 0.1153, 0.1874",\
                 "0.09787, 0.09812, 0.09891, 0.09995, 0.1014, 0.1031, 0.1047, 0.1062, 0.1192, 0.2074",\
                 "0.09792, 0.09817, 0.09888, 0.09995, 0.1015, 0.1032, 0.1043, 0.1061, 0.1269, 0.2485",\
                 "0.09802, 0.09822, 0.09895, 0.09998, 0.1016, 0.103, 0.1043, 0.1081, 0.1448, 0.3254",\
                 "0.09812, 0.09832, 0.09895, 0.09993, 0.1016, 0.1031, 0.1044, 0.1125, 0.185, 0.4694",\
                 "0.09849, 0.09855, 0.09926, 0.1004, 0.1017, 0.1031, 0.1055, 0.1317, 0.2911, 0.707",\
                 "0.09894, 0.09913, 0.09965, 0.1006, 0.1017, 0.1041, 0.1129, 0.207, 0.5276, 0.9875");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.09578, 0.09563, 0.09613, 0.09714, 0.09818, 0.09904, 0.09966, 0.1001, 0.1004, 0.1006",\
                 "0.0958, 0.09569, 0.09615, 0.09715, 0.09821, 0.09907, 0.09969, 0.1001, 0.1004, 0.1006",\
                 "0.09558, 0.09541, 0.09592, 0.0969, 0.09794, 0.09881, 0.09944, 0.09986, 0.1002, 0.1004",\
                 "0.09475, 0.09469, 0.09511, 0.09609, 0.09715, 0.09802, 0.09866, 0.09909, 0.09939, 0.09961",\
                 "0.0941, 0.09398, 0.09443, 0.09545, 0.09652, 0.09741, 0.09804, 0.09847, 0.09877, 0.09898",\
                 "0.09364, 0.09354, 0.09401, 0.09503, 0.09616, 0.09701, 0.09765, 0.09807, 0.09837, 0.09857",\
                 "0.09332, 0.09322, 0.09374, 0.09481, 0.09594, 0.0968, 0.0974, 0.09782, 0.09811, 0.09832",\
                 "0.0932, 0.09318, 0.09371, 0.0948, 0.0959, 0.09675, 0.09737, 0.09777, 0.09805, 0.09824",\
                 "0.09336, 0.0933, 0.09377, 0.09487, 0.09598, 0.09687, 0.09745, 0.0979, 0.0982, 0.09839",\
                 "0.09359, 0.09357, 0.09413, 0.09513, 0.09624, 0.09713, 0.09773, 0.09815, 0.09845, 0.09866");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.09913, 0.09942, 0.1004, 0.1017, 0.1033, 0.1046, 0.1058, 0.1071, 0.1123, 0.1544",\
                 "0.09901, 0.09934, 0.1002, 0.1017, 0.1033, 0.1046, 0.1058, 0.1071, 0.1123, 0.1555",\
                 "0.09888, 0.09921, 0.1002, 0.1015, 0.1031, 0.1045, 0.1065, 0.107, 0.1126, 0.1591",\
                 "0.0987, 0.09901, 0.0999, 0.1013, 0.1029, 0.1045, 0.1063, 0.1068, 0.1145, 0.1677",\
                 "0.09837, 0.0987, 0.09969, 0.101, 0.1026, 0.1039, 0.1054, 0.1067, 0.1157, 0.1819",\
                 "0.09783, 0.09817, 0.09918, 0.1004, 0.102, 0.1036, 0.1054, 0.1062, 0.1202, 0.2086",\
                 "0.09742, 0.09777, 0.09861, 0.09993, 0.1014, 0.1028, 0.105, 0.1066, 0.1274, 0.2568",\
                 "0.09718, 0.09755, 0.09837, 0.09962, 0.101, 0.1028, 0.104, 0.1079, 0.1483, 0.3505",\
                 "0.09717, 0.09754, 0.09846, 0.09919, 0.101, 0.1027, 0.1038, 0.1144, 0.1993, 0.5146",\
                 "0.09745, 0.09791, 0.09868, 0.09959, 0.1009, 0.1023, 0.1061, 0.1395, 0.3299, 0.7702");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.08752, 0.08753, 0.08816, 0.08932, 0.09044, 0.09128, 0.09186, 0.09225, 0.09251, 0.0927",\
                 "0.08748, 0.08748, 0.08815, 0.08928, 0.09043, 0.09127, 0.09184, 0.09223, 0.09249, 0.09267",\
                 "0.08686, 0.08681, 0.08749, 0.08862, 0.08977, 0.09062, 0.0912, 0.09158, 0.09183, 0.09202",\
                 "0.08614, 0.08612, 0.08677, 0.08786, 0.089, 0.08987, 0.09046, 0.09085, 0.09112, 0.09132",\
                 "0.08568, 0.08565, 0.08616, 0.08719, 0.08829, 0.08917, 0.08982, 0.09025, 0.09057, 0.09078",\
                 "0.08573, 0.08565, 0.08596, 0.08674, 0.08774, 0.08865, 0.08935, 0.08985, 0.09021, 0.09046",\
                 "0.08656, 0.08627, 0.08609, 0.08673, 0.08756, 0.08841, 0.08914, 0.08967, 0.09007, 0.09037",\
                 "0.08771, 0.0871, 0.08668, 0.08695, 0.08771, 0.08848, 0.08915, 0.08973, 0.09014, 0.09047",\
                 "0.08928, 0.08849, 0.08764, 0.08773, 0.08813, 0.08879, 0.08948, 0.09003, 0.09045, 0.09079",\
                 "0.09125, 0.09009, 0.08883, 0.08853, 0.0888, 0.0894, 0.08998, 0.09054, 0.091, 0.09132");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.05911, 0.05956, 0.0608, 0.06254, 0.06428, 0.06596, 0.06705, 0.06804, 0.07103, 0.09547",\
                 "0.05916, 0.05959, 0.06077, 0.06261, 0.06428, 0.06589, 0.06715, 0.0684, 0.07121, 0.09835",\
                 "0.05911, 0.05951, 0.0607, 0.06239, 0.06423, 0.06585, 0.06719, 0.06822, 0.07153, 0.09781",\
                 "0.05877, 0.0591, 0.06016, 0.06175, 0.06331, 0.065, 0.06624, 0.06732, 0.07112, 0.1026",\
                 "0.0585, 0.05876, 0.05963, 0.06086, 0.06247, 0.06418, 0.06537, 0.06721, 0.07137, 0.1104",\
                 "0.05839, 0.05844, 0.05908, 0.0602, 0.06151, 0.06313, 0.06444, 0.06595, 0.07259, 0.1233",\
                 "0.0585, 0.05862, 0.05877, 0.05966, 0.06139, 0.06275, 0.06411, 0.06555, 0.07525, 0.1477",\
                 "0.05906, 0.05891, 0.05909, 0.0598, 0.06076, 0.06284, 0.06417, 0.06619, 0.08163, 0.1888",\
                 "0.05976, 0.05952, 0.05965, 0.06007, 0.06092, 0.0622, 0.06434, 0.06821, 0.09753, 0.2622",\
                 "0.06078, 0.06061, 0.06057, 0.06081, 0.06117, 0.06229, 0.06329, 0.07151, 0.1333, 0.3917");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.08752, 0.08752, 0.08816, 0.08932, 0.09043, 0.09128, 0.09187, 0.09225, 0.09251, 0.0927",\
                 "0.08748, 0.08748, 0.08815, 0.08928, 0.09043, 0.09127, 0.09184, 0.09223, 0.09249, 0.09267",\
                 "0.08685, 0.08681, 0.08749, 0.08862, 0.08977, 0.09062, 0.0912, 0.09158, 0.09184, 0.09202",\
                 "0.08615, 0.08611, 0.08676, 0.08785, 0.08901, 0.08986, 0.09046, 0.09085, 0.09111, 0.09132",\
                 "0.08568, 0.08564, 0.08617, 0.08719, 0.08827, 0.08917, 0.08982, 0.09025, 0.09056, 0.09078",\
                 "0.08575, 0.08564, 0.08593, 0.08677, 0.08777, 0.08866, 0.08934, 0.08985, 0.0902, 0.09046",\
                 "0.08653, 0.08627, 0.08609, 0.0867, 0.08756, 0.08841, 0.08914, 0.08968, 0.09007, 0.09037",\
                 "0.08778, 0.08711, 0.08668, 0.087, 0.0877, 0.08849, 0.08915, 0.0897, 0.09014, 0.09047",\
                 "0.08929, 0.0885, 0.08764, 0.08773, 0.08812, 0.08879, 0.08947, 0.09003, 0.09045, 0.09079",\
                 "0.09125, 0.09009, 0.08883, 0.08855, 0.08886, 0.08937, 0.08999, 0.09054, 0.09099, 0.09132");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.05911, 0.05956, 0.0608, 0.06254, 0.06428, 0.06598, 0.06705, 0.06804, 0.07103, 0.09529",\
                 "0.05916, 0.05956, 0.06079, 0.06261, 0.06428, 0.06589, 0.06715, 0.0684, 0.07121, 0.09835",\
                 "0.05908, 0.0595, 0.06068, 0.06234, 0.06425, 0.06596, 0.06705, 0.06786, 0.07135, 0.09799",\
                 "0.05881, 0.05914, 0.06026, 0.06162, 0.06333, 0.06508, 0.06631, 0.06732, 0.07112, 0.1026",\
                 "0.05849, 0.05871, 0.05962, 0.06081, 0.06241, 0.0641, 0.06566, 0.06721, 0.07137, 0.1104",\
                 "0.05836, 0.05851, 0.05908, 0.06031, 0.06164, 0.06335, 0.06465, 0.06631, 0.07259, 0.1242",\
                 "0.05852, 0.05864, 0.05877, 0.05966, 0.06139, 0.06274, 0.06361, 0.06555, 0.07525, 0.1477",\
                 "0.059, 0.05896, 0.05915, 0.05969, 0.06076, 0.06295, 0.06426, 0.06529, 0.08215, 0.1888",\
                 "0.05976, 0.05957, 0.05965, 0.06007, 0.06092, 0.06176, 0.06432, 0.06785, 0.09753, 0.2622",\
                 "0.06077, 0.06061, 0.06057, 0.06094, 0.06117, 0.06229, 0.06329, 0.07151, 0.1334, 0.3919");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.09579, 0.09566, 0.0961, 0.09711, 0.09816, 0.09903, 0.09964, 0.1001, 0.1004, 0.1006",\
                 "0.09584, 0.09567, 0.09614, 0.09713, 0.09819, 0.09906, 0.09968, 0.1001, 0.1004, 0.1006",\
                 "0.09553, 0.09541, 0.09592, 0.09687, 0.09791, 0.0988, 0.09942, 0.09984, 0.1002, 0.1004",\
                 "0.09477, 0.09467, 0.09512, 0.09607, 0.09713, 0.098, 0.09864, 0.09907, 0.09937, 0.09959",\
                 "0.09412, 0.09397, 0.09441, 0.09541, 0.09651, 0.09739, 0.09801, 0.09845, 0.09875, 0.09896",\
                 "0.09367, 0.09357, 0.09401, 0.095, 0.09611, 0.09699, 0.09762, 0.09804, 0.09834, 0.09855",\
                 "0.09333, 0.09325, 0.09372, 0.09476, 0.0959, 0.09676, 0.09738, 0.0978, 0.0981, 0.09832",\
                 "0.0932, 0.09311, 0.0937, 0.09472, 0.09585, 0.09671, 0.09732, 0.09774, 0.09802, 0.09823",\
                 "0.09334, 0.0933, 0.09378, 0.09487, 0.09597, 0.09682, 0.09744, 0.09788, 0.09818, 0.09838",\
                 "0.09363, 0.09353, 0.09409, 0.09515, 0.09627, 0.09712, 0.09772, 0.09814, 0.09842, 0.09863");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.09907, 0.09941, 0.1004, 0.1015, 0.1033, 0.1047, 0.1059, 0.1071, 0.1125, 0.1544",\
                 "0.09903, 0.09934, 0.1004, 0.1015, 0.1033, 0.1046, 0.1061, 0.107, 0.1132, 0.1562",\
                 "0.09887, 0.0992, 0.1002, 0.1015, 0.103, 0.1047, 0.1057, 0.107, 0.1139, 0.1589",\
                 "0.09867, 0.099, 0.09998, 0.1013, 0.1029, 0.1042, 0.1053, 0.1064, 0.1148, 0.1661",\
                 "0.09841, 0.09869, 0.09965, 0.101, 0.1026, 0.104, 0.105, 0.1065, 0.1153, 0.1805",\
                 "0.09781, 0.09816, 0.09911, 0.1004, 0.102, 0.1035, 0.1054, 0.1062, 0.1184, 0.2084",\
                 "0.0974, 0.09772, 0.09859, 0.09986, 0.1016, 0.1029, 0.1042, 0.1066, 0.1274, 0.2568",\
                 "0.09718, 0.09752, 0.09838, 0.09961, 0.101, 0.1025, 0.1041, 0.1081, 0.148, 0.3505",\
                 "0.09725, 0.09758, 0.0983, 0.09917, 0.1011, 0.1029, 0.1043, 0.1146, 0.1993, 0.5126",\
                 "0.09748, 0.09776, 0.09848, 0.09964, 0.1008, 0.1026, 0.1063, 0.1392, 0.3288, 0.77");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("4.931, 5.014, 5.216, 5.477, 5.783, 6.138, 6.555, 7.046, 7.625, 8.306",\
                 "4.964, 5.047, 5.249, 5.51, 5.816, 6.171, 6.588, 7.079, 7.658, 8.339",\
                 "5.063, 5.146, 5.348, 5.609, 5.915, 6.27, 6.687, 7.178, 7.758, 8.438",\
                 "5.2, 5.284, 5.486, 5.746, 6.052, 6.407, 6.824, 7.315, 7.895, 8.575",\
                 "5.319, 5.402, 5.604, 5.866, 6.171, 6.526, 6.943, 7.434, 8.014, 8.694",\
                 "5.407, 5.49, 5.693, 5.953, 6.26, 6.615, 7.031, 7.522, 8.102, 8.783",\
                 "5.458, 5.541, 5.743, 6.004, 6.31, 6.666, 7.082, 7.573, 8.152, 8.833",\
                 "5.46, 5.543, 5.745, 6.006, 6.312, 6.667, 7.084, 7.575, 8.154, 8.835",\
                 "5.41, 5.494, 5.695, 5.957, 6.263, 6.618, 7.034, 7.525, 8.105, 8.786",\
                 "5.307, 5.39, 5.592, 5.853, 6.159, 6.515, 6.931, 7.422, 8.001, 8.682");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("4.995, 5.064, 5.257, 5.588, 6.091, 6.794, 7.716, 8.876, 10.29, 11.98",\
                 "5.014, 5.084, 5.278, 5.608, 6.112, 6.815, 7.736, 8.897, 10.31, 12",\
                 "5.105, 5.174, 5.368, 5.699, 6.202, 6.905, 7.826, 8.986, 10.4, 12.09",\
                 "5.281, 5.351, 5.544, 5.875, 6.378, 7.081, 8.003, 9.163, 10.58, 12.26",\
                 "5.55, 5.62, 5.813, 6.144, 6.647, 7.349, 8.271, 9.432, 10.85, 12.53",\
                 "5.921, 5.99, 6.184, 6.515, 7.018, 7.72, 8.642, 9.802, 11.22, 12.9",\
                 "6.378, 6.447, 6.641, 6.971, 7.474, 8.177, 9.098, 10.26, 11.67, 13.36",\
                 "6.896, 6.965, 7.159, 7.49, 7.993, 8.696, 9.617, 10.78, 12.19, 13.88",\
                 "7.482, 7.551, 7.745, 8.075, 8.579, 9.282, 10.2, 11.36, 12.78, 14.47",\
                 "8.141, 8.21, 8.403, 8.734, 9.238, 9.94, 10.86, 12.02, 13.44, 15.12");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.4044, 0.4636, 0.6144, 0.845, 1.165, 1.589, 2.152, 2.882, 3.802, 4.927",\
                 "0.4046, 0.4636, 0.6142, 0.8448, 1.163, 1.589, 2.153, 2.884, 3.803, 4.925",\
                 "0.405, 0.4636, 0.615, 0.8456, 1.165, 1.589, 2.153, 2.883, 3.8, 4.928",\
                 "0.405, 0.4628, 0.6152, 0.845, 1.164, 1.588, 2.152, 2.883, 3.803, 4.927",\
                 "0.4046, 0.4634, 0.6144, 0.8454, 1.163, 1.589, 2.152, 2.884, 3.803, 4.925",\
                 "0.4048, 0.4634, 0.6146, 0.8454, 1.164, 1.59, 2.152, 2.882, 3.803, 4.922",\
                 "0.4044, 0.4632, 0.6152, 0.8456, 1.163, 1.589, 2.151, 2.883, 3.8, 4.928",\
                 "0.4046, 0.4628, 0.6146, 0.8448, 1.164, 1.588, 2.154, 2.884, 3.802, 4.924",\
                 "0.406, 0.464, 0.614, 0.844, 1.164, 1.59, 2.152, 2.882, 3.802, 4.92",\
                 "0.404, 0.462, 0.614, 0.844, 1.164, 1.59, 2.154, 2.886, 3.8, 4.92");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.2558, 0.3232, 0.5714, 1.095, 1.94, 3.134, 4.705, 6.69, 9.114, 12",\
                 "0.2558, 0.3234, 0.5718, 1.095, 1.941, 3.135, 4.705, 6.687, 9.111, 12",\
                 "0.2554, 0.3232, 0.5722, 1.094, 1.941, 3.136, 4.703, 6.692, 9.103, 11.99",\
                 "0.2554, 0.3234, 0.5712, 1.095, 1.94, 3.131, 4.705, 6.691, 9.1, 12",\
                 "0.2554, 0.3232, 0.5714, 1.094, 1.94, 3.132, 4.703, 6.691, 9.107, 11.99",\
                 "0.2554, 0.323, 0.5716, 1.095, 1.94, 3.134, 4.708, 6.688, 9.112, 12",\
                 "0.2556, 0.3234, 0.5714, 1.094, 1.941, 3.13, 4.702, 6.688, 9.112, 11.99",\
                 "0.256, 0.324, 0.572, 1.094, 1.94, 3.134, 4.706, 6.686, 9.11, 12",\
                 "0.256, 0.324, 0.574, 1.094, 1.942, 3.132, 4.706, 6.688, 9.114, 12",\
                 "0.254, 0.322, 0.572, 1.094, 1.938, 3.132, 4.702, 6.69, 9.108, 11.99");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("2.539, 2.624, 2.83, 3.094, 3.404, 3.762, 4.181, 4.674, 5.255, 5.937",\
                 "2.563, 2.648, 2.854, 3.118, 3.428, 3.787, 4.206, 4.698, 5.279, 5.961",\
                 "2.648, 2.734, 2.939, 3.204, 3.514, 3.872, 4.291, 4.784, 5.365, 6.047",\
                 "2.81, 2.896, 3.101, 3.366, 3.675, 4.034, 4.453, 4.946, 5.527, 6.209",\
                 "3.048, 3.133, 3.338, 3.603, 3.913, 4.271, 4.69, 5.183, 5.764, 6.446",\
                 "3.298, 3.384, 3.59, 3.854, 4.163, 4.522, 4.941, 5.434, 6.015, 6.696",\
                 "3.521, 3.606, 3.812, 4.077, 4.387, 4.746, 5.165, 5.657, 6.239, 6.92",\
                 "3.705, 3.791, 3.997, 4.262, 4.572, 4.931, 5.349, 5.842, 6.423, 7.105",\
                 "3.847, 3.933, 4.139, 4.404, 4.713, 5.073, 5.492, 5.984, 6.566, 7.247",\
                 "3.939, 4.025, 4.232, 4.497, 4.806, 5.166, 5.585, 6.078, 6.659, 7.341");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("3.489, 3.574, 3.803, 4.155, 4.665, 5.369, 6.292, 7.452, 8.867, 10.55",\
                 "3.521, 3.607, 3.835, 4.188, 4.698, 5.402, 6.325, 7.485, 8.9, 10.59",\
                 "3.618, 3.703, 3.931, 4.284, 4.794, 5.498, 6.421, 7.581, 8.995, 10.68",\
                 "3.814, 3.9, 4.127, 4.48, 4.99, 5.694, 6.617, 7.777, 9.192, 10.88",\
                 "4.138, 4.223, 4.452, 4.804, 5.314, 6.018, 6.941, 8.101, 9.516, 11.2",\
                 "4.609, 4.695, 4.922, 5.275, 5.785, 6.49, 7.412, 8.572, 9.987, 11.67",\
                 "5.237, 5.323, 5.551, 5.903, 6.413, 7.118, 8.04, 9.2, 10.61, 12.3",\
                 "6.007, 6.093, 6.322, 6.675, 7.184, 7.889, 8.812, 9.971, 11.39, 13.07",\
                 "6.862, 6.95, 7.18, 7.534, 8.044, 8.748, 9.671, 10.83, 12.25, 13.93",\
                 "7.769, 7.858, 8.091, 8.446, 8.957, 9.661, 10.58, 11.74, 13.16, 14.84");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.4186, 0.4772, 0.6288, 0.8594, 1.177, 1.605, 2.164, 2.895, 3.813, 4.931",\
                 "0.4184, 0.4772, 0.6284, 0.859, 1.177, 1.604, 2.163, 2.892, 3.81, 4.929",\
                 "0.4184, 0.4772, 0.6286, 0.8592, 1.177, 1.604, 2.164, 2.894, 3.812, 4.93",\
                 "0.4188, 0.4774, 0.628, 0.8588, 1.178, 1.604, 2.165, 2.894, 3.811, 4.934",\
                 "0.4186, 0.4772, 0.6284, 0.8588, 1.175, 1.602, 2.164, 2.895, 3.812, 4.932",\
                 "0.4182, 0.4764, 0.6282, 0.8584, 1.177, 1.603, 2.165, 2.894, 3.81, 4.934",\
                 "0.4202, 0.479, 0.6298, 0.8588, 1.179, 1.603, 2.164, 2.895, 3.81, 4.931",\
                 "0.4202, 0.4796, 0.6302, 0.861, 1.179, 1.602, 2.164, 2.891, 3.814, 4.935",\
                 "0.4218, 0.4798, 0.6312, 0.8598, 1.181, 1.604, 2.166, 2.892, 3.808, 4.926",\
                 "0.422, 0.48, 0.63, 0.86, 1.18, 1.606, 2.166, 2.892, 3.814, 4.926");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.3264, 0.404, 0.655, 1.151, 1.972, 3.159, 4.729, 6.705, 9.127, 12.02",\
                 "0.326, 0.4042, 0.6554, 1.152, 1.973, 3.157, 4.729, 6.707, 9.121, 12",\
                 "0.3258, 0.4044, 0.6582, 1.151, 1.972, 3.16, 4.727, 6.711, 9.131, 12.01",\
                 "0.3262, 0.4038, 0.6562, 1.15, 1.971, 3.157, 4.73, 6.704, 9.119, 12.02",\
                 "0.326, 0.4046, 0.6556, 1.149, 1.971, 3.155, 4.728, 6.704, 9.13, 12.02",\
                 "0.327, 0.4048, 0.6582, 1.15, 1.972, 3.16, 4.725, 6.709, 9.127, 12.02",\
                 "0.3268, 0.404, 0.6564, 1.151, 1.972, 3.159, 4.731, 6.702, 9.13, 12.02",\
                 "0.3286, 0.406, 0.66, 1.15, 1.972, 3.158, 4.726, 6.704, 9.128, 12.02",\
                 "0.334, 0.412, 0.664, 1.154, 1.972, 3.16, 4.73, 6.708, 9.12, 12.01",\
                 "0.342, 0.42, 0.67, 1.158, 1.972, 3.16, 4.726, 6.702, 9.124, 12");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("4.931, 5.014, 5.216, 5.477, 5.783, 6.138, 6.555, 7.046, 7.625, 8.306",\
                 "4.964, 5.047, 5.249, 5.51, 5.816, 6.171, 6.588, 7.079, 7.658, 8.339",\
                 "5.063, 5.146, 5.348, 5.609, 5.915, 6.27, 6.687, 7.178, 7.758, 8.438",\
                 "5.2, 5.284, 5.486, 5.746, 6.052, 6.407, 6.824, 7.315, 7.895, 8.575",\
                 "5.319, 5.402, 5.604, 5.866, 6.171, 6.526, 6.943, 7.434, 8.014, 8.694",\
                 "5.407, 5.49, 5.693, 5.953, 6.26, 6.615, 7.031, 7.522, 8.102, 8.783",\
                 "5.458, 5.541, 5.743, 6.004, 6.31, 6.666, 7.082, 7.573, 8.152, 8.833",\
                 "5.46, 5.543, 5.745, 6.006, 6.312, 6.667, 7.084, 7.575, 8.154, 8.835",\
                 "5.41, 5.494, 5.695, 5.957, 6.263, 6.618, 7.034, 7.525, 8.105, 8.786",\
                 "5.307, 5.39, 5.592, 5.853, 6.159, 6.515, 6.931, 7.422, 8.001, 8.682");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("4.995, 5.064, 5.257, 5.588, 6.091, 6.794, 7.716, 8.876, 10.29, 11.98",\
                 "5.014, 5.084, 5.278, 5.608, 6.112, 6.815, 7.736, 8.897, 10.31, 12",\
                 "5.105, 5.174, 5.368, 5.699, 6.202, 6.905, 7.826, 8.986, 10.4, 12.09",\
                 "5.281, 5.351, 5.544, 5.875, 6.378, 7.081, 8.003, 9.163, 10.58, 12.26",\
                 "5.55, 5.62, 5.813, 6.144, 6.647, 7.349, 8.271, 9.432, 10.85, 12.53",\
                 "5.921, 5.99, 6.184, 6.515, 7.018, 7.72, 8.642, 9.802, 11.22, 12.9",\
                 "6.378, 6.447, 6.641, 6.971, 7.474, 8.177, 9.098, 10.26, 11.67, 13.36",\
                 "6.896, 6.965, 7.159, 7.49, 7.993, 8.696, 9.617, 10.78, 12.19, 13.88",\
                 "7.482, 7.551, 7.745, 8.075, 8.579, 9.282, 10.2, 11.36, 12.78, 14.47",\
                 "8.141, 8.21, 8.403, 8.734, 9.238, 9.94, 10.86, 12.02, 13.44, 15.12");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.4186, 0.4772, 0.6288, 0.8594, 1.177, 1.605, 2.164, 2.895, 3.813, 4.931",\
                 "0.4184, 0.4772, 0.6284, 0.859, 1.177, 1.604, 2.163, 2.892, 3.81, 4.929",\
                 "0.4184, 0.4772, 0.6286, 0.8592, 1.177, 1.604, 2.164, 2.894, 3.812, 4.93",\
                 "0.4188, 0.4774, 0.628, 0.8588, 1.178, 1.604, 2.165, 2.894, 3.811, 4.934",\
                 "0.4186, 0.4772, 0.6284, 0.8588, 1.175, 1.602, 2.164, 2.895, 3.812, 4.932",\
                 "0.4182, 0.4764, 0.6282, 0.8584, 1.177, 1.603, 2.165, 2.894, 3.81, 4.934",\
                 "0.4202, 0.479, 0.6298, 0.8588, 1.179, 1.603, 2.164, 2.895, 3.81, 4.931",\
                 "0.4202, 0.4796, 0.6302, 0.861, 1.179, 1.602, 2.164, 2.891, 3.814, 4.935",\
                 "0.4218, 0.4798, 0.6312, 0.8598, 1.181, 1.604, 2.166, 2.892, 3.808, 4.926",\
                 "0.422, 0.48, 0.63, 0.86, 1.18, 1.606, 2.166, 2.892, 3.814, 4.926");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.3264, 0.404, 0.655, 1.151, 1.972, 3.159, 4.729, 6.705, 9.127, 12.02",\
                 "0.326, 0.4042, 0.6554, 1.152, 1.973, 3.157, 4.729, 6.707, 9.121, 12",\
                 "0.3258, 0.4044, 0.6582, 1.151, 1.972, 3.16, 4.727, 6.711, 9.131, 12.01",\
                 "0.3262, 0.4038, 0.6562, 1.15, 1.971, 3.157, 4.73, 6.704, 9.119, 12.02",\
                 "0.326, 0.4046, 0.6556, 1.149, 1.971, 3.155, 4.728, 6.704, 9.13, 12.02",\
                 "0.327, 0.4048, 0.6582, 1.15, 1.972, 3.16, 4.725, 6.709, 9.127, 12.02",\
                 "0.3268, 0.404, 0.6564, 1.151, 1.972, 3.159, 4.731, 6.702, 9.13, 12.02",\
                 "0.3286, 0.406, 0.66, 1.15, 1.972, 3.158, 4.726, 6.704, 9.128, 12.02",\
                 "0.334, 0.412, 0.664, 1.154, 1.972, 3.16, 4.73, 6.708, 9.12, 12.01",\
                 "0.342, 0.42, 0.67, 1.158, 1.972, 3.16, 4.726, 6.702, 9.124, 12");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("4.027, 4.112, 4.317, 4.581, 4.89, 5.248, 5.666, 6.159, 6.74, 7.422",\
                 "4.047, 4.132, 4.337, 4.601, 4.91, 5.268, 5.687, 6.179, 6.76, 7.442",\
                 "4.137, 4.223, 4.428, 4.692, 5.002, 5.36, 5.778, 6.27, 6.851, 7.533",\
                 "4.313, 4.399, 4.604, 4.868, 5.178, 5.535, 5.954, 6.447, 7.028, 7.709",\
                 "4.582, 4.668, 4.872, 5.137, 5.447, 5.804, 6.223, 6.715, 7.296, 7.978",\
                 "4.953, 5.038, 5.243, 5.508, 5.817, 6.175, 6.594, 7.086, 7.667, 8.349",\
                 "5.41, 5.495, 5.701, 5.964, 6.274, 6.632, 7.051, 7.543, 8.124, 8.805",\
                 "5.928, 6.014, 6.218, 6.483, 6.792, 7.15, 7.569, 8.061, 8.642, 9.324",\
                 "6.513, 6.598, 6.802, 7.068, 7.376, 7.734, 8.153, 8.646, 9.227, 9.909",\
                 "7.17, 7.255, 7.46, 7.725, 8.034, 8.392, 8.81, 9.303, 9.884, 10.57");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("4.07, 4.156, 4.384, 4.737, 5.247, 5.951, 6.873, 8.033, 9.448, 11.13",\
                 "4.103, 4.189, 4.417, 4.77, 5.28, 5.984, 6.907, 8.067, 9.481, 11.17",\
                 "4.203, 4.289, 4.517, 4.87, 5.38, 6.084, 7.006, 8.167, 9.582, 11.27",\
                 "4.342, 4.428, 4.657, 5.009, 5.519, 6.223, 7.146, 8.306, 9.721, 11.41",\
                 "4.462, 4.548, 4.776, 5.129, 5.639, 6.343, 7.265, 8.425, 9.841, 11.53",\
                 "4.55, 4.636, 4.864, 5.217, 5.727, 6.431, 7.354, 8.514, 9.928, 11.61",\
                 "4.598, 4.685, 4.913, 5.266, 5.775, 6.48, 7.402, 8.562, 9.977, 11.66",\
                 "4.599, 4.685, 4.914, 5.266, 5.776, 6.48, 7.402, 8.562, 9.977, 11.66",\
                 "4.55, 4.636, 4.864, 5.217, 5.727, 6.431, 7.353, 8.513, 9.928, 11.61",\
                 "4.446, 4.532, 4.76, 5.113, 5.623, 6.327, 7.25, 8.409, 9.823, 11.51");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.4172, 0.4756, 0.6266, 0.8566, 1.176, 1.601, 2.162, 2.893, 3.812, 4.926",\
                 "0.4168, 0.4758, 0.6262, 0.858, 1.176, 1.599, 2.162, 2.893, 3.809, 4.933",\
                 "0.4168, 0.4754, 0.6264, 0.8578, 1.175, 1.6, 2.162, 2.893, 3.811, 4.928",\
                 "0.417, 0.4758, 0.627, 0.8572, 1.175, 1.599, 2.162, 2.893, 3.812, 4.932",\
                 "0.417, 0.4754, 0.6268, 0.8576, 1.176, 1.601, 2.163, 2.893, 3.81, 4.932",\
                 "0.4168, 0.4754, 0.627, 0.8572, 1.175, 1.6, 2.163, 2.892, 3.811, 4.928",\
                 "0.417, 0.4758, 0.6266, 0.8572, 1.176, 1.602, 2.163, 2.892, 3.809, 4.93",\
                 "0.4178, 0.4746, 0.626, 0.858, 1.176, 1.6, 2.162, 2.894, 3.812, 4.928",\
                 "0.416, 0.474, 0.628, 0.856, 1.174, 1.6, 2.164, 2.89, 3.806, 4.932",\
                 "0.416, 0.476, 0.626, 0.856, 1.174, 1.6, 2.16, 2.892, 3.806, 4.93");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.327, 0.4048, 0.6556, 1.152, 1.972, 3.157, 4.731, 6.71, 9.126, 12.02",\
                 "0.3282, 0.4054, 0.6572, 1.152, 1.972, 3.159, 4.727, 6.711, 9.128, 12.02",\
                 "0.328, 0.4056, 0.656, 1.152, 1.971, 3.157, 4.731, 6.703, 9.124, 12.02",\
                 "0.3274, 0.405, 0.6564, 1.152, 1.971, 3.157, 4.731, 6.701, 9.124, 12.02",\
                 "0.327, 0.4048, 0.6566, 1.151, 1.973, 3.16, 4.731, 6.71, 9.124, 12.02",\
                 "0.3274, 0.4048, 0.6562, 1.152, 1.97, 3.156, 4.726, 6.712, 9.131, 12.01",\
                 "0.3276, 0.4056, 0.6568, 1.152, 1.973, 3.16, 4.728, 6.711, 9.132, 12.01",\
                 "0.3264, 0.405, 0.656, 1.152, 1.969, 3.155, 4.732, 6.71, 9.13, 12.01",\
                 "0.3264, 0.404, 0.656, 1.152, 1.97, 3.154, 4.722, 6.704, 9.132, 12.02",\
                 "0.328, 0.404, 0.656, 1.152, 1.974, 3.154, 4.73, 6.702, 9.118, 12.01");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("4.353, 4.436, 4.638, 4.899, 5.205, 5.56, 5.976, 6.468, 7.047, 7.728",\
                 "4.385, 4.468, 4.669, 4.931, 5.237, 5.592, 6.009, 6.5, 7.079, 7.76",\
                 "4.48, 4.563, 4.765, 5.026, 5.332, 5.688, 6.104, 6.595, 7.175, 7.856",\
                 "4.675, 4.758, 4.961, 5.222, 5.528, 5.884, 6.3, 6.791, 7.371, 8.051",\
                 "5, 5.083, 5.285, 5.547, 5.853, 6.208, 6.624, 7.115, 7.695, 8.376",\
                 "5.472, 5.556, 5.757, 6.019, 6.324, 6.68, 7.096, 7.587, 8.167, 8.848",\
                 "6.094, 6.178, 6.38, 6.64, 6.947, 7.302, 7.718, 8.209, 8.789, 9.47",\
                 "6.829, 6.912, 7.114, 7.375, 7.681, 8.036, 8.453, 8.944, 9.523, 10.21",\
                 "7.62, 7.704, 7.906, 8.167, 8.473, 8.828, 9.244, 9.735, 10.32, 11",\
                 "8.456, 8.54, 8.743, 9.004, 9.31, 9.665, 10.08, 10.57, 11.15, 11.83");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("3.508, 3.577, 3.771, 4.101, 4.605, 5.308, 6.229, 7.389, 8.804, 10.49",\
                 "3.532, 3.601, 3.795, 4.126, 4.629, 5.332, 6.253, 7.413, 8.829, 10.51",\
                 "3.618, 3.687, 3.881, 4.211, 4.714, 5.417, 6.339, 7.499, 8.914, 10.6",\
                 "3.78, 3.849, 4.043, 4.374, 4.877, 5.58, 6.501, 7.662, 9.077, 10.76",\
                 "4.018, 4.088, 4.282, 4.612, 5.115, 5.818, 6.74, 7.9, 9.315, 11",\
                 "4.274, 4.343, 4.537, 4.867, 5.37, 6.073, 6.995, 8.155, 9.57, 11.26",\
                 "4.503, 4.572, 4.766, 5.097, 5.599, 6.302, 7.223, 8.383, 9.798, 11.49",\
                 "4.692, 4.761, 4.956, 5.286, 5.79, 6.492, 7.414, 8.573, 9.988, 11.67",\
                 "4.84, 4.909, 5.103, 5.434, 5.937, 6.639, 7.562, 8.721, 10.14, 11.82",\
                 "4.941, 5.01, 5.205, 5.535, 6.038, 6.74, 7.662, 8.822, 10.24, 11.92");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.4044, 0.4636, 0.6144, 0.8452, 1.164, 1.588, 2.152, 2.882, 3.801, 4.928",\
                 "0.4046, 0.4642, 0.6142, 0.8454, 1.163, 1.589, 2.153, 2.881, 3.803, 4.926",\
                 "0.405, 0.4632, 0.6148, 0.8456, 1.165, 1.589, 2.152, 2.882, 3.802, 4.928",\
                 "0.4046, 0.4638, 0.6146, 0.8452, 1.163, 1.589, 2.151, 2.882, 3.8, 4.926",\
                 "0.4046, 0.4636, 0.6148, 0.8456, 1.163, 1.589, 2.152, 2.884, 3.803, 4.926",\
                 "0.405, 0.4636, 0.6146, 0.8452, 1.164, 1.588, 2.152, 2.882, 3.801, 4.925",\
                 "0.405, 0.4632, 0.6146, 0.8458, 1.163, 1.589, 2.153, 2.884, 3.802, 4.928",\
                 "0.406, 0.464, 0.616, 0.846, 1.162, 1.588, 2.154, 2.884, 3.804, 4.922",\
                 "0.404, 0.464, 0.614, 0.844, 1.162, 1.59, 2.152, 2.884, 3.802, 4.924",\
                 "0.404, 0.462, 0.614, 0.846, 1.162, 1.59, 2.152, 2.882, 3.798, 4.926");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.255, 0.3228, 0.5708, 1.095, 1.941, 3.134, 4.706, 6.687, 9.112, 12",\
                 "0.2558, 0.3232, 0.5714, 1.095, 1.94, 3.134, 4.705, 6.689, 9.111, 12",\
                 "0.2558, 0.3228, 0.5718, 1.095, 1.939, 3.134, 4.704, 6.689, 9.107, 12",\
                 "0.255, 0.323, 0.5714, 1.095, 1.941, 3.135, 4.705, 6.687, 9.111, 12",\
                 "0.255, 0.3228, 0.572, 1.094, 1.94, 3.134, 4.704, 6.687, 9.11, 12",\
                 "0.255, 0.323, 0.5724, 1.095, 1.94, 3.134, 4.703, 6.688, 9.11, 12",\
                 "0.2556, 0.3232, 0.572, 1.095, 1.939, 3.134, 4.708, 6.687, 9.114, 12",\
                 "0.2548, 0.3228, 0.5712, 1.095, 1.938, 3.134, 4.704, 6.692, 9.108, 11.99",\
                 "0.256, 0.324, 0.57, 1.094, 1.94, 3.128, 4.702, 6.682, 9.114, 12",\
                 "0.254, 0.324, 0.572, 1.094, 1.938, 3.134, 4.706, 6.682, 9.094, 11.98");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("4.353, 4.436, 4.638, 4.899, 5.205, 5.56, 5.976, 6.468, 7.047, 7.728",\
                 "4.385, 4.468, 4.669, 4.931, 5.237, 5.592, 6.009, 6.5, 7.079, 7.76",\
                 "4.48, 4.563, 4.765, 5.026, 5.332, 5.688, 6.104, 6.595, 7.175, 7.856",\
                 "4.675, 4.758, 4.961, 5.222, 5.528, 5.884, 6.3, 6.791, 7.371, 8.051",\
                 "5, 5.083, 5.285, 5.547, 5.853, 6.208, 6.624, 7.115, 7.695, 8.376",\
                 "5.472, 5.556, 5.757, 6.019, 6.324, 6.68, 7.096, 7.587, 8.167, 8.848",\
                 "6.094, 6.178, 6.38, 6.64, 6.947, 7.302, 7.718, 8.209, 8.789, 9.47",\
                 "6.829, 6.912, 7.114, 7.375, 7.681, 8.036, 8.453, 8.944, 9.523, 10.21",\
                 "7.62, 7.704, 7.906, 8.167, 8.473, 8.828, 9.244, 9.735, 10.32, 11",\
                 "8.456, 8.54, 8.743, 9.004, 9.31, 9.665, 10.08, 10.57, 11.15, 11.83");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("3.508, 3.577, 3.771, 4.101, 4.605, 5.308, 6.229, 7.389, 8.804, 10.49",\
                 "3.532, 3.601, 3.795, 4.126, 4.629, 5.332, 6.253, 7.413, 8.829, 10.51",\
                 "3.618, 3.687, 3.881, 4.211, 4.714, 5.417, 6.339, 7.499, 8.914, 10.6",\
                 "3.78, 3.849, 4.043, 4.374, 4.877, 5.58, 6.501, 7.662, 9.077, 10.76",\
                 "4.018, 4.088, 4.282, 4.612, 5.115, 5.818, 6.74, 7.9, 9.315, 11",\
                 "4.274, 4.343, 4.537, 4.867, 5.37, 6.073, 6.995, 8.155, 9.57, 11.26",\
                 "4.503, 4.572, 4.766, 5.097, 5.599, 6.302, 7.223, 8.383, 9.798, 11.49",\
                 "4.692, 4.761, 4.956, 5.286, 5.79, 6.492, 7.414, 8.573, 9.988, 11.67",\
                 "4.84, 4.909, 5.103, 5.434, 5.937, 6.639, 7.562, 8.721, 10.14, 11.82",\
                 "4.941, 5.01, 5.205, 5.535, 6.038, 6.74, 7.662, 8.822, 10.24, 11.92");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.4172, 0.4756, 0.6266, 0.8566, 1.176, 1.601, 2.162, 2.893, 3.812, 4.926",\
                 "0.4168, 0.4758, 0.6262, 0.858, 1.176, 1.599, 2.162, 2.893, 3.809, 4.933",\
                 "0.4168, 0.4754, 0.6264, 0.8578, 1.175, 1.6, 2.162, 2.893, 3.811, 4.928",\
                 "0.417, 0.4758, 0.627, 0.8572, 1.175, 1.599, 2.162, 2.893, 3.812, 4.932",\
                 "0.417, 0.4754, 0.6268, 0.8576, 1.176, 1.601, 2.163, 2.893, 3.81, 4.932",\
                 "0.4168, 0.4754, 0.627, 0.8572, 1.175, 1.6, 2.163, 2.892, 3.811, 4.928",\
                 "0.417, 0.4758, 0.6266, 0.8572, 1.176, 1.602, 2.163, 2.892, 3.809, 4.93",\
                 "0.4178, 0.4746, 0.626, 0.858, 1.176, 1.6, 2.162, 2.894, 3.812, 4.928",\
                 "0.416, 0.474, 0.628, 0.856, 1.174, 1.6, 2.164, 2.89, 3.806, 4.932",\
                 "0.416, 0.476, 0.626, 0.856, 1.174, 1.6, 2.16, 2.892, 3.806, 4.93");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.327, 0.4048, 0.6556, 1.152, 1.972, 3.157, 4.731, 6.71, 9.126, 12.02",\
                 "0.3282, 0.4054, 0.6572, 1.152, 1.972, 3.159, 4.727, 6.711, 9.128, 12.02",\
                 "0.328, 0.4056, 0.656, 1.152, 1.971, 3.157, 4.731, 6.703, 9.124, 12.02",\
                 "0.3274, 0.405, 0.6564, 1.152, 1.971, 3.157, 4.731, 6.701, 9.124, 12.02",\
                 "0.327, 0.4048, 0.6566, 1.151, 1.973, 3.16, 4.731, 6.71, 9.124, 12.02",\
                 "0.3274, 0.4048, 0.6562, 1.152, 1.97, 3.156, 4.726, 6.712, 9.131, 12.01",\
                 "0.3276, 0.4056, 0.6568, 1.152, 1.973, 3.16, 4.728, 6.711, 9.132, 12.01",\
                 "0.3264, 0.405, 0.656, 1.152, 1.969, 3.155, 4.732, 6.71, 9.13, 12.01",\
                 "0.3264, 0.404, 0.656, 1.152, 1.97, 3.154, 4.722, 6.704, 9.132, 12.02",\
                 "0.328, 0.404, 0.656, 1.152, 1.974, 3.154, 4.73, 6.702, 9.118, 12.01");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("4.794, 4.878, 5.08, 5.341, 5.647, 6.002, 6.418, 6.91, 7.49, 8.17",\
                 "4.824, 4.908, 5.11, 5.371, 5.677, 6.032, 6.449, 6.94, 7.519, 8.2",\
                 "4.919, 5.003, 5.205, 5.466, 5.772, 6.127, 6.543, 7.035, 7.614, 8.295",\
                 "5.053, 5.136, 5.338, 5.599, 5.904, 6.259, 6.676, 7.168, 7.747, 8.427",\
                 "5.166, 5.249, 5.451, 5.712, 6.018, 6.373, 6.79, 7.281, 7.861, 8.541",\
                 "5.245, 5.328, 5.53, 5.791, 6.097, 6.453, 6.868, 7.36, 7.94, 8.621",\
                 "5.284, 5.367, 5.569, 5.83, 6.136, 6.492, 6.908, 7.398, 7.978, 8.659",\
                 "5.278, 5.362, 5.562, 5.824, 6.131, 6.485, 6.902, 7.393, 7.972, 8.653",\
                 "5.217, 5.301, 5.502, 5.763, 6.069, 6.424, 6.841, 7.332, 7.912, 8.592",\
                 "5.099, 5.183, 5.385, 5.646, 5.952, 6.307, 6.723, 7.214, 7.794, 8.475");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("4.901, 4.97, 5.164, 5.495, 5.998, 6.701, 7.622, 8.783, 10.2, 11.88",\
                 "4.912, 4.981, 5.175, 5.506, 6.008, 6.712, 7.634, 8.793, 10.21, 11.89",\
                 "4.989, 5.059, 5.253, 5.583, 6.086, 6.789, 7.711, 8.871, 10.29, 11.97",\
                 "5.188, 5.257, 5.45, 5.781, 6.285, 6.987, 7.909, 9.069, 10.48, 12.17",\
                 "5.521, 5.59, 5.784, 6.114, 6.617, 7.32, 8.242, 9.402, 10.82, 12.5",\
                 "5.996, 6.065, 6.259, 6.589, 7.093, 7.795, 8.717, 9.877, 11.29, 12.98",\
                 "6.583, 6.652, 6.846, 7.177, 7.68, 8.383, 9.305, 10.47, 11.88, 13.57",\
                 "7.23, 7.3, 7.494, 7.824, 8.328, 9.031, 9.952, 11.11, 12.53, 14.21",\
                 "7.931, 8, 8.195, 8.524, 9.028, 9.731, 10.65, 11.81, 13.23, 14.91",\
                 "8.691, 8.76, 8.954, 9.284, 9.788, 10.49, 11.41, 12.57, 13.99, 15.67");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.4048, 0.4638, 0.615, 0.8452, 1.163, 1.589, 2.154, 2.882, 3.8, 4.927",\
                 "0.4048, 0.465, 0.6146, 0.8456, 1.164, 1.589, 2.153, 2.884, 3.801, 4.926",\
                 "0.4048, 0.463, 0.6146, 0.8452, 1.164, 1.589, 2.152, 2.884, 3.801, 4.928",\
                 "0.4048, 0.463, 0.6146, 0.8458, 1.165, 1.589, 2.152, 2.883, 3.802, 4.925",\
                 "0.4048, 0.4632, 0.615, 0.8458, 1.163, 1.589, 2.152, 2.884, 3.803, 4.927",\
                 "0.4048, 0.4634, 0.6144, 0.8452, 1.164, 1.589, 2.153, 2.884, 3.801, 4.927",\
                 "0.4046, 0.4634, 0.6146, 0.8454, 1.163, 1.588, 2.152, 2.883, 3.805, 4.922",\
                 "0.4048, 0.463, 0.6152, 0.8444, 1.165, 1.588, 2.154, 2.884, 3.804, 4.926",\
                 "0.404, 0.462, 0.614, 0.844, 1.164, 1.588, 2.152, 2.882, 3.802, 4.92",\
                 "0.406, 0.464, 0.614, 0.844, 1.162, 1.588, 2.154, 2.884, 3.806, 4.92");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.2554, 0.3236, 0.5714, 1.095, 1.94, 3.132, 4.706, 6.684, 9.112, 12",\
                 "0.255, 0.3234, 0.5714, 1.095, 1.94, 3.134, 4.705, 6.69, 9.113, 11.99",\
                 "0.2556, 0.3234, 0.5716, 1.094, 1.94, 3.134, 4.704, 6.69, 9.109, 12",\
                 "0.2554, 0.3234, 0.5712, 1.094, 1.94, 3.135, 4.704, 6.687, 9.109, 12",\
                 "0.2554, 0.3232, 0.5718, 1.095, 1.94, 3.132, 4.704, 6.692, 9.105, 11.99",\
                 "0.255, 0.3234, 0.5716, 1.094, 1.94, 3.132, 4.703, 6.692, 9.102, 11.99",\
                 "0.2554, 0.3232, 0.572, 1.095, 1.942, 3.136, 4.704, 6.69, 9.106, 12",\
                 "0.256, 0.324, 0.572, 1.096, 1.94, 3.134, 4.704, 6.688, 9.112, 12",\
                 "0.256, 0.322, 0.572, 1.094, 1.94, 3.134, 4.704, 6.692, 9.114, 11.99",\
                 "0.254, 0.324, 0.57, 1.094, 1.94, 3.13, 4.706, 6.69, 9.102, 11.98");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("2.562, 2.647, 2.853, 3.118, 3.427, 3.785, 4.205, 4.697, 5.278, 5.96",\
                 "2.589, 2.674, 2.88, 3.145, 3.454, 3.812, 4.231, 4.724, 5.306, 5.987",\
                 "2.661, 2.746, 2.952, 3.216, 3.526, 3.884, 4.303, 4.796, 5.377, 6.059",\
                 "2.787, 2.872, 3.078, 3.343, 3.651, 4.01, 4.429, 4.922, 5.503, 6.185",\
                 "2.968, 3.053, 3.259, 3.524, 3.833, 4.191, 4.61, 5.103, 5.684, 6.366",\
                 "3.168, 3.253, 3.459, 3.724, 4.033, 4.391, 4.81, 5.303, 5.884, 6.566",\
                 "3.352, 3.438, 3.644, 3.909, 4.218, 4.577, 4.996, 5.489, 6.07, 6.752",\
                 "3.509, 3.594, 3.801, 4.066, 4.375, 4.734, 5.153, 5.646, 6.227, 6.909",\
                 "3.626, 3.712, 3.918, 4.184, 4.493, 4.851, 5.271, 5.764, 6.345, 7.026",\
                 "3.699, 3.785, 3.992, 4.257, 4.566, 4.925, 5.345, 5.838, 6.419, 7.101");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("3.664, 3.75, 3.979, 4.331, 4.841, 5.546, 6.468, 7.628, 9.043, 10.73",\
                 "3.687, 3.773, 4.001, 4.354, 4.864, 5.568, 6.49, 7.65, 9.065, 10.75",\
                 "3.789, 3.875, 4.103, 4.456, 4.966, 5.67, 6.593, 7.753, 9.168, 10.85",\
                 "3.994, 4.08, 4.308, 4.661, 5.171, 5.875, 6.798, 7.958, 9.372, 11.06",\
                 "4.324, 4.41, 4.638, 4.991, 5.501, 6.205, 7.128, 8.287, 9.702, 11.39",\
                 "4.797, 4.883, 5.112, 5.465, 5.974, 6.678, 7.601, 8.761, 10.18, 11.86",\
                 "5.428, 5.514, 5.742, 6.095, 6.605, 7.309, 8.232, 9.392, 10.81, 12.49",\
                 "6.21, 6.296, 6.524, 6.877, 7.387, 8.091, 9.014, 10.17, 11.59, 13.27",\
                 "7.093, 7.179, 7.409, 7.763, 8.273, 8.978, 9.901, 11.06, 12.47, 14.16",\
                 "8.031, 8.12, 8.352, 8.707, 9.218, 9.922, 10.84, 12, 13.42, 15.1");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.4184, 0.4774, 0.6282, 0.8586, 1.178, 1.601, 2.164, 2.892, 3.809, 4.931",\
                 "0.4184, 0.4774, 0.6282, 0.8586, 1.178, 1.605, 2.165, 2.893, 3.812, 4.929",\
                 "0.4186, 0.4772, 0.6278, 0.8592, 1.178, 1.604, 2.166, 2.892, 3.809, 4.933",\
                 "0.4184, 0.4778, 0.6286, 0.8588, 1.177, 1.603, 2.164, 2.892, 3.811, 4.932",\
                 "0.4184, 0.4772, 0.628, 0.8588, 1.177, 1.604, 2.163, 2.894, 3.81, 4.934",\
                 "0.4184, 0.4774, 0.628, 0.8584, 1.178, 1.603, 2.165, 2.892, 3.809, 4.933",\
                 "0.4196, 0.4786, 0.6292, 0.8596, 1.177, 1.603, 2.165, 2.894, 3.813, 4.93",\
                 "0.4204, 0.479, 0.629, 0.8604, 1.179, 1.602, 2.164, 2.892, 3.807, 4.932",\
                 "0.4212, 0.4798, 0.6308, 0.8608, 1.177, 1.602, 2.166, 2.892, 3.808, 4.926",\
                 "0.422, 0.482, 0.632, 0.862, 1.18, 1.604, 2.166, 2.894, 3.808, 4.926");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.327, 0.4056, 0.6564, 1.152, 1.973, 3.16, 4.73, 6.711, 9.13, 12.02",\
                 "0.3284, 0.4054, 0.6566, 1.15, 1.972, 3.159, 4.728, 6.708, 9.125, 12.02",\
                 "0.3266, 0.4054, 0.656, 1.151, 1.97, 3.16, 4.729, 6.709, 9.13, 12.01",\
                 "0.3268, 0.4056, 0.6558, 1.15, 1.971, 3.159, 4.73, 6.709, 9.131, 12.01",\
                 "0.3278, 0.4048, 0.656, 1.15, 1.973, 3.16, 4.724, 6.71, 9.127, 12.02",\
                 "0.327, 0.405, 0.6572, 1.152, 1.972, 3.16, 4.73, 6.708, 9.13, 12.02",\
                 "0.3274, 0.4054, 0.658, 1.152, 1.972, 3.159, 4.731, 6.71, 9.12, 12.02",\
                 "0.33, 0.408, 0.658, 1.152, 1.972, 3.158, 4.73, 6.708, 9.124, 12.02",\
                 "0.334, 0.412, 0.66, 1.154, 1.974, 3.158, 4.73, 6.702, 9.13, 12.01",\
                 "0.342, 0.42, 0.668, 1.158, 1.976, 3.158, 4.724, 6.71, 9.13, 12.01");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("4.794, 4.878, 5.08, 5.341, 5.647, 6.002, 6.418, 6.91, 7.49, 8.17",\
                 "4.824, 4.908, 5.11, 5.371, 5.677, 6.032, 6.449, 6.94, 7.519, 8.2",\
                 "4.919, 5.003, 5.205, 5.466, 5.772, 6.127, 6.543, 7.035, 7.614, 8.295",\
                 "5.053, 5.136, 5.338, 5.599, 5.904, 6.259, 6.676, 7.168, 7.747, 8.427",\
                 "5.166, 5.249, 5.451, 5.712, 6.018, 6.373, 6.79, 7.281, 7.861, 8.541",\
                 "5.245, 5.328, 5.53, 5.791, 6.097, 6.453, 6.868, 7.36, 7.94, 8.621",\
                 "5.284, 5.367, 5.569, 5.83, 6.136, 6.492, 6.908, 7.398, 7.978, 8.659",\
                 "5.278, 5.362, 5.562, 5.824, 6.131, 6.485, 6.902, 7.393, 7.972, 8.653",\
                 "5.217, 5.301, 5.502, 5.763, 6.069, 6.424, 6.841, 7.332, 7.912, 8.592",\
                 "5.099, 5.183, 5.385, 5.646, 5.952, 6.307, 6.723, 7.214, 7.794, 8.475");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("4.901, 4.97, 5.164, 5.495, 5.998, 6.701, 7.622, 8.783, 10.2, 11.88",\
                 "4.912, 4.981, 5.175, 5.506, 6.008, 6.712, 7.634, 8.793, 10.21, 11.89",\
                 "4.989, 5.059, 5.253, 5.583, 6.086, 6.789, 7.711, 8.871, 10.29, 11.97",\
                 "5.188, 5.257, 5.45, 5.781, 6.285, 6.987, 7.909, 9.069, 10.48, 12.17",\
                 "5.521, 5.59, 5.784, 6.114, 6.617, 7.32, 8.242, 9.402, 10.82, 12.5",\
                 "5.996, 6.065, 6.259, 6.589, 7.093, 7.795, 8.717, 9.877, 11.29, 12.98",\
                 "6.583, 6.652, 6.846, 7.177, 7.68, 8.383, 9.305, 10.47, 11.88, 13.57",\
                 "7.23, 7.3, 7.494, 7.824, 8.328, 9.031, 9.952, 11.11, 12.53, 14.21",\
                 "7.931, 8, 8.195, 8.524, 9.028, 9.731, 10.65, 11.81, 13.23, 14.91",\
                 "8.691, 8.76, 8.954, 9.284, 9.788, 10.49, 11.41, 12.57, 13.99, 15.67");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.4184, 0.4774, 0.6282, 0.8586, 1.178, 1.601, 2.164, 2.892, 3.809, 4.931",\
                 "0.4184, 0.4774, 0.6282, 0.8586, 1.178, 1.605, 2.165, 2.893, 3.812, 4.929",\
                 "0.4186, 0.4772, 0.6278, 0.8592, 1.178, 1.604, 2.166, 2.892, 3.809, 4.933",\
                 "0.4184, 0.4778, 0.6286, 0.8588, 1.177, 1.603, 2.164, 2.892, 3.811, 4.932",\
                 "0.4184, 0.4772, 0.628, 0.8588, 1.177, 1.604, 2.163, 2.894, 3.81, 4.934",\
                 "0.4184, 0.4774, 0.628, 0.8584, 1.178, 1.603, 2.165, 2.892, 3.809, 4.933",\
                 "0.4196, 0.4786, 0.6292, 0.8596, 1.177, 1.603, 2.165, 2.894, 3.813, 4.93",\
                 "0.4204, 0.479, 0.629, 0.8604, 1.179, 1.602, 2.164, 2.892, 3.807, 4.932",\
                 "0.4212, 0.4798, 0.6308, 0.8608, 1.177, 1.602, 2.166, 2.892, 3.808, 4.926",\
                 "0.422, 0.482, 0.632, 0.862, 1.18, 1.604, 2.166, 2.894, 3.808, 4.926");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.327, 0.4056, 0.6564, 1.152, 1.973, 3.16, 4.73, 6.711, 9.13, 12.02",\
                 "0.3284, 0.4054, 0.6566, 1.15, 1.972, 3.159, 4.728, 6.708, 9.125, 12.02",\
                 "0.3266, 0.4054, 0.656, 1.151, 1.97, 3.16, 4.729, 6.709, 9.13, 12.01",\
                 "0.3268, 0.4056, 0.6558, 1.15, 1.971, 3.159, 4.73, 6.709, 9.131, 12.01",\
                 "0.3278, 0.4048, 0.656, 1.15, 1.973, 3.16, 4.724, 6.71, 9.127, 12.02",\
                 "0.327, 0.405, 0.6572, 1.152, 1.972, 3.16, 4.73, 6.708, 9.13, 12.02",\
                 "0.3274, 0.4054, 0.658, 1.152, 1.972, 3.159, 4.731, 6.71, 9.12, 12.02",\
                 "0.33, 0.408, 0.658, 1.152, 1.972, 3.158, 4.73, 6.708, 9.124, 12.02",\
                 "0.334, 0.412, 0.66, 1.154, 1.974, 3.158, 4.73, 6.702, 9.13, 12.01",\
                 "0.342, 0.42, 0.668, 1.158, 1.976, 3.158, 4.724, 6.71, 9.13, 12.01");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("3.933, 4.018, 4.223, 4.487, 4.797, 5.155, 5.573, 6.066, 6.647, 7.328",\
                 "3.944, 4.029, 4.235, 4.499, 4.808, 5.166, 5.585, 6.078, 6.659, 7.34",\
                 "4.021, 4.107, 4.312, 4.576, 4.886, 5.243, 5.662, 6.154, 6.735, 7.417",\
                 "4.22, 4.305, 4.51, 4.775, 5.083, 5.442, 5.86, 6.353, 6.933, 7.616",\
                 "4.553, 4.638, 4.843, 5.108, 5.417, 5.775, 6.194, 6.686, 7.267, 7.949",\
                 "5.028, 5.113, 5.318, 5.582, 5.892, 6.249, 6.668, 7.161, 7.742, 8.424",\
                 "5.615, 5.7, 5.905, 6.17, 6.479, 6.837, 7.255, 7.748, 8.329, 9.011",\
                 "6.262, 6.347, 6.553, 6.817, 7.126, 7.484, 7.902, 8.395, 8.976, 9.658",\
                 "6.962, 7.048, 7.253, 7.518, 7.826, 8.185, 8.603, 9.095, 9.676, 10.36",\
                 "7.722, 7.807, 8.013, 8.275, 8.585, 8.944, 9.362, 9.855, 10.44, 11.12");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("3.931, 4.016, 4.244, 4.597, 5.107, 5.811, 6.734, 7.894, 9.309, 10.99",\
                 "3.961, 4.046, 4.275, 4.627, 5.137, 5.841, 6.764, 7.924, 9.339, 11.02",\
                 "4.056, 4.142, 4.37, 4.722, 5.232, 5.936, 6.859, 8.019, 9.434, 11.12",\
                 "4.19, 4.275, 4.503, 4.856, 5.366, 6.07, 6.993, 8.152, 9.567, 11.25",\
                 "4.303, 4.389, 4.616, 4.969, 5.479, 6.183, 7.106, 8.265, 9.68, 11.37",\
                 "4.381, 4.467, 4.695, 5.048, 5.558, 6.262, 7.184, 8.345, 9.759, 11.45",\
                 "4.42, 4.505, 4.733, 5.086, 5.596, 6.3, 7.222, 8.382, 9.797, 11.48",\
                 "4.413, 4.5, 4.728, 5.08, 5.59, 6.293, 7.216, 8.376, 9.791, 11.48",\
                 "4.353, 4.439, 4.666, 5.019, 5.529, 6.233, 7.156, 8.316, 9.732, 11.42",\
                 "4.236, 4.321, 4.549, 4.901, 5.411, 6.115, 7.038, 8.198, 9.613, 11.3");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.4166, 0.4756, 0.6266, 0.8578, 1.174, 1.6, 2.163, 2.891, 3.808, 4.933",\
                 "0.4168, 0.4756, 0.6266, 0.8576, 1.175, 1.6, 2.162, 2.893, 3.811, 4.928",\
                 "0.417, 0.476, 0.627, 0.8576, 1.175, 1.601, 2.162, 2.893, 3.811, 4.928",\
                 "0.417, 0.4748, 0.6272, 0.8568, 1.174, 1.601, 2.163, 2.891, 3.81, 4.93",\
                 "0.417, 0.4758, 0.6266, 0.8572, 1.176, 1.599, 2.162, 2.893, 3.811, 4.928",\
                 "0.4168, 0.4758, 0.6264, 0.8578, 1.176, 1.6, 2.162, 2.893, 3.812, 4.929",\
                 "0.4168, 0.476, 0.627, 0.8576, 1.176, 1.6, 2.161, 2.892, 3.81, 4.93",\
                 "0.416, 0.476, 0.628, 0.856, 1.176, 1.602, 2.166, 2.892, 3.81, 4.932",\
                 "0.418, 0.476, 0.628, 0.858, 1.176, 1.6, 2.162, 2.894, 3.812, 4.924",\
                 "0.416, 0.476, 0.626, 0.858, 1.176, 1.6, 2.164, 2.89, 3.806, 4.928");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.3264, 0.4038, 0.6562, 1.151, 1.973, 3.16, 4.729, 6.705, 9.131, 12.02",\
                 "0.3262, 0.4042, 0.6556, 1.15, 1.973, 3.157, 4.729, 6.71, 9.131, 12.02",\
                 "0.327, 0.4042, 0.6554, 1.15, 1.97, 3.157, 4.731, 6.704, 9.127, 12.02",\
                 "0.3266, 0.404, 0.6552, 1.151, 1.972, 3.16, 4.726, 6.708, 9.125, 12.02",\
                 "0.3264, 0.404, 0.6568, 1.149, 1.972, 3.16, 4.725, 6.71, 9.127, 12.02",\
                 "0.3258, 0.4036, 0.6556, 1.151, 1.97, 3.159, 4.729, 6.711, 9.132, 12.01",\
                 "0.327, 0.4038, 0.6554, 1.15, 1.973, 3.158, 4.73, 6.71, 9.132, 12.01",\
                 "0.3256, 0.4046, 0.655, 1.151, 1.97, 3.156, 4.728, 6.712, 9.13, 12.02",\
                 "0.3258, 0.4042, 0.6546, 1.154, 1.97, 3.152, 4.72, 6.71, 9.128, 12.02",\
                 "0.326, 0.404, 0.656, 1.15, 1.968, 3.158, 4.728, 6.698, 9.126, 12.01");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("4.521, 4.605, 4.806, 5.068, 5.373, 5.728, 6.145, 6.636, 7.215, 7.896",\
                 "4.543, 4.627, 4.828, 5.09, 5.395, 5.751, 6.167, 6.658, 7.238, 7.918",\
                 "4.644, 4.728, 4.93, 5.191, 5.496, 5.852, 6.268, 6.759, 7.339, 8.02",\
                 "4.85, 4.933, 5.134, 5.396, 5.701, 6.057, 6.473, 6.964, 7.544, 8.225",\
                 "5.18, 5.263, 5.465, 5.726, 6.032, 6.387, 6.804, 7.295, 7.875, 8.555",\
                 "5.654, 5.738, 5.939, 6.201, 6.506, 6.862, 7.278, 7.769, 8.349, 9.03",\
                 "6.281, 6.365, 6.566, 6.828, 7.133, 7.489, 7.905, 8.396, 8.975, 9.657",\
                 "7.036, 7.119, 7.321, 7.582, 7.889, 8.244, 8.661, 9.151, 9.731, 10.41",\
                 "7.86, 7.943, 8.145, 8.406, 8.712, 9.067, 9.484, 9.975, 10.55, 11.24",\
                 "8.729, 8.813, 9.015, 9.276, 9.581, 9.936, 10.35, 10.84, 11.42, 12.1");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("3.531, 3.6, 3.794, 4.124, 4.628, 5.33, 6.252, 7.412, 8.827, 10.51",\
                 "3.558, 3.627, 3.821, 4.151, 4.655, 5.358, 6.279, 7.439, 8.855, 10.54",\
                 "3.63, 3.699, 3.893, 4.223, 4.726, 5.429, 6.351, 7.511, 8.926, 10.61",\
                 "3.756, 3.825, 4.019, 4.349, 4.853, 5.556, 6.477, 7.637, 9.053, 10.74",\
                 "3.938, 4.007, 4.201, 4.531, 5.035, 5.738, 6.659, 7.819, 9.235, 10.92",\
                 "4.14, 4.21, 4.404, 4.734, 5.237, 5.94, 6.862, 8.021, 9.437, 11.12",\
                 "4.33, 4.399, 4.592, 4.923, 5.426, 6.129, 7.05, 8.21, 9.625, 11.31",\
                 "4.49, 4.558, 4.752, 5.083, 5.586, 6.288, 7.211, 8.37, 9.785, 11.47",\
                 "4.611, 4.681, 4.874, 5.205, 5.708, 6.41, 7.333, 8.492, 9.908, 11.59",\
                 "4.691, 4.76, 4.953, 5.284, 5.787, 6.49, 7.412, 8.571, 9.986, 11.67");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.4048, 0.463, 0.6146, 0.8452, 1.164, 1.589, 2.151, 2.882, 3.802, 4.927",\
                 "0.4046, 0.4632, 0.6142, 0.8452, 1.163, 1.589, 2.153, 2.882, 3.802, 4.928",\
                 "0.4046, 0.463, 0.6146, 0.8452, 1.163, 1.589, 2.152, 2.884, 3.802, 4.927",\
                 "0.4046, 0.464, 0.6142, 0.8452, 1.164, 1.588, 2.152, 2.884, 3.804, 4.924",\
                 "0.4046, 0.464, 0.6146, 0.845, 1.164, 1.589, 2.152, 2.884, 3.802, 4.927",\
                 "0.4046, 0.4642, 0.6148, 0.8454, 1.165, 1.589, 2.153, 2.882, 3.801, 4.927",\
                 "0.405, 0.4634, 0.615, 0.8456, 1.164, 1.59, 2.15, 2.882, 3.802, 4.928",\
                 "0.404, 0.464, 0.614, 0.846, 1.164, 1.588, 2.152, 2.884, 3.802, 4.924",\
                 "0.404, 0.464, 0.616, 0.846, 1.164, 1.592, 2.152, 2.884, 3.8, 4.92",\
                 "0.404, 0.464, 0.614, 0.844, 1.162, 1.59, 2.15, 2.884, 3.802, 4.928");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.255, 0.3228, 0.571, 1.094, 1.94, 3.131, 4.703, 6.691, 9.111, 12",\
                 "0.2548, 0.323, 0.572, 1.094, 1.94, 3.134, 4.704, 6.689, 9.109, 12",\
                 "0.255, 0.3228, 0.572, 1.095, 1.941, 3.134, 4.704, 6.689, 9.109, 12",\
                 "0.2556, 0.3228, 0.5714, 1.095, 1.94, 3.134, 4.704, 6.689, 9.11, 12",\
                 "0.255, 0.323, 0.5724, 1.095, 1.94, 3.133, 4.703, 6.69, 9.107, 12",\
                 "0.2548, 0.3226, 0.5724, 1.095, 1.94, 3.136, 4.706, 6.686, 9.111, 11.99",\
                 "0.255, 0.3234, 0.5718, 1.095, 1.939, 3.132, 4.7, 6.689, 9.106, 12",\
                 "0.2546, 0.3226, 0.5716, 1.094, 1.939, 3.135, 4.704, 6.688, 9.114, 11.99",\
                 "0.256, 0.322, 0.572, 1.096, 1.938, 3.13, 4.7, 6.688, 9.116, 12",\
                 "0.254, 0.322, 0.572, 1.094, 1.94, 3.132, 4.704, 6.682, 9.108, 11.99");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("4.521, 4.605, 4.806, 5.068, 5.373, 5.728, 6.145, 6.636, 7.215, 7.896",\
                 "4.543, 4.627, 4.828, 5.09, 5.395, 5.751, 6.167, 6.658, 7.238, 7.918",\
                 "4.644, 4.728, 4.93, 5.191, 5.496, 5.852, 6.268, 6.759, 7.339, 8.02",\
                 "4.85, 4.933, 5.134, 5.396, 5.701, 6.057, 6.473, 6.964, 7.544, 8.225",\
                 "5.18, 5.263, 5.465, 5.726, 6.032, 6.387, 6.804, 7.295, 7.875, 8.555",\
                 "5.654, 5.738, 5.939, 6.201, 6.506, 6.862, 7.278, 7.769, 8.349, 9.03",\
                 "6.281, 6.365, 6.566, 6.828, 7.133, 7.489, 7.905, 8.396, 8.975, 9.657",\
                 "7.036, 7.119, 7.321, 7.582, 7.889, 8.244, 8.661, 9.151, 9.731, 10.41",\
                 "7.86, 7.943, 8.145, 8.406, 8.712, 9.067, 9.484, 9.975, 10.55, 11.24",\
                 "8.729, 8.813, 9.015, 9.276, 9.581, 9.936, 10.35, 10.84, 11.42, 12.1");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("3.531, 3.6, 3.794, 4.124, 4.628, 5.33, 6.252, 7.412, 8.827, 10.51",\
                 "3.558, 3.627, 3.821, 4.151, 4.655, 5.358, 6.279, 7.439, 8.855, 10.54",\
                 "3.63, 3.699, 3.893, 4.223, 4.726, 5.429, 6.351, 7.511, 8.926, 10.61",\
                 "3.756, 3.825, 4.019, 4.349, 4.853, 5.556, 6.477, 7.637, 9.053, 10.74",\
                 "3.938, 4.007, 4.201, 4.531, 5.035, 5.738, 6.659, 7.819, 9.235, 10.92",\
                 "4.14, 4.21, 4.404, 4.734, 5.237, 5.94, 6.862, 8.021, 9.437, 11.12",\
                 "4.33, 4.399, 4.592, 4.923, 5.426, 6.129, 7.05, 8.21, 9.625, 11.31",\
                 "4.49, 4.558, 4.752, 5.083, 5.586, 6.288, 7.211, 8.37, 9.785, 11.47",\
                 "4.611, 4.681, 4.874, 5.205, 5.708, 6.41, 7.333, 8.492, 9.908, 11.59",\
                 "4.691, 4.76, 4.953, 5.284, 5.787, 6.49, 7.412, 8.571, 9.986, 11.67");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.4166, 0.4756, 0.6266, 0.8578, 1.174, 1.6, 2.163, 2.891, 3.808, 4.933",\
                 "0.4168, 0.4756, 0.6266, 0.8576, 1.175, 1.6, 2.162, 2.893, 3.811, 4.928",\
                 "0.417, 0.476, 0.627, 0.8576, 1.175, 1.601, 2.162, 2.893, 3.811, 4.928",\
                 "0.417, 0.4748, 0.6272, 0.8568, 1.174, 1.601, 2.163, 2.891, 3.81, 4.93",\
                 "0.417, 0.4758, 0.6266, 0.8572, 1.176, 1.599, 2.162, 2.893, 3.811, 4.928",\
                 "0.4168, 0.4758, 0.6264, 0.8578, 1.176, 1.6, 2.162, 2.893, 3.812, 4.929",\
                 "0.4168, 0.476, 0.627, 0.8576, 1.176, 1.6, 2.161, 2.892, 3.81, 4.93",\
                 "0.416, 0.476, 0.628, 0.856, 1.176, 1.602, 2.166, 2.892, 3.81, 4.932",\
                 "0.418, 0.476, 0.628, 0.858, 1.176, 1.6, 2.162, 2.894, 3.812, 4.924",\
                 "0.416, 0.476, 0.626, 0.858, 1.176, 1.6, 2.164, 2.89, 3.806, 4.928");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.3264, 0.4038, 0.6562, 1.151, 1.973, 3.16, 4.729, 6.705, 9.131, 12.02",\
                 "0.3262, 0.4042, 0.6556, 1.15, 1.973, 3.157, 4.729, 6.71, 9.131, 12.02",\
                 "0.327, 0.4042, 0.6554, 1.15, 1.97, 3.157, 4.731, 6.704, 9.127, 12.02",\
                 "0.3266, 0.404, 0.6552, 1.151, 1.972, 3.16, 4.726, 6.708, 9.125, 12.02",\
                 "0.3264, 0.404, 0.6568, 1.149, 1.972, 3.16, 4.725, 6.71, 9.127, 12.02",\
                 "0.3258, 0.4036, 0.6556, 1.151, 1.97, 3.159, 4.729, 6.711, 9.132, 12.01",\
                 "0.327, 0.4038, 0.6554, 1.15, 1.973, 3.158, 4.73, 6.71, 9.132, 12.01",\
                 "0.3256, 0.4046, 0.655, 1.151, 1.97, 3.156, 4.728, 6.712, 9.13, 12.02",\
                 "0.3258, 0.4042, 0.6546, 1.154, 1.97, 3.152, 4.72, 6.71, 9.128, 12.02",\
                 "0.326, 0.404, 0.656, 1.15, 1.968, 3.158, 4.728, 6.698, 9.126, 12.01");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("2.137, 2.222, 2.427, 2.691, 3, 3.358, 3.777, 4.269, 4.85, 5.532",\
                 "2.167, 2.252, 2.457, 2.721, 3.03, 3.388, 3.806, 4.299, 4.88, 5.561",\
                 "2.26, 2.345, 2.55, 2.814, 3.123, 3.481, 3.9, 4.392, 4.973, 5.655",\
                 "2.419, 2.504, 2.709, 2.973, 3.282, 3.641, 4.059, 4.551, 5.132, 5.814",\
                 "2.592, 2.676, 2.882, 3.146, 3.455, 3.813, 4.232, 4.724, 5.305, 5.987",\
                 "2.74, 2.825, 3.03, 3.294, 3.603, 3.961, 4.38, 4.872, 5.453, 6.135",\
                 "2.854, 2.939, 3.143, 3.406, 3.715, 4.073, 4.492, 4.985, 5.566, 6.248",\
                 "2.927, 3.011, 3.214, 3.479, 3.787, 4.145, 4.563, 5.056, 5.637, 6.318",\
                 "2.954, 3.038, 3.242, 3.506, 3.814, 4.172, 4.59, 5.082, 5.663, 6.344",\
                 "2.93, 3.015, 3.219, 3.483, 3.791, 4.149, 4.567, 5.06, 5.64, 6.323");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("2.717, 2.787, 2.981, 3.311, 3.814, 4.517, 5.439, 6.599, 8.014, 9.699",\
                 "2.745, 2.814, 3.008, 3.338, 3.842, 4.545, 5.466, 6.626, 8.041, 9.726",\
                 "2.844, 2.913, 3.107, 3.438, 3.941, 4.644, 5.565, 6.726, 8.141, 9.825",\
                 "3.022, 3.091, 3.285, 3.615, 4.119, 4.822, 5.743, 6.903, 8.318, 10",\
                 "3.292, 3.361, 3.555, 3.886, 4.389, 5.092, 6.013, 7.173, 8.589, 10.27",\
                 "3.668, 3.738, 3.932, 4.262, 4.765, 5.468, 6.39, 7.55, 8.966, 10.65",\
                 "4.148, 4.218, 4.413, 4.743, 5.247, 5.948, 6.871, 8.03, 9.445, 11.13",\
                 "4.699, 4.77, 4.965, 5.296, 5.799, 6.502, 7.423, 8.584, 9.999, 11.69",\
                 "5.313, 5.385, 5.582, 5.912, 6.416, 7.117, 8.04, 9.199, 10.62, 12.3",\
                 "5.993, 6.068, 6.266, 6.597, 7.1, 7.803, 8.723, 9.883, 11.3, 12.98");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.416, 0.4746, 0.6262, 0.8564, 1.173, 1.599, 2.163, 2.892, 3.811, 4.931",\
                 "0.4162, 0.4744, 0.6262, 0.857, 1.175, 1.602, 2.164, 2.89, 3.807, 4.932",\
                 "0.4164, 0.4746, 0.6262, 0.8574, 1.176, 1.603, 2.164, 2.893, 3.811, 4.931",\
                 "0.4164, 0.475, 0.6266, 0.857, 1.174, 1.6, 2.162, 2.892, 3.811, 4.932",\
                 "0.4166, 0.4754, 0.6262, 0.8566, 1.175, 1.602, 2.162, 2.893, 3.811, 4.927",\
                 "0.4146, 0.4738, 0.6248, 0.8562, 1.175, 1.602, 2.164, 2.892, 3.81, 4.93",\
                 "0.4108, 0.4696, 0.6224, 0.8534, 1.173, 1.599, 2.164, 2.894, 3.813, 4.927",\
                 "0.4104, 0.4698, 0.6222, 0.8534, 1.172, 1.598, 2.159, 2.892, 3.809, 4.935",\
                 "0.41, 0.4692, 0.6222, 0.8532, 1.171, 1.6, 2.159, 2.893, 3.808, 4.926",\
                 "0.41, 0.47, 0.622, 0.852, 1.172, 1.6, 2.162, 2.89, 3.808, 4.93");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.2564, 0.3232, 0.5716, 1.095, 1.941, 3.135, 4.704, 6.688, 9.109, 12",\
                 "0.2552, 0.3234, 0.5722, 1.095, 1.94, 3.134, 4.704, 6.689, 9.107, 12",\
                 "0.2564, 0.3234, 0.5728, 1.095, 1.94, 3.134, 4.704, 6.69, 9.106, 12",\
                 "0.2564, 0.3234, 0.5722, 1.095, 1.941, 3.135, 4.704, 6.691, 9.11, 12",\
                 "0.2564, 0.3236, 0.5724, 1.095, 1.941, 3.134, 4.706, 6.69, 9.107, 12",\
                 "0.2568, 0.3236, 0.5732, 1.095, 1.939, 3.135, 4.703, 6.685, 9.11, 12",\
                 "0.2582, 0.3262, 0.5734, 1.096, 1.941, 3.133, 4.703, 6.691, 9.108, 12",\
                 "0.2642, 0.3308, 0.5766, 1.097, 1.94, 3.136, 4.708, 6.692, 9.102, 12",\
                 "0.272, 0.338, 0.578, 1.096, 1.942, 3.132, 4.7, 6.69, 9.114, 12",\
                 "0.278, 0.344, 0.584, 1.098, 1.94, 3.134, 4.702, 6.678, 9.1, 12");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("2.15, 2.235, 2.44, 2.705, 3.015, 3.373, 3.792, 4.285, 4.866, 5.548",\
                 "2.179, 2.265, 2.471, 2.735, 3.044, 3.402, 3.821, 4.314, 4.895, 5.577",\
                 "2.273, 2.358, 2.564, 2.829, 3.138, 3.497, 3.915, 4.408, 4.989, 5.671",\
                 "2.433, 2.518, 2.724, 2.989, 3.298, 3.656, 4.075, 4.568, 5.149, 5.831",\
                 "2.606, 2.691, 2.897, 3.161, 3.471, 3.83, 4.249, 4.741, 5.322, 6.004",\
                 "2.755, 2.84, 3.046, 3.311, 3.62, 3.978, 4.397, 4.89, 5.471, 6.153",\
                 "2.869, 2.953, 3.158, 3.422, 3.731, 4.09, 4.509, 5.002, 5.584, 6.266",\
                 "2.941, 3.025, 3.23, 3.494, 3.803, 4.161, 4.58, 5.072, 5.653, 6.335",\
                 "2.967, 3.052, 3.256, 3.52, 3.829, 4.187, 4.605, 5.098, 5.679, 6.361",\
                 "2.944, 3.028, 3.233, 3.497, 3.805, 4.164, 4.582, 5.075, 5.656, 6.338");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("2.719, 2.789, 2.982, 3.312, 3.816, 4.519, 5.441, 6.601, 8.016, 9.701",\
                 "2.747, 2.816, 3.01, 3.34, 3.844, 4.546, 5.468, 6.628, 8.043, 9.729",\
                 "2.847, 2.916, 3.11, 3.44, 3.944, 4.646, 5.568, 6.728, 8.143, 9.828",\
                 "3.024, 3.094, 3.287, 3.618, 4.121, 4.824, 5.745, 6.905, 8.321, 10.01",\
                 "3.294, 3.363, 3.557, 3.887, 4.391, 5.093, 6.015, 7.175, 8.59, 10.28",\
                 "3.669, 3.738, 3.932, 4.263, 4.766, 5.469, 6.391, 7.55, 8.965, 10.65",\
                 "4.148, 4.218, 4.412, 4.742, 5.246, 5.948, 6.871, 8.029, 9.444, 11.13",\
                 "4.699, 4.769, 4.965, 5.295, 5.799, 6.5, 7.423, 8.583, 9.998, 11.69",\
                 "5.313, 5.384, 5.581, 5.912, 6.415, 7.116, 8.039, 9.199, 10.61, 12.3",\
                 "5.993, 6.066, 6.265, 6.596, 7.099, 7.801, 8.722, 9.882, 11.3, 12.98");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.4178, 0.4766, 0.628, 0.859, 1.176, 1.602, 2.162, 2.895, 3.812, 4.931",\
                 "0.4186, 0.4774, 0.628, 0.8586, 1.178, 1.603, 2.166, 2.894, 3.812, 4.932",\
                 "0.4178, 0.4764, 0.6282, 0.859, 1.177, 1.604, 2.166, 2.892, 3.813, 4.93",\
                 "0.4182, 0.4768, 0.6284, 0.8582, 1.177, 1.604, 2.164, 2.894, 3.811, 4.93",\
                 "0.418, 0.4772, 0.6278, 0.8584, 1.178, 1.602, 2.163, 2.895, 3.809, 4.931",\
                 "0.4168, 0.475, 0.6286, 0.8578, 1.177, 1.603, 2.164, 2.891, 3.808, 4.933",\
                 "0.4122, 0.4714, 0.6242, 0.8558, 1.176, 1.601, 2.164, 2.894, 3.811, 4.935",\
                 "0.4122, 0.4712, 0.6236, 0.8546, 1.175, 1.601, 2.162, 2.893, 3.81, 4.935",\
                 "0.4114, 0.471, 0.6238, 0.8554, 1.173, 1.6, 2.161, 2.893, 3.808, 4.926",\
                 "0.412, 0.472, 0.624, 0.854, 1.176, 1.602, 2.164, 2.892, 3.808, 4.926");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.255, 0.323, 0.5714, 1.093, 1.94, 3.134, 4.704, 6.689, 9.107, 12",\
                 "0.2554, 0.3226, 0.572, 1.094, 1.94, 3.133, 4.706, 6.686, 9.111, 12",\
                 "0.255, 0.3226, 0.5724, 1.094, 1.941, 3.135, 4.703, 6.687, 9.109, 12",\
                 "0.2548, 0.323, 0.5722, 1.094, 1.94, 3.134, 4.705, 6.685, 9.111, 11.99",\
                 "0.2556, 0.3228, 0.5726, 1.095, 1.939, 3.133, 4.703, 6.691, 9.102, 12",\
                 "0.2552, 0.3232, 0.572, 1.095, 1.939, 3.135, 4.703, 6.686, 9.106, 12",\
                 "0.2576, 0.3256, 0.5734, 1.094, 1.941, 3.134, 4.708, 6.69, 9.114, 12",\
                 "0.2634, 0.3302, 0.5756, 1.096, 1.939, 3.133, 4.706, 6.69, 9.108, 12.01",\
                 "0.27, 0.338, 0.58, 1.096, 1.942, 3.132, 4.706, 6.69, 9.11, 12",\
                 "0.278, 0.344, 0.582, 1.098, 1.942, 3.132, 4.7, 6.68, 9.108, 11.98");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("2.15, 2.235, 2.44, 2.705, 3.015, 3.373, 3.792, 4.285, 4.866, 5.548",\
                 "2.179, 2.265, 2.471, 2.735, 3.044, 3.402, 3.821, 4.314, 4.895, 5.577",\
                 "2.273, 2.358, 2.564, 2.829, 3.138, 3.497, 3.915, 4.408, 4.989, 5.671",\
                 "2.433, 2.518, 2.724, 2.989, 3.298, 3.656, 4.075, 4.568, 5.149, 5.831",\
                 "2.606, 2.691, 2.897, 3.161, 3.471, 3.83, 4.249, 4.741, 5.322, 6.004",\
                 "2.755, 2.84, 3.046, 3.311, 3.62, 3.978, 4.397, 4.89, 5.471, 6.153",\
                 "2.869, 2.953, 3.158, 3.422, 3.731, 4.09, 4.509, 5.002, 5.584, 6.266",\
                 "2.941, 3.025, 3.23, 3.494, 3.803, 4.161, 4.58, 5.072, 5.653, 6.335",\
                 "2.967, 3.052, 3.256, 3.52, 3.829, 4.187, 4.605, 5.098, 5.679, 6.361",\
                 "2.944, 3.028, 3.233, 3.497, 3.805, 4.164, 4.582, 5.075, 5.656, 6.338");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("2.717, 2.787, 2.981, 3.311, 3.814, 4.517, 5.439, 6.599, 8.014, 9.699",\
                 "2.745, 2.814, 3.008, 3.338, 3.842, 4.545, 5.466, 6.626, 8.041, 9.726",\
                 "2.844, 2.913, 3.107, 3.438, 3.941, 4.644, 5.565, 6.726, 8.141, 9.825",\
                 "3.022, 3.091, 3.285, 3.615, 4.119, 4.822, 5.743, 6.903, 8.318, 10",\
                 "3.292, 3.361, 3.555, 3.886, 4.389, 5.092, 6.013, 7.173, 8.589, 10.27",\
                 "3.668, 3.738, 3.932, 4.262, 4.765, 5.468, 6.39, 7.55, 8.966, 10.65",\
                 "4.148, 4.218, 4.413, 4.743, 5.247, 5.948, 6.871, 8.03, 9.445, 11.13",\
                 "4.699, 4.77, 4.965, 5.296, 5.799, 6.502, 7.423, 8.584, 9.999, 11.69",\
                 "5.313, 5.385, 5.582, 5.912, 6.416, 7.117, 8.04, 9.199, 10.62, 12.3",\
                 "5.993, 6.068, 6.266, 6.597, 7.1, 7.803, 8.723, 9.883, 11.3, 12.98");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.4178, 0.4766, 0.628, 0.859, 1.176, 1.602, 2.162, 2.895, 3.812, 4.931",\
                 "0.4186, 0.4774, 0.628, 0.8586, 1.178, 1.603, 2.166, 2.894, 3.812, 4.932",\
                 "0.4178, 0.4764, 0.6282, 0.859, 1.177, 1.604, 2.166, 2.892, 3.813, 4.93",\
                 "0.4182, 0.4768, 0.6284, 0.8582, 1.177, 1.604, 2.164, 2.894, 3.811, 4.93",\
                 "0.418, 0.4772, 0.6278, 0.8584, 1.178, 1.602, 2.163, 2.895, 3.809, 4.931",\
                 "0.4168, 0.475, 0.6286, 0.8578, 1.177, 1.603, 2.164, 2.891, 3.808, 4.933",\
                 "0.4122, 0.4714, 0.6242, 0.8558, 1.176, 1.601, 2.164, 2.894, 3.811, 4.935",\
                 "0.4122, 0.4712, 0.6236, 0.8546, 1.175, 1.601, 2.162, 2.893, 3.81, 4.935",\
                 "0.4114, 0.471, 0.6238, 0.8554, 1.173, 1.6, 2.161, 2.893, 3.808, 4.926",\
                 "0.412, 0.472, 0.624, 0.854, 1.176, 1.602, 2.164, 2.892, 3.808, 4.926");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.255, 0.323, 0.5714, 1.093, 1.94, 3.134, 4.704, 6.689, 9.107, 12",\
                 "0.2554, 0.3226, 0.572, 1.094, 1.94, 3.133, 4.706, 6.686, 9.111, 12",\
                 "0.255, 0.3226, 0.5724, 1.094, 1.941, 3.135, 4.703, 6.687, 9.109, 12",\
                 "0.2548, 0.323, 0.5722, 1.094, 1.94, 3.134, 4.705, 6.685, 9.111, 11.99",\
                 "0.2556, 0.3228, 0.5726, 1.095, 1.939, 3.133, 4.703, 6.691, 9.102, 12",\
                 "0.2552, 0.3232, 0.572, 1.095, 1.939, 3.135, 4.703, 6.686, 9.106, 12",\
                 "0.2576, 0.3256, 0.5734, 1.094, 1.941, 3.134, 4.708, 6.69, 9.114, 12",\
                 "0.2634, 0.3302, 0.5756, 1.096, 1.939, 3.133, 4.706, 6.69, 9.108, 12.01",\
                 "0.27, 0.338, 0.58, 1.096, 1.942, 3.132, 4.706, 6.69, 9.11, 12",\
                 "0.278, 0.344, 0.582, 1.098, 1.942, 3.132, 4.7, 6.68, 9.108, 11.98");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("1.509, 1.592, 1.794, 2.055, 2.362, 2.717, 3.134, 3.625, 4.205, 4.886",\
                 "1.538, 1.622, 1.824, 2.086, 2.392, 2.747, 3.164, 3.655, 4.235, 4.916",\
                 "1.635, 1.719, 1.921, 2.182, 2.488, 2.844, 3.261, 3.752, 4.332, 5.013",\
                 "1.837, 1.92, 2.122, 2.384, 2.689, 3.046, 3.462, 3.953, 4.534, 5.214",\
                 "2.169, 2.253, 2.455, 2.716, 3.022, 3.377, 3.794, 4.285, 4.865, 5.546",\
                 "2.645, 2.729, 2.93, 3.193, 3.498, 3.854, 4.271, 4.763, 5.343, 6.023",\
                 "3.22, 3.311, 3.525, 3.794, 4.105, 4.463, 4.881, 5.373, 5.953, 6.634",\
                 "3.831, 3.931, 4.168, 4.457, 4.78, 5.147, 5.57, 6.064, 6.645, 7.326",\
                 "4.475, 4.583, 4.843, 5.154, 5.492, 5.87, 6.301, 6.801, 7.386, 8.068",\
                 "5.149, 5.267, 5.547, 5.885, 6.246, 6.635, 7.074, 7.578, 8.167, 8.851");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.7902, 0.8674, 1.081, 1.426, 1.934, 2.638, 3.561, 4.721, 6.135, 7.821",\
                 "0.8173, 0.8943, 1.108, 1.453, 1.961, 2.665, 3.587, 4.746, 6.161, 7.846",\
                 "0.9134, 0.9906, 1.204, 1.549, 2.057, 2.761, 3.683, 4.843, 6.257, 7.942",\
                 "1.095, 1.172, 1.386, 1.73, 2.238, 2.941, 3.865, 5.025, 6.44, 8.126",\
                 "1.35, 1.43, 1.646, 1.99, 2.498, 3.201, 4.125, 5.285, 6.699, 8.387",\
                 "1.605, 1.69, 1.915, 2.265, 2.774, 3.477, 4.4, 5.562, 6.976, 8.663",\
                 "1.842, 1.935, 2.171, 2.527, 3.038, 3.742, 4.664, 5.824, 7.241, 8.927",\
                 "2.055, 2.157, 2.408, 2.771, 3.282, 3.986, 4.91, 6.07, 7.485, 9.174",\
                 "2.238, 2.35, 2.62, 2.991, 3.505, 4.208, 5.131, 6.292, 7.707, 9.394",\
                 "2.386, 2.508, 2.8, 3.184, 3.7, 4.402, 5.323, 6.484, 7.9, 9.587");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.4056, 0.464, 0.6152, 0.8466, 1.165, 1.592, 2.154, 2.885, 3.805, 4.922",\
                 "0.4052, 0.464, 0.6162, 0.8464, 1.165, 1.592, 2.155, 2.884, 3.804, 4.928",\
                 "0.4056, 0.4642, 0.616, 0.8462, 1.165, 1.59, 2.155, 2.885, 3.804, 4.928",\
                 "0.4056, 0.4636, 0.616, 0.8464, 1.165, 1.593, 2.154, 2.885, 3.805, 4.923",\
                 "0.4054, 0.4642, 0.6174, 0.8466, 1.166, 1.593, 2.155, 2.885, 3.805, 4.921",\
                 "0.412, 0.4696, 0.6198, 0.8494, 1.167, 1.592, 2.153, 2.885, 3.805, 4.924",\
                 "0.465, 0.5222, 0.6604, 0.877, 1.185, 1.605, 2.161, 2.889, 3.804, 4.926",\
                 "0.5332, 0.5966, 0.7414, 0.9462, 1.24, 1.646, 2.193, 2.907, 3.819, 4.928",\
                 "0.6028, 0.6714, 0.828, 1.03, 1.31, 1.704, 2.24, 2.944, 3.842, 4.95",\
                 "0.672, 0.748, 0.918, 1.128, 1.392, 1.772, 2.29, 2.988, 3.874, 4.97");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.2792, 0.3575, 0.618, 1.128, 1.96, 3.156, 4.73, 6.711, 9.136, 12.02",\
                 "0.2791, 0.3573, 0.6186, 1.129, 1.962, 3.155, 4.733, 6.716, 9.133, 12.03",\
                 "0.2792, 0.357, 0.6188, 1.129, 1.963, 3.152, 4.733, 6.718, 9.137, 12.03",\
                 "0.28, 0.3578, 0.6176, 1.129, 1.963, 3.154, 4.729, 6.713, 9.137, 12.02",\
                 "0.2968, 0.373, 0.626, 1.132, 1.963, 3.152, 4.729, 6.714, 9.138, 12.03",\
                 "0.3332, 0.407, 0.6516, 1.147, 1.969, 3.154, 4.727, 6.709, 9.136, 12.02",\
                 "0.3796, 0.451, 0.683, 1.164, 1.979, 3.159, 4.725, 6.709, 9.135, 12.03",\
                 "0.4302, 0.502, 0.7228, 1.185, 1.987, 3.17, 4.732, 6.714, 9.13, 12.01",\
                 "0.4836, 0.56, 0.774, 1.215, 1.999, 3.174, 4.739, 6.716, 9.134, 12.02",\
                 "0.5372, 0.6216, 0.8342, 1.252, 2.016, 3.18, 4.742, 6.726, 9.134, 12.01");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("1.509, 1.592, 1.794, 2.055, 2.362, 2.717, 3.134, 3.625, 4.205, 4.886",\
                 "1.538, 1.622, 1.824, 2.086, 2.392, 2.747, 3.164, 3.655, 4.235, 4.916",\
                 "1.635, 1.719, 1.921, 2.182, 2.489, 2.845, 3.261, 3.752, 4.332, 5.013",\
                 "1.837, 1.92, 2.122, 2.384, 2.69, 3.046, 3.462, 3.953, 4.533, 5.214",\
                 "2.169, 2.252, 2.455, 2.716, 3.022, 3.377, 3.794, 4.285, 4.865, 5.546",\
                 "2.645, 2.728, 2.931, 3.192, 3.498, 3.854, 4.271, 4.762, 5.342, 6.024",\
                 "3.22, 3.311, 3.525, 3.794, 4.105, 4.463, 4.881, 5.373, 5.953, 6.634",\
                 "3.831, 3.932, 4.168, 4.456, 4.78, 5.147, 5.57, 6.064, 6.645, 7.326",\
                 "4.475, 4.583, 4.843, 5.154, 5.492, 5.87, 6.301, 6.802, 7.386, 8.068",\
                 "5.149, 5.267, 5.547, 5.885, 6.246, 6.635, 7.074, 7.579, 8.167, 8.851");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.7902, 0.8674, 1.081, 1.426, 1.934, 2.638, 3.561, 4.721, 6.135, 7.821",\
                 "0.8171, 0.8945, 1.108, 1.453, 1.961, 2.665, 3.587, 4.746, 6.161, 7.846",\
                 "0.9133, 0.9906, 1.204, 1.549, 2.057, 2.761, 3.683, 4.844, 6.258, 7.944",\
                 "1.096, 1.173, 1.386, 1.73, 2.238, 2.942, 3.865, 5.025, 6.44, 8.126",\
                 "1.35, 1.429, 1.645, 1.99, 2.498, 3.201, 4.124, 5.285, 6.7, 8.387",\
                 "1.605, 1.69, 1.915, 2.265, 2.774, 3.478, 4.4, 5.56, 6.976, 8.663",\
                 "1.842, 1.935, 2.171, 2.527, 3.038, 3.742, 4.664, 5.824, 7.241, 8.927",\
                 "2.055, 2.157, 2.408, 2.77, 3.282, 3.986, 4.91, 6.07, 7.485, 9.174",\
                 "2.238, 2.35, 2.62, 2.991, 3.505, 4.207, 5.13, 6.291, 7.707, 9.393",\
                 "2.386, 2.508, 2.8, 3.185, 3.7, 4.402, 5.323, 6.484, 7.901, 9.588");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.4052, 0.4646, 0.6152, 0.8466, 1.165, 1.593, 2.154, 2.885, 3.805, 4.922",\
                 "0.4052, 0.4638, 0.6162, 0.8466, 1.165, 1.592, 2.155, 2.884, 3.804, 4.928",\
                 "0.4058, 0.4642, 0.6158, 0.8466, 1.166, 1.592, 2.155, 2.885, 3.805, 4.925",\
                 "0.4056, 0.4636, 0.6158, 0.8462, 1.166, 1.592, 2.154, 2.885, 3.805, 4.928",\
                 "0.4054, 0.4636, 0.615, 0.8464, 1.165, 1.593, 2.154, 2.885, 3.805, 4.922",\
                 "0.412, 0.4694, 0.6194, 0.8494, 1.168, 1.592, 2.153, 2.886, 3.805, 4.929",\
                 "0.4644, 0.5222, 0.6604, 0.8764, 1.185, 1.605, 2.161, 2.888, 3.804, 4.924",\
                 "0.533, 0.5968, 0.7412, 0.9462, 1.242, 1.646, 2.191, 2.905, 3.817, 4.928",\
                 "0.6028, 0.6714, 0.828, 1.03, 1.312, 1.704, 2.242, 2.944, 3.842, 4.948",\
                 "0.672, 0.748, 0.924, 1.126, 1.394, 1.772, 2.292, 2.986, 3.874, 4.97");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.2792, 0.3575, 0.618, 1.128, 1.961, 3.156, 4.73, 6.71, 9.136, 12.02",\
                 "0.2795, 0.3571, 0.619, 1.129, 1.962, 3.155, 4.733, 6.716, 9.133, 12.03",\
                 "0.2792, 0.3572, 0.619, 1.127, 1.961, 3.156, 4.733, 6.71, 9.139, 12.03",\
                 "0.2798, 0.358, 0.6188, 1.129, 1.962, 3.156, 4.729, 6.711, 9.136, 12.02",\
                 "0.297, 0.3732, 0.626, 1.131, 1.963, 3.153, 4.733, 6.718, 9.139, 12.03",\
                 "0.3338, 0.406, 0.6516, 1.146, 1.968, 3.156, 4.732, 6.718, 9.136, 12.02",\
                 "0.3794, 0.4508, 0.683, 1.164, 1.979, 3.161, 4.724, 6.707, 9.135, 12.03",\
                 "0.4294, 0.5014, 0.7238, 1.185, 1.987, 3.17, 4.733, 6.71, 9.128, 12.01",\
                 "0.4836, 0.5606, 0.774, 1.215, 1.999, 3.175, 4.741, 6.718, 9.134, 12.02",\
                 "0.5368, 0.6216, 0.8342, 1.25, 2.016, 3.18, 4.742, 6.726, 9.134, 12.01");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("1.509, 1.592, 1.794, 2.055, 2.362, 2.717, 3.134, 3.625, 4.205, 4.886",\
                 "1.538, 1.622, 1.824, 2.086, 2.392, 2.747, 3.164, 3.655, 4.235, 4.916",\
                 "1.635, 1.719, 1.921, 2.182, 2.489, 2.845, 3.261, 3.752, 4.332, 5.013",\
                 "1.837, 1.92, 2.122, 2.384, 2.69, 3.046, 3.462, 3.953, 4.533, 5.214",\
                 "2.169, 2.252, 2.455, 2.716, 3.022, 3.377, 3.794, 4.285, 4.865, 5.546",\
                 "2.645, 2.728, 2.931, 3.192, 3.498, 3.854, 4.271, 4.762, 5.342, 6.024",\
                 "3.22, 3.311, 3.525, 3.794, 4.105, 4.463, 4.881, 5.373, 5.953, 6.634",\
                 "3.831, 3.932, 4.168, 4.456, 4.78, 5.147, 5.57, 6.064, 6.645, 7.326",\
                 "4.475, 4.583, 4.843, 5.154, 5.492, 5.87, 6.301, 6.802, 7.386, 8.068",\
                 "5.149, 5.267, 5.547, 5.885, 6.246, 6.635, 7.074, 7.579, 8.167, 8.851");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.7902, 0.8674, 1.081, 1.426, 1.934, 2.638, 3.561, 4.721, 6.135, 7.821",\
                 "0.8171, 0.8945, 1.108, 1.453, 1.961, 2.665, 3.587, 4.746, 6.161, 7.846",\
                 "0.9133, 0.9906, 1.204, 1.549, 2.057, 2.761, 3.683, 4.844, 6.258, 7.944",\
                 "1.096, 1.173, 1.386, 1.73, 2.238, 2.942, 3.865, 5.025, 6.44, 8.126",\
                 "1.35, 1.429, 1.645, 1.99, 2.498, 3.201, 4.124, 5.285, 6.7, 8.387",\
                 "1.605, 1.69, 1.915, 2.265, 2.774, 3.478, 4.4, 5.56, 6.976, 8.663",\
                 "1.842, 1.935, 2.171, 2.527, 3.038, 3.742, 4.664, 5.824, 7.241, 8.927",\
                 "2.055, 2.157, 2.408, 2.77, 3.282, 3.986, 4.91, 6.07, 7.485, 9.174",\
                 "2.238, 2.35, 2.62, 2.991, 3.505, 4.207, 5.13, 6.291, 7.707, 9.393",\
                 "2.386, 2.508, 2.8, 3.185, 3.7, 4.402, 5.323, 6.484, 7.901, 9.588");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.4052, 0.4646, 0.6152, 0.8466, 1.165, 1.593, 2.154, 2.885, 3.805, 4.922",\
                 "0.4052, 0.4638, 0.6162, 0.8466, 1.165, 1.592, 2.155, 2.884, 3.804, 4.928",\
                 "0.4058, 0.4642, 0.6158, 0.8466, 1.166, 1.592, 2.155, 2.885, 3.805, 4.925",\
                 "0.4056, 0.4636, 0.6158, 0.8462, 1.166, 1.592, 2.154, 2.885, 3.805, 4.928",\
                 "0.4054, 0.4636, 0.615, 0.8464, 1.165, 1.593, 2.154, 2.885, 3.805, 4.922",\
                 "0.412, 0.4694, 0.6194, 0.8494, 1.168, 1.592, 2.153, 2.886, 3.805, 4.929",\
                 "0.4644, 0.5222, 0.6604, 0.8764, 1.185, 1.605, 2.161, 2.888, 3.804, 4.924",\
                 "0.533, 0.5968, 0.7412, 0.9462, 1.242, 1.646, 2.191, 2.905, 3.817, 4.928",\
                 "0.6028, 0.6714, 0.828, 1.03, 1.312, 1.704, 2.242, 2.944, 3.842, 4.948",\
                 "0.672, 0.748, 0.924, 1.126, 1.394, 1.772, 2.292, 2.986, 3.874, 4.97");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009675, 0.04013, 0.09828, 0.1889, 0.316, 0.4833, 0.694, 0.9513, 1.258");
          values("0.2792, 0.3575, 0.618, 1.128, 1.961, 3.156, 4.73, 6.71, 9.136, 12.02",\
                 "0.2795, 0.3571, 0.619, 1.129, 1.962, 3.155, 4.733, 6.716, 9.133, 12.03",\
                 "0.2792, 0.3572, 0.619, 1.127, 1.961, 3.156, 4.733, 6.71, 9.139, 12.03",\
                 "0.2798, 0.358, 0.6188, 1.129, 1.962, 3.156, 4.729, 6.711, 9.136, 12.02",\
                 "0.297, 0.3732, 0.626, 1.131, 1.963, 3.153, 4.733, 6.718, 9.139, 12.03",\
                 "0.3338, 0.406, 0.6516, 1.146, 1.968, 3.156, 4.732, 6.718, 9.136, 12.02",\
                 "0.3794, 0.4508, 0.683, 1.164, 1.979, 3.161, 4.724, 6.707, 9.135, 12.03",\
                 "0.4294, 0.5014, 0.7238, 1.185, 1.987, 3.17, 4.733, 6.71, 9.128, 12.01",\
                 "0.4836, 0.5606, 0.774, 1.215, 1.999, 3.175, 4.741, 6.718, 9.134, 12.02",\
                 "0.5368, 0.6216, 0.8342, 1.25, 2.016, 3.18, 4.742, 6.726, 9.134, 12.01");
        }
      }
    }
  }