{"id":"W2138243962","doi":"10.1109/iscas.2011.5937918","title":"An efficient algorithm of performing range analysis for fixed-point arithmetic circuits based on SAT checking","year":2011,"lang":"en","type":"article","venue":"","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Datapath; Computer science; Affine arithmetic; Range (aeronautics); Algorithm; Arithmetic; Integer (computer science); Fixed-point arithmetic; Representation (politics); Electronic circuit; Affine transformation; Floating point; Mathematics; Parallel computing","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.0009707859,0.001194266,0.001098994,0.002400025,0.000685524,0.001077541,0.001942042,0.000720416,0.005987762],"category_scores_gemma":[0.003236229,0.0004967802,0.001202215,0.001416887,0.000752356,0.002064176,0.001304244,0.001020416,0.001316289],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007027415,"about_ca_system_score_gemma":0.001416981,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001264155,"about_ca_topic_score_gemma":0.001503573,"domain_scores_codex":[0.9987786,0.0002721925,0.00009573097,0.0002563091,0.000463231,0.0001339093],"domain_scores_gemma":[0.9982608,0.0009899944,0.0001139686,0.000285607,0.0003235256,0.00002600113],"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.0004503878,0.0001885029,0.001588174,0.0005173861,0.0001255459,0.0002405715,0.0001861814,0.06383326,0.05400048,0.05390449,0.004989522,0.8199756],"study_design_scores_gemma":[0.0002326518,0.0004377608,0.001055222,0.0001042089,0.0001498461,0.0007021721,0.00007151866,0.8717666,0.064397,0.05438409,0.006606184,0.0000927219],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004473293,0.0001530026,0.9907972,0.00004701017,0.0000244288,0.00009594739,0.00005244713,0.003095079,0.001261691],"genre_scores_gemma":[0.1602154,0.0002032476,0.8373634,0.0001077207,0.00004856104,0.0002858483,0.0004254958,0.000325379,0.001024881],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005987762,"threshold_uncertainty_score":0.02003103,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04410187975414467,"score_gpt":0.2538605792007196,"score_spread":0.2097586994465749,"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."}}