{"id":"W2103544847","doi":"10.1109/vtest.2000.843855","title":"Using arithmetic transform for verification of datapath circuits via error modeling","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":28,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Datapath; Arithmetic; Computer science; Arithmetic circuit complexity; Arbitrary-precision arithmetic; Electronic circuit; Bounded function; Algorithm; Formal equivalence checking; Formal verification; Theoretical computer science; 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.002439177,0.0008148379,0.0006139791,0.0008646807,0.0003443533,0.001300394,0.001228489,0.0007409588,0.00120476],"category_scores_gemma":[0.01052303,0.000314411,0.0008828721,0.0006819174,0.001931072,0.00470228,0.001344613,0.001202617,0.0002212182],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009113429,"about_ca_system_score_gemma":0.0009319294,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008945981,"about_ca_topic_score_gemma":0.0007400347,"domain_scores_codex":[0.9974253,0.0005698329,0.0001863467,0.0003146253,0.001347295,0.0001566011],"domain_scores_gemma":[0.994292,0.00360058,0.0006177882,0.001015888,0.0004276431,0.00004613034],"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.0004365156,0.0000876284,0.001686079,0.0002996295,0.00007259622,0.0003106178,0.0002428152,0.5098264,0.05250936,0.3589333,0.0004013051,0.07519381],"study_design_scores_gemma":[0.00003606748,0.0001536673,0.00010626,0.00002469981,0.00003359266,0.0001081117,0.00002005718,0.8750499,0.04761717,0.07512937,0.001703488,0.00001768326],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03694625,0.00009577357,0.9611076,0.00009041495,0.00001918967,0.00004125322,0.00004904242,0.0005606734,0.001089788],"genre_scores_gemma":[0.7940568,0.0002499608,0.2045178,0.00007707682,0.00003407777,0.0001065776,0.000204539,0.0001051475,0.0006480348],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002439177,"threshold_uncertainty_score":0.0128997,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2568258965560346,"score_gpt":0.3528626784222075,"score_spread":0.09603678186617293,"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."}}