{"id":"W1559568018","doi":"10.1007/3-540-47884-1_11","title":"Formalization of Cadence SPW Fixed-Point Arithmetic in HOL","year":2002,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Numerical Methods and Algorithms","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Rounding; Computer science; HOL; Fixed-point arithmetic; Saturation arithmetic; Correctness; Arithmetic; Division (mathematics); Fixed point; Multiplication (music); Algorithm; Floating point; Arbitrary-precision arithmetic; 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.0008237856,0.0006746346,0.0006689228,0.00188062,0.001224537,0.003049795,0.001523657,0.0007709501,0.01166177],"category_scores_gemma":[0.001265756,0.0004435746,0.001049197,0.001683327,0.00389528,0.004131837,0.001989314,0.003094122,0.001727111],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001703215,"about_ca_system_score_gemma":0.0006516851,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001315017,"about_ca_topic_score_gemma":0.001333797,"domain_scores_codex":[0.9993375,0.0001189636,0.00004968591,0.0001222183,0.0002647219,0.0001069691],"domain_scores_gemma":[0.9996635,0.0001151138,0.00002634258,0.00008048953,0.00008800258,0.0000266406],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000005963854,0.000005171677,0.00002310607,0.00001846881,0.0000022441,0.0000236335,0.00007984885,0.000356504,0.0002242915,0.9937674,0.0004956762,0.004997733],"study_design_scores_gemma":[0.00001004793,0.00001186807,0.00008068357,0.00001872727,0.00000697332,0.00006561517,0.0000530839,0.002631679,0.0005607198,0.9842756,0.01227639,0.000008596107],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04724219,0.001332456,0.709346,0.001332117,0.0005064951,0.0001254102,0.0004468371,0.001286253,0.2383823],"genre_scores_gemma":[0.7808436,0.001296515,0.1690048,0.0008846044,0.0006402036,0.0002576106,0.0007124773,0.0007092334,0.04565093],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01166177,"threshold_uncertainty_score":0.03901249,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02162370347798586,"score_gpt":0.2645196202895824,"score_spread":0.2428959168115965,"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."}}