{"id":"W4247520101","doi":"10.1109/iccad.2005.1560178","title":"Statistical timing analysis with two-sided constraints","year":2005,"lang":"en","type":"article","venue":"ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005.","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":19,"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; Mathematics; Statistics; 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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0008055572,0.0009305945,0.0009555275,0.001275238,0.0002092792,0.0005501811,0.001659326,0.0002699659,0.004677198],"category_scores_gemma":[0.00007669869,0.0008893316,0.000235063,0.000524378,0.000378339,0.0008532489,0.0001253944,0.0008628142,0.001402756],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008042678,"about_ca_system_score_gemma":0.0003631611,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003884655,"about_ca_topic_score_gemma":0.0002005611,"domain_scores_codex":[0.9947553,0.0002199752,0.00116233,0.001077288,0.001399824,0.00138529],"domain_scores_gemma":[0.9967702,0.0008643722,0.0002823217,0.001069396,0.0004001457,0.0006135709],"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.0003866246,0.0004228352,0.0007860221,0.00004678628,0.00327291,0.0003353095,0.0004284392,0.9069899,0.005924701,0.01652856,0.0275887,0.0372892],"study_design_scores_gemma":[0.002495085,0.0002681539,0.001381569,0.0002476781,0.0003148161,0.0001134327,0.00004274839,0.9788529,0.009805169,0.0005699052,0.004658069,0.001250534],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02717061,0.00005402993,0.9605548,0.0008067418,0.001390822,0.0006363197,0.0002028937,0.0008648579,0.008318957],"genre_scores_gemma":[0.8109524,0.0001004965,0.1863945,0.0004952691,0.0009672092,0.00008369792,0.000180106,0.0001159021,0.0007104378],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7837818,"threshold_uncertainty_score":0.9993747,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04595261314727286,"score_gpt":0.2850933295440969,"score_spread":0.239140716396824,"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."}}