{"id":"W1878023261","doi":"10.1007/0-306-47003-9_14","title":"Formal Verification of Peephole Optimizations in Asynchronous Circuits","year":2006,"lang":"en","type":"book-chapter","venue":"Kluwer Academic Publishers eBooks","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"Natural Sciences and Engineering Research Council of Canada; McGill University","keywords":"Arbiter; Computer science; Asynchronous communication; Formal verification; Functional verification; Model checking; Intelligent verification; Context (archaeology); High-level verification; Formal equivalence checking; Computer architecture; Parallel computing; Computer engineering; Programming language; Software","routes":{"ca_aff":true,"ca_fund":true,"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":["metaepi_narrow","research_integrity"],"consensus_categories":[],"category_scores_codex":[0.001386947,0.0004723015,0.0005804393,0.001021163,0.0001127466,0.0002418125,0.002553241,0.001327517,0.00004581712],"category_scores_gemma":[0.0001624685,0.0005445453,0.0001847622,0.0001868503,0.0002581131,0.003056105,0.0004094771,0.001650475,0.00003508465],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004755226,"about_ca_system_score_gemma":0.0005256165,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004978406,"about_ca_topic_score_gemma":0.000006245102,"domain_scores_codex":[0.996308,0.0000886644,0.001371616,0.0008562548,0.0007827244,0.0005926861],"domain_scores_gemma":[0.9970244,0.0001038017,0.001050353,0.001341,0.0003386135,0.0001418084],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000009145715,0.00003177395,0.00005918899,0.0001203041,0.00004378129,0.000006352851,0.0008757681,0.002050418,0.0003119276,0.8806776,0.01439723,0.1014165],"study_design_scores_gemma":[0.003525793,0.0004236128,0.003034367,0.001416124,0.0002264639,0.0001708524,0.0001086206,0.1284261,0.005519167,0.1796207,0.6730963,0.00443182],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.00004218413,0.0002156768,0.3796321,0.00008388035,0.0005897435,0.0005110742,0.0000193651,0.0001638937,0.6187421],"genre_scores_gemma":[0.0545609,0.00009676281,0.3511746,0.0007304464,0.0007733371,0.000384206,0.0005813579,0.0003488666,0.5913495],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.7010569,"threshold_uncertainty_score":0.9999689,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0265526655341011,"score_gpt":0.2581716346377446,"score_spread":0.2316189691036435,"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."}}