{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.003063252,0.0008373828,0.001079799,0.002163896,0.0001806881,0.0007795636,0.00491234,0.0006563814,0.000008322616],"category_scores_gemma":[0.0001720516,0.0008023233,0.0001949079,0.001179529,0.0003599167,0.0009292944,0.001215694,0.001447401,0.00005351334],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001034576,"about_ca_system_score_gemma":0.000600566,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001245796,"about_ca_topic_score_gemma":0.0001518284,"domain_scores_codex":[0.9935691,0.0001820652,0.001284189,0.002413246,0.001468122,0.001083239],"domain_scores_gemma":[0.9960856,0.0004124467,0.0003549297,0.002605112,0.0003196937,0.0002222347],"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.000009381777,0.000121075,0.00008830439,0.0006280069,0.00003115251,0.001144916,0.003416385,0.6780961,0.0008811034,0.09863591,0.0001154989,0.2168321],"study_design_scores_gemma":[0.0001689637,0.0001155748,0.0000019873,0.001691727,0.000004617676,0.0002378656,3.353233e-7,0.8604226,0.001482083,0.1349342,0.0001435624,0.0007965126],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00006313622,0.001039648,0.9908766,0.0003480453,0.001618322,0.001067448,0.000002685765,0.0004446487,0.004539511],"genre_scores_gemma":[0.3379306,0.00004914848,0.6598773,0.001452203,0.0002587131,0.00006362128,0.000002173005,0.00008108868,0.0002850795],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3378675,"threshold_uncertainty_score":0.9994428,"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."}}