{"id":"W2111937166","doi":"10.1109/mwscas.2007.4488581","title":"Timing specification in transaction level modeling of hardware/software systems","year":2007,"lang":"en","type":"article","venue":"Conference proceedings","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal; Université de Montréal","funders":"","keywords":"Computer science; Design space exploration; Design flow; Transaction-level modeling; Speedup; Database transaction; Electronic system-level design and verification; Process (computing); Static timing analysis; Computer architecture; Software; High-level synthesis; Embedded system; Software engineering; Programming language; Parallel computing; 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.003320557,0.0009597844,0.0006648695,0.0009081371,0.000504663,0.002986288,0.002059136,0.001554984,0.003813181],"category_scores_gemma":[0.005925368,0.0007320247,0.001628255,0.001446214,0.001408076,0.003224982,0.001042485,0.002198348,0.001194061],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001124395,"about_ca_system_score_gemma":0.001910317,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003020487,"about_ca_topic_score_gemma":0.002166632,"domain_scores_codex":[0.9966729,0.001220489,0.0003772101,0.000344032,0.00117692,0.0002084076],"domain_scores_gemma":[0.996852,0.001445563,0.0004187036,0.0007967467,0.0004151441,0.00007194928],"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.0001605091,0.00007056067,0.0009844296,0.0004073099,0.00005414363,0.0003849996,0.0005000233,0.3942023,0.009308934,0.545375,0.001615389,0.04693644],"study_design_scores_gemma":[0.00005379137,0.0001458805,0.0001853316,0.00009679047,0.00008197496,0.0001831761,0.00009159456,0.8158984,0.009096258,0.1478554,0.02627518,0.00003618131],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004514731,0.0003077601,0.9919809,0.0001877953,0.00004121482,0.00006221122,0.000141417,0.0005568,0.002207153],"genre_scores_gemma":[0.2904508,0.001986917,0.6977443,0.0003437783,0.0001579626,0.0008667668,0.000928334,0.0005261209,0.006994994],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003813181,"threshold_uncertainty_score":0.01756102,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1378338232856771,"score_gpt":0.2952350524829385,"score_spread":0.1574012291972614,"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."}}