{"id":"W2588724429","doi":"10.1109/isco.2017.7855984","title":"Cache coherency controller verification IP using SystemVerilog Assertions (SVA) and Universal Verification Methodologies (UVM)","year":2017,"lang":"en","type":"article","venue":"","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Ministère de l'Économie, de la Science et de l'Innovation - Québec","keywords":"Computer science; Functional verification; High-level verification; Intelligent verification; Verification; Software verification; Formal verification; Synchronization (alternating current); Runtime verification; Embedded system; Model checking; Computer architecture; Programming language; Software; Software development; Software construction","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004255056,0.0006105406,0.0003895953,0.0008345295,0.0005835958,0.001684307,0.001036186,0.000516443,0.002734896],"category_scores_gemma":[0.007768188,0.0004046074,0.001313287,0.0003466448,0.001417784,0.002004936,0.001474535,0.001281706,0.0005103275],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007129914,"about_ca_system_score_gemma":0.00267589,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001693467,"about_ca_topic_score_gemma":0.00180455,"domain_scores_codex":[0.9961606,0.001421228,0.0002875284,0.0005338914,0.001313797,0.0002829425],"domain_scores_gemma":[0.9952248,0.001967055,0.0005493037,0.001268242,0.0009321987,0.00005836814],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002272738,0.0001973449,0.004341707,0.001436394,0.0001979627,0.0005597832,0.001101343,0.10706,0.06708902,0.5210447,0.002951644,0.2937929],"study_design_scores_gemma":[0.00006834546,0.0003790433,0.0009709175,0.0004492315,0.0001682019,0.0004757875,0.000282107,0.6144693,0.1670133,0.1806478,0.03500804,0.00006801774],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00956082,0.0001171549,0.9869862,0.00009888374,0.00003961776,0.00007058368,0.00007501236,0.001121409,0.001930318],"genre_scores_gemma":[0.5297781,0.0004162078,0.4657604,0.0001770426,0.00005056363,0.0002900886,0.0003053463,0.0004576456,0.002764681],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004255056,"threshold_uncertainty_score":0.02250314,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1311944689048662,"score_gpt":0.3574867611536323,"score_spread":0.2262922922487661,"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."}}