{"id":"W3134357527","doi":"10.1109/tale48869.2020.9368368","title":"Selection Criteria of Device under Test and Their Impact on Learning Outcomes of Functional Verification","year":2020,"lang":"en","type":"article","venue":"","topic":"Experimental Learning in Engineering","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Saskatchewan","funders":"","keywords":"Selection (genetic algorithm); Computer science; Application-specific integrated circuit; Curriculum; Test (biology); Machine learning; Functional verification; Affect (linguistics); Field-programmable gate array; Software engineering; Artificial intelligence; Reliability engineering; Engineering; Embedded system; Formal verification; Programming language; Psychology","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":[],"consensus_categories":[],"category_scores_codex":[0.00004256948,0.0001010224,0.0001331137,0.0000434089,0.00001746075,0.000007311635,0.00002905068,0.00003559827,0.0001151342],"category_scores_gemma":[0.0000571161,0.00008000769,0.00003300452,0.0001177797,0.00001208131,0.00007250451,0.000009002994,0.0001117981,0.000004608942],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003355056,"about_ca_system_score_gemma":0.000004533289,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007859385,"about_ca_topic_score_gemma":3.359951e-7,"domain_scores_codex":[0.9996305,0.00001012495,0.0001363499,0.00008488022,0.00006492388,0.00007327552],"domain_scores_gemma":[0.9997486,0.0001244518,0.00002604668,0.00004308498,0.00002227019,0.00003550541],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000006872845,0.000008871159,0.02530346,0.00003351592,0.00003120225,2.64018e-8,0.0002323353,0.4082893,0.5657359,0.00008746364,0.00002488261,0.0002462516],"study_design_scores_gemma":[0.0001707426,0.0001918497,0.3450429,0.00001521653,0.000005541192,0.000001303873,0.0003039413,0.4277309,0.2263389,0.000005438887,0.00009791439,0.00009534499],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9753035,0.00005079688,0.02307771,0.00004403637,0.00004950025,0.00005094516,0.000002520204,0.0001791854,0.001241746],"genre_scores_gemma":[0.9992326,0.00000645604,0.0006679816,0.00001838433,0.00002247131,0.000002955923,0.000006939737,0.00002078664,0.00002136019],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.339397,"threshold_uncertainty_score":0.3262619,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01889809183040925,"score_gpt":0.2528766017532547,"score_spread":0.2339785099228454,"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."}}