{"id":"W2155278891","doi":"10.1109/dftvs.1994.630037","title":"Test generation for stuck-at and gate-delay faults in sequential circuits: a mixed functional/structural method","year":2002,"lang":"en","type":"article","venue":"","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"","keywords":"Automatic test pattern generation; Generator (circuit theory); Digital pattern generator; Computer science; Algorithm; Sequential logic; Electronic circuit; State (computer science); Graph; Logic gate; Finite-state machine; Fault coverage; Built-in self-test; Theoretical computer science; Engineering; Embedded system; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006227158,0.0006094504,0.0002997981,0.001136819,0.000225595,0.0004192355,0.0009397052,0.0004974258,0.001801179],"category_scores_gemma":[0.002907699,0.0003180117,0.000507972,0.0004262528,0.0005708289,0.000759406,0.0004300694,0.0003950474,0.0003889863],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000251069,"about_ca_system_score_gemma":0.0004317677,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003183035,"about_ca_topic_score_gemma":0.0005762697,"domain_scores_codex":[0.9992361,0.0002720072,0.00004636038,0.00009966396,0.000305452,0.00004044415],"domain_scores_gemma":[0.997991,0.001342026,0.0001418561,0.0002164161,0.0002692161,0.00003957259],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0004399501,0.0002530163,0.00245108,0.0003576074,0.00006753601,0.0002134131,0.0001876646,0.1090429,0.1261299,0.0307418,0.0008308042,0.7292843],"study_design_scores_gemma":[0.000119727,0.001023907,0.0009027577,0.00002994709,0.0000581013,0.0006818835,0.00004139992,0.8995321,0.07606183,0.01821698,0.003304059,0.00002732688],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02187316,0.00005097845,0.9766824,0.00005301916,0.000008550138,0.00005758052,0.00002234449,0.0004826078,0.0007693782],"genre_scores_gemma":[0.3629625,0.00006943716,0.6353151,0.00008193675,0.00002220844,0.0002051843,0.0001724898,0.0001346384,0.001036482],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.001801179,"threshold_uncertainty_score":0.006025612,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0754272441232278,"score_gpt":0.2770108779957671,"score_spread":0.2015836338725393,"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."}}