{"id":"W3148027407","doi":"10.1109/iccad.2008.4681570","title":"Efficient block-based parameterized timing analysis covering all potentially critical paths","year":2008,"lang":"en","type":"article","venue":"","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Parameterized complexity; Computer science; Robustness (evolution); Algorithm; Block (permutation group theory); Context (archaeology); Pruning; Static timing analysis; Parameter space; Sensitivity (control systems); Mathematics; Electronic engineering","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.0002009475,0.0002974127,0.0004347599,0.000410998,0.0001363863,0.00006279,0.0002370437,0.0001242522,0.0003841589],"category_scores_gemma":[0.00006861684,0.0002857814,0.0002778403,0.0007684929,0.00008668433,0.00008781959,0.00003998625,0.0002045769,0.0002000412],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001154665,"about_ca_system_score_gemma":0.00003750121,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000291515,"about_ca_topic_score_gemma":0.000005060767,"domain_scores_codex":[0.9981331,0.00003588551,0.0004354554,0.0003427857,0.0004359517,0.0006167752],"domain_scores_gemma":[0.9990534,0.0001858581,0.00002673892,0.0004619157,0.00006828341,0.0002038114],"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.00001793429,0.0000658733,0.000644098,0.00004250385,0.000310441,0.0001272889,0.0001358568,0.9715099,0.02664464,0.00003841801,0.0002103877,0.0002526252],"study_design_scores_gemma":[0.0005499025,0.00004793855,0.002156378,0.00001514499,0.0003461507,0.00001743185,0.00001316906,0.9752718,0.02073679,0.000002763718,0.0004371476,0.0004054124],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6805373,0.00005949773,0.3170299,0.00004211948,0.0002794924,0.0001223164,0.000006912644,0.0006656817,0.001256768],"genre_scores_gemma":[0.9672728,0.00001311173,0.03232371,0.0001736405,0.00005462503,0.00002462682,0.00001378923,0.00005457929,0.00006911947],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2867355,"threshold_uncertainty_score":0.9999594,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01967055604646594,"score_gpt":0.2324198866604663,"score_spread":0.2127493306140003,"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."}}