{"id":"W1993761532","doi":"10.1109/tcad.2012.2198474","title":"synASM: A High-Level Synthesis Framework With Support for Parallel and Timed Constructs","year":2012,"lang":"en","type":"article","venue":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; VHDL; Field-programmable gate array; Scheduling (production processes); Computation; Abstract state machines; Parallel computing; Lookup table; Programming language; Embedded system; Finite-state machine","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001169246,0.0005133853,0.0009526484,0.000470249,0.0002540497,0.0002746343,0.0005524507,0.0003718895,0.000007110998],"category_scores_gemma":[0.0000281413,0.0004015976,0.0001014194,0.0005186491,0.0002092332,0.0006484336,0.000005990343,0.0003465702,0.000005403808],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001001072,"about_ca_system_score_gemma":0.0002059397,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001769144,"about_ca_topic_score_gemma":0.000003073863,"domain_scores_codex":[0.9969128,0.0004942511,0.0008512861,0.0006842663,0.0004380543,0.0006193623],"domain_scores_gemma":[0.9960204,0.002042104,0.0004171616,0.0007412833,0.0004392833,0.0003397484],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001088686,0.002853198,0.0006348914,0.004219234,0.00471587,0.0001436197,0.01075336,0.03445224,0.04708414,0.2691008,0.005246113,0.6197079],"study_design_scores_gemma":[0.005250879,0.008762944,0.0004552477,0.007738262,0.0007194788,0.0043936,0.001056141,0.7980291,0.1654321,0.003797937,0.0006248385,0.0037394],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003150519,0.0002427067,0.9932656,0.00004162238,0.000896894,0.001834438,0.0001143606,0.0004002393,0.00005357921],"genre_scores_gemma":[0.7464477,0.00003754084,0.25284,0.00005321632,0.00006206126,0.0004460341,0.000002120289,0.00004038556,0.00007088628],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7635769,"threshold_uncertainty_score":0.9998436,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04797025004402732,"score_gpt":0.2495083427863041,"score_spread":0.2015380927422768,"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."}}