{"id":"W3208979388","doi":"10.1109/ewdts52692.2021.9580997","title":"UVM Verification IP for AXI","year":2021,"lang":"en","type":"article","venue":"","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Computer science; Verilog; Functional verification; Intelligent verification; Reusability; High-level verification; Embedded system; Interface (matter); Verification; Formal verification; Computer architecture; Runtime verification; Flexibility (engineering); Coding (social sciences); Programming language; Operating system; Field-programmable gate array; Software","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.00007829241,0.00002908619,0.00003683874,0.00001239086,0.00006155989,0.00007341531,0.0001660993,0.0000143369,0.00001384767],"category_scores_gemma":[0.00007913839,0.00002735311,0.00002558378,0.0001343467,0.000003966687,0.0001345041,0.00002946539,0.00001889106,0.00003336184],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000007127922,"about_ca_system_score_gemma":0.00004240824,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003790178,"about_ca_topic_score_gemma":0.000003169146,"domain_scores_codex":[0.9996341,0.000007876636,0.00006342289,0.0001515207,0.00005226397,0.000090819],"domain_scores_gemma":[0.9996353,0.00005260425,0.00001577625,0.0001996255,0.00007212663,0.00002455136],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[2.855731e-8,0.00002418311,0.0004729244,0.00001040716,0.000003945324,0.000003490829,0.0001324662,0.00001795554,0.01528033,0.3737411,0.002222761,0.6080904],"study_design_scores_gemma":[0.0009045242,0.0001079207,0.02367079,0.00005094748,0.00001430824,0.00009520982,0.0002170539,0.5595906,0.2188688,0.06918644,0.1266511,0.0006422138],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002130979,0.00004717839,0.9823712,0.001046114,0.0001245623,0.00003041642,3.411998e-7,0.0001094948,0.01413972],"genre_scores_gemma":[0.963882,0.000002113178,0.03341793,0.0006172238,0.00006442721,0.000008261824,0.000003650122,0.000002443424,0.002001934],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.961751,"threshold_uncertainty_score":0.1115427,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03089023576969174,"score_gpt":0.2538583009763784,"score_spread":0.2229680652066867,"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."}}