{"id":"W1494451878","doi":"10.1109/async.1998.666502","title":"Verification of speed-dependences in single-rail handshake circuits","year":2002,"lang":"en","type":"article","venue":"","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":35,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Handshake; Computer science; Asynchronous communication; Electronic circuit; Adiabatic circuit; Electronic engineering; Context (archaeology); Logic gate; Algorithm; Electrical engineering; Logic synthesis; Engineering; Computer network","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.002506557,0.0006159801,0.0004645395,0.0006427158,0.0005609812,0.0008864281,0.001341537,0.0006966621,0.001850215],"category_scores_gemma":[0.01706341,0.000540751,0.0006743466,0.0004077391,0.001851687,0.002600399,0.001098994,0.001168352,0.0001538452],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001183572,"about_ca_system_score_gemma":0.00135948,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002270613,"about_ca_topic_score_gemma":0.002658642,"domain_scores_codex":[0.9974179,0.0006380269,0.0002168052,0.000312758,0.001129719,0.0002848368],"domain_scores_gemma":[0.9875065,0.008343926,0.001365352,0.001478827,0.001128922,0.0001765222],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0006512908,0.0001411951,0.008550161,0.000301576,0.00008144809,0.0005347363,0.0004263523,0.732969,0.09480583,0.127061,0.0004337782,0.03404365],"study_design_scores_gemma":[0.0000683854,0.0002072563,0.0006635375,0.00002156857,0.00002330769,0.00008828333,0.0000491456,0.8787378,0.06875367,0.05069689,0.0006636309,0.00002648255],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5656322,0.0001353404,0.4309884,0.0001465605,0.00002595032,0.00009189367,0.0001670113,0.0007764684,0.002036151],"genre_scores_gemma":[0.982037,0.0000489826,0.01748404,0.00002617483,0.00000616301,0.00003493298,0.00006372793,0.00004106391,0.0002579069],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.002506557,"threshold_uncertainty_score":0.01325607,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03135148258935573,"score_gpt":0.1880574344891395,"score_spread":0.1567059518997838,"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."}}