{"id":"W2127392734","doi":"10.5555/1129601.1129719","title":"Statistical timing analysis with two-sided constraints","year":2005,"lang":"en","type":"article","venue":"","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":27,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Static timing analysis; Computer science; Process (computing); Simple (philosophy); Upper and lower bounds; Algorithm; Statistical analysis; Statistics; Mathematics; Embedded system","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004793021,0.001550661,0.001399532,0.001926181,0.0005169346,0.001616529,0.002320105,0.0008921772,0.004811796],"category_scores_gemma":[0.01975259,0.001000614,0.001552759,0.002555282,0.00112106,0.002173601,0.001547189,0.00218748,0.001174148],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001272455,"about_ca_system_score_gemma":0.003295206,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002292345,"about_ca_topic_score_gemma":0.002687063,"domain_scores_codex":[0.9937907,0.001715137,0.0004050547,0.0006882115,0.002973492,0.0004275232],"domain_scores_gemma":[0.9794859,0.01392753,0.001950009,0.002453403,0.001967081,0.000216121],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001295405,0.0000756415,0.001200253,0.0001302238,0.00009874435,0.0002972934,0.00004075209,0.8486812,0.008611794,0.09565193,0.001169482,0.0439131],"study_design_scores_gemma":[0.00001154854,0.00004419093,0.0001392464,0.000005892793,0.00001231682,0.00004845803,0.000003625075,0.9801272,0.00217524,0.01667445,0.0007460036,0.00001185569],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002374773,0.00005932983,0.9963899,0.0000445201,0.00001527458,0.00003400338,0.0001173218,0.0003212333,0.0006436051],"genre_scores_gemma":[0.396538,0.000792562,0.594814,0.0003335355,0.0003005649,0.0008551513,0.001299897,0.00067063,0.004395714],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004811796,"threshold_uncertainty_score":0.02534819,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02296440758028221,"score_gpt":0.270376105289979,"score_spread":0.2474116977096968,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}