{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006740949,0.0001324995,0.0002011281,0.0001000198,0.0008141902,0.0005053719,0.0007426843,0.000107412,0.000005021714],"category_scores_gemma":[0.0002727846,0.0001210732,0.000040821,0.00009657792,0.0000989554,0.000767401,0.0002004763,0.00009459561,0.000006835842],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006344577,"about_ca_system_score_gemma":0.00006303248,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002549762,"about_ca_topic_score_gemma":0.000006701707,"domain_scores_codex":[0.9988363,0.0002397263,0.0002267599,0.0003828726,0.0001409301,0.0001733834],"domain_scores_gemma":[0.9985328,0.0001334491,0.0003050832,0.0007819846,0.0001867924,0.00005984581],"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.00009347605,0.0001862099,0.01035658,0.0001252013,0.0002215012,0.000009763054,0.001846332,0.01515092,0.0627825,0.8382608,0.002869391,0.06809736],"study_design_scores_gemma":[0.0005182921,0.00006048048,0.02543748,0.00003794322,0.00002559033,0.00001415466,0.0001146904,0.9641604,0.005422902,0.003223896,0.0007108817,0.0002732554],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01094124,0.0001031785,0.9831921,0.0005636218,0.0001842399,0.0002488525,0.000001437707,0.0005177605,0.004247604],"genre_scores_gemma":[0.6217573,0.00003826892,0.377857,0.00003433782,0.00002053785,0.000008278742,0.000002070812,0.000004806574,0.0002774381],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9490095,"threshold_uncertainty_score":0.6262175,"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."}}