{"id":"W2169841931","doi":"10.1145/1233501.1233545","title":"A linear-time approach for static timing analysis covering all process corners","year":2006,"lang":"en","type":"article","venue":"Digest of technical papers/Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; Intel Corporation","keywords":"Computer science; Process (computing); Static timing analysis; Embedded system; Programming language","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0008591107,0.0009125029,0.001585901,0.0009285224,0.0001254377,0.0001222129,0.00254186,0.0005788456,0.000124824],"category_scores_gemma":[0.0003180362,0.0008721728,0.0007515731,0.00115562,0.0004751121,0.0004128318,0.0002109175,0.0007723658,0.00002120208],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005548752,"about_ca_system_score_gemma":0.0001901912,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004510161,"about_ca_topic_score_gemma":0.00001216114,"domain_scores_codex":[0.9945371,0.0001092751,0.001921872,0.001135904,0.001398116,0.0008977297],"domain_scores_gemma":[0.9960772,0.001234878,0.0006408404,0.001200743,0.0005775403,0.0002687676],"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.0003816064,0.0007182182,0.0003387499,0.0002911106,0.000760728,0.0000150387,0.00004597494,0.4996308,0.4934942,0.002695299,0.0008457933,0.0007825013],"study_design_scores_gemma":[0.005327613,0.003674665,0.01174902,0.001482539,0.001745812,0.00008661094,0.00009642927,0.8340845,0.134909,0.001784643,0.001330066,0.003729094],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09880556,0.000175447,0.7130571,0.000871024,0.001440723,0.00633023,0.0006789587,0.004380051,0.1742609],"genre_scores_gemma":[0.9181727,0.00007526028,0.08052603,0.0001291764,0.0002033332,0.0003289017,0.0002983049,0.0001322919,0.0001340521],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8193671,"threshold_uncertainty_score":0.9993729,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04087859919063918,"score_gpt":0.2823340005487789,"score_spread":0.2414554013581397,"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."}}