{"id":"W2347293029","doi":"","title":"Verification Algorithms for Asynchronous Circuits","year":2004,"lang":"en","type":"article","venue":"","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"CAE (Canada)","funders":"","keywords":"Asynchronous communication; Computer science; Asynchronous circuit; Algorithm; Asynchronous system; Electronic circuit; Theoretical computer science; Symbolic trajectory evaluation; Computer engineering; Model checking; Clock signal; Synchronous circuit; Engineering","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.002428264,0.00112852,0.0008672093,0.00182514,0.001183314,0.00237227,0.001770656,0.001359212,0.007259395],"category_scores_gemma":[0.0140955,0.0005694824,0.001911672,0.001882126,0.001316872,0.004380928,0.002018688,0.002042909,0.00182189],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001399684,"about_ca_system_score_gemma":0.001696954,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001690283,"about_ca_topic_score_gemma":0.001642111,"domain_scores_codex":[0.9969161,0.0008217523,0.0003834628,0.000688288,0.0009341729,0.0002561604],"domain_scores_gemma":[0.9941104,0.003863059,0.000358305,0.0007128091,0.0008923235,0.0000630502],"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.0001501419,0.00006082317,0.0005883404,0.0004721996,0.00007372207,0.0001276471,0.0002306788,0.1012814,0.004543956,0.605782,0.00641122,0.2802778],"study_design_scores_gemma":[0.00008514321,0.0000488284,0.0001406684,0.0001012603,0.00005349001,0.0002544172,0.00005151659,0.3940236,0.005733236,0.5804349,0.01904271,0.00003024007],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001933926,0.0003461617,0.994036,0.0001445566,0.00004452799,0.00007863268,0.000131248,0.0005449504,0.002739967],"genre_scores_gemma":[0.1267219,0.001350248,0.8659903,0.0002643574,0.0001728282,0.0004320391,0.001040639,0.0002583629,0.003769373],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007259395,"threshold_uncertainty_score":0.02428514,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01652783159005375,"score_gpt":0.2231877629777149,"score_spread":0.2066599313876612,"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."}}