{"id":"W2141988600","doi":"10.1109/tcad.2015.2440316","title":"Robust Optimization of Multiple Timing Constraints","year":2015,"lang":"en","type":"article","venue":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","topic":"VLSI and FPGA Design Techniques","field":"Engineering","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada; Texas Instruments; Semiconductor Research Corporation","keywords":"Static timing analysis; Computer science; Field-programmable gate array; Electronic circuit; Clock skew; Digital clock manager; Extension (predicate logic); Clock network; Design flow; Computer engineering; Electronic engineering; Clock signal; Computer hardware; Embedded system; Engineering; Electrical engineering","routes":{"ca_aff":true,"ca_fund":true,"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":[],"consensus_categories":[],"category_scores_codex":[0.0003710016,0.0002293396,0.000440696,0.000311833,0.00004453084,0.00004199707,0.0001350843,0.0001801274,0.00001034822],"category_scores_gemma":[0.000008159916,0.000211616,0.00006496349,0.0002934654,0.0001012655,0.000152593,7.675481e-7,0.0001883572,0.000002112539],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007387528,"about_ca_system_score_gemma":0.00006280581,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000876644,"about_ca_topic_score_gemma":0.000001718521,"domain_scores_codex":[0.9986889,0.0001272224,0.0005857891,0.0002042106,0.0002076094,0.0001862933],"domain_scores_gemma":[0.9990605,0.0001823554,0.0001149688,0.0002101415,0.0003072769,0.0001247897],"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.00001248147,0.00006111802,0.000008144744,0.0001097807,0.00009122512,0.00000372444,0.0003003745,0.9632809,0.00946013,0.00003822685,0.0002486375,0.02638523],"study_design_scores_gemma":[0.0005682894,0.0003319753,0.000002869575,0.000398046,0.00003341285,0.00004637955,0.0002408224,0.9522366,0.04592471,0.00001166471,0.00001592023,0.0001893389],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003047524,0.0001964202,0.9949496,0.000002417589,0.0006836128,0.0004852694,0.00005735207,0.0003314168,0.0002464272],"genre_scores_gemma":[0.9772658,0.00007092011,0.02253662,0.000005673014,0.00002795853,0.00003118037,0.000006604501,0.00003577146,0.00001940888],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9742183,"threshold_uncertainty_score":0.8629452,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0778516902545223,"score_gpt":0.2262995696211534,"score_spread":0.1484478793666311,"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."}}