blob: 5dfa2d33ff44a159999f265380ef0ed02f579dee [file] [log] [blame]
{
"area": 9.5904,
"cell_footprint": "sky130_fd_sc_ls__clkdlyinv",
"cell_leakage_power": 0.0,
"driver_waveform_fall": "ramp",
"driver_waveform_rise": "ramp",
"pg_pin,VGND": {
"pg_type": "primary_ground",
"voltage_name": "VGND"
},
"pg_pin,VNB": {
"pg_type": "primary_ground",
"voltage_name": "VNB"
},
"pg_pin,VPB": {
"pg_type": "primary_power",
"voltage_name": "VPB"
},
"pg_pin,VPWR": {
"pg_type": "primary_power",
"voltage_name": "VPWR"
},
"pin,A": {
"capacitance": 0.002337,
"clock": "false",
"direction": "input",
"fall_capacitance": 0.002242,
"max_transition": 5.0,
"related_ground_pin": "VGND",
"related_power_pin": "VPWR",
"rise_capacitance": 0.002431
},
"pin,Y": {
"direction": "output",
"function": "(!A)",
"internal_power": {
"fall_power,pwr_template13x15": {
"index_1": [
0.0333333,
0.0578333,
0.0867333,
0.1301,
0.1951667,
0.2927333,
0.4390667,
0.6585667,
0.9878,
1.481633,
2.222333,
3.333333,
5
],
"index_2": [
0,
0.0095,
0.0114,
0.01368,
0.01641,
0.01969,
0.02363,
0.02836,
0.03403,
0.04084,
0.04901,
0.05881,
0.07057,
0.08468,
0.10162
],
"values": [
[
0.0073375,
-0.0013517,
-0.0032028,
-0.0054194,
-0.00807,
-0.0112801,
-0.0151265,
-0.0197523,
-0.0253041,
-0.0319746,
-0.039975,
-0.0495672,
-0.0610935,
-0.0749235,
-0.0915326
],
[
0.0072249,
-0.0014725,
-0.0033165,
-0.0055258,
-0.0081869,
-0.011389,
-0.0152413,
-0.0198693,
-0.025418,
-0.0320781,
-0.0400868,
-0.0496992,
-0.0612222,
-0.0750341,
-0.0916265
],
[
0.0071284,
-0.0015764,
-0.0034199,
-0.0056283,
-0.0082909,
-0.0114922,
-0.0153457,
-0.0199732,
-0.0255204,
-0.0321981,
-0.0401882,
-0.0497892,
-0.0613268,
-0.0751572,
-0.091729
],
[
0.0070156,
-0.0016831,
-0.0035265,
-0.0057384,
-0.0083989,
-0.0116,
-0.015458,
-0.0200821,
-0.0256305,
-0.0322965,
-0.0403016,
-0.0499207,
-0.0614183,
-0.0752563,
-0.0918403
],
[
0.0068942,
-0.0018024,
-0.0036431,
-0.0058611,
-0.0085205,
-0.0117189,
-0.0155683,
-0.0201961,
-0.025748,
-0.0324193,
-0.0404248,
-0.0500216,
-0.0615352,
-0.0753628,
-0.0919663
],
[
0.0067909,
-0.0019224,
-0.0037626,
-0.0059777,
-0.0086259,
-0.0118384,
-0.0156826,
-0.0203067,
-0.0258568,
-0.0325175,
-0.0405356,
-0.0501432,
-0.0616705,
-0.075496,
-0.0921046
],
[
0.0066811,
-0.0020388,
-0.0038796,
-0.0060818,
-0.0087489,
-0.0119478,
-0.015794,
-0.0204219,
-0.0259703,
-0.0326396,
-0.0406274,
-0.0502356,
-0.0617759,
-0.075583,
-0.0921915
],
[
0.006542,
-0.0021861,
-0.0040239,
-0.0062306,
-0.0088917,
-0.0120836,
-0.0159328,
-0.0205588,
-0.0260975,
-0.0327757,
-0.0407737,
-0.0503734,
-0.0618939,
-0.0757223,
-0.0923205
],
[
0.0064894,
-0.0022715,
-0.0041073,
-0.0063163,
-0.0089608,
-0.0121593,
-0.0160058,
-0.0206278,
-0.0261688,
-0.0328392,
-0.0408316,
-0.0504398,
-0.0619613,
-0.07579,
-0.0923941
],
[
0.0065883,
-0.0023423,
-0.0041795,
-0.0063858,
-0.0090362,
-0.0122277,
-0.0160695,
-0.020691,
-0.0262359,
-0.0328968,
-0.040896,
-0.0504979,
-0.0620166,
-0.0758404,
-0.0924271
],
[
0.0066098,
-0.0022923,
-0.0041372,
-0.0063963,
-0.0090565,
-0.0122413,
-0.0160826,
-0.020704,
-0.0262433,
-0.0329043,
-0.0408982,
-0.0504964,
-0.0620128,
-0.0758334,
-0.092436
],
[
0.0065726,
-0.0022934,
-0.0041215,
-0.0063417,
-0.0089715,
-0.0121654,
-0.016038,
-0.0207089,
-0.0262428,
-0.0328948,
-0.0408743,
-0.0504846,
-0.0619937,
-0.0758151,
-0.0924093
],
[
0.00656,
-0.0023455,
-0.0041749,
-0.0063663,
-0.009013,
-0.0121939,
-0.0160289,
-0.0206362,
-0.0261723,
-0.0328434,
-0.0408992,
-0.0504879,
-0.0620014,
-0.0758191,
-0.092415
]
]
},
"related_pin": "A",
"rise_power,pwr_template13x15": {
"index_1": [
0.0333333,
0.0578333,
0.0867333,
0.1301,
0.1951667,
0.2927333,
0.4390667,
0.6585667,
0.9878,
1.481633,
2.222333,
3.333333,
5
],
"index_2": [
0,
0.0095,
0.0114,
0.01368,
0.01641,
0.01969,
0.02363,
0.02836,
0.03403,
0.04084,
0.04901,
0.05881,
0.07057,
0.08468,
0.10162
],
"values": [
[
0.0130248,
0.0225459,
0.024412,
0.0266328,
0.0292915,
0.0325412,
0.0362382,
0.040984,
0.0463911,
0.0529439,
0.0610692,
0.0703451,
0.0818777,
0.0956521,
0.111994
],
[
0.0129604,
0.0224804,
0.0243425,
0.0265596,
0.0292323,
0.0324835,
0.0362614,
0.0409235,
0.0463337,
0.0528837,
0.0608704,
0.0703787,
0.0817773,
0.0953923,
0.1121212
],
[
0.0128951,
0.0224108,
0.0242574,
0.0264992,
0.029076,
0.0323576,
0.0360683,
0.040701,
0.0463722,
0.0527535,
0.0608494,
0.0703474,
0.0817019,
0.095511,
0.1118449
],
[
0.0128081,
0.0223217,
0.0241787,
0.0264083,
0.028989,
0.0322704,
0.0359825,
0.0406981,
0.0462884,
0.0527015,
0.0608359,
0.0701287,
0.0817155,
0.0953035,
0.1116687
],
[
0.0127182,
0.0222312,
0.0240887,
0.0263182,
0.0288997,
0.0321817,
0.0360692,
0.0405205,
0.0461934,
0.0525873,
0.0606658,
0.0701945,
0.0815705,
0.0953135,
0.1118587
],
[
0.0126128,
0.0221236,
0.0239796,
0.0261451,
0.0288674,
0.0319728,
0.0359093,
0.0404683,
0.0458973,
0.0526983,
0.0604339,
0.0700448,
0.0814806,
0.0951168,
0.1116698
],
[
0.0125231,
0.0220375,
0.0238969,
0.0261254,
0.0287804,
0.0319864,
0.0357758,
0.0404678,
0.0458876,
0.0524392,
0.0605654,
0.0698456,
0.0813387,
0.0952307,
0.1116815
],
[
0.0124596,
0.0219638,
0.0238252,
0.0260471,
0.0286406,
0.0319292,
0.0356336,
0.0404046,
0.045808,
0.0523328,
0.0604512,
0.0699169,
0.0813367,
0.0949747,
0.1116548
],
[
0.0121655,
0.0218799,
0.0237068,
0.0259283,
0.0286572,
0.031795,
0.0356267,
0.0402546,
0.0458195,
0.0523818,
0.0604478,
0.0697308,
0.0813646,
0.0947905,
0.1113794
],
[
0.0121891,
0.0218174,
0.0237188,
0.0259705,
0.0286288,
0.0318026,
0.03553,
0.0401298,
0.0457118,
0.0522256,
0.0603199,
0.0698355,
0.0810469,
0.0948822,
0.111323
],
[
0.0121489,
0.0216479,
0.023491,
0.0256508,
0.0283841,
0.0317039,
0.0355497,
0.0402066,
0.0457609,
0.0522335,
0.0601238,
0.0697187,
0.0809771,
0.0948124,
0.1113224
],
[
0.0121227,
0.0216121,
0.0234752,
0.0257365,
0.0284572,
0.0316339,
0.0354855,
0.0399491,
0.045663,
0.0523211,
0.0602557,
0.0698242,
0.0812025,
0.0948848,
0.1113069
],
[
0.012166,
0.0216007,
0.0234883,
0.0257624,
0.0284595,
0.0316469,
0.0354893,
0.0402067,
0.045848,
0.0524656,
0.0602415,
0.0697683,
0.0811584,
0.0949356,
0.1113742
]
]
}
},
"max_capacitance": 0.050059,
"max_transition": 1.998321,
"power_down_function": "(!VPWR + VGND)",
"related_ground_pin": "VGND",
"related_power_pin": "VPWR",
"timing": {
"cell_fall,delay_template13x15": {
"index_1": [
0.0333333,
0.0578333,
0.0867333,
0.1301,
0.195167,
0.292733,
0.439067,
0.658567,
0.9878,
1.48163,
2.22233,
3.33333,
5
],
"index_2": [
0,
0.0095,
0.0114,
0.01368,
0.01641,
0.01969,
0.02363,
0.02836,
0.03403,
0.04084,
0.04901,
0.05881,
0.07057,
0.08468,
0.10162
],
"values": [
[
0.2744718,
0.4273828,
0.4554512,
0.4885697,
0.5283266,
0.5762278,
0.6330109,
0.7019622,
0.7832702,
0.883752,
0.9998457,
1.1423744,
1.3098788,
1.5162716,
1.7583865
],
[
0.2861624,
0.4390737,
0.4670907,
0.5003491,
0.5399265,
0.5879228,
0.6444547,
0.7135881,
0.7945067,
0.8932863,
1.0129436,
1.1521584,
1.3256946,
1.5253369,
1.7713738
],
[
0.3003515,
0.4529979,
0.4810746,
0.5142771,
0.5539049,
0.6019035,
0.6584542,
0.7275742,
0.8085203,
0.9072536,
1.0269721,
1.1661091,
1.3392798,
1.5389818,
1.7848708
],
[
0.3220697,
0.4750146,
0.5029627,
0.5362605,
0.5757139,
0.6238179,
0.6801682,
0.7493604,
0.8303721,
0.9320075,
1.0482457,
1.1892738,
1.3613065,
1.5609517,
1.8068405
],
[
0.3553756,
0.5082926,
0.5363382,
0.5694319,
0.6092268,
0.6571101,
0.7139022,
0.7828458,
0.8641591,
0.9619536,
1.0833939,
1.2212517,
1.3907241,
1.5971106,
1.8394648
],
[
0.4055338,
0.558356,
0.5863598,
0.6193185,
0.6592945,
0.7069983,
0.7641646,
0.8325265,
0.9142925,
1.0143258,
1.1318673,
1.2728447,
1.4426076,
1.6466108,
1.8910149
],
[
0.476114,
0.6288629,
0.6566239,
0.690084,
0.7296586,
0.7775972,
0.8343782,
0.9029451,
0.9860541,
1.084094,
1.2018749,
1.343148,
1.5137958,
1.7164892,
1.9623789
],
[
0.5695848,
0.722555,
0.750228,
0.7838044,
0.8234312,
0.8710934,
0.928464,
0.996592,
1.0789518,
1.1783799,
1.2944283,
1.4356497,
1.6086237,
1.8089906,
2.0542603
],
[
0.6927202,
0.8457631,
0.8737344,
0.9071602,
0.9466686,
0.9946424,
1.0519763,
1.1201206,
1.2033695,
1.301017,
1.4189511,
1.5611753,
1.730277,
1.9353747,
2.1767979
],
[
0.8544519,
1.0077893,
1.035541,
1.0691511,
1.108856,
1.1565201,
1.2134368,
1.28172,
1.363648,
1.4623575,
1.5803344,
1.7227207,
1.8926229,
2.0974562,
2.3389273
],
[
1.0651529,
1.2191542,
1.247294,
1.2805825,
1.3205375,
1.3682878,
1.4249879,
1.4941145,
1.5764722,
1.674708,
1.7922352,
1.9331732,
2.1028899,
2.3077535,
2.5508269
],
[
1.3391664,
1.494857,
1.5227252,
1.5563264,
1.5960276,
1.643508,
1.7008593,
1.7683327,
1.8510375,
1.9499753,
2.0678685,
2.2107582,
2.3795614,
2.583312,
2.8257416
],
[
1.6898014,
1.8477126,
1.8760531,
1.9096089,
1.9494648,
1.9974029,
2.0552078,
2.1235176,
2.2054356,
2.3042639,
2.4224989,
2.5646212,
2.7339386,
2.9379503,
3.180912
]
]
},
"cell_rise,delay_template13x15": {
"index_1": [
0.0333333,
0.0578333,
0.0867333,
0.1301,
0.195167,
0.292733,
0.439067,
0.658567,
0.9878,
1.48163,
2.22233,
3.33333,
5
],
"index_2": [
0,
0.0095,
0.0114,
0.01368,
0.01641,
0.01969,
0.02363,
0.02836,
0.03403,
0.04084,
0.04901,
0.05881,
0.07057,
0.08468,
0.10162
],
"values": [
[
0.2496915,
0.366515,
0.3878433,
0.4129463,
0.4437935,
0.4800889,
0.5243839,
0.5765676,
0.6401481,
0.7148352,
0.8060276,
0.9147744,
1.0456456,
1.202793,
1.3901882
],
[
0.2620659,
0.3787481,
0.4001119,
0.4254307,
0.4560037,
0.4924162,
0.5364466,
0.5889169,
0.6521468,
0.7270514,
0.8212333,
0.9266995,
1.0569491,
1.2159863,
1.4021171
],
[
0.2763739,
0.3932353,
0.4142453,
0.439966,
0.4705496,
0.5068859,
0.5506833,
0.6032848,
0.6664355,
0.7421946,
0.8320157,
0.9441904,
1.0715634,
1.2289949,
1.4163202
],
[
0.2983344,
0.4151092,
0.4363312,
0.4618116,
0.4924944,
0.5286037,
0.5724831,
0.6250922,
0.6882266,
0.7632827,
0.8548798,
0.9637192,
1.0937378,
1.2527913,
1.4377516
],
[
0.3320526,
0.4488144,
0.4700498,
0.4955094,
0.525965,
0.5623566,
0.6062467,
0.6589667,
0.7219834,
0.7979352,
0.8876683,
0.9973025,
1.1269542,
1.2849066,
1.4738925
],
[
0.3820733,
0.498726,
0.5202102,
0.545535,
0.5760973,
0.6125266,
0.6564583,
0.7089718,
0.7719346,
0.8483539,
0.9398161,
1.0467225,
1.1783576,
1.3339002,
1.5226618
],
[
0.4519569,
0.568609,
0.5899868,
0.6152496,
0.6460739,
0.6821702,
0.7266366,
0.7788066,
0.8427481,
0.917077,
1.0084162,
1.117428,
1.2468503,
1.4049855,
1.592077
],
[
0.5416625,
0.6587925,
0.6800572,
0.7055212,
0.7362775,
0.7722697,
0.8169879,
0.8687145,
0.9327985,
1.0072967,
1.0997269,
1.2091165,
1.3372865,
1.4977412,
1.6843571
],
[
0.6559204,
0.7735405,
0.7946595,
0.8201423,
0.8505315,
0.8871713,
0.9311412,
0.9834371,
1.0465669,
1.122906,
1.2134187,
1.3235025,
1.4531355,
1.6112333,
1.7966256
],
[
0.8026925,
0.9208299,
0.9423498,
0.9676936,
0.9983477,
1.0350327,
1.0784879,
1.1315965,
1.1939524,
1.2693605,
1.36014,
1.4693042,
1.5999951,
1.7585682,
1.9448616
],
[
0.9879353,
1.1066781,
1.1280773,
1.1538797,
1.1839434,
1.2209131,
1.2647638,
1.3168839,
1.3803321,
1.456395,
1.5465688,
1.656657,
1.785879,
1.9419024,
2.1298623
],
[
1.2175587,
1.3377398,
1.3592948,
1.3849032,
1.4152611,
1.4522267,
1.4958667,
1.548237,
1.6115186,
1.6874033,
1.778393,
1.8862905,
2.0185154,
2.1745172,
2.3622995
],
[
1.4976249,
1.6203998,
1.642011,
1.6677056,
1.6980366,
1.734998,
1.7789782,
1.8312849,
1.8943478,
1.9701354,
2.0609963,
2.1701687,
2.3011961,
2.4565259,
2.6457618
]
]
},
"fall_transition,delay_template13x15": {
"index_1": [
0.0333333,
0.0578333,
0.0867333,
0.1301,
0.195167,
0.292733,
0.439067,
0.658567,
0.9878,
1.48163,
2.22233,
3.33333,
5
],
"index_2": [
0,
0.0095,
0.0114,
0.01368,
0.01641,
0.01969,
0.02363,
0.02836,
0.03403,
0.04084,
0.04901,
0.05881,
0.07057,
0.08468,
0.10162
],
"values": [
[
0.0382173,
0.2163782,
0.2532379,
0.2970259,
0.3502006,
0.4124767,
0.4899608,
0.5789226,
0.6869992,
0.8191519,
0.9794567,
1.166915,
1.3940434,
1.6636563,
1.9913664
],
[
0.0382087,
0.2161677,
0.2536119,
0.295764,
0.3503528,
0.4116053,
0.4899631,
0.5777626,
0.686909,
0.8201212,
0.977869,
1.1644046,
1.3938969,
1.6630507,
1.9941175
],
[
0.0382105,
0.2164052,
0.253452,
0.2964835,
0.3503449,
0.4117265,
0.4899666,
0.5779165,
0.6870254,
0.8202399,
0.9778729,
1.1648832,
1.3938114,
1.6616836,
1.9908359
],
[
0.0382132,
0.2163524,
0.2543103,
0.2958022,
0.3504862,
0.4119534,
0.4889522,
0.5767879,
0.6871897,
0.8223787,
0.9778126,
1.168591,
1.3933491,
1.6633007,
1.9907516
],
[
0.0382381,
0.2167346,
0.2530959,
0.2971561,
0.3501449,
0.4123572,
0.4899538,
0.5789139,
0.6869589,
0.8191385,
0.9785616,
1.1649806,
1.3941709,
1.6634758,
1.9983213
],
[
0.0381076,
0.2173471,
0.2530062,
0.2971928,
0.3497773,
0.412255,
0.4895847,
0.57933,
0.6868311,
0.8211011,
0.9784151,
1.1640702,
1.3921577,
1.6651582,
1.9880988
],
[
0.0381933,
0.2167889,
0.2541808,
0.2969233,
0.3493228,
0.4127485,
0.4881103,
0.5782524,
0.6892035,
0.8204651,
0.9753134,
1.164935,
1.3927461,
1.6604887,
1.9887731
],
[
0.038335,
0.2166544,
0.2534105,
0.2969536,
0.3494367,
0.4135978,
0.487242,
0.5776328,
0.6892321,
0.8177498,
0.9777826,
1.1664476,
1.3916964,
1.6640253,
1.9899917
],
[
0.038786,
0.2163799,
0.2532309,
0.2968643,
0.3487285,
0.4134395,
0.4877159,
0.5799459,
0.6867131,
0.81767,
0.9747249,
1.1666758,
1.3955485,
1.6630377,
1.9896087
],
[
0.039306,
0.217161,
0.2539468,
0.2960734,
0.3475179,
0.4105064,
0.4866875,
0.578858,
0.6881034,
0.8178893,
0.9774715,
1.1663426,
1.3949181,
1.6624446,
1.990244
],
[
0.0401921,
0.2181098,
0.253784,
0.2972901,
0.3512181,
0.4127693,
0.4885091,
0.5793916,
0.6862588,
0.8165879,
0.9745921,
1.1658463,
1.3922211,
1.6639091,
1.988655
],
[
0.0417404,
0.2184133,
0.2543999,
0.2974431,
0.3504518,
0.4113936,
0.4876932,
0.5789654,
0.6885935,
0.8184005,
0.9789211,
1.1644514,
1.3905914,
1.6626173,
1.9902746
],
[
0.0442336,
0.2197394,
0.2558883,
0.2978305,
0.3503607,
0.4126541,
0.4911133,
0.5802235,
0.688929,
0.8181861,
0.978199,
1.1650483,
1.392689,
1.6620343,
1.9871549
]
]
},
"related_pin": "A",
"rise_transition,delay_template13x15": {
"index_1": [
0.0333333,
0.0578333,
0.0867333,
0.1301,
0.195167,
0.292733,
0.439067,
0.658567,
0.9878,
1.48163,
2.22233,
3.33333,
5
],
"index_2": [
0,
0.0095,
0.0114,
0.01368,
0.01641,
0.01969,
0.02363,
0.02836,
0.03403,
0.04084,
0.04901,
0.05881,
0.07057,
0.08468,
0.10162
],
"values": [
[
0.0331408,
0.1737562,
0.2032092,
0.2378583,
0.2806741,
0.3307553,
0.3911263,
0.4648766,
0.5504454,
0.6559385,
0.7845478,
0.9332358,
1.1152941,
1.3341268,
1.5907178
],
[
0.033016,
0.1739539,
0.2033859,
0.2381912,
0.2806909,
0.3310272,
0.3923357,
0.4650195,
0.5508999,
0.6564916,
0.7848376,
0.9333804,
1.1149742,
1.3317967,
1.5946341
],
[
0.0329096,
0.1742086,
0.2031366,
0.2384244,
0.2795581,
0.3311032,
0.3909529,
0.4639271,
0.5523942,
0.6558998,
0.7832519,
0.9355636,
1.1138258,
1.3340657,
1.5916252
],
[
0.0328558,
0.1741745,
0.2033217,
0.2381787,
0.2797166,
0.3309479,
0.3909301,
0.4651911,
0.552296,
0.6551781,
0.7839266,
0.9329046,
1.1156734,
1.3329434,
1.593526
],
[
0.0328934,
0.1741619,
0.2033263,
0.238346,
0.2795739,
0.3312411,
0.3919459,
0.4640989,
0.552428,
0.6557653,
0.7833117,
0.9360165,
1.1151039,
1.334487,
1.5953459
],
[
0.033072,
0.1738919,
0.2033833,
0.2373789,
0.2805863,
0.3301352,
0.3918027,
0.4638834,
0.5511183,
0.6579561,
0.7822246,
0.9333554,
1.1162116,
1.3321931,
1.5936711
],
[
0.0331182,
0.1738306,
0.2029145,
0.23754,
0.2803174,
0.3305125,
0.3903868,
0.4647913,
0.5503059,
0.6555272,
0.7843026,
0.9330385,
1.1145811,
1.3340651,
1.5945435
],
[
0.0334282,
0.1743009,
0.2034403,
0.238009,
0.2797794,
0.3301493,
0.3907459,
0.4645409,
0.5502587,
0.6555537,
0.7823683,
0.9342563,
1.1146108,
1.3331475,
1.5961945
],
[
0.0341072,
0.1736195,
0.2026183,
0.2375712,
0.2795447,
0.3301809,
0.3906236,
0.4643257,
0.5518073,
0.6557664,
0.7830807,
0.9326302,
1.1157889,
1.3315512,
1.5942856
],
[
0.0350405,
0.1744618,
0.2038119,
0.2385273,
0.2802229,
0.330608,
0.3903607,
0.4635609,
0.5504815,
0.6553812,
0.7817293,
0.9332504,
1.1137949,
1.3315332,
1.5930954
],
[
0.0362174,
0.1750562,
0.2034583,
0.2389383,
0.2804013,
0.3302812,
0.3916243,
0.4640279,
0.5518054,
0.6554299,
0.7826594,
0.9329661,
1.1129824,
1.3315512,
1.5927685
],
[
0.0392054,
0.1759152,
0.2043876,
0.2391979,
0.2808703,
0.3304087,
0.3915782,
0.4644404,
0.5518159,
0.6566532,
0.7818217,
0.9350718,
1.1147263,
1.3319074,
1.5985957
],
[
0.0426564,
0.176879,
0.2052907,
0.2404804,
0.2813768,
0.3316647,
0.3917145,
0.463641,
0.5514733,
0.6567749,
0.7833554,
0.9341734,
1.1136607,
1.3303336,
1.5973556
]
]
},
"timing_sense": "negative_unate"
}
}
}