{"id":"W2165108299","doi":"10.1109/aqtr.2010.5520840","title":"Challenges in verifying and optimizing fixed-point arithmetic-intensive designs","year":2010,"lang":"en","type":"article","venue":"","topic":"Numerical Methods and Algorithms","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Datapath; Computer science; Arithmetic; Saturation arithmetic; Fixed-point arithmetic; Arbitrary-precision arithmetic; Arithmetic circuit complexity; Digital signal processing; Arithmetic logic unit; Polynomial; Implementation; Affine arithmetic; Algorithm; Floating point; Parallel computing; Computer hardware; Mathematics; Programming language","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.0004735126,0.0001118785,0.0001778573,0.00008934693,0.00005314915,0.0001029425,0.0002954334,0.00005753899,0.0000110216],"category_scores_gemma":[0.0002224518,0.00008926022,0.00002773922,0.0001579022,0.00004986344,0.0002854608,0.0002492068,0.0002900174,0.000007469884],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000008078093,"about_ca_system_score_gemma":0.00001510624,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004033848,"about_ca_topic_score_gemma":0.00002293001,"domain_scores_codex":[0.9990394,0.00006374531,0.0001526608,0.000378807,0.0001095041,0.0002558985],"domain_scores_gemma":[0.9992222,0.0002682096,0.00003467387,0.0002919267,0.00007481034,0.000108139],"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.000002088567,0.00002736178,0.00007720864,0.000009533558,0.000004922674,0.0000404748,0.001039069,0.000009877004,0.01317396,0.06439089,0.00001771965,0.9212069],"study_design_scores_gemma":[0.001997175,0.0006914114,0.01753459,0.0001720229,0.0000150322,0.0004963647,0.004853435,0.7742323,0.07476185,0.1180449,0.0055981,0.001602804],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004533913,0.0003583184,0.985323,0.004517418,0.0004060812,0.00009527233,1.647079e-7,0.00009091144,0.004674925],"genre_scores_gemma":[0.08320235,0.0002154695,0.916091,0.0004038207,0.00004174323,0.000008122464,6.440281e-8,0.000006223147,0.00003125229],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9196041,"threshold_uncertainty_score":0.3639926,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1049849363005423,"score_gpt":0.3195418971780198,"score_spread":0.2145569608774776,"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."}}