{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004702249,0.001086439,0.0008765924,0.0009338151,0.0003657767,0.0007595131,0.0008853919,0.0005138147,0.002486602],"category_scores_gemma":[0.003582821,0.0004533793,0.0008462314,0.0009656359,0.0003335423,0.001545071,0.0005817059,0.0007585739,0.0005165622],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007529943,"about_ca_system_score_gemma":0.001587949,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002649466,"about_ca_topic_score_gemma":0.004889986,"domain_scores_codex":[0.9994696,0.0001228794,0.00003684635,0.00008578913,0.0002289033,0.00005612977],"domain_scores_gemma":[0.9980211,0.001083428,0.0002518595,0.0003781911,0.0002378099,0.00002756511],"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.0001753984,0.00003925828,0.001730221,0.0001336828,0.00005208029,0.0001412069,0.00007886533,0.7888498,0.06835923,0.01714193,0.001214295,0.1220839],"study_design_scores_gemma":[0.00001040332,0.00003616049,0.0003188379,0.000008274294,0.00001800482,0.00005095484,0.00001177677,0.9785892,0.009980052,0.009977796,0.000988857,0.000009567559],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03228176,0.0001502588,0.9649009,0.00005785913,0.000007363381,0.00005813757,0.0002784324,0.0009971453,0.001268117],"genre_scores_gemma":[0.4738685,0.0003772181,0.5210063,0.00007191866,0.00002444922,0.000308503,0.001447703,0.0004165989,0.002478749],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002649466,"threshold_uncertainty_score":0.008318543,"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."}}