{"id":"W2140479167","doi":"10.1109/newcas.2006.250921","title":"Model Based Verification of SystemC Designs","year":2006,"lang":"en","type":"article","venue":"","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"SystemC; Computer science; Transaction-level modeling; Electronic system-level design and verification; Formal verification; Embedded system; System on a chip; Abstraction; Register-transfer level; Computer architecture; Finite-state machine; Conformance testing; Programming language; Logic synthesis; Logic gate; Algorithm; Operating system; Standardization","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.002239052,0.0008405682,0.0005697362,0.001079947,0.0006321613,0.00165903,0.0010616,0.001184933,0.003641548],"category_scores_gemma":[0.00667609,0.0005326016,0.00130201,0.0006520536,0.001669855,0.001277039,0.001013808,0.001043721,0.0005787087],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001486344,"about_ca_system_score_gemma":0.002778275,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006364994,"about_ca_topic_score_gemma":0.004972016,"domain_scores_codex":[0.9961422,0.001470848,0.0002110098,0.0002959024,0.001613502,0.0002665929],"domain_scores_gemma":[0.9965322,0.001980817,0.00025109,0.0007719084,0.0004307624,0.00003320691],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001664721,0.0001065163,0.001246799,0.0005293894,0.0001008555,0.0003891593,0.0002367001,0.6581962,0.03547319,0.2430006,0.002651345,0.05790289],"study_design_scores_gemma":[0.00006932836,0.00009777556,0.0001863914,0.00005047869,0.00003367278,0.00009210725,0.00001672905,0.9352509,0.0229054,0.03356001,0.00771699,0.00002022359],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02201795,0.0001815632,0.9680452,0.0001981932,0.00004092102,0.0001819531,0.0003709802,0.00418371,0.004779541],"genre_scores_gemma":[0.542022,0.0004434153,0.452623,0.0001828147,0.0000431586,0.0008131961,0.0008482902,0.0004308078,0.002593354],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006364994,"threshold_uncertainty_score":0.01265591,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05366773364833251,"score_gpt":0.2362841185183537,"score_spread":0.1826163848700212,"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."}}