{"id":"W2012627971","doi":"10.1109/aspdac.2013.6509694","title":"Range and bitmask analysis for hardware optimization in high-level synthesis","year":2013,"lang":"en","type":"article","venue":"","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":36,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"High-level synthesis; Computer science; Range (aeronautics); Computer architecture; Computer hardware; Field-programmable gate array; Engineering","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.0003437593,0.0001025589,0.0002388921,0.0004469809,0.00004004862,0.0001743134,0.0003413719,0.00007424132,0.00005104164],"category_scores_gemma":[0.00009412379,0.00008691193,0.00005563075,0.0007460581,0.0000148786,0.0006120829,0.00007943986,0.00003331164,0.000007900313],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003560809,"about_ca_system_score_gemma":0.00001416333,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007906452,"about_ca_topic_score_gemma":0.0001032703,"domain_scores_codex":[0.999074,0.00007377748,0.0002380417,0.0003220191,0.000122705,0.0001694973],"domain_scores_gemma":[0.999133,0.000263474,0.00006701099,0.0003769433,0.0001103005,0.00004925841],"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.0000491286,0.0007093811,0.2575415,0.0008244771,0.001936634,0.00003010736,0.006050562,0.09359401,0.007129053,0.3275391,0.04370644,0.2608895],"study_design_scores_gemma":[0.0001764248,0.00003043404,0.01356285,0.00002139699,0.00003816762,0.000001494957,0.00003027031,0.9792271,0.004658723,0.001996832,0.00005416166,0.0002021813],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003184076,0.00003611124,0.9950123,0.0005146386,0.00002666182,0.0005441222,0.000004424981,0.0002269769,0.0004506531],"genre_scores_gemma":[0.4866844,0.000007584651,0.512592,0.00006823137,0.000008534966,0.0003386234,0.000001472974,0.000005096277,0.0002940447],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8856331,"threshold_uncertainty_score":0.3544166,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0319359997077947,"score_gpt":0.2445937769063477,"score_spread":0.212657777198553,"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."}}