{"id":"W4234791833","doi":"10.1109/aspdac.2001.913331","title":"Formal verification of pulse-mode asynchronous circuits","year":2002,"lang":"en","type":"article","venue":"Proceedings of the ASP-DAC 2001. Asia and South Pacific Design Automation Conference 2001 (Cat. No.01EX455)","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Asynchronous communication; Computer science; Asynchronous system; Abstraction; Modular design; Electronic circuit; Asynchronous circuit; Electronic engineering; Formal verification; Pulse (music); Computer architecture; Theoretical computer science; Clock signal; Electrical engineering; Engineering; Programming language; Synchronous circuit; Computer network; Telecommunications","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003046795,0.0006101104,0.0003784663,0.0006281129,0.0005335758,0.001414634,0.001801175,0.0008117881,0.001700846],"category_scores_gemma":[0.009291037,0.0004764797,0.00111095,0.0004464973,0.002165976,0.002936611,0.001399423,0.001278293,0.0002894659],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000703554,"about_ca_system_score_gemma":0.001339575,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007854533,"about_ca_topic_score_gemma":0.000789314,"domain_scores_codex":[0.9972569,0.0009244851,0.0002000168,0.0002980489,0.001114489,0.0002060417],"domain_scores_gemma":[0.9933242,0.00473436,0.0005692817,0.0007497189,0.0005346755,0.00008776175],"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.0002178718,0.0001140778,0.0008216317,0.0005070674,0.00007774172,0.0005595442,0.0005850057,0.1318973,0.05329254,0.7414441,0.000985567,0.06949752],"study_design_scores_gemma":[0.0001804852,0.0003093433,0.0003065151,0.0001388066,0.00009241096,0.000592216,0.0001217869,0.5464011,0.06782059,0.3727559,0.01122508,0.00005567587],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0164712,0.00009621322,0.9814391,0.00009267722,0.00002488784,0.00004202298,0.00006281268,0.0005301926,0.001240956],"genre_scores_gemma":[0.6007885,0.0005299039,0.3963824,0.0001280155,0.00008914908,0.0002088894,0.0002868016,0.0001180441,0.001468303],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003046795,"threshold_uncertainty_score":0.01611316,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0256246385700059,"score_gpt":0.2098847272896268,"score_spread":0.1842600887196209,"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."}}