{"id":"W2289241984","doi":"10.1109/rsp.2015.7416557","title":"Hard block reduction and synthesis improvements in Odin II","year":2015,"lang":"en","type":"article","venue":"","topic":"VLSI and FPGA Design Techniques","field":"Engineering","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of New Brunswick","funders":"Natural Sciences and Engineering Research Council of Canada; CMC Microsystems","keywords":"Netlist; Computer science; Verilog; Field-programmable gate array; Block (permutation group theory); Reduction (mathematics); Computer architecture; For loop; Embedded system; Routing (electronic design automation); Abstract syntax tree; Tree (set theory); Gate array; Programming language; Computer hardware; Loop (graph theory); Parsing","routes":{"ca_aff":true,"ca_fund":true,"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.0001052299,0.00005602627,0.00006609687,0.00006453884,0.00001142203,0.00001066227,0.00003109054,0.00004225367,0.00001135413],"category_scores_gemma":[0.00001310068,0.00005244194,0.000007835738,0.00005698754,0.000007128972,0.00008516815,0.0000161206,0.00004320065,0.000005947064],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000367476,"about_ca_system_score_gemma":0.000003481855,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005200973,"about_ca_topic_score_gemma":0.000004357636,"domain_scores_codex":[0.9997025,0.00000551566,0.00008217426,0.00007243191,0.00004879112,0.00008856512],"domain_scores_gemma":[0.9998695,0.000004501132,0.000005416151,0.00007136112,0.000009249457,0.00003993134],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00001829047,0.0001192446,0.00206831,0.00008565963,0.00004505219,0.000007984839,0.001205882,0.0003041682,0.6956485,0.0006353764,0.06065784,0.2392037],"study_design_scores_gemma":[0.0004416464,0.0001219058,0.001999703,0.00004577267,0.00001273793,0.00001728594,0.0003017797,0.01206728,0.9780474,0.001674158,0.00496395,0.0003063477],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9824295,0.0001369479,0.001648696,0.00007121266,0.0001166449,0.0001414775,0.000001336551,0.0005106539,0.01494351],"genre_scores_gemma":[0.9961674,0.00004247356,0.003142383,0.000008561192,0.00002614699,0.00002766719,4.345048e-7,0.000009804386,0.0005751031],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2823989,"threshold_uncertainty_score":0.213852,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02212052231466088,"score_gpt":0.215047636245826,"score_spread":0.1929271139311652,"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."}}