{"id":"W2598631327","doi":"10.1145/2990299.2990305","title":"Automatic detection and elision of reset sub-circuits","year":2016,"lang":"en","type":"article","venue":"","topic":"VLSI and FPGA Design Techniques","field":"Engineering","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of New Brunswick","funders":"","keywords":"Verilog; Computer science; Reset (finance); Field-programmable gate array; Routing (electronic design automation); Electronic circuit; Embedded system; Hardware description language; Application-specific integrated circuit; Computer hardware; Electrical engineering; 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":[],"consensus_categories":[],"category_scores_codex":[0.00007775554,0.00004240006,0.00006412068,0.00005828617,0.000009478683,0.000002871607,0.00002774866,0.00003931394,0.00005415911],"category_scores_gemma":[0.00001988242,0.0000258359,0.000009247095,0.00004905059,0.00001691253,0.00007207361,0.000006612011,0.00001735771,0.00000728511],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001089442,"about_ca_system_score_gemma":0.000001058575,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006427415,"about_ca_topic_score_gemma":0.000005648633,"domain_scores_codex":[0.9997447,0.000007494262,0.00009194717,0.00004817904,0.00004844774,0.00005923671],"domain_scores_gemma":[0.9998381,0.00003674211,0.000009509963,0.00008331014,0.000013489,0.00001885744],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[2.170006e-7,0.000001074659,0.00008159451,0.00002108877,0.000002048816,1.638159e-7,0.00001535067,5.277431e-7,0.670422,0.0001047221,0.0004263003,0.3289249],"study_design_scores_gemma":[0.00009794476,0.00004985129,0.003898133,0.00006680522,0.000003134431,0.000003896542,0.000004708793,0.004733332,0.9887125,0.00211243,0.0002610801,0.00005613375],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7502169,0.0001089129,0.2444614,0.00001737219,0.0000431985,0.00007564922,0.000001389922,0.0006046757,0.004470464],"genre_scores_gemma":[0.999534,0.0001214743,0.0002752162,0.000003039958,0.0000116991,0.000004476043,1.330968e-7,0.000007707716,0.0000422593],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3288687,"threshold_uncertainty_score":0.1053557,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008464199203003852,"score_gpt":0.2004320791853375,"score_spread":0.1919678799823336,"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."}}