{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001749876,0.001073294,0.0007217643,0.001523601,0.0008091592,0.001548815,0.002107624,0.0008545161,0.006289604],"category_scores_gemma":[0.01272376,0.0003960028,0.001142722,0.001466997,0.001716156,0.004136739,0.001379922,0.001154101,0.0007512881],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001007496,"about_ca_system_score_gemma":0.002457204,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002084638,"about_ca_topic_score_gemma":0.002155624,"domain_scores_codex":[0.9961935,0.0005677218,0.0003457956,0.0005086341,0.002137755,0.0002465494],"domain_scores_gemma":[0.9904017,0.004755442,0.001112925,0.001799754,0.001840812,0.00008941902],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.001926538,0.0002015209,0.007688256,0.001782536,0.0002896697,0.001175631,0.000524207,0.1990298,0.171647,0.1807472,0.007005162,0.4279827],"study_design_scores_gemma":[0.0001810259,0.0006374629,0.0009913233,0.0001674516,0.0001298004,0.0008540258,0.0001298881,0.7088585,0.2006841,0.07813051,0.009139577,0.00009629337],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02856714,0.0002036013,0.965404,0.00008233348,0.00006554039,0.00007166292,0.0001525989,0.003335465,0.00211761],"genre_scores_gemma":[0.5663211,0.0002175389,0.43079,0.0001249696,0.00006117151,0.0001666549,0.0004591247,0.0005454929,0.001313988],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006289604,"threshold_uncertainty_score":0.0210408,"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."}}