{"id":"W2738933503","doi":"10.1109/isvlsi.2017.84","title":"Parallel Simulation-Based Verification of RC Power Grids","year":2017,"lang":"en","type":"article","venue":"","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Waveform; Computer science; Voltage; Node (physics); Transient (computer programming); Voltage drop; Grid; Electronic engineering; Power (physics); Electrical engineering; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007370527,0.0007434138,0.0005112491,0.0005357016,0.0003883529,0.0006409331,0.001336014,0.0005269387,0.004723594],"category_scores_gemma":[0.00383978,0.0004143791,0.0006153056,0.0004079447,0.0009499454,0.0009789678,0.0007149479,0.0006892843,0.0007037069],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001038919,"about_ca_system_score_gemma":0.001558937,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006865803,"about_ca_topic_score_gemma":0.004411864,"domain_scores_codex":[0.9989685,0.0002827799,0.00005012614,0.0001285167,0.0004718909,0.00009814213],"domain_scores_gemma":[0.998151,0.0008830645,0.0001515391,0.0004425229,0.00033193,0.00003982087],"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.0001428764,0.00003447456,0.0005559472,0.00006788097,0.00001995537,0.0001062511,0.00006454463,0.9450838,0.0103027,0.01734003,0.0009222325,0.02535934],"study_design_scores_gemma":[0.00001283314,0.00001488538,0.0000353154,0.000003664155,0.000003432691,0.00001761356,0.000003217698,0.9882372,0.007993628,0.002856873,0.0008175492,0.000003875356],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02464737,0.00005900683,0.9622581,0.000096967,0.00002836971,0.00008388801,0.0001065032,0.005040037,0.007679903],"genre_scores_gemma":[0.7393321,0.0001262249,0.255165,0.0001053044,0.00002062651,0.00019875,0.0002779859,0.0005929659,0.004181012],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006865803,"threshold_uncertainty_score":0.01580203,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01641842658572383,"score_gpt":0.2461005859803519,"score_spread":0.229682159394628,"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."}}