{"id":"W2138159641","doi":"10.1109/icecs.2008.4675064","title":"Hardware/software system co-verification of an active reconfigurable board with SystemC-VHDL","year":2008,"lang":"en","type":"article","venue":"","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec à Montréal; Polytechnique Montréal","funders":"Natural Sciences and Engineering Research Council of Canada; CMC Microsystems","keywords":"SystemC; Computer science; Embedded system; VHDL; Computer architecture; System on a chip; Software; Transaction-level modeling; Field-programmable gate array; Computer hardware; Operating system","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"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.0004621158,0.0002377935,0.0004755416,0.0002054758,0.0001707233,0.00006666242,0.001090435,0.0001438216,0.00001041847],"category_scores_gemma":[0.00002599529,0.0001895826,0.0000663659,0.0004558608,0.00008373126,0.001275848,0.00003169337,0.0001332229,0.00005845603],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002291365,"about_ca_system_score_gemma":0.0002175714,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004369201,"about_ca_topic_score_gemma":0.00002197099,"domain_scores_codex":[0.9976799,0.0003190182,0.0005341829,0.0006162421,0.0005518823,0.0002987677],"domain_scores_gemma":[0.9973245,0.000105849,0.0004330066,0.001506933,0.0004831333,0.0001466034],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0010314,0.002281625,0.01718133,0.01189421,0.001487596,0.001630385,0.04567491,0.001118804,0.2810565,0.5046803,0.07037775,0.06158519],"study_design_scores_gemma":[0.000499491,0.0008512652,0.001308302,0.0006348395,0.00001602796,0.0009234548,0.0009897421,0.006922995,0.9863471,0.00007904936,0.0008974556,0.0005302436],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06269184,0.00005274689,0.8950124,0.00003248076,0.0001613941,0.001108218,0.00001591173,0.002415169,0.03850989],"genre_scores_gemma":[0.8845729,0.000004746437,0.1140802,0.00002576231,0.00003417979,0.0001376209,0.000008550411,0.00002483912,0.001111266],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8218811,"threshold_uncertainty_score":0.7730953,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02519606613715471,"score_gpt":0.2446280193063648,"score_spread":0.2194319531692101,"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."}}