{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00009834835,0.00009646283,0.0001124504,0.00005798861,0.00008145824,0.00003714956,0.0002315689,0.00006366545,0.0003015919],"category_scores_gemma":[0.00004464094,0.00008945608,0.00003785986,0.00004101844,0.00003844268,0.0002631386,0.000009912585,0.00005767041,0.0001493749],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002869205,"about_ca_system_score_gemma":0.00001713887,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000139461,"about_ca_topic_score_gemma":0.000003374731,"domain_scores_codex":[0.9994429,0.000005892161,0.0001802034,0.0001003703,0.0001386753,0.0001319623],"domain_scores_gemma":[0.999181,0.00005371812,0.00005321104,0.0006195955,0.00005514507,0.00003732566],"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.00001018865,0.000017439,0.00458293,0.00002914439,0.0000155222,5.53048e-7,0.00007130013,0.9878947,0.005186817,0.0006432502,0.0007241134,0.0008240168],"study_design_scores_gemma":[0.0004557188,0.00002770095,0.0596072,0.00001466841,0.000007678493,9.166936e-8,0.000007591426,0.9165064,0.02026698,0.0000534711,0.00290544,0.0001470462],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5783334,0.00006188371,0.3734611,0.0001264229,0.0007785888,0.0002975958,0.000008241769,0.0004432309,0.04648945],"genre_scores_gemma":[0.9955691,0.000004887146,0.004087627,0.00001963198,0.0000316175,0.000009217716,0.000006760756,0.00002121104,0.0002499745],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4172356,"threshold_uncertainty_score":0.3647913,"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."}}