{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003792086,0.000790966,0.0006279201,0.0007536505,0.0004451238,0.001845924,0.001575789,0.000899239,0.005025621],"category_scores_gemma":[0.02491793,0.0004959066,0.0007908488,0.0006864965,0.001742638,0.004110195,0.001681945,0.001307508,0.0009080158],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008273472,"about_ca_system_score_gemma":0.001577873,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001437514,"about_ca_topic_score_gemma":0.001105704,"domain_scores_codex":[0.9937025,0.002159677,0.000448931,0.0009271997,0.002076327,0.0006852728],"domain_scores_gemma":[0.9797544,0.01123083,0.001409456,0.004792276,0.002620902,0.0001921111],"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.001142798,0.0001559968,0.006085005,0.0006543363,0.0001286571,0.001451147,0.0004486082,0.5965078,0.0388838,0.2406331,0.007895031,0.1060136],"study_design_scores_gemma":[0.00009419684,0.0001662368,0.0003787978,0.0000753919,0.00003493686,0.000334066,0.00007928131,0.8022979,0.05697194,0.1350583,0.004477812,0.00003101484],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03234132,0.0001089432,0.9587824,0.000212927,0.00006497699,0.00005865996,0.0002952336,0.003240363,0.004895141],"genre_scores_gemma":[0.9142284,0.0001367066,0.08218168,0.0002457787,0.00003894031,0.0001304093,0.0005118962,0.0004288227,0.00209741],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005025621,"threshold_uncertainty_score":0.02005476,"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."}}