{"id":"W2130194671","doi":"10.5555/1129601.1129654","title":"Incremental partitioning-based vectorless power grid verification","year":2005,"lang":"en","type":"article","venue":"","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":24,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Grid; Solver; Power grid; Set (abstract data type); Power (physics); Constraint (computer-aided design); Distributed computing; Computer engineering; Parallel computing; Reliability 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.0005914815,0.0005024883,0.0003479553,0.0003572985,0.0002622021,0.0005821163,0.001347429,0.0003468599,0.002701201],"category_scores_gemma":[0.002167309,0.0003569914,0.0004553148,0.0002693451,0.0007622198,0.001241782,0.001124546,0.0006916592,0.0004087795],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005660143,"about_ca_system_score_gemma":0.0007577354,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002529056,"about_ca_topic_score_gemma":0.002822775,"domain_scores_codex":[0.9993891,0.0001999907,0.00002219459,0.00006336818,0.0002544757,0.00007094274],"domain_scores_gemma":[0.9989415,0.0005565341,0.00007096645,0.0002428297,0.0001610306,0.00002715024],"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.0001571761,0.00004188742,0.0007527408,0.0001351705,0.00002251227,0.0001387769,0.0001102507,0.8600802,0.02196918,0.04168244,0.001512414,0.07339723],"study_design_scores_gemma":[0.00001884251,0.00002796737,0.00006287957,0.000005928029,0.000005783444,0.00002259549,0.000008473608,0.9813089,0.006277896,0.01114291,0.001113573,0.000004201442],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02377558,0.00006467099,0.9718337,0.00006951272,0.00001647858,0.00004816218,0.00007037471,0.001317746,0.002803923],"genre_scores_gemma":[0.7338042,0.0001152273,0.2634531,0.00007051865,0.00001166413,0.0001206798,0.0002810145,0.0002753901,0.001868222],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002701201,"threshold_uncertainty_score":0.009036362,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006468941962762395,"score_gpt":0.1910788256034644,"score_spread":0.184609883640702,"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."}}