{"id":"W2077890035","doi":"10.1109/aspdac.2013.6509685","title":"Reviving erroneous stability-based clock-gating using partial Max-SAT","year":2013,"lang":"en","type":"article","venue":"","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Debugging; Computer science; Clock gating; Power gating; Benchmark (surveying); Very-large-scale integration; Process (computing); Implementation; Embedded system; Computer engineering; Electronic engineering; Clock skew; Engineering; Transistor; Clock signal; Voltage; Electrical 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","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0003145747,0.0002891944,0.000291856,0.0001040546,0.0001470074,0.0001346852,0.0002167131,0.0001213858,0.001915389],"category_scores_gemma":[0.00006331918,0.0002721894,0.00008691493,0.0002708415,0.00005764826,0.0004948965,0.00004766455,0.0002635605,0.0006748905],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002360354,"about_ca_system_score_gemma":0.00004601573,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001886805,"about_ca_topic_score_gemma":0.00002016033,"domain_scores_codex":[0.998249,0.00005147209,0.000475698,0.0002996515,0.0002826105,0.000641584],"domain_scores_gemma":[0.9990963,0.0001269683,0.00005049984,0.0004967611,0.0000741122,0.0001554029],"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.00001399384,0.00009217046,0.02888685,0.0009158897,0.00009290487,0.0000250921,0.0009922258,0.568006,0.3884587,0.0003196791,0.002351231,0.00984532],"study_design_scores_gemma":[0.000286289,0.00003156172,0.0007489565,0.00009049221,0.00001997681,0.000007578462,0.0001020037,0.9124985,0.08513151,0.00003738722,0.0006402055,0.0004055256],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9291342,0.0001556078,0.06580397,0.00006090072,0.0005473246,0.0004662897,0.000002594265,0.000977144,0.002851986],"genre_scores_gemma":[0.9719219,0.000004165798,0.02757665,0.0001104121,0.0002112107,0.00004066779,0.000005111166,0.00008238399,0.00004755921],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3444925,"threshold_uncertainty_score":0.9999731,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0206937034655511,"score_gpt":0.2025270276672991,"score_spread":0.181833324201748,"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."}}