{"id":"W2126443595","doi":"10.1109/ccece.2004.1347573","title":"On the extension of SystemC by SystemVerilog assertions","year":2004,"lang":"en","type":"article","venue":"","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":21,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"SystemC; Computer science; Verilog; Programming language; Assertion; Hardware description language; Abstraction; Extension (predicate logic); Computer architecture; Embedded system; 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.004366263,0.0009754215,0.0006164763,0.001232393,0.0008686007,0.002434857,0.001834642,0.001021328,0.005962451],"category_scores_gemma":[0.00811378,0.0008179824,0.001353806,0.0008404696,0.002441792,0.004104242,0.002136777,0.00308598,0.002959601],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008841217,"about_ca_system_score_gemma":0.002255879,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002389544,"about_ca_topic_score_gemma":0.002498702,"domain_scores_codex":[0.996482,0.001093005,0.0003459198,0.0005307395,0.001237232,0.0003110671],"domain_scores_gemma":[0.9934103,0.002775973,0.0005103424,0.001844989,0.001327256,0.0001311983],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0004110619,0.000139726,0.001403725,0.001112056,0.00007114304,0.0007667551,0.0009208728,0.02424098,0.01819057,0.7128772,0.01614377,0.2237221],"study_design_scores_gemma":[0.0001635396,0.0004043403,0.0005695786,0.0007633108,0.0001893454,0.001341121,0.00009500077,0.1891529,0.05370914,0.2270683,0.5263667,0.000176824],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002855134,0.0002864871,0.984211,0.0003023135,0.0001220202,0.00008481603,0.0001429784,0.006188874,0.00580636],"genre_scores_gemma":[0.1212031,0.001062824,0.8641152,0.001364587,0.0002060786,0.000483302,0.0008667599,0.003030471,0.007667783],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005962451,"threshold_uncertainty_score":0.02309126,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01807425364500555,"score_gpt":0.2416592851968943,"score_spread":0.2235850315518888,"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."}}