{"id":"W2118791262","doi":"10.5555/1509456.1509504","title":"Efficient block-based parameterized timing analysis covering all potentially critical paths","year":2008,"lang":"en","type":"article","venue":"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":"University of Toronto","funders":"","keywords":"Parameterized complexity; Computer science; Robustness (evolution); Algorithm; Block (permutation group theory); Static timing analysis; Context (archaeology); Pruning; Parameter space; Mathematics","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"],"consensus_categories":[],"category_scores_codex":[0.0002947549,0.0003913868,0.0004462366,0.0006795811,0.0001242259,0.0002049852,0.000642363,0.0001330282,0.0003147696],"category_scores_gemma":[0.00005484461,0.0004020803,0.0002519192,0.000399078,0.0001095434,0.0001438731,0.00006888572,0.0003217093,0.000231411],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002120171,"about_ca_system_score_gemma":0.0001043527,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001368583,"about_ca_topic_score_gemma":0.000001208758,"domain_scores_codex":[0.9975258,0.0001172086,0.0005665991,0.0005170507,0.0007912471,0.0004821255],"domain_scores_gemma":[0.9985853,0.0004426169,0.00007544026,0.0004096724,0.0002981265,0.00018884],"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.00009381369,0.000116614,0.0001217708,0.0000150822,0.0005389546,0.0002130227,0.0001676135,0.9878777,0.007911677,0.0009672263,0.000429322,0.001547147],"study_design_scores_gemma":[0.0007799212,0.0001700217,0.001107408,0.000071881,0.0001204231,0.00003096692,0.000004498887,0.9900895,0.006930501,0.00008174089,0.0001680459,0.0004450543],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1588127,0.00001392635,0.8383824,0.0001751743,0.001228977,0.0002060218,0.000019556,0.0004431348,0.0007181115],"genre_scores_gemma":[0.8954185,0.00001403669,0.1038627,0.0003826795,0.0001750341,0.00004155675,0.00003241984,0.00004378245,0.00002933362],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7366057,"threshold_uncertainty_score":0.9998431,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06765599100544405,"score_gpt":0.2765163227698411,"score_spread":0.2088603317643971,"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."}}