{"id":"W1601188317","doi":"10.1007/978-3-540-39893-6_13","title":"Modeling SystemC Fixed-Point Arithmetic in HOL","year":2003,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"SystemC; Fixed-point arithmetic; HOL; Computer science; Netlist; Fixed point; Rounding; Arithmetic; Floating point; Theoretical computer science; Algorithm; Programming language; Embedded system; Mathematics","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.0004373957,0.0005913565,0.0004158104,0.000759478,0.000542037,0.001810582,0.001160322,0.0006762375,0.008940028],"category_scores_gemma":[0.0009948157,0.0003124689,0.0006870797,0.0007372153,0.001205625,0.002396562,0.0009046157,0.00121906,0.001631132],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000843442,"about_ca_system_score_gemma":0.0006541297,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001739256,"about_ca_topic_score_gemma":0.001961533,"domain_scores_codex":[0.9997031,0.0000610865,0.00001666206,0.00004385392,0.0001247905,0.00005045683],"domain_scores_gemma":[0.9997447,0.00007912394,0.0000257588,0.00008030301,0.00005819125,0.00001191702],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0000374442,0.00002262972,0.0002272259,0.00007957537,0.00001181789,0.00008195484,0.0001440891,0.05336834,0.00231207,0.9192078,0.001293339,0.02321365],"study_design_scores_gemma":[0.0000318825,0.0000512254,0.000137054,0.00003587101,0.00002742337,0.00009067168,0.00005645218,0.3222429,0.004376834,0.655353,0.01757606,0.0000206704],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0351826,0.0003611264,0.9110762,0.0002353215,0.0001388951,0.00007118335,0.0001779851,0.001842988,0.05091364],"genre_scores_gemma":[0.7635674,0.0006815157,0.1999731,0.0001720044,0.0001473375,0.0001732107,0.0004387084,0.0006797382,0.034167],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008940028,"threshold_uncertainty_score":0.02990741,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02362769884997679,"score_gpt":0.2517938118826556,"score_spread":0.2281661130326788,"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."}}