{"id":"W3022836086","doi":"10.1109/elnano50318.2020.9088878","title":"Configurable Verification IP for UART","year":2020,"lang":"en","type":"article","venue":"","topic":"Physical Unclonable Functions (PUFs) and Hardware Security","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Universal asynchronous receiver/transmitter; Computer science; Verilog; Embedded system; Functional verification; Intelligent verification; Reusability; Interface (matter); Computer architecture; Formal verification; Operating system; Programming language; Software; Field-programmable gate array","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.00006386471,0.00007014188,0.00009450059,0.0000165165,0.0001183394,0.00009641868,0.000359997,0.00002832924,0.00007556548],"category_scores_gemma":[0.00005197021,0.00006260797,0.00006130626,0.0002421282,0.00001551382,0.0003802604,0.00004469611,0.00005621581,0.0002974442],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001316353,"about_ca_system_score_gemma":0.00004874573,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001319809,"about_ca_topic_score_gemma":0.000001836657,"domain_scores_codex":[0.9993308,0.00001343366,0.0001068692,0.0002789296,0.0001099763,0.0001599969],"domain_scores_gemma":[0.9994559,0.00005545603,0.00002782911,0.0002493116,0.00009710753,0.0001143927],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00001120895,0.0000517642,0.00001231912,0.00001741261,0.000009196164,4.869778e-7,0.0002402612,0.00003873786,0.004267327,0.9313765,0.05236894,0.01160591],"study_design_scores_gemma":[0.0004017325,0.0002063136,0.0003918427,0.000003173327,0.000006471598,9.344143e-7,0.00003018424,0.165658,0.02121124,0.02377459,0.7881358,0.0001796995],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0007685949,0.00001871909,0.9618853,0.01150071,0.0001910728,0.0002003721,0.000005664403,0.0002970204,0.02513255],"genre_scores_gemma":[0.9735371,0.000004834038,0.02032212,0.004629192,0.0002538637,0.00006370528,0.00001619528,0.000006624786,0.00116638],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9727685,"threshold_uncertainty_score":0.3823143,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03780007747274563,"score_gpt":0.2291978967302102,"score_spread":0.1913978192574645,"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."}}