{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001752939,0.0009539951,0.0005934612,0.001097762,0.0006476836,0.001477303,0.002537319,0.001200263,0.02065232],"category_scores_gemma":[0.004114155,0.0008863971,0.001207803,0.0006678671,0.0005824704,0.001498543,0.001710774,0.002374362,0.007504364],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007625624,"about_ca_system_score_gemma":0.0018728,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002799321,"about_ca_topic_score_gemma":0.002487607,"domain_scores_codex":[0.9988698,0.0002860291,0.000118099,0.0001080483,0.0005188875,0.00009898892],"domain_scores_gemma":[0.9985943,0.0004744183,0.0001143539,0.0004802252,0.00027434,0.00006217957],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0006817345,0.000341666,0.002212821,0.001675591,0.0002618183,0.001204025,0.0006602927,0.2826515,0.07102054,0.1928964,0.08511344,0.3612801],"study_design_scores_gemma":[0.000224017,0.0002198474,0.0003822727,0.0001495689,0.00008362875,0.0004102764,0.0000403875,0.7463265,0.03469738,0.02541473,0.1919772,0.00007419477],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001734355,0.0001198657,0.9585775,0.0001004324,0.00006010661,0.000173153,0.0004439341,0.03338259,0.00540808],"genre_scores_gemma":[0.06808416,0.0004469562,0.9079854,0.000314542,0.00006423419,0.001523871,0.003078475,0.005773003,0.01272926],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02065232,"threshold_uncertainty_score":0.06908894,"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."}}