{"id":"W2135056487","doi":"10.1109/rsp.2008.17","title":"Automation of Communication Refinement and Hardware Synthesis within a System-Level Design Methodology","year":2008,"lang":"en","type":"article","venue":"","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal; Polytechnique Montréal","funders":"","keywords":"Computer science; Transaction-level modeling; Embedded system; High-level synthesis; Electronic system-level design and verification; Implementation; Computer architecture; Register-transfer level; Electronic design automation; Automation; Software; Abstraction; Computer hardware; System on a chip; Field-programmable gate array; Logic synthesis; Operating system; Software engineering; Logic gate; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002601867,0.0001131173,0.0002915659,0.0001695951,0.0001165797,0.00002166017,0.0006123736,0.00009240869,0.000005047795],"category_scores_gemma":[0.0002740627,0.00009686772,0.00003092327,0.0002162069,0.00007384186,0.0002756799,0.0001881582,0.0000649787,0.000006846776],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000700563,"about_ca_system_score_gemma":0.00005875147,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002572172,"about_ca_topic_score_gemma":0.000008978395,"domain_scores_codex":[0.997339,0.001590505,0.0004941677,0.0002393914,0.0002186862,0.0001182512],"domain_scores_gemma":[0.9975892,0.001005029,0.0003204801,0.0008779141,0.0001669513,0.00004047468],"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.00003656507,0.0001407253,0.0009155871,0.0006192628,0.0001472833,0.00002085263,0.01253574,0.0004078515,0.05999332,0.8962849,0.009433229,0.01946461],"study_design_scores_gemma":[0.0003602322,0.0002948305,0.00391332,0.0005788718,0.00003404516,0.0006570915,0.0006449035,0.3183059,0.6707911,0.003876293,0.0001218059,0.000421519],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002417194,0.0001553638,0.9946856,0.0001962854,0.00003975065,0.0003786666,0.000001435858,0.0004913633,0.00163433],"genre_scores_gemma":[0.439719,0.0000160351,0.5600515,0.00002223051,0.000002963293,0.00007619702,4.25325e-7,0.000004203161,0.0001074732],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8924087,"threshold_uncertainty_score":0.3950151,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2294888184977543,"score_gpt":0.3170674195412674,"score_spread":0.08757860104351317,"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."}}