{"id":"W2346140207","doi":"10.3850/9783981537079_0297","title":"Accurate Verification of RC Power Grids","year":2016,"lang":"en","type":"article","venue":"","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":"Computer science; Voltage drop; Voltage; Discretization; Design flow; Reliability engineering; Power (physics); Logic gate; Electronic engineering; Power flow; Logic synthesis; Computer engineering; Algorithm; Embedded system; Electric power system; Electrical engineering; Engineering; 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":[],"consensus_categories":[],"category_scores_codex":[0.0000821161,0.00008060173,0.00008845613,0.00005933696,0.00001125207,0.000006419316,0.0001173897,0.00004710011,0.0006953577],"category_scores_gemma":[0.00001187961,0.00005164024,0.0000252137,0.0001135968,0.00002217441,0.0002578138,0.00000985704,0.00003054492,0.0005546472],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003275484,"about_ca_system_score_gemma":0.000008979151,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002441759,"about_ca_topic_score_gemma":9.716424e-7,"domain_scores_codex":[0.9995086,0.000006121687,0.0001627414,0.00008522633,0.00009922504,0.0001381407],"domain_scores_gemma":[0.9996324,0.00002657157,0.00001950813,0.0002527014,0.00003519363,0.00003362732],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00001692101,0.00002895759,0.001684835,0.00005342364,0.00005367768,0.000001564941,0.0002905244,0.001062972,0.951066,0.006414536,0.02602113,0.01330549],"study_design_scores_gemma":[0.0006625871,0.00007651057,0.02775507,0.00005357395,0.00001083231,0.000003028555,0.00003183852,0.004309571,0.9334946,0.0001794194,0.03311405,0.0003089025],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8295044,0.00009455915,0.1129074,0.0001675413,0.000808691,0.0001569886,0.000009236401,0.0005434571,0.05580766],"genre_scores_gemma":[0.9980609,0.00006146181,0.0008314141,0.00001430509,0.00002811803,0.000007965847,0.000001145992,0.00001886281,0.0009758651],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1685564,"threshold_uncertainty_score":0.761368,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0068084638712734,"score_gpt":0.1862533889580608,"score_spread":0.1794449250867874,"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."}}