{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01204805,0.0009184355,0.0006173066,0.002068367,0.0005333386,0.001547168,0.000528138,0.0008051283,0.001761331],"category_scores_gemma":[0.08152754,0.0001783475,0.0003953024,0.001244466,0.0008324165,0.0009223287,0.0009606576,0.0004285899,0.0004505008],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004972052,"about_ca_system_score_gemma":0.0008553916,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002387831,"about_ca_topic_score_gemma":0.0003803369,"domain_scores_codex":[0.9828374,0.006885413,0.001647648,0.0008604201,0.007185532,0.0005835688],"domain_scores_gemma":[0.8536419,0.1117543,0.01492779,0.004178141,0.01272325,0.002774619],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.01427221,0.006765255,0.3369383,0.00154547,0.0003877711,0.001063765,0.002095668,0.02421651,0.1663899,0.004077462,0.001109693,0.4411379],"study_design_scores_gemma":[0.0008647323,0.04347523,0.6100912,0.0002943824,0.0007449711,0.001064001,0.002425893,0.04265754,0.2839615,0.008158252,0.005982238,0.0002801731],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9793507,0.0002643752,0.01581503,0.00008630885,0.00002875282,0.0003392257,0.0001011145,0.00008948753,0.003925022],"genre_scores_gemma":[0.9873233,0.00009422837,0.01095688,0.00003053592,0.00001064502,0.0003885907,0.0001707295,0.00005479236,0.0009703143],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01204805,"threshold_uncertainty_score":0.06371695,"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."}}