{"id":"W2585272274","doi":"10.1145/3020078.3021729","title":"Synchronization Constraints for Interconnect Synthesis","year":2017,"lang":"en","type":"article","venue":"","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Field-programmable gate array; Synchronization (alternating current); Latency (audio); FIFO (computing and electronics); Interconnection; Integer programming; High-level synthesis; Embedded system; Scheduling (production processes); Computer architecture; Distributed computing; Parallel computing; Computer hardware; Computer network; Engineering; Channel (broadcasting); Algorithm","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.0004273668,0.00008279607,0.0001240658,0.00005252003,0.0002564778,0.0004583476,0.001313551,0.00005635967,0.00003243718],"category_scores_gemma":[0.0007147563,0.00007227724,0.00005201612,0.00002462563,0.00008186674,0.0006598398,0.0001524303,0.00003008832,0.00003256509],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003960802,"about_ca_system_score_gemma":0.00004065918,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002123819,"about_ca_topic_score_gemma":0.00001157201,"domain_scores_codex":[0.9993174,0.00003290672,0.0001544,0.000249281,0.00009120825,0.0001547714],"domain_scores_gemma":[0.9985172,0.0002294531,0.0001343789,0.0009748822,0.0001032203,0.00004082704],"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.000001896,0.00001846242,0.0002502424,0.00003704441,0.00001909389,0.000003536225,0.0001424431,9.260135e-7,0.002250971,0.5721521,0.004991473,0.4201318],"study_design_scores_gemma":[0.0005964387,0.0002649486,0.0007883179,0.0004130019,0.00002330304,0.00009527205,0.00009022267,0.2645049,0.6484285,0.07726894,0.006662813,0.0008633502],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0002275357,0.00001021496,0.9712078,0.0005980143,0.0002150458,0.0003241774,0.000001979319,0.0004120037,0.02700322],"genre_scores_gemma":[0.8062493,0.000002157954,0.1932178,0.00007149507,0.00003896806,0.0001008251,2.94783e-7,0.00000623968,0.0003129988],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8060217,"threshold_uncertainty_score":0.4419856,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03483924841073971,"score_gpt":0.3007136929887846,"score_spread":0.2658744445780449,"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."}}