{"id":"W2088144429","doi":"10.1109/iscas.2012.6272100","title":"Verification of fixed-point datapaths with comparator units using Constrained Arithmetic Transform (CAT)","year":2012,"lang":"en","type":"article","venue":"","topic":"Numerical Methods and Algorithms","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Comparator; Fixed-point arithmetic; Arithmetic; Computer science; Range (aeronautics); Arbitrary-precision arithmetic; Adder; Polynomial; Algorithm; Mathematics; Parallel computing; Floating point; 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.0003738454,0.0001178078,0.000211317,0.00006163875,0.00005952353,0.00003683485,0.0003521401,0.0000330091,0.00002634895],"category_scores_gemma":[0.00002173635,0.00008344348,0.00002475519,0.000650587,0.0001132203,0.0005915862,0.00003798391,0.0000644028,0.000007082612],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002307699,"about_ca_system_score_gemma":0.00008796994,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006089973,"about_ca_topic_score_gemma":0.000001089991,"domain_scores_codex":[0.9990348,0.00006896016,0.0002415873,0.0001900003,0.0002028769,0.0002617766],"domain_scores_gemma":[0.9991541,0.00009909146,0.00009307108,0.0003896317,0.0001162396,0.0001478648],"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.00005445326,0.0009144567,0.001970875,0.0001466628,0.0001254311,0.000006990467,0.004866434,0.0002193286,0.09936401,0.3589089,0.0001415133,0.533281],"study_design_scores_gemma":[0.001651488,0.0005812602,0.005130163,0.0001139629,0.00007222633,0.0001878179,0.0008435641,0.7603793,0.2241482,0.001833671,0.004245915,0.0008124507],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02394968,0.00003890104,0.9741662,0.0001951879,0.000126725,0.0001599481,0.000008590384,0.00005831878,0.00129642],"genre_scores_gemma":[0.4338972,0.000001999248,0.5659871,0.00006752228,0.00002240009,0.000002932356,0.000002600226,0.000004206746,0.00001403949],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7601599,"threshold_uncertainty_score":0.3402727,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06349508672955911,"score_gpt":0.3012782631057218,"score_spread":0.2377831763761626,"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."}}