{"id":"W2752793715","doi":"10.1109/tcad.2017.2748027","title":"Automatic Selection of Process Corner Simulations for Faster Design Verification","year":2017,"lang":"en","type":"article","venue":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","topic":"VLSI and FPGA Design Techniques","field":"Engineering","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Bottleneck; Benchmark (surveying); Process (computing); Set (abstract data type); Computer science; Transistor; Algorithm; Power (physics); Selection (genetic algorithm); Voltage; Process corners; Speedup; Die (integrated circuit); Integrated circuit; Engineering; Parallel computing; Electrical engineering; Artificial intelligence; Embedded system","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002993348,0.0002327312,0.0004199262,0.0002721179,0.0002438828,0.0001207469,0.000211255,0.0001874497,0.00001070839],"category_scores_gemma":[0.00001158628,0.00021163,0.00007687703,0.0001521499,0.00006902077,0.000289026,5.435087e-7,0.0001449761,0.00000141422],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006114373,"about_ca_system_score_gemma":0.00005909462,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003569424,"about_ca_topic_score_gemma":0.000002558521,"domain_scores_codex":[0.9987237,0.0001006762,0.0005908806,0.0002373692,0.0001632863,0.0001840412],"domain_scores_gemma":[0.9986868,0.0002626043,0.0002571438,0.0003355329,0.0003967753,0.00006112382],"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.00002977324,0.0001165242,0.00001878115,0.0005935725,0.0001843703,4.966291e-7,0.000386114,0.8204331,0.1020756,0.0000909337,0.0001914065,0.07587937],"study_design_scores_gemma":[0.0004109617,0.0004291215,0.00008234526,0.0003798376,0.000065851,0.00001113575,0.00004567645,0.8546543,0.1436217,0.0001111175,0.00001302234,0.0001749061],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02259973,0.00004649323,0.9751132,0.00000462561,0.0004827214,0.001361349,0.00007300844,0.0002883036,0.00003058532],"genre_scores_gemma":[0.9924102,0.00002330813,0.007251459,0.000004005058,0.0000366865,0.0001929955,0.000006211249,0.00004209254,0.00003307445],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9698104,"threshold_uncertainty_score":0.863002,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05011577823575271,"score_gpt":0.2648827685851671,"score_spread":0.2147669903494144,"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."}}