{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002670607,0.0006624918,0.0008452678,0.0009875041,0.0003338294,0.00009883298,0.00243697,0.0008441983,0.00004519192],"category_scores_gemma":[0.0009365992,0.0007679372,0.0002202522,0.001983912,0.00006864344,0.002235984,0.00007711586,0.001360625,0.0001090213],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006899218,"about_ca_system_score_gemma":0.0001505284,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001598085,"about_ca_topic_score_gemma":0.0003031537,"domain_scores_codex":[0.9945154,0.0006871443,0.001606188,0.001412682,0.001083426,0.0006951316],"domain_scores_gemma":[0.9961323,0.0001787393,0.0009633898,0.002066337,0.0004467517,0.0002125346],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00002894428,0.0002619307,0.00001027664,0.0004525839,0.00003909243,0.0000116145,0.00003878444,0.00003414533,0.03851752,0.4934394,0.000001281073,0.4671645],"study_design_scores_gemma":[0.002137064,0.0005516452,0.009077598,0.001261867,0.0001807612,0.00006924134,0.0003297119,0.002561914,0.8404683,0.1086843,0.03208267,0.002594894],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7221302,0.0009014839,0.001761142,0.00003097951,0.005753331,0.003274421,0.001077154,0.0005942026,0.2644771],"genre_scores_gemma":[0.8840114,0.0005532652,0.1112541,0.0001213813,0.00002199724,0.0003447857,0.001028332,0.0001629778,0.002501684],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8019508,"threshold_uncertainty_score":0.9994771,"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."}}