{"id":"W2138106527","doi":"10.1007/11562948_8","title":"An Approach for the Verification of SystemC Designs Using AsmL","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":25,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"SystemC; Computer science; Correctness; Programming language; Formal verification; Embedded system; Model checking; Assertion; Functional verification; Software engineering","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.004153474,0.001642476,0.001007535,0.002150811,0.001498544,0.003071783,0.003034663,0.002097618,0.008104184],"category_scores_gemma":[0.007143127,0.001667431,0.00293709,0.0013272,0.002899629,0.003505622,0.003811133,0.004207337,0.003738406],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001595185,"about_ca_system_score_gemma":0.003449221,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002740531,"about_ca_topic_score_gemma":0.004358772,"domain_scores_codex":[0.99362,0.002109786,0.0005179295,0.0004698927,0.002908745,0.00037366],"domain_scores_gemma":[0.995843,0.00174858,0.0002227046,0.001395543,0.0007255963,0.00006455615],"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.0002238349,0.0002121836,0.0007281089,0.001476725,0.0001432519,0.0005790785,0.0009604111,0.04944478,0.04327252,0.5498527,0.009627414,0.343479],"study_design_scores_gemma":[0.0001751947,0.0002585757,0.0002615722,0.000430925,0.000218801,0.0007633736,0.0001762357,0.4305465,0.08092149,0.3633827,0.1227369,0.0001277354],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0008317558,0.00006594731,0.9943268,0.0001048083,0.00003195418,0.0000959266,0.00004279784,0.002527857,0.001972192],"genre_scores_gemma":[0.03867162,0.000206792,0.9563802,0.0001780239,0.00004007744,0.0003303074,0.0001770534,0.0005694912,0.003446367],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008104184,"threshold_uncertainty_score":0.02711117,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09503968511718412,"score_gpt":0.3246511646376925,"score_spread":0.2296114795205084,"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."}}