{"id":"W1869483461","doi":"10.1109/vdat.2005.1500060","title":"A TLM platform for system-on-chip simulation and verification","year":2005,"lang":"en","type":"article","venue":"","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"SystemC; Transaction-level modeling; Computer science; System on a chip; Embedded system; Hardware description language; Formal verification; Intelligent verification; Computer architecture; Functional verification; Interface (matter); Systems modeling; Electronic system-level design and verification; Chip; Software engineering; Operating system; Programming language; Field-programmable gate array; Software; Software development","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003461576,0.00008148488,0.00009555888,0.00008486107,0.00007883405,0.0001040373,0.000214514,0.00006056038,0.00000123746],"category_scores_gemma":[0.00002593953,0.00006961614,0.00002459156,0.00009144389,0.00000888907,0.0004636777,0.00002602101,0.00003334081,0.00002406765],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007861744,"about_ca_system_score_gemma":0.00001421438,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000621894,"about_ca_topic_score_gemma":0.000003314208,"domain_scores_codex":[0.9992992,0.00001763823,0.0001926026,0.0002414619,0.0001284752,0.0001206607],"domain_scores_gemma":[0.9992858,0.0001854968,0.00007262856,0.0003535713,0.00006138697,0.00004113134],"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.0000119168,0.00002303181,0.00003909093,0.00007758234,0.000006682853,3.230724e-7,0.0004468166,0.002155368,0.001652126,0.9304518,0.001044477,0.06409079],"study_design_scores_gemma":[0.0001830576,0.0001025289,0.0001418953,0.00003419841,0.000002038819,0.00000535868,0.00002091768,0.9834129,0.01051653,0.001692663,0.00378616,0.0001017978],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00564586,0.00002515979,0.9846812,0.000191069,0.00006222723,0.0005766238,0.000001035723,0.000663324,0.00815348],"genre_scores_gemma":[0.8632654,6.969231e-7,0.1362009,0.0001089658,0.00007705334,0.00007311492,0.000001403497,0.00000609853,0.0002664199],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9812575,"threshold_uncertainty_score":0.2838864,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04415030638259922,"score_gpt":0.3002378109411818,"score_spread":0.2560875045585826,"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."}}