{"id":"W1483036827","doi":"","title":"From multicore simulation to hardware synthesis using transactions","year":2013,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"SystemC; Computer science; Concurrency; Interfacing; High-level synthesis; Abstraction; Embedded system; Computer architecture; Distributed computing; Computer hardware; Field-programmable gate array","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.0005941063,0.0003760414,0.0003555535,0.0003119367,0.0003503626,0.000952077,0.000696296,0.000552405,0.002567775],"category_scores_gemma":[0.0009767268,0.000319918,0.0005767483,0.0004164149,0.00116913,0.001018014,0.0009521441,0.001162315,0.0003900467],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007182556,"about_ca_system_score_gemma":0.001049397,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003324209,"about_ca_topic_score_gemma":0.002831438,"domain_scores_codex":[0.9996349,0.0001175236,0.00002286312,0.00005961366,0.0001220195,0.00004308483],"domain_scores_gemma":[0.9996469,0.000164597,0.00002164728,0.0001024685,0.00004304522,0.00002133997],"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.0001471641,0.0000785081,0.0008725394,0.0002552286,0.00005625074,0.000192958,0.0004297578,0.5350001,0.03539686,0.347647,0.0008704388,0.07905325],"study_design_scores_gemma":[0.00003408845,0.00009176686,0.000168958,0.00004423599,0.0000210293,0.00005268537,0.00006771008,0.846444,0.01947847,0.1223236,0.01125438,0.00001904588],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04253092,0.0007952498,0.9410369,0.0004270964,0.0001454978,0.00005904558,0.0000409576,0.0007914128,0.01417299],"genre_scores_gemma":[0.6213129,0.001619045,0.3700628,0.0001757435,0.00005766642,0.0001528646,0.0001019942,0.0002758435,0.00624128],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003324209,"threshold_uncertainty_score":0.008590043,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07248711281026336,"score_gpt":0.3306964727284196,"score_spread":0.2582093599181562,"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."}}