{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003479151,0.0007766907,0.0005020129,0.0007086216,0.0006848573,0.001356459,0.002226596,0.0008795664,0.002506173],"category_scores_gemma":[0.01216277,0.0006831816,0.001374796,0.0004335391,0.003485615,0.004275228,0.001877245,0.0025669,0.0004060585],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001127482,"about_ca_system_score_gemma":0.001557067,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001281695,"about_ca_topic_score_gemma":0.001292893,"domain_scores_codex":[0.9962595,0.001053998,0.0003163597,0.000512036,0.001502922,0.0003551894],"domain_scores_gemma":[0.9911702,0.006369573,0.0004785859,0.001294997,0.0006191375,0.00006757774],"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.0001665637,0.0001193866,0.0008351777,0.000481314,0.00007190237,0.0004938527,0.0007286231,0.1311195,0.04073988,0.738834,0.001335225,0.08507466],"study_design_scores_gemma":[0.0001087232,0.0001441476,0.0003468612,0.0001202214,0.0001072437,0.0004043109,0.000111263,0.3939409,0.09592859,0.4953454,0.01337336,0.00006901327],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01100368,0.00006688879,0.9862228,0.0001008552,0.00002319854,0.0000661926,0.0000501581,0.0006673288,0.001798807],"genre_scores_gemma":[0.4809584,0.0004451842,0.514419,0.000167285,0.00006282251,0.0003859169,0.0002532311,0.0003814132,0.002926741],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003479151,"threshold_uncertainty_score":0.01839972,"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."}}