{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001377045,0.0001583229,0.0002658233,0.0003999215,0.0000491552,0.0001413242,0.0006990657,0.0001456591,0.000002877874],"category_scores_gemma":[0.00008492763,0.0001669554,0.00004298173,0.0005445845,0.00002816346,0.001037346,0.00004247827,0.0001977449,0.000006108675],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001476482,"about_ca_system_score_gemma":0.00007539642,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001542679,"about_ca_topic_score_gemma":0.00001034544,"domain_scores_codex":[0.9982573,0.00001295308,0.0006449862,0.0004155206,0.0003698876,0.0002992923],"domain_scores_gemma":[0.9988185,0.00004667968,0.000246774,0.0002110528,0.0006093261,0.00006767016],"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.0001076054,0.0003261015,0.01632426,0.002308143,0.00004703217,0.00002085528,0.04678704,0.002002678,0.3774559,0.4348244,0.000358093,0.119438],"study_design_scores_gemma":[0.0002875812,0.00008780257,0.001203354,0.0009456541,0.000006467048,0.00003670737,0.001552498,0.9220023,0.06931183,0.00408401,0.0001103339,0.0003714684],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04153734,0.00008954959,0.9551045,0.00004318574,0.0001587212,0.0003860891,0.000001368944,0.0003185019,0.002360716],"genre_scores_gemma":[0.9227315,0.00001659267,0.07708012,0.000008691468,0.00003739061,0.00003140395,0.000001100822,0.00001233832,0.00008091652],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9199996,"threshold_uncertainty_score":0.6808245,"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."}}