{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009263707,0.0007787692,0.0003031907,0.0008233433,0.0002661435,0.001110357,0.001103167,0.0006287888,0.008003153],"category_scores_gemma":[0.003236829,0.0002777867,0.0005017574,0.0003424908,0.000521427,0.001177718,0.0004930485,0.0007622133,0.002220003],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000705419,"about_ca_system_score_gemma":0.0005854263,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006401534,"about_ca_topic_score_gemma":0.0004777765,"domain_scores_codex":[0.9983819,0.0004147244,0.0001050658,0.0002932958,0.0006588044,0.0001462721],"domain_scores_gemma":[0.9979895,0.0006628578,0.0001883724,0.0007561077,0.000374449,0.00002879587],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0006470982,0.0002314484,0.004863678,0.0007798995,0.0001431062,0.001156595,0.0003834025,0.1918168,0.1702956,0.1698717,0.01620667,0.4436041],"study_design_scores_gemma":[0.00008189263,0.0006196912,0.0017581,0.0001120872,0.0001070908,0.001394135,0.00003795536,0.7101595,0.2124342,0.02698235,0.04624816,0.00006487408],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02611401,0.0001945215,0.9399399,0.000107965,0.00007452857,0.0001923611,0.0004036926,0.01315833,0.01981481],"genre_scores_gemma":[0.7901704,0.0002152922,0.2005607,0.0001919361,0.0000584311,0.0003151522,0.0008477488,0.001113244,0.006527144],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008003153,"threshold_uncertainty_score":0.02677321,"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."}}