{"id":"W2047363496","doi":"10.1109/tvlsi.2015.2413966","title":"Verification of the Power and Ground Grids Under General and Hierarchical Constraints","year":2015,"lang":"en","type":"article","venue":"IEEE Transactions on Very Large Scale Integration (VLSI) Systems","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada; Intel Corporation; Semiconductor Research Corporation","keywords":"Computer science; Power (physics); Grid; Voltage; Range (aeronautics); Design flow; Electronic engineering; Computer engineering; Topology (electrical circuits); Electrical engineering; Embedded system; Mathematics; Engineering","routes":{"ca_aff":true,"ca_fund":true,"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.0011222,0.0005881301,0.0003379047,0.0003901515,0.0003938815,0.0006439025,0.001117757,0.0004683095,0.002206141],"category_scores_gemma":[0.005469863,0.0003711317,0.0005901867,0.0005234907,0.001086962,0.001941616,0.001076044,0.0007499398,0.0002132778],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008810246,"about_ca_system_score_gemma":0.001792129,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006536205,"about_ca_topic_score_gemma":0.00863245,"domain_scores_codex":[0.9982545,0.0003603692,0.00009839069,0.000377902,0.0006548931,0.0002539302],"domain_scores_gemma":[0.9968184,0.001602551,0.0004867763,0.0006120845,0.0004122852,0.00006784045],"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.0002063031,0.00005341716,0.002918688,0.0002032791,0.00003811714,0.0003231365,0.0001287119,0.8495556,0.04138062,0.05143242,0.001298848,0.05246082],"study_design_scores_gemma":[0.00001870432,0.00004803605,0.0004973942,0.000009427234,0.000009939268,0.00006307017,0.00002762633,0.9568285,0.0220513,0.01951476,0.0009229711,0.000008304268],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.08602663,0.00007094163,0.9094608,0.0001093484,0.000012383,0.00009135549,0.0002489116,0.0009834266,0.002996223],"genre_scores_gemma":[0.8322342,0.00008778975,0.165698,0.0000675526,0.0000103401,0.00008228411,0.0003423684,0.0001263535,0.001351066],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006536205,"threshold_uncertainty_score":0.01299632,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01405185148525871,"score_gpt":0.2173707261451539,"score_spread":0.2033188746598952,"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."}}