{"id":"W6998675034","doi":"","title":"Arithmetic transform in verification of datapath circuits","year":2003,"lang":"en","type":"dissertation","venue":"eScholarship@McGill (McGill)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Datapath; Electronic circuit; Digital electronics; Boolean function; Adder","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001283422,0.0003587024,0.0003187386,0.0009087719,0.0004304422,0.001536619,0.0006420167,0.0004888204,0.008150083],"category_scores_gemma":[0.004092019,0.0002951031,0.0005198093,0.0007012064,0.001443339,0.002271141,0.0008469421,0.0009117685,0.00118992],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001279474,"about_ca_system_score_gemma":0.001146358,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001941135,"about_ca_topic_score_gemma":0.002235925,"domain_scores_codex":[0.9986575,0.0003466107,0.00009201799,0.0001757908,0.0005834966,0.0001446197],"domain_scores_gemma":[0.9984962,0.001038198,0.0001093283,0.0001562136,0.0001784449,0.00002167402],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0007793418,0.0001198857,0.001232921,0.0004620976,0.00003507494,0.0005076033,0.0005036271,0.06329037,0.04447933,0.5717669,0.004055559,0.3127673],"study_design_scores_gemma":[0.0002282543,0.000394811,0.0007817166,0.0001926987,0.00005895424,0.0004904096,0.0001820038,0.442717,0.1301497,0.3945454,0.03021409,0.00004492447],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0568255,0.0003595527,0.9122531,0.0004237789,0.0001075233,0.0001491726,0.0001699486,0.001709831,0.02800145],"genre_scores_gemma":[0.7222393,0.0004132757,0.2576906,0.000202614,0.00007697674,0.0001706216,0.0003509778,0.0002498336,0.01860588],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008150083,"threshold_uncertainty_score":0.02726471,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02846335630808154,"score_gpt":0.2742527410634472,"score_spread":0.2457893847553657,"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."}}