{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001433443,0.0007313692,0.0005662569,0.0006044737,0.000471078,0.001091534,0.001543008,0.00075424,0.004295255],"category_scores_gemma":[0.01308048,0.0004546901,0.0005783747,0.0005448262,0.001286114,0.001712665,0.001021547,0.0009879505,0.0008562151],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001413397,"about_ca_system_score_gemma":0.001375827,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00593096,"about_ca_topic_score_gemma":0.004825917,"domain_scores_codex":[0.9973102,0.0005902663,0.0001235925,0.0003644868,0.001392211,0.0002192614],"domain_scores_gemma":[0.9933815,0.003339343,0.0005496292,0.001928224,0.0007222341,0.00007916604],"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.0001299252,0.00001532468,0.0005584651,0.0001241551,0.00001689386,0.0001153542,0.00009127431,0.9128957,0.01510061,0.04087471,0.000716975,0.02936053],"study_design_scores_gemma":[0.0000134007,0.00002198663,0.00009173939,0.00001116451,0.00000498126,0.00002631231,0.00001080478,0.9755612,0.01255086,0.01053366,0.001166581,0.000007260004],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03580127,0.0001828711,0.9556333,0.0001176261,0.00004151665,0.00004355989,0.000159285,0.002356031,0.005664391],"genre_scores_gemma":[0.8198696,0.0001707647,0.1766697,0.00006083057,0.0000209579,0.00007136912,0.0002039426,0.000345486,0.002587308],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00593096,"threshold_uncertainty_score":0.01436907,"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."}}