blob: 9d68593d7825f640daa9a02c5e377cdffe732dde [file] [log] [blame]
{
"area": 12.7872,
"cell_footprint": "sky130_fd_sc_ms__maj3",
"cell_leakage_power": 18.89172,
"driver_waveform_fall": "ramp",
"driver_waveform_rise": "ramp",
"leakage_power": [
{
"value": 18.632786,
"when": "!A&!B&C"
},
{
"value": 9.7138884,
"when": "!A&!B&!C"
},
{
"value": 13.7688234,
"when": "!A&B&C"
},
{
"value": 17.4170403,
"when": "!A&B&!C"
},
{
"value": 6.7422481,
"when": "A&!B&C"
},
{
"value": 18.8917202,
"when": "A&!B&!C"
},
{
"value": 3.5297358,
"when": "A&B&C"
},
{
"value": 8.0984437,
"when": "A&B&!C"
}
],
"pg_pin,VGND": {
"pg_type": "primary_ground",
"related_bias_pin": "VPB",
"voltage_name": "VGND"
},
"pg_pin,VNB": {
"pg_type": "nwell",
"physical_connection": "device_layer",
"voltage_name": "VNB"
},
"pg_pin,VPB": {
"pg_type": "pwell",
"physical_connection": "device_layer",
"voltage_name": "VPB"
},
"pg_pin,VPWR": {
"pg_type": "primary_power",
"related_bias_pin": "VNB",
"voltage_name": "VPWR"
},
"pin,A": {
"capacitance": 0.00572,
"clock": "false",
"direction": "input",
"internal_power": {
"fall_power,hidden_pwr_template13": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1.0,
1.5
],
"values": [
0.0110907,
0.0109908,
0.010874,
0.0108247,
0.0107539,
0.0107317,
0.0107017,
0.0107196,
0.0107498,
0.0107819,
0.0108334,
0.010914,
0.011038
]
},
"rise_power,hidden_pwr_template13": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1.0,
1.5
],
"values": [
-0.010637,
-0.0106434,
-0.0106497,
-0.0106537,
-0.0106564,
-0.010661,
-0.0106646,
-0.0106572,
-0.010643,
-0.0106199,
-0.0105821,
-0.0105218,
-0.0104281
]
}
},
"max_transition": 1.0,
"related_ground_pin": "VGND",
"related_power_pin": "VPWR"
},
"pin,B": {
"capacitance": 0.00536,
"clock": "false",
"direction": "input",
"internal_power": {
"fall_power,hidden_pwr_template13": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1.0,
1.5
],
"values": [
0.0119392,
0.0119255,
0.0119103,
0.0119052,
0.0119006,
0.0118964,
0.0118931,
0.0118821,
0.0118686,
0.011898,
0.0119452,
0.0120191,
0.0121328
]
},
"rise_power,hidden_pwr_template13": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1.0,
1.5
],
"values": [
-0.0100489,
-0.0100565,
-0.0100646,
-0.0100774,
-0.0100941,
-0.0100905,
-0.0100826,
-0.0100278,
-0.0099433,
-0.0098987,
-0.0098294,
-0.0097231,
-0.0095613
]
}
},
"max_transition": 1.0,
"related_ground_pin": "VGND",
"related_power_pin": "VPWR"
},
"pin,C": {
"capacitance": 0.00554,
"clock": "false",
"direction": "input",
"internal_power": {
"fall_power,hidden_pwr_template13": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1.0,
1.5
],
"values": [
0.0121002,
0.0120415,
0.0119734,
0.0119476,
0.0119121,
0.0119009,
0.0118874,
0.011889,
0.0118947,
0.0119271,
0.0119786,
0.0120593,
0.0121835
]
},
"rise_power,hidden_pwr_template13": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1.0,
1.5
],
"values": [
-0.0108674,
-0.0108799,
-0.0108937,
-0.0109032,
-0.0109148,
-0.0109106,
-0.0109016,
-0.0108805,
-0.0108461,
-0.010804,
-0.0107383,
-0.0106371,
-0.0104826
]
}
},
"max_transition": 1.0,
"related_ground_pin": "VGND",
"related_power_pin": "VPWR"
},
"pin,X": {
"direction": "output",
"function": "(A&B) | (A&C) | (B&C)",
"internal_power": [
{
"fall_power,pwr_template13x7": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1,
1.5
],
"index_2": [
0,
0.00788,
0.01577,
0.03154,
0.06308,
0.12616,
0.25233
],
"values": [
[
0.0256084,
0.0109335,
-0.003008,
-0.0326895,
-0.0927831,
-0.2128456,
-0.4527781
],
[
0.025495,
0.0108827,
-0.0030692,
-0.032764,
-0.0928568,
-0.2129142,
-0.4528157
],
[
0.0254516,
0.0108587,
-0.0031235,
-0.0327874,
-0.0928905,
-0.2129471,
-0.4528946
],
[
0.0253109,
0.0107312,
-0.0032459,
-0.0329089,
-0.0930083,
-0.2130617,
-0.4529808
],
[
0.0252277,
0.010601,
-0.0033489,
-0.0330017,
-0.0930968,
-0.2131441,
-0.4530799
],
[
0.0253212,
0.0105648,
-0.0033749,
-0.0330434,
-0.0931221,
-0.213171,
-0.4530714
],
[
0.0258803,
0.0110316,
-0.0029617,
-0.0326682,
-0.0927826,
-0.2128515,
-0.4527856
],
[
0.0272575,
0.0122399,
-0.0017865,
-0.0315694,
-0.091757,
-0.2118802,
-0.4518483
],
[
0.0296247,
0.0145811,
0.0004516,
-0.0293879,
-0.0896675,
-0.2098661,
-0.4498879
],
[
0.035895,
0.0177918,
0.0044652,
-0.0254397,
-0.0858469,
-0.2061762,
-0.44628
],
[
0.0457339,
0.0273087,
0.0110198,
-0.0187855,
-0.0793715,
-0.1999159,
-0.4401854
],
[
0.0585629,
0.0395048,
0.0229062,
-0.0085896,
-0.0689403,
-0.1897817,
-0.4303059
],
[
0.0775534,
0.0576647,
0.0405558,
0.0085716,
-0.053214,
-0.1738123,
-0.4147734
]
]
},
"related_pin": "A",
"rise_power,pwr_template13x7": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1,
1.5
],
"index_2": [
0,
0.00788,
0.01577,
0.03154,
0.06308,
0.12616,
0.25233
],
"values": [
[
0.0214739,
0.0364233,
0.0513899,
0.0811195,
0.140572,
0.2594792,
0.497364
],
[
0.0212266,
0.0361603,
0.0511067,
0.0809067,
0.1404842,
0.2597279,
0.4976121
],
[
0.0210659,
0.0359775,
0.0509338,
0.0807471,
0.1402985,
0.2594419,
0.4969374
],
[
0.0209441,
0.0358643,
0.0507989,
0.0805485,
0.1401562,
0.2592175,
0.4973716
],
[
0.0209451,
0.035809,
0.0507322,
0.0805228,
0.140065,
0.259392,
0.4971305
],
[
0.0212247,
0.0359507,
0.0508799,
0.0806223,
0.1401822,
0.2594802,
0.4972113
],
[
0.0219829,
0.0364857,
0.0513368,
0.0811065,
0.1408793,
0.2593695,
0.497144
],
[
0.0236741,
0.0378259,
0.0524662,
0.0821381,
0.1419031,
0.260336,
0.4983702
],
[
0.0265713,
0.0398897,
0.0545986,
0.0840335,
0.1436222,
0.2625288,
0.5005289
],
[
0.0311354,
0.044275,
0.0580478,
0.0875985,
0.1466215,
0.2658639,
0.5034516
],
[
0.0385377,
0.0509395,
0.0647389,
0.0930124,
0.1524954,
0.2706239,
0.5087795
],
[
0.0503407,
0.0620468,
0.0751537,
0.1032536,
0.1612439,
0.2795657,
0.5167782
],
[
0.0686246,
0.0794671,
0.0922396,
0.1196059,
0.1758629,
0.293708,
0.5302064
]
]
},
"when": "(!B&C)"
},
{
"fall_power,pwr_template13x7": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1,
1.5
],
"index_2": [
0,
0.00788,
0.01577,
0.03154,
0.06308,
0.12616,
0.25233
],
"values": [
[
0.0269165,
0.0124428,
-0.0018209,
-0.0315743,
-0.0914956,
-0.211372,
-0.4511352
],
[
0.0269915,
0.012383,
-0.001854,
-0.0316075,
-0.0915788,
-0.2114686,
-0.4512743
],
[
0.0269696,
0.0123683,
-0.0018921,
-0.0316645,
-0.0915544,
-0.2114884,
-0.451231
],
[
0.0268196,
0.0122522,
-0.0020148,
-0.0317925,
-0.0917222,
-0.2116195,
-0.4514167
],
[
0.026822,
0.0121661,
-0.0020877,
-0.0318554,
-0.0918061,
-0.2116742,
-0.4515351
],
[
0.0267331,
0.0121871,
-0.0020917,
-0.031818,
-0.0917768,
-0.211649,
-0.4514296
],
[
0.0274866,
0.0126726,
-0.0016351,
-0.0314192,
-0.0913581,
-0.2112304,
-0.451047
],
[
0.0289626,
0.0139427,
-0.0004792,
-0.0303029,
-0.0902938,
-0.2102177,
-0.4500304
],
[
0.031151,
0.0161649,
0.0018029,
-0.028119,
-0.0881806,
-0.2080924,
-0.447931
],
[
0.0370784,
0.0193654,
0.0057508,
-0.0241773,
-0.0842665,
-0.2043043,
-0.4441697
],
[
0.0458891,
0.0276695,
0.011715,
-0.0179804,
-0.0780995,
-0.1982391,
-0.4381347
],
[
0.0577056,
0.0388371,
0.0224188,
-0.0086919,
-0.0684941,
-0.1886843,
-0.4287307
],
[
0.0761436,
0.0559948,
0.0388567,
0.0069676,
-0.05446,
-0.1743736,
-0.4145302
]
]
},
"related_pin": "A",
"rise_power,pwr_template13x7": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1,
1.5
],
"index_2": [
0,
0.00788,
0.01577,
0.03154,
0.06308,
0.12616,
0.25233
],
"values": [
[
0.0188585,
0.0331249,
0.0475576,
0.0767588,
0.1358759,
0.2547467,
0.4926491
],
[
0.0186246,
0.0328896,
0.0473406,
0.0765113,
0.1359446,
0.2546256,
0.4922063
],
[
0.0184492,
0.0326964,
0.0471444,
0.0763666,
0.1354876,
0.254474,
0.4920019
],
[
0.0183088,
0.0325485,
0.0470009,
0.0761918,
0.1353692,
0.2538112,
0.4920962
],
[
0.0183255,
0.0325321,
0.0469708,
0.0762592,
0.1355532,
0.2537367,
0.4915627
],
[
0.0186198,
0.0327437,
0.0472061,
0.0764691,
0.1357657,
0.2539166,
0.4913702
],
[
0.0194401,
0.0334313,
0.0478476,
0.077044,
0.1361034,
0.2551275,
0.4926477
],
[
0.0213843,
0.0349311,
0.0491783,
0.0783301,
0.1375252,
0.2561326,
0.4936197
],
[
0.0245495,
0.0374494,
0.0518371,
0.0806084,
0.1393811,
0.2581377,
0.4949864
],
[
0.0295562,
0.0425121,
0.0560848,
0.0852194,
0.1433796,
0.2618017,
0.4987775
],
[
0.037604,
0.050111,
0.0640142,
0.0919491,
0.1505729,
0.2679891,
0.5054792
],
[
0.0501968,
0.0620151,
0.0757002,
0.1038435,
0.1613572,
0.2789354,
0.5150406
],
[
0.0694629,
0.0804467,
0.0937124,
0.1217073,
0.17846,
0.2956052,
0.5311674
]
]
},
"when": "(B&!C)"
},
{
"fall_power,pwr_template13x7": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1,
1.5
],
"index_2": [
0,
0.00788,
0.01577,
0.03154,
0.06308,
0.12616,
0.25233
],
"values": [
[
0.0202434,
0.0057657,
-0.0080701,
-0.0376228,
-0.0976478,
-0.2176794,
-0.4576317
],
[
0.0199235,
0.0054107,
-0.0083956,
-0.0379696,
-0.0979042,
-0.217913,
-0.4579609
],
[
0.0195597,
0.0051357,
-0.0086867,
-0.0382289,
-0.0981987,
-0.2182063,
-0.4581592
],
[
0.0193205,
0.0048917,
-0.0089915,
-0.0384496,
-0.0984742,
-0.2184816,
-0.4584948
],
[
0.0192501,
0.0048811,
-0.0090781,
-0.03869,
-0.0986475,
-0.218673,
-0.458437
],
[
0.0193353,
0.0047719,
-0.0090659,
-0.0386101,
-0.0986891,
-0.218669,
-0.4586886
],
[
0.0200776,
0.0054875,
-0.008433,
-0.0380456,
-0.0981244,
-0.2181523,
-0.4580075
],
[
0.0219929,
0.0070697,
-0.0069249,
-0.0366248,
-0.0967662,
-0.2168762,
-0.4568518
],
[
0.0247875,
0.009506,
-0.0045474,
-0.0342944,
-0.0944988,
-0.2146781,
-0.4547108
],
[
0.029922,
0.0124862,
-0.0008778,
-0.0305489,
-0.0908827,
-0.2111867,
-0.4512811
],
[
0.0395189,
0.0211659,
0.0049668,
-0.0242973,
-0.0848219,
-0.2052622,
-0.4455358
],
[
0.0517496,
0.0326851,
0.0161841,
-0.0151455,
-0.0751676,
-0.1959176,
-0.4364147
],
[
0.0696016,
0.0497753,
0.0329678,
0.0011501,
-0.0606338,
-0.1809052,
-0.421819
]
]
},
"related_pin": "B",
"rise_power,pwr_template13x7": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1,
1.5
],
"index_2": [
0,
0.00788,
0.01577,
0.03154,
0.06308,
0.12616,
0.25233
],
"values": [
[
0.0193734,
0.0343801,
0.0494054,
0.0792172,
0.1390364,
0.2575714,
0.4959957
],
[
0.0193249,
0.0343303,
0.0493531,
0.0791371,
0.139019,
0.2575487,
0.4958859
],
[
0.0192681,
0.0342734,
0.0492908,
0.079074,
0.138645,
0.2575224,
0.4951657
],
[
0.0192464,
0.0342117,
0.0492165,
0.0790045,
0.1385851,
0.2575345,
0.4957825
],
[
0.0194044,
0.0342208,
0.049178,
0.0790031,
0.1388484,
0.2575585,
0.4951896
],
[
0.0198506,
0.0343832,
0.0492767,
0.0789826,
0.1385695,
0.2575392,
0.495983
],
[
0.0206017,
0.0349154,
0.0497327,
0.0793923,
0.1389448,
0.2575664,
0.4966319
],
[
0.022125,
0.0361082,
0.05073,
0.0803332,
0.1400155,
0.2591907,
0.4973552
],
[
0.0250284,
0.0381823,
0.0528415,
0.0822363,
0.1417407,
0.2609131,
0.499117
],
[
0.0295943,
0.0425156,
0.056319,
0.0858022,
0.1446619,
0.264043,
0.5014892
],
[
0.0371063,
0.0493474,
0.0631863,
0.0914226,
0.1506413,
0.268941,
0.5065228
],
[
0.0488571,
0.0601839,
0.0737088,
0.1017372,
0.1593913,
0.2776838,
0.5153776
],
[
0.0668669,
0.0774346,
0.0902704,
0.1177871,
0.1739834,
0.2915677,
0.5278227
]
]
},
"when": "(!A&C)"
},
{
"fall_power,pwr_template13x7": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1,
1.5
],
"index_2": [
0,
0.00788,
0.01577,
0.03154,
0.06308,
0.12616,
0.25233
],
"values": [
[
0.0200148,
0.0054771,
-0.0077939,
-0.03683,
-0.0966554,
-0.2166567,
-0.456577
],
[
0.0196061,
0.0050658,
-0.0081941,
-0.037226,
-0.0970625,
-0.217054,
-0.4569705
],
[
0.0192833,
0.0047905,
-0.0085018,
-0.0375209,
-0.0973734,
-0.2173764,
-0.4572546
],
[
0.0190814,
0.0045667,
-0.0087611,
-0.0377971,
-0.0976549,
-0.2176356,
-0.4576061
],
[
0.0189116,
0.0044211,
-0.0088899,
-0.0379307,
-0.0977587,
-0.217721,
-0.4577739
],
[
0.019028,
0.00454,
-0.0087968,
-0.0378423,
-0.0976988,
-0.2176999,
-0.4576081
],
[
0.0199418,
0.0053398,
-0.0080482,
-0.0371396,
-0.097009,
-0.2170339,
-0.4569673
],
[
0.0221285,
0.0069286,
-0.0065283,
-0.0356677,
-0.0956219,
-0.2156828,
-0.4556622
],
[
0.0249978,
0.0095126,
-0.0040894,
-0.0332348,
-0.0932325,
-0.2133411,
-0.4533585
],
[
0.0297729,
0.0125572,
-0.0003445,
-0.0295144,
-0.0895674,
-0.2097297,
-0.4497586
],
[
0.040015,
0.0212827,
0.0051129,
-0.0236472,
-0.0837301,
-0.2039956,
-0.4441076
],
[
0.0524929,
0.0329927,
0.0162675,
-0.0152235,
-0.0749174,
-0.1953479,
-0.435538
],
[
0.0702244,
0.0496107,
0.0321675,
-0.0002164,
-0.0619767,
-0.181901,
-0.4223605
]
]
},
"related_pin": "B",
"rise_power,pwr_template13x7": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1,
1.5
],
"index_2": [
0,
0.00788,
0.01577,
0.03154,
0.06308,
0.12616,
0.25233
],
"values": [
[
0.0214383,
0.0358062,
0.0502819,
0.0795275,
0.1389548,
0.2571863,
0.4947115
],
[
0.0214668,
0.0358141,
0.0503208,
0.0795275,
0.1386438,
0.2571016,
0.4946654
],
[
0.0214601,
0.0358384,
0.0503521,
0.0795823,
0.1389293,
0.2571198,
0.4948451
],
[
0.021457,
0.0358094,
0.0503195,
0.0795723,
0.1389846,
0.2572091,
0.4946888
],
[
0.0215607,
0.0358924,
0.0503623,
0.0796505,
0.1389345,
0.2570575,
0.4946102
],
[
0.0219576,
0.0361844,
0.0506561,
0.0798445,
0.1389163,
0.2572976,
0.4947499
],
[
0.0226234,
0.0366746,
0.0511597,
0.0803039,
0.1393539,
0.2580996,
0.4958335
],
[
0.0240732,
0.0379189,
0.0522813,
0.0814265,
0.140619,
0.2590575,
0.4963837
],
[
0.0269186,
0.0400483,
0.0545295,
0.0833834,
0.1421103,
0.2604342,
0.4983908
],
[
0.0312181,
0.0442187,
0.0578061,
0.0870497,
0.1455069,
0.2635396,
0.5009467
],
[
0.0384487,
0.0509899,
0.0647772,
0.0928881,
0.151886,
0.2695187,
0.5065975
],
[
0.0501183,
0.0618978,
0.075612,
0.103929,
0.1615033,
0.2791791,
0.5160731
],
[
0.0679783,
0.0788883,
0.0923391,
0.1200475,
0.1768807,
0.2946858,
0.5299528
]
]
},
"when": "(A&!C)"
},
{
"fall_power,pwr_template13x7": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1,
1.5
],
"index_2": [
0,
0.00788,
0.01577,
0.03154,
0.06308,
0.12616,
0.25233
],
"values": [
[
0.0252019,
0.0106786,
-0.0034896,
-0.0331204,
-0.0929977,
-0.2128301,
-0.4526534
],
[
0.0248264,
0.0103899,
-0.0037799,
-0.0334266,
-0.0932771,
-0.213108,
-0.4528507
],
[
0.0246857,
0.0101772,
-0.0039929,
-0.033647,
-0.0934777,
-0.2133486,
-0.4531262
],
[
0.0245094,
0.0099672,
-0.0042297,
-0.0338937,
-0.0937452,
-0.2135917,
-0.4533779
],
[
0.0244366,
0.0098747,
-0.0043494,
-0.0340114,
-0.0939496,
-0.2137326,
-0.4535219
],
[
0.0246787,
0.0100276,
-0.0041693,
-0.0338702,
-0.0937455,
-0.2135717,
-0.4533864
],
[
0.0254192,
0.0108291,
-0.0034907,
-0.033171,
-0.093117,
-0.212961,
-0.4527832
],
[
0.0273428,
0.0123573,
-0.0020009,
-0.0318,
-0.0917419,
-0.2116394,
-0.4514611
],
[
0.0304239,
0.0150319,
0.0005831,
-0.0292364,
-0.0892853,
-0.2092695,
-0.4491374
],
[
0.0361247,
0.0187908,
0.0049438,
-0.0249494,
-0.0850663,
-0.2051321,
-0.4449858
],
[
0.0457759,
0.0275849,
0.0116335,
-0.0179064,
-0.078219,
-0.1982582,
-0.4381777
],
[
0.058794,
0.0399515,
0.0236284,
-0.0072721,
-0.0670801,
-0.1873404,
-0.4273409
],
[
0.0783511,
0.0588316,
0.0421731,
0.0107292,
-0.0506102,
-0.1703078,
-0.4104972
]
]
},
"related_pin": "C",
"rise_power,pwr_template13x7": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1,
1.5
],
"index_2": [
0,
0.00788,
0.01577,
0.03154,
0.06308,
0.12616,
0.25233
],
"values": [
[
0.0175486,
0.0325544,
0.0475597,
0.0773503,
0.1372283,
0.2557989,
0.4942701
],
[
0.0172951,
0.0322987,
0.0472983,
0.0771176,
0.1366815,
0.2555533,
0.4931444
],
[
0.017111,
0.0321071,
0.0470767,
0.0768674,
0.136612,
0.2560138,
0.4932357
],
[
0.0169685,
0.0319135,
0.0468872,
0.0766736,
0.13627,
0.2551816,
0.4934627
],
[
0.0170915,
0.0318991,
0.0468503,
0.076604,
0.1362112,
0.2552339,
0.4932067
],
[
0.017435,
0.0320705,
0.0469561,
0.0767287,
0.1363307,
0.2553739,
0.4935771
],
[
0.0182933,
0.0326998,
0.0475588,
0.0772058,
0.1368203,
0.2561023,
0.4938451
],
[
0.0202935,
0.0342199,
0.0488747,
0.07842,
0.1379671,
0.2575957,
0.4955697
],
[
0.0236754,
0.0368923,
0.0516393,
0.0809862,
0.1405214,
0.2596653,
0.4979638
],
[
0.0289966,
0.0421658,
0.0560991,
0.085576,
0.1444772,
0.2636266,
0.5017366
],
[
0.0374205,
0.0500869,
0.0642895,
0.0926683,
0.1520372,
0.2701339,
0.5082285
],
[
0.0505311,
0.0624386,
0.0763657,
0.1050715,
0.1632101,
0.2816957,
0.5194575
],
[
0.0703704,
0.08148,
0.094978,
0.1234317,
0.1809351,
0.2992991,
0.5357367
]
]
},
"when": "(!A&B)"
},
{
"fall_power,pwr_template13x7": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1,
1.5
],
"index_2": [
0,
0.00788,
0.01577,
0.03154,
0.06308,
0.12616,
0.25233
],
"values": [
[
0.021916,
0.0073814,
-0.0059057,
-0.0349333,
-0.0947907,
-0.2147873,
-0.4547064
],
[
0.0216235,
0.0071085,
-0.0061938,
-0.0352355,
-0.095102,
-0.2150902,
-0.4550285
],
[
0.0214036,
0.0068712,
-0.0064217,
-0.0354833,
-0.0952928,
-0.2153076,
-0.4551668
],
[
0.0210609,
0.0065809,
-0.0067125,
-0.0357597,
-0.0956032,
-0.2156033,
-0.4554752
],
[
0.0208798,
0.0064091,
-0.0069552,
-0.0359845,
-0.0958552,
-0.2158235,
-0.4558249
],
[
0.0208038,
0.0063349,
-0.007029,
-0.0360619,
-0.0959345,
-0.215907,
-0.4558097
],
[
0.0214523,
0.0067388,
-0.0066417,
-0.0357252,
-0.0955905,
-0.2155962,
-0.4555101
],
[
0.0229649,
0.0078831,
-0.0055819,
-0.0346912,
-0.0945717,
-0.21461,
-0.4545492
],
[
0.025041,
0.0099389,
-0.0035495,
-0.0326269,
-0.092577,
-0.2126231,
-0.4526068
],
[
0.0309703,
0.0130441,
-9.45e-05,
-0.0290362,
-0.0889984,
-0.2091113,
-0.4491253
],
[
0.0407761,
0.0224746,
0.0062952,
-0.0230242,
-0.0829337,
-0.2031482,
-0.4431953
],
[
0.0532899,
0.0343838,
0.0178458,
-0.0133889,
-0.0731794,
-0.1935482,
-0.4337039
],
[
0.0714573,
0.0517701,
0.034736,
0.0029925,
-0.0583954,
-0.1783525,
-0.418726
]
]
},
"related_pin": "C",
"rise_power,pwr_template13x7": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1,
1.5
],
"index_2": [
0,
0.00788,
0.01577,
0.03154,
0.06308,
0.12616,
0.25233
],
"values": [
[
0.0246282,
0.039596,
0.0546401,
0.084582,
0.1442126,
0.2636352,
0.5013896
],
[
0.0245464,
0.0395165,
0.0545474,
0.0844736,
0.1441607,
0.263606,
0.5015021
],
[
0.0244626,
0.0394162,
0.0544482,
0.0843098,
0.1439937,
0.2629309,
0.5004184
],
[
0.0243708,
0.0393084,
0.0543087,
0.0842194,
0.1439494,
0.2633305,
0.500643
],
[
0.0243237,
0.0392193,
0.0542088,
0.084097,
0.1438127,
0.2631479,
0.5004513
],
[
0.024549,
0.0393399,
0.0542697,
0.0840866,
0.1438536,
0.2625985,
0.5010377
],
[
0.0251924,
0.0397482,
0.0545698,
0.0843287,
0.1439626,
0.2631626,
0.5013433
],
[
0.0264493,
0.0407245,
0.0553765,
0.0850603,
0.1449226,
0.2634371,
0.5012372
],
[
0.0293897,
0.0428413,
0.0574463,
0.086814,
0.1464713,
0.2650977,
0.5034042
],
[
0.0337655,
0.0470097,
0.060972,
0.0905285,
0.1494458,
0.2687108,
0.5058437
],
[
0.041097,
0.0539073,
0.0680108,
0.0966523,
0.1558827,
0.2739894,
0.5122977
],
[
0.0525594,
0.0647342,
0.0785991,
0.1070135,
0.1654143,
0.2838982,
0.5207982
],
[
0.0703645,
0.0817311,
0.0951732,
0.1235006,
0.181016,
0.2993522,
0.5360275
]
]
},
"when": "(A&!B)"
}
],
"max_capacitance": 0.1682,
"power_down_function": "(!VPWR + VGND)",
"related_ground_pin": "VGND",
"related_power_pin": "VPWR",
"timing": [
{
"cell_fall,delay_template13x7": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1.0,
1.5
],
"index_2": [
0.0,
0.0079,
0.0158,
0.0316,
0.0632,
0.1264,
0.25279
],
"values": [
[
0.10365,
0.14396,
0.17164,
0.21726,
0.29677,
0.44583,
0.74019
],
[
0.10515,
0.14546,
0.17313,
0.21874,
0.29821,
0.44739,
0.74195
],
[
0.10702,
0.14731,
0.17498,
0.22059,
0.30007,
0.44922,
0.74338
],
[
0.10965,
0.14993,
0.17761,
0.22321,
0.30269,
0.45183,
0.74638
],
[
0.11354,
0.15378,
0.18147,
0.22709,
0.30657,
0.4557,
0.7502
],
[
0.11974,
0.15993,
0.18764,
0.23328,
0.31277,
0.46196,
0.75603
],
[
0.12973,
0.1699,
0.19765,
0.24332,
0.32283,
0.472,
0.76642
],
[
0.14405,
0.18555,
0.2136,
0.25947,
0.33906,
0.48812,
0.78256
],
[
0.16594,
0.20871,
0.23759,
0.28433,
0.36433,
0.51348,
0.80765
],
[
0.19909,
0.2434,
0.27309,
0.32086,
0.40188,
0.5514,
0.84589
],
[
0.24752,
0.29409,
0.32494,
0.37407,
0.45632,
0.60662,
0.90082
],
[
0.31677,
0.36657,
0.39927,
0.45057,
0.53487,
0.68627,
0.98067
],
[
0.4152,
0.4694,
0.5046,
0.5593,
0.6474,
0.8014,
1.0964
]
]
},
"cell_rise,delay_template13x7": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1.0,
1.5
],
"index_2": [
0.0,
0.0079,
0.0158,
0.0316,
0.0632,
0.1264,
0.25279
],
"values": [
[
0.07061,
0.10942,
0.14164,
0.20426,
0.32865,
0.57608,
1.07217
],
[
0.07146,
0.11022,
0.14247,
0.20504,
0.32935,
0.577,
1.07154
],
[
0.07255,
0.11128,
0.14352,
0.20607,
0.33031,
0.57795,
1.07292
],
[
0.0743,
0.11298,
0.14519,
0.20772,
0.33193,
0.57937,
1.07517
],
[
0.07698,
0.11557,
0.14774,
0.21029,
0.33447,
0.58219,
1.07681
],
[
0.08071,
0.11924,
0.15136,
0.2139,
0.33819,
0.58583,
1.08102
],
[
0.08468,
0.12354,
0.15567,
0.21822,
0.34245,
0.58977,
1.08623
],
[
0.08766,
0.12702,
0.15926,
0.22173,
0.34602,
0.5937,
1.08996
],
[
0.08785,
0.1281,
0.16049,
0.22301,
0.34711,
0.59462,
1.09085
],
[
0.08266,
0.12439,
0.15714,
0.21972,
0.34404,
0.59138,
1.08689
],
[
0.06826,
0.11206,
0.14562,
0.20857,
0.33283,
0.58022,
1.07452
],
[
0.03888,
0.0854,
0.12022,
0.18437,
0.30937,
0.55797,
1.05187
],
[
-0.0142,
0.0357,
0.0723,
0.1381,
0.2653,
0.5155,
1.0107
]
]
},
"fall_transition,delay_template13x7": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1.0,
1.5
],
"index_2": [
0.0,
0.0079,
0.0158,
0.0316,
0.0632,
0.1264,
0.25279
],
"values": [
[
0.02078,
0.05447,
0.07948,
0.12542,
0.21723,
0.40866,
0.80257
],
[
0.02076,
0.05448,
0.07945,
0.12542,
0.21733,
0.4084,
0.80258
],
[
0.02076,
0.05443,
0.07944,
0.1254,
0.21729,
0.40844,
0.80189
],
[
0.02074,
0.05442,
0.07941,
0.12538,
0.21706,
0.4085,
0.80255
],
[
0.02075,
0.05443,
0.07941,
0.12535,
0.21718,
0.40827,
0.80261
],
[
0.02079,
0.05448,
0.07943,
0.12535,
0.21716,
0.40814,
0.80223
],
[
0.02157,
0.05492,
0.07974,
0.12547,
0.21726,
0.40815,
0.8024
],
[
0.02333,
0.05682,
0.08112,
0.12634,
0.21758,
0.40855,
0.80236
],
[
0.02513,
0.05937,
0.08377,
0.12863,
0.21895,
0.40895,
0.80189
],
[
0.02766,
0.06264,
0.0872,
0.13177,
0.22139,
0.41004,
0.80273
],
[
0.03167,
0.06752,
0.09211,
0.13645,
0.22486,
0.41201,
0.8035
],
[
0.0377,
0.0751,
0.0999,
0.1438,
0.2308,
0.4149,
0.8032
],
[
0.0463,
0.0863,
0.1115,
0.1556,
0.2413,
0.4219,
0.8062
]
]
},
"related_pin": "A",
"rise_transition,delay_template13x7": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1.0,
1.5
],
"index_2": [
0.0,
0.0079,
0.0158,
0.0316,
0.0632,
0.1264,
0.25279
],
"values": [
[
0.0158,
0.06051,
0.10511,
0.19663,
0.38151,
0.7528,
1.50029
],
[
0.01576,
0.0605,
0.10497,
0.19669,
0.38142,
0.7534,
1.49512
],
[
0.01574,
0.06047,
0.10485,
0.19674,
0.38152,
0.7528,
1.49495
],
[
0.01576,
0.06042,
0.10489,
0.19675,
0.38173,
0.75256,
1.49532
],
[
0.01576,
0.06038,
0.10488,
0.19669,
0.38167,
0.75275,
1.49503
],
[
0.01596,
0.06056,
0.10498,
0.1967,
0.38204,
0.75291,
1.49488
],
[
0.01658,
0.06111,
0.1052,
0.19655,
0.38145,
0.75335,
1.49537
],
[
0.01762,
0.06206,
0.10592,
0.19696,
0.38141,
0.75302,
1.49627
],
[
0.01914,
0.06365,
0.10692,
0.19715,
0.38185,
0.75253,
1.49516
],
[
0.02137,
0.06617,
0.1088,
0.19869,
0.38247,
0.75288,
1.49573
],
[
0.0245,
0.06996,
0.11212,
0.2008,
0.38331,
0.75496,
1.4939
],
[
0.02878,
0.07531,
0.11736,
0.20505,
0.38691,
0.7554,
1.4948
],
[
0.0346,
0.0822,
0.1248,
0.2121,
0.3942,
0.7607,
1.497
]
]
},
"sdf_cond": "(!B&C)",
"timing_sense": "positive_unate",
"when": "(!B&C)"
},
{
"cell_fall,delay_template13x7": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1.0,
1.5
],
"index_2": [
0.0,
0.0079,
0.0158,
0.0316,
0.0632,
0.1264,
0.25279
],
"values": [
[
0.10562,
0.14333,
0.16913,
0.2122,
0.28925,
0.4373,
0.73201
],
[
0.10736,
0.14506,
0.17085,
0.21392,
0.29097,
0.43896,
0.73373
],
[
0.10932,
0.14701,
0.17281,
0.21586,
0.29286,
0.44097,
0.73547
],
[
0.1121,
0.14979,
0.17558,
0.21865,
0.2957,
0.44371,
0.73845
],
[
0.1163,
0.15396,
0.17976,
0.22284,
0.29983,
0.44798,
0.74253
],
[
0.12305,
0.16065,
0.18648,
0.22958,
0.3066,
0.45463,
0.74937
],
[
0.13398,
0.1715,
0.19732,
0.24043,
0.31751,
0.46556,
0.76028
],
[
0.14975,
0.18829,
0.21437,
0.25764,
0.33477,
0.48272,
0.77719
],
[
0.17285,
0.21258,
0.23944,
0.2835,
0.36093,
0.50916,
0.80365
],
[
0.2069,
0.24794,
0.27554,
0.32051,
0.39884,
0.54733,
0.84189
],
[
0.25598,
0.29876,
0.32729,
0.37332,
0.45252,
0.60142,
0.89592
],
[
0.32567,
0.37087,
0.40067,
0.44827,
0.52857,
0.67787,
0.97257
],
[
0.4241,
0.4726,
0.5043,
0.5541,
0.6365,
0.7866,
1.0817
]
]
},
"cell_rise,delay_template13x7": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1.0,
1.5
],
"index_2": [
0.0,
0.0079,
0.0158,
0.0316,
0.0632,
0.1264,
0.25279
],
"values": [
[
0.06535,
0.10321,
0.13449,
0.1959,
0.31921,
0.56672,
1.06127
],
[
0.06629,
0.10412,
0.13543,
0.19685,
0.32023,
0.56755,
1.06174
],
[
0.06741,
0.10525,
0.13652,
0.19791,
0.32099,
0.56853,
1.06312
],
[
0.06915,
0.10695,
0.13826,
0.19964,
0.32266,
0.57044,
1.06428
],
[
0.07179,
0.10953,
0.14087,
0.20232,
0.32559,
0.57327,
1.06821
],
[
0.07516,
0.11309,
0.14444,
0.20579,
0.32905,
0.57605,
1.07112
],
[
0.07835,
0.11691,
0.14842,
0.20981,
0.33269,
0.58028,
1.07503
],
[
0.08025,
0.11974,
0.15143,
0.21285,
0.33566,
0.58265,
1.07736
],
[
0.0792,
0.12002,
0.15201,
0.21347,
0.33622,
0.58274,
1.07765
],
[
0.07276,
0.11543,
0.14808,
0.20981,
0.33263,
0.57879,
1.07319
],
[
0.05729,
0.10233,
0.13609,
0.19866,
0.32166,
0.56732,
1.06092
],
[
0.02728,
0.07517,
0.1105,
0.17447,
0.29877,
0.54527,
1.03767
],
[
-0.0257,
0.0255,
0.0629,
0.129,
0.2556,
0.5045,
0.9983
]
]
},
"fall_transition,delay_template13x7": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1.0,
1.5
],
"index_2": [
0.0,
0.0079,
0.0158,
0.0316,
0.0632,
0.1264,
0.25279
],
"values": [
[
0.01971,
0.04993,
0.07361,
0.11894,
0.21209,
0.40624,
0.80242
],
[
0.01971,
0.04987,
0.07355,
0.11886,
0.21198,
0.4061,
0.8025
],
[
0.01969,
0.04989,
0.07355,
0.11887,
0.21202,
0.40618,
0.80216
],
[
0.01969,
0.04985,
0.0735,
0.1188,
0.21176,
0.40603,
0.8025
],
[
0.01969,
0.04988,
0.07353,
0.11884,
0.21197,
0.40613,
0.80225
],
[
0.01972,
0.04993,
0.07348,
0.1188,
0.21195,
0.406,
0.80236
],
[
0.02014,
0.05018,
0.07372,
0.11895,
0.21196,
0.40587,
0.80242
],
[
0.02175,
0.05167,
0.07476,
0.11957,
0.21218,
0.40608,
0.8019
],
[
0.0233,
0.054,
0.07714,
0.12137,
0.21312,
0.40631,
0.80238
],
[
0.02537,
0.05663,
0.07992,
0.12397,
0.21476,
0.40677,
0.80257
],
[
0.02837,
0.06021,
0.08359,
0.12721,
0.21717,
0.40807,
0.8028
],
[
0.0327,
0.0656,
0.089,
0.132,
0.2205,
0.4094,
0.8021
],
[
0.0387,
0.0732,
0.0969,
0.1395,
0.2261,
0.4129,
0.8034
]
]
},
"related_pin": "A",
"rise_transition,delay_template13x7": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1.0,
1.5
],
"index_2": [
0.0,
0.0079,
0.0158,
0.0316,
0.0632,
0.1264,
0.25279
],
"values": [
[
0.01627,
0.06087,
0.10509,
0.19623,
0.38132,
0.75247,
1.4942
],
[
0.01629,
0.0608,
0.105,
0.19643,
0.38171,
0.75403,
1.49537
],
[
0.01624,
0.06083,
0.10501,
0.19608,
0.38149,
0.75239,
1.49446
],
[
0.01623,
0.06079,
0.10492,
0.19597,
0.38102,
0.7521,
1.49485
],
[
0.01627,
0.06076,
0.10492,
0.19637,
0.38114,
0.75204,
1.49599
],
[
0.01674,
0.06102,
0.10499,
0.19586,
0.38077,
0.75257,
1.49526
],
[
0.01752,
0.06188,
0.10564,
0.19656,
0.38096,
0.75243,
1.49379
],
[
0.01877,
0.06325,
0.10646,
0.19658,
0.38106,
0.75202,
1.49538
],
[
0.02058,
0.06545,
0.10792,
0.19736,
0.38178,
0.75413,
1.49598
],
[
0.02313,
0.06869,
0.11066,
0.19896,
0.38189,
0.75277,
1.49889
],
[
0.02671,
0.0735,
0.11513,
0.20236,
0.38397,
0.75457,
1.49767
],
[
0.03164,
0.07963,
0.12175,
0.20827,
0.38864,
0.756,
1.4938
],
[
0.0384,
0.0878,
0.1304,
0.2169,
0.3978,
0.7629,
1.4979
]
]
},
"sdf_cond": "(B&!C)",
"timing_sense": "positive_unate",
"when": "(B&!C)"
},
{
"cell_fall,delay_template13x7": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1.0,
1.5
],
"index_2": [
0.0,
0.0079,
0.0158,
0.0316,
0.0632,
0.1264,
0.25279
],
"values": [
[
0.09428,
0.13395,
0.16148,
0.20698,
0.28655,
0.4359,
0.73035
],
[
0.09485,
0.13443,
0.16195,
0.20751,
0.28703,
0.43636,
0.73084
],
[
0.09614,
0.13567,
0.16316,
0.20871,
0.2882,
0.43747,
0.73212
],
[
0.09892,
0.13836,
0.16584,
0.21135,
0.2908,
0.44006,
0.73469
],
[
0.10413,
0.14348,
0.17093,
0.21642,
0.29587,
0.44514,
0.73933
],
[
0.11327,
0.15249,
0.17992,
0.22539,
0.30482,
0.45407,
0.7481
],
[
0.12836,
0.16725,
0.19461,
0.24007,
0.31946,
0.46849,
0.76304
],
[
0.14858,
0.18856,
0.21627,
0.26193,
0.34142,
0.49053,
0.78494
],
[
0.17574,
0.21591,
0.24468,
0.29188,
0.37204,
0.5212,
0.81535
],
[
0.21377,
0.25469,
0.28339,
0.33147,
0.41387,
0.56368,
0.85829
],
[
0.2673,
0.31012,
0.3392,
0.38786,
0.47102,
0.62322,
0.91782
],
[
0.34267,
0.38857,
0.41887,
0.46897,
0.55367,
0.70657,
1.00297
],
[
0.4491,
0.4989,
0.5317,
0.5843,
0.6724,
0.8277,
1.1249
]
]
},
"cell_rise,delay_template13x7": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1.0,
1.5
],
"index_2": [
0.0,
0.0079,
0.0158,
0.0316,
0.0632,
0.1264,
0.25279
],
"values": [
[
0.0599,
0.10005,
0.13282,
0.19551,
0.31947,
0.56741,
1.06347
],
[
0.06123,
0.10132,
0.13411,
0.19685,
0.32101,
0.56935,
1.06414
],
[
0.06289,
0.10297,
0.13571,
0.19841,
0.32232,
0.56997,
1.06642
],
[
0.06555,
0.10551,
0.13823,
0.20095,
0.32512,
0.57291,
1.06888
],
[
0.06971,
0.10943,
0.14205,
0.20472,
0.32854,
0.57648,
1.07131
],
[
0.07432,
0.11438,
0.14692,
0.20942,
0.33334,
0.58093,
1.07662
],
[
0.07726,
0.11856,
0.15146,
0.21403,
0.3381,
0.58629,
1.08053
],
[
0.07865,
0.1206,
0.15401,
0.21714,
0.34103,
0.58914,
1.08316
],
[
0.07701,
0.1199,
0.15347,
0.21686,
0.34121,
0.589,
1.08415
],
[
0.06947,
0.11391,
0.14812,
0.21151,
0.33647,
0.58394,
1.07859
],
[
0.05178,
0.09839,
0.13383,
0.19793,
0.32282,
0.57102,
1.06592
],
[
0.01762,
0.06704,
0.10421,
0.16997,
0.29567,
0.54487,
1.03967
],
[
-0.0427,
0.0104,
0.0496,
0.1179,
0.2458,
0.4968,
0.9934
]
]
},
"fall_transition,delay_template13x7": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1.0,
1.5
],
"index_2": [
0.0,
0.0079,
0.0158,
0.0316,
0.0632,
0.1264,
0.25279
],
"values": [
[
0.02023,
0.05342,
0.07865,
0.12494,
0.21707,
0.40831,
0.80244
],
[
0.02019,
0.05336,
0.07857,
0.12486,
0.21714,
0.40843,
0.80163
],
[
0.02011,
0.05332,
0.07845,
0.1248,
0.21707,
0.40853,
0.8025
],
[
0.02008,
0.05318,
0.07835,
0.12464,
0.21692,
0.40837,
0.80275
],
[
0.01999,
0.05311,
0.07829,
0.1246,
0.21668,
0.40819,
0.80187
],
[
0.01986,
0.05302,
0.07815,
0.12446,
0.21676,
0.40791,
0.80224
],
[
0.02009,
0.05311,
0.07825,
0.12457,
0.21675,
0.40827,
0.80183
],
[
0.02209,
0.05514,
0.0798,
0.12551,
0.21721,
0.40825,
0.80234
],
[
0.02391,
0.05717,
0.08313,
0.12906,
0.21896,
0.40891,
0.80186
],
[
0.02673,
0.05904,
0.08502,
0.13256,
0.22317,
0.41094,
0.80268
],
[
0.03085,
0.06282,
0.08822,
0.13532,
0.22699,
0.41438,
0.8039
],
[
0.0368,
0.0696,
0.0945,
0.141,
0.2313,
0.4184,
0.8069
],
[
0.0449,
0.0801,
0.1048,
0.1514,
0.2411,
0.4251,
0.8107
]
]
},
"related_pin": "B",
"rise_transition,delay_template13x7": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1.0,
1.5
],
"index_2": [
0.0,
0.0079,
0.0158,
0.0316,
0.0632,
0.1264,
0.25279
],
"values": [
[
0.01605,
0.06121,
0.10529,
0.19638,
0.38098,
0.7524,
1.49725
],
[
0.01602,
0.0612,
0.1053,
0.19643,
0.38123,
0.75239,
1.49796
],
[
0.016,
0.06109,
0.10521,
0.19636,
0.38087,
0.7522,
1.49661
],
[
0.01595,
0.0611,
0.10519,
0.19632,
0.38074,
0.75247,
1.49727
],
[
0.01597,
0.06112,
0.10508,
0.19631,
0.38107,
0.75378,
1.49721
],
[
0.01723,
0.06164,
0.10537,
0.19594,
0.38096,
0.75326,
1.4976
],
[
0.01797,
0.06344,
0.10651,
0.19632,
0.38164,
0.75241,
1.49366
],
[
0.01882,
0.06498,
0.10834,
0.19763,
0.38093,
0.75239,
1.49541
],
[
0.02034,
0.06691,
0.10961,
0.19902,
0.38181,
0.75154,
1.49628
],
[
0.02292,
0.07004,
0.11229,
0.20032,
0.3834,
0.75409,
1.49456
],
[
0.0266,
0.0745,
0.11682,
0.20356,
0.38506,
0.75582,
1.49563
],
[
0.03157,
0.08059,
0.12326,
0.20939,
0.38878,
0.757,
1.4973
],
[
0.0384,
0.0885,
0.1323,
0.218,
0.3968,
0.7648,
1.4986
]
]
},
"sdf_cond": "(!A&C)",
"timing_sense": "positive_unate",
"when": "(!A&C)"
},
{
"cell_fall,delay_template13x7": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1.0,
1.5
],
"index_2": [
0.0,
0.0079,
0.0158,
0.0316,
0.0632,
0.1264,
0.25279
],
"values": [
[
0.08937,
0.13269,
0.16226,
0.21064,
0.29335,
0.44485,
0.73972
],
[
0.08974,
0.13297,
0.16252,
0.21088,
0.29358,
0.44508,
0.73988
],
[
0.09099,
0.13409,
0.16363,
0.21196,
0.29463,
0.44611,
0.74103
],
[
0.09384,
0.13681,
0.16629,
0.21458,
0.29722,
0.44866,
0.74345
],
[
0.09927,
0.14211,
0.17156,
0.21981,
0.30241,
0.4538,
0.74879
],
[
0.10874,
0.15139,
0.18079,
0.22904,
0.31163,
0.463,
0.75781
],
[
0.12393,
0.16623,
0.19561,
0.24388,
0.32647,
0.47779,
0.77322
],
[
0.14354,
0.18733,
0.21714,
0.26572,
0.34851,
0.49991,
0.79527
],
[
0.17052,
0.21467,
0.24567,
0.29584,
0.37947,
0.53115,
0.82545
],
[
0.20843,
0.2536,
0.28461,
0.33584,
0.42186,
0.57446,
0.86959
],
[
0.2618,
0.30895,
0.34037,
0.39215,
0.47912,
0.63432,
0.92952
],
[
0.33707,
0.38707,
0.41967,
0.47237,
0.56057,
0.71647,
1.01397
],
[
0.4433,
0.4972,
0.5317,
0.5863,
0.6766,
0.8338,
1.1324
]
]
},
"cell_rise,delay_template13x7": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1.0,
1.5
],
"index_2": [
0.0,
0.0079,
0.0158,
0.0316,
0.0632,
0.1264,
0.25279
],
"values": [
[
0.06339,
0.10144,
0.13283,
0.19428,
0.31753,
0.5653,
1.05907
],
[
0.06485,
0.1029,
0.13429,
0.1958,
0.31906,
0.56635,
1.06154
],
[
0.06658,
0.10462,
0.13602,
0.19751,
0.32095,
0.56792,
1.06332
],
[
0.06922,
0.10724,
0.13867,
0.20014,
0.3235,
0.57034,
1.06458
],
[
0.07334,
0.11132,
0.14272,
0.20418,
0.3275,
0.57431,
1.06901
],
[
0.07884,
0.11695,
0.14836,
0.20977,
0.33285,
0.57964,
1.07482
],
[
0.08267,
0.12232,
0.15398,
0.2154,
0.33824,
0.58585,
1.08013
],
[
0.08497,
0.12536,
0.15764,
0.2195,
0.34226,
0.58912,
1.08426
],
[
0.08435,
0.12561,
0.158,
0.22021,
0.34328,
0.59011,
1.08405
],
[
0.07794,
0.12055,
0.15354,
0.21578,
0.33945,
0.58576,
1.07909
],
[
0.06151,
0.10603,
0.14008,
0.20305,
0.32686,
0.57362,
1.06722
],
[
0.02886,
0.07583,
0.11139,
0.17567,
0.30057,
0.54847,
1.04147
],
[
-0.0295,
0.0208,
0.0581,
0.1245,
0.2513,
0.5015,
0.9961
]
]
},
"fall_transition,delay_template13x7": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1.0,
1.5
],
"index_2": [
0.0,
0.0079,
0.0158,
0.0316,
0.0632,
0.1264,
0.25279
],
"values": [
[
0.02144,
0.05725,
0.08333,
0.13098,
0.22299,
0.41199,
0.80262
],
[
0.02138,
0.05716,
0.08327,
0.13092,
0.2231,
0.41181,
0.80358
],
[
0.02129,
0.0571,
0.08317,
0.13082,
0.22303,
0.41192,
0.80267
],
[
0.02121,
0.05698,
0.08308,
0.1307,
0.22293,
0.41166,
0.80275
],
[
0.0211,
0.05688,
0.08299,
0.13058,
0.22279,
0.4117,
0.80353
],
[
0.02099,
0.05689,
0.08305,
0.13056,
0.22274,
0.41163,
0.80311
],
[
0.0217,
0.05727,
0.08326,
0.13074,
0.22279,
0.41196,
0.80312
],
[
0.02377,
0.05974,
0.08522,
0.132,
0.22347,
0.41182,
0.80298
],
[
0.02586,
0.0622,
0.08894,
0.1357,
0.22567,
0.41264,
0.80295
],
[
0.02891,
0.06444,
0.09111,
0.1395,
0.23021,
0.4153,
0.80352
],
[
0.03322,
0.06844,
0.09446,
0.14245,
0.23409,
0.41944,
0.8057
],
[
0.0392,
0.075,
0.1002,
0.1472,
0.2379,
0.4232,
0.8087
],
[
0.0476,
0.0848,
0.1092,
0.1553,
0.2446,
0.4272,
0.8114
]
]
},
"related_pin": "B",
"rise_transition,delay_template13x7": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1.0,
1.5
],
"index_2": [
0.0,
0.0079,
0.0158,
0.0316,
0.0632,
0.1264,
0.25279
],
"values": [
[
0.01626,
0.06085,
0.1051,
0.19612,
0.38157,
0.75209,
1.49533
],
[
0.01624,
0.06082,
0.10504,
0.19651,
0.38137,
0.75252,
1.49639
],
[
0.01625,
0.06077,
0.105,
0.19634,
0.382,
0.75304,
1.49632
],
[
0.01618,
0.06076,
0.1049,
0.19628,
0.38163,
0.75344,
1.49532
],
[
0.01616,
0.06072,
0.1048,
0.19636,
0.38145,
0.75331,
1.49517
],
[
0.0171,
0.06088,
0.1049,
0.19624,
0.38123,
0.75301,
1.49405
],
[
0.01791,
0.06247,
0.10575,
0.19611,
0.38177,
0.75218,
1.49507
],
[
0.01862,
0.06383,
0.10739,
0.19721,
0.38096,
0.75272,
1.49676
],
[
0.01999,
0.06567,
0.10866,
0.19848,
0.38223,
0.75231,
1.49531
],
[
0.02246,
0.06868,
0.11095,
0.19997,
0.38339,
0.75408,
1.4993
],
[
0.0262,
0.07298,
0.11509,
0.20303,
0.38544,
0.75592,
1.4956
],
[
0.0315,
0.07886,
0.1215,
0.20852,
0.38996,
0.758,
1.497
],
[
0.0389,
0.0869,
0.1299,
0.2166,
0.3984,
0.7649,
1.4997
]
]
},
"sdf_cond": "(A&!C)",
"timing_sense": "positive_unate",
"when": "(A&!C)"
},
{
"cell_fall,delay_template13x7": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1.0,
1.5
],
"index_2": [
0.0,
0.0079,
0.0158,
0.0316,
0.0632,
0.1264,
0.25279
],
"values": [
[
0.10367,
0.14154,
0.16749,
0.21067,
0.28786,
0.43599,
0.73082
],
[
0.10425,
0.14209,
0.16802,
0.21122,
0.2884,
0.43656,
0.73101
],
[
0.10546,
0.14324,
0.16915,
0.21233,
0.28949,
0.4376,
0.73243
],
[
0.10797,
0.14571,
0.17158,
0.21476,
0.29187,
0.43993,
0.73474
],
[
0.11272,
0.15042,
0.1763,
0.21945,
0.29653,
0.44464,
0.73935
],
[
0.12111,
0.15876,
0.18464,
0.22781,
0.30493,
0.45295,
0.7477
],
[
0.13518,
0.17269,
0.19855,
0.24171,
0.31885,
0.46688,
0.76157
],
[
0.15569,
0.1939,
0.21987,
0.26312,
0.34025,
0.48842,
0.78267
],
[
0.18274,
0.22232,
0.24919,
0.29328,
0.37071,
0.51886,
0.81325
],
[
0.22052,
0.26166,
0.28904,
0.33397,
0.41266,
0.56109,
0.85529
],
[
0.27435,
0.3177,
0.34599,
0.3917,
0.47092,
0.62052,
0.91512
],
[
0.35117,
0.39757,
0.42747,
0.47477,
0.55497,
0.70507,
1.00057
],
[
0.4606,
0.5111,
0.5435,
0.5937,
0.6765,
0.8277,
1.1239
]
]
},
"cell_rise,delay_template13x7": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1.0,
1.5
],
"index_2": [
0.0,
0.0079,
0.0158,
0.0316,
0.0632,
0.1264,
0.25279
],
"values": [
[
0.05907,
0.09916,
0.13187,
0.19455,
0.31862,
0.56651,
1.06227
],
[
0.05996,
0.10002,
0.13272,
0.19536,
0.31952,
0.56765,
1.06214
],
[
0.0611,
0.1011,
0.13377,
0.19641,
0.32065,
0.56882,
1.06402
],
[
0.06286,
0.10279,
0.13548,
0.19815,
0.32225,
0.57054,
1.06537
],
[
0.06545,
0.10517,
0.13779,
0.20045,
0.32455,
0.57215,
1.06761
],
[
0.06743,
0.10794,
0.14058,
0.20318,
0.32728,
0.57501,
1.07002
],
[
0.0688,
0.1102,
0.14329,
0.20598,
0.33012,
0.57758,
1.07313
],
[
0.0689,
0.1109,
0.14435,
0.20762,
0.3317,
0.57962,
1.07466
],
[
0.06565,
0.10873,
0.14261,
0.20609,
0.33067,
0.57803,
1.07395
],
[
0.056,
0.10077,
0.13558,
0.1997,
0.32474,
0.57254,
1.06849
],
[
0.03575,
0.08273,
0.11892,
0.18447,
0.31048,
0.55892,
1.05332
],
[
-0.00165,
0.04829,
0.08614,
0.15373,
0.28217,
0.53287,
1.02747
],
[
-0.0661,
-0.0125,
0.0275,
0.0979,
0.2294,
0.4847,
0.9825
]
]
},
"fall_transition,delay_template13x7": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1.0,
1.5
],
"index_2": [
0.0,
0.0079,
0.0158,
0.0316,
0.0632,
0.1264,
0.25279
],
"values": [
[
0.01978,
0.04993,
0.0736,
0.11892,
0.21206,
0.40619,
0.80262
],
[
0.01974,
0.04989,
0.07354,
0.11893,
0.21206,
0.40592,
0.80252
],
[
0.01972,
0.04989,
0.07354,
0.1188,
0.21195,
0.40613,
0.80254
],
[
0.0197,
0.04983,
0.07348,
0.11879,
0.21196,
0.4061,
0.80241
],
[
0.01969,
0.04983,
0.07343,
0.11875,
0.21192,
0.4061,
0.80234
],
[
0.01969,
0.04986,
0.07339,
0.11872,
0.21184,
0.40596,
0.80227
],
[
0.01983,
0.05005,
0.07354,
0.11878,
0.21179,
0.40592,
0.80218
],
[
0.0219,
0.0514,
0.07452,
0.11936,
0.21212,
0.40607,
0.80135
],
[
0.02422,
0.05424,
0.07747,
0.12164,
0.21314,
0.40625,
0.80226
],
[
0.02706,
0.05713,
0.08014,
0.12448,
0.21561,
0.40727,
0.80145
],
[
0.03074,
0.06148,
0.084,
0.12737,
0.21785,
0.40929,
0.8031
],
[
0.036,
0.0682,
0.0905,
0.1327,
0.2211,
0.4111,
0.8038
],
[
0.0434,
0.078,
0.1007,
0.1421,
0.2281,
0.4153,
0.8052
]
]
},
"related_pin": "C",
"rise_transition,delay_template13x7": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1.0,
1.5
],
"index_2": [
0.0,
0.0079,
0.0158,
0.0316,
0.0632,
0.1264,
0.25279
],
"values": [
[
0.01596,
0.06116,
0.10532,
0.19625,
0.38133,
0.75266,
1.49615
],
[
0.01593,
0.0611,
0.10525,
0.19617,
0.38119,
0.7535,
1.49868
],
[
0.01594,
0.06107,
0.10522,
0.19594,
0.38115,
0.75284,
1.49872
],
[
0.01589,
0.06104,
0.10511,
0.19634,
0.38118,
0.75238,
1.4967
],
[
0.01603,
0.06109,
0.10513,
0.19631,
0.38108,
0.75228,
1.49629
],
[
0.01705,
0.06184,
0.10548,
0.19595,
0.38086,
0.75197,
1.49351
],
[
0.0175,
0.06348,
0.10667,
0.19648,
0.38074,
0.75263,
1.49497
],
[
0.0184,
0.065,
0.10842,
0.19784,
0.38143,
0.75198,
1.49344
],
[
0.02019,
0.06727,
0.11011,
0.19917,
0.3823,
0.75201,
1.49481
],
[
0.02289,
0.07082,
0.11348,
0.20182,
0.38359,
0.75445,
1.49686
],
[
0.02658,
0.0752,
0.11845,
0.20613,
0.38756,
0.75459,
1.49404
],
[
0.03158,
0.08125,
0.12522,
0.21318,
0.39432,
0.7595,
1.4972
],
[
0.0383,
0.0891,
0.1341,
0.223,
0.4035,
0.7693,
1.5013
]
]
},
"sdf_cond": "(!A&B)",
"timing_sense": "positive_unate",
"when": "(!A&B)"
},
{
"cell_fall,delay_template13x7": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1.0,
1.5
],
"index_2": [
0.0,
0.0079,
0.0158,
0.0316,
0.0632,
0.1264,
0.25279
],
"values": [
[
0.09472,
0.13797,
0.16753,
0.21588,
0.29853,
0.44987,
0.7448
],
[
0.09588,
0.13906,
0.16861,
0.21694,
0.29958,
0.45098,
0.74614
],
[
0.09729,
0.14042,
0.16995,
0.21827,
0.30089,
0.45223,
0.74691
],
[
0.09953,
0.14258,
0.17209,
0.2204,
0.30301,
0.45441,
0.74938
],
[
0.10334,
0.14626,
0.17576,
0.22406,
0.30665,
0.45807,
0.75294
],
[
0.1099,
0.15259,
0.18206,
0.23035,
0.31295,
0.46429,
0.75912
],
[
0.12008,
0.16271,
0.19219,
0.24054,
0.32319,
0.47459,
0.76976
],
[
0.13283,
0.177,
0.20726,
0.25612,
0.33906,
0.4905,
0.78513
],
[
0.15355,
0.19728,
0.22836,
0.27903,
0.36307,
0.51484,
0.81005
],
[
0.18461,
0.22915,
0.26031,
0.31172,
0.39802,
0.55112,
0.84619
],
[
0.22894,
0.27569,
0.30756,
0.35999,
0.44752,
0.60302,
0.89902
],
[
0.29097,
0.34117,
0.37467,
0.42917,
0.51927,
0.67647,
0.97437
],
[
0.3776,
0.4324,
0.4685,
0.526,
0.6209,
0.7825,
1.0823
]
]
},
"cell_rise,delay_template13x7": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1.0,
1.5
],
"index_2": [
0.0,
0.0079,
0.0158,
0.0316,
0.0632,
0.1264,
0.25279
],
"values": [
[
0.07323,
0.11209,
0.14451,
0.20734,
0.33187,
0.58011,
1.07477
],
[
0.07453,
0.11336,
0.14573,
0.2085,
0.33305,
0.581,
1.07584
],
[
0.07614,
0.11495,
0.14731,
0.21009,
0.33469,
0.58224,
1.07772
],
[
0.0787,
0.11746,
0.14982,
0.2126,
0.33707,
0.58462,
1.08018
],
[
0.0827,
0.12139,
0.1537,
0.21634,
0.34088,
0.58841,
1.08331
],
[
0.08898,
0.1274,
0.1596,
0.22219,
0.34671,
0.59502,
1.08962
],
[
0.09586,
0.1347,
0.16681,
0.22942,
0.35359,
0.60224,
1.09683
],
[
0.10155,
0.14077,
0.17316,
0.23571,
0.35992,
0.608,
1.10306
],
[
0.105,
0.14491,
0.17724,
0.24009,
0.36415,
0.61223,
1.10745
],
[
0.10426,
0.14547,
0.17802,
0.24057,
0.36509,
0.61294,
1.10869
],
[
0.09623,
0.13946,
0.17267,
0.23559,
0.3603,
0.60802,
1.10312
],
[
0.07614,
0.12219,
0.15659,
0.22037,
0.34577,
0.59427,
1.08887
],
[
0.0369,
0.0865,
0.1228,
0.1881,
0.315,
0.5656,
1.0614
]
]
},
"fall_transition,delay_template13x7": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1.0,
1.5
],
"index_2": [
0.0,
0.0079,
0.0158,
0.0316,
0.0632,
0.1264,
0.25279
],
"values": [
[
0.02134,
0.05725,
0.0833,
0.13087,
0.223,
0.41225,
0.80333
],
[
0.0213,
0.05715,
0.08333,
0.13079,
0.22288,
0.41216,
0.80347
],
[
0.02127,
0.05714,
0.08329,
0.13072,
0.22292,
0.41209,
0.80295
],
[
0.02123,
0.05707,
0.08326,
0.13067,
0.22288,
0.41197,
0.80302
],
[
0.02111,
0.05701,
0.0831,
0.13063,
0.22282,
0.41173,
0.80275
],
[
0.02102,
0.05703,
0.08319,
0.13066,
0.22283,
0.41202,
0.8025
],
[
0.02241,
0.05762,
0.08365,
0.13098,
0.22299,
0.41179,
0.80308
],
[
0.02296,
0.06029,
0.0861,
0.13243,
0.22366,
0.41235,
0.80294
],
[
0.02414,
0.06138,
0.08872,
0.13619,
0.22626,
0.41327,
0.8035
],
[
0.02673,
0.06326,
0.09062,
0.13935,
0.23037,
0.41554,
0.80416
],
[
0.03095,
0.06755,
0.09456,
0.14317,
0.23484,
0.41961,
0.8056
],
[
0.0371,
0.0751,
0.102,
0.1503,
0.2413,
0.4249,
0.8082
],
[
0.0456,
0.0861,
0.1131,
0.1622,
0.2537,
0.4347,
0.8139
]
]
},
"related_pin": "C",
"rise_transition,delay_template13x7": {
"index_1": [
0.01,
0.01735,
0.02602,
0.03903,
0.05855,
0.08782,
0.13172,
0.19757,
0.29634,
0.44449,
0.6667,
1.0,
1.5
],
"index_2": [
0.0,
0.0079,
0.0158,
0.0316,
0.0632,
0.1264,
0.25279
],
"values": [
[
0.01579,
0.06056,
0.10493,
0.19682,
0.38166,
0.75274,
1.49797
],
[
0.01579,
0.06045,
0.10509,
0.1965,
0.38216,
0.75233,
1.49527
],
[
0.0158,
0.06039,
0.10505,
0.19625,
0.38262,
0.75534,
1.49539
],
[
0.01577,
0.0604,
0.10493,
0.19664,
0.38145,
0.75353,
1.49532
],
[
0.01575,
0.06036,
0.10488,
0.19658,
0.38142,
0.75264,
1.495
],
[
0.01574,
0.06038,
0.10484,
0.19622,
0.38167,
0.75267,
1.49711
],
[
0.01664,
0.0611,
0.10514,
0.19617,
0.38261,
0.75219,
1.49548
],
[
0.01768,
0.06233,
0.10617,
0.19683,
0.38166,
0.75268,
1.49443
],
[
0.01927,
0.06353,
0.10719,
0.19766,
0.38183,
0.75253,
1.49621
],
[
0.02161,
0.06593,
0.10872,
0.19865,
0.38292,
0.75324,
1.49931
],
[
0.02491,
0.0696,
0.11186,
0.20076,
0.38453,
0.7534,
1.4958
],
[
0.02966,
0.07517,
0.11696,
0.20495,
0.3877,
0.7559,
1.495
],
[
0.0362,
0.0827,
0.1246,
0.2117,
0.3936,
0.7609,
1.4988
]
]
},
"sdf_cond": "(A&!B)",
"timing_sense": "positive_unate",
"when": "(A&!B)"
}
]
}
}