{"id":"W4240951904","doi":"10.1109/iccad.2017.8203831","title":"Power grid verification under transient constraints","year":2017,"lang":"en","type":"article","venue":"2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Transient (computer programming); Grid; Computer science; Bounded function; Power grid; Power (physics); Voltage; Electronic engineering; Current (fluid); Model checking; Control theory (sociology); Reliability engineering; Electrical engineering; Algorithm; Mathematics; Engineering; Physics","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.0005212718,0.0005644922,0.0004449162,0.0003333338,0.0004208195,0.0008325131,0.00270114,0.0002739537,0.000900318],"category_scores_gemma":[0.00007074213,0.0005757624,0.0001697484,0.0000801877,0.0003623145,0.0009494466,0.0001086136,0.0005511863,0.001505862],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003055379,"about_ca_system_score_gemma":0.000172942,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001706099,"about_ca_topic_score_gemma":0.000005378448,"domain_scores_codex":[0.9971036,0.0001007648,0.0006580039,0.0007178814,0.0008278766,0.0005919023],"domain_scores_gemma":[0.9971021,0.0001756573,0.000295983,0.001732199,0.0004388247,0.0002552696],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001017777,0.001322957,0.001040979,0.0002499963,0.00244248,0.0005070765,0.003131793,0.2200495,0.2176468,0.1896402,0.2581947,0.1047559],"study_design_scores_gemma":[0.004766081,0.0008691898,0.0323333,0.0008407695,0.00008690116,0.0001822077,0.0001160329,0.8798531,0.05877113,0.007372817,0.0123427,0.002465811],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06057241,0.00003667765,0.8806303,0.001450095,0.0153184,0.0008276507,0.0001185589,0.0006980302,0.04034784],"genre_scores_gemma":[0.9836156,0.0001593645,0.01463181,0.0002667225,0.0007239897,0.00007568376,0.00005631412,0.00007849765,0.0003919505],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9230433,"threshold_uncertainty_score":0.9996694,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09172781133126588,"score_gpt":0.2933560621734064,"score_spread":0.2016282508421405,"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."}}