{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0000911158,0.0001126546,0.0001306736,0.0000957727,0.00003089115,0.00001248298,0.0001495068,0.00007146909,0.0003785427],"category_scores_gemma":[0.000006056512,0.000109755,0.00003611026,0.000212313,0.00002062703,0.0004613473,0.00001118591,0.00007969284,0.0002389854],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000681653,"about_ca_system_score_gemma":0.00001685069,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002425739,"about_ca_topic_score_gemma":0.00001113431,"domain_scores_codex":[0.9992473,0.000006025692,0.0002284154,0.0001046969,0.0001440989,0.000269444],"domain_scores_gemma":[0.9996027,0.00001419094,0.0000246919,0.0002706499,0.00003656094,0.00005121191],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003640526,0.0002208647,0.0144268,0.0004276738,0.0001888515,0.00002024921,0.00208657,0.1570748,0.4046728,0.009492986,0.005753042,0.4055989],"study_design_scores_gemma":[0.001528374,0.0002254686,0.07018113,0.0000594152,0.00004678799,0.00007520192,0.0001555194,0.4937169,0.4179408,0.0002535036,0.01498676,0.0008301412],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7629593,0.0001279042,0.146183,0.00001725018,0.0003114227,0.0001599325,0.000003515121,0.0003938107,0.0898439],"genre_scores_gemma":[0.9986688,0.0001205234,0.0008392928,0.00001739082,0.00006676852,0.00001565092,0.00001135743,0.00002699948,0.0002331845],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4047688,"threshold_uncertainty_score":0.4475681,"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."}}