{"id":"W1546163699","doi":"10.1109/mwscas.1990.140923","title":"State assignment for asynchronous state machines","year":2002,"lang":"en","type":"article","venue":"","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Asynchronous communication; Simulated annealing; Computer science; State (computer science); Finite-state machine; Electronic circuit; Sequential logic; Theoretical computer science; Algorithm; Logic gate; Computer network; Engineering; Electrical 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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0001077803,0.0002083207,0.0001783027,0.00008650891,0.00006199453,0.00005466366,0.0001548572,0.00003679798,0.0009187094],"category_scores_gemma":[0.000005909666,0.0001783932,0.00005663631,0.0001087132,0.00001964536,0.0002278548,0.00001882658,0.00008997956,0.0005916641],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001225538,"about_ca_system_score_gemma":0.000005435563,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001135103,"about_ca_topic_score_gemma":0.00001634788,"domain_scores_codex":[0.9989701,0.000009013254,0.0002435954,0.0001791501,0.0001599289,0.0004382364],"domain_scores_gemma":[0.9995572,0.00004984281,0.00002198952,0.0002468627,0.00002495541,0.00009915471],"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.00003335818,0.000194215,0.001695642,0.0004465491,0.0003456913,0.00003035977,0.002282039,0.4239172,0.01638015,0.0003677337,0.1869642,0.3673429],"study_design_scores_gemma":[0.0009613674,0.0001696195,0.0006313107,0.00001624973,0.00001580317,0.000006182209,0.00001324886,0.9258707,0.02673818,0.0004286091,0.04467405,0.0004747303],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2507274,0.0008793318,0.7153463,0.0001951094,0.001334603,0.001041972,0.0000813162,0.001815239,0.02857869],"genre_scores_gemma":[0.9833661,0.0002316367,0.008980427,0.0001054763,0.00008452026,0.0001214974,0.000008137374,0.00008150069,0.007020704],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7326387,"threshold_uncertainty_score":0.9999946,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01084559489643695,"score_gpt":0.1952607069153958,"score_spread":0.1844151120189589,"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."}}