{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006754327,0.000855248,0.001369147,0.0007942228,0.0006540542,0.002041758,0.001996462,0.001059013,0.002089147],"category_scores_gemma":[0.02778959,0.0007209586,0.0009440006,0.001246507,0.001686267,0.004173963,0.0008946259,0.001401342,0.0006966607],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00132378,"about_ca_system_score_gemma":0.002406225,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00142838,"about_ca_topic_score_gemma":0.001650653,"domain_scores_codex":[0.9934759,0.002575532,0.0005398223,0.0004305201,0.002739549,0.00023873],"domain_scores_gemma":[0.9854284,0.009503298,0.0008462885,0.002105211,0.002016919,0.00009996624],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001608059,0.00005833875,0.00113798,0.0007570529,0.00007479493,0.0001243707,0.0001628063,0.5951651,0.01488546,0.1345944,0.00172821,0.2511506],"study_design_scores_gemma":[0.00006615662,0.0001540409,0.0002595341,0.000140343,0.00003145508,0.0001204026,0.00009323379,0.8381498,0.01337664,0.1366507,0.01092253,0.00003515878],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01596408,0.002299724,0.9768232,0.0009897834,0.00007607193,0.00006030855,0.00005273365,0.0006428408,0.003091203],"genre_scores_gemma":[0.2492591,0.00234598,0.7464359,0.0001789804,0.00009577298,0.0001734718,0.0001336207,0.0003266863,0.001050388],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006754327,"threshold_uncertainty_score":0.03572071,"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."}}