{"id":"W2096172098","doi":"10.1145/370155.370389","title":"Formal verification of pulse-mode asynchronous circuits","year":2001,"lang":"en","type":"article","venue":"","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Asynchronous communication; Computer science; Pulse (music); Electronic circuit; Mode (computer interface); Electronic engineering; Electrical engineering; Engineering; Telecommunications; Detector","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.002692897,0.0004660581,0.0002943268,0.000573925,0.0004455988,0.001288678,0.001400377,0.0007313692,0.001948701],"category_scores_gemma":[0.007154756,0.0003525977,0.0008800828,0.000387163,0.001972596,0.002006486,0.001245039,0.001061669,0.000247518],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006375466,"about_ca_system_score_gemma":0.001083912,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008637839,"about_ca_topic_score_gemma":0.0008114123,"domain_scores_codex":[0.9977539,0.000815247,0.000136708,0.000217014,0.0009165098,0.0001605462],"domain_scores_gemma":[0.9950129,0.003468411,0.000394104,0.0005653147,0.0004889084,0.00007017045],"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.000216527,0.0001342841,0.000917815,0.0004172142,0.00006892217,0.0005186926,0.0004788287,0.137517,0.05786326,0.7471265,0.001136519,0.05360429],"study_design_scores_gemma":[0.0001638371,0.0002669505,0.0002744277,0.0001161526,0.00006906616,0.0003619583,0.0001018658,0.6498137,0.06557995,0.2744068,0.008808094,0.00003728108],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02513308,0.00008208827,0.9717818,0.000115516,0.00002863735,0.00005488467,0.00008481665,0.0007668589,0.001952407],"genre_scores_gemma":[0.7070193,0.0002463728,0.2905343,0.0001108948,0.00005097045,0.0001773565,0.0002310167,0.00007485629,0.001554946],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002692897,"threshold_uncertainty_score":0.01424158,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.00975927249938467,"score_gpt":0.2157887344579827,"score_spread":0.2060294619585981,"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."}}