{"id":"W2123413615","doi":"10.1109/iccd.2001.955050","title":"Arithmetic transforms for verifying compositions of sequential datapaths","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Datapath; Arithmetic; Equivalence (formal languages); Computer science; Canonical form; Formal equivalence checking; Representation (politics); Electronic circuit; Theoretical computer science; Formal verification; Algorithm; Parallel computing; Mathematics; Discrete 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":[],"consensus_categories":[],"category_scores_codex":[0.0002370734,0.00006375471,0.00009995701,0.00007086957,0.00008362255,0.00003855086,0.0004813732,0.00003523927,0.00004793762],"category_scores_gemma":[0.00002309714,0.00005682875,0.00005843336,0.0001985012,0.00004306334,0.0005483177,0.00003519184,0.00004798463,0.0000137449],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001796061,"about_ca_system_score_gemma":0.000008226026,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009154562,"about_ca_topic_score_gemma":0.000001453181,"domain_scores_codex":[0.9993188,0.00002663901,0.0002158758,0.0001683475,0.0001293028,0.0001410204],"domain_scores_gemma":[0.999431,0.00005263952,0.00005196466,0.0003688505,0.00005895935,0.0000365585],"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.000005618276,0.0001463289,0.00001384965,0.00007539209,0.00001815415,6.257005e-7,0.0008840796,0.00016937,0.03296821,0.8586916,0.0004613221,0.1065655],"study_design_scores_gemma":[0.0003940678,0.0001471488,0.0001536361,0.00001511354,0.00001144229,0.00001449379,0.00002450441,0.8619196,0.1294257,0.004164431,0.003598003,0.0001318681],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002077112,0.0000323163,0.9919722,0.0001965125,0.0002323894,0.0002228081,0.00001540613,0.00008309435,0.00516818],"genre_scores_gemma":[0.2775599,0.000008460804,0.7222407,0.00005573306,0.00001659796,0.00002229766,0.000005282025,0.000003602624,0.00008737784],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8617502,"threshold_uncertainty_score":0.2317409,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1072775016741834,"score_gpt":0.3152833931803503,"score_spread":0.2080058915061669,"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."}}