{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001133559,0.0005950357,0.0002875745,0.0008016633,0.0003380867,0.001252322,0.0008092637,0.0006321179,0.03376047],"category_scores_gemma":[0.003123934,0.0003632538,0.0005716079,0.000391797,0.000505887,0.001222298,0.0007798381,0.0009498386,0.008495282],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007995254,"about_ca_system_score_gemma":0.0009539442,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008037948,"about_ca_topic_score_gemma":0.0006242023,"domain_scores_codex":[0.9985644,0.0003354825,0.00009814342,0.00024104,0.0006553077,0.0001057418],"domain_scores_gemma":[0.9987747,0.0004406888,0.000126075,0.0003738298,0.0002669649,0.00001769987],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0004157246,0.0001207746,0.00180765,0.001095594,0.00006731991,0.0007100266,0.0002335641,0.04529395,0.07435334,0.2826455,0.06373396,0.5295225],"study_design_scores_gemma":[0.0001609875,0.0005836185,0.001709691,0.0002610015,0.00007767921,0.001864815,0.00004879662,0.4523266,0.1537119,0.06827859,0.3209138,0.00006258086],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.01230476,0.0004521856,0.8893706,0.0003769164,0.0001889076,0.0003269785,0.001664926,0.02118948,0.07412525],"genre_scores_gemma":[0.4713913,0.0006808232,0.4678316,0.0008058579,0.0001794337,0.0008726908,0.00462464,0.003375389,0.05023817],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.03376047,"threshold_uncertainty_score":0.11294,"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."}}