{"id":"W1979404875","doi":"10.1007/s10836-005-1543-z","title":"Functional Fault Equivalence and Diagnostic Test Generation in Combinational Logic Circuits Using Conventional ATPG","year":2005,"lang":"en","type":"article","venue":"Journal of Electronic Testing","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":25,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Automatic test pattern generation; Combinational logic; Computer science; Equivalence (formal languages); Algorithm; Reliability engineering; Sequential logic; Fault coverage; Parallel computing; Electronic circuit; Logic gate; Engineering; Mathematics; Electrical engineering; Discrete mathematics","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.001586678,0.0004733349,0.0004899811,0.001055928,0.0003319802,0.0007297972,0.00111052,0.0009492158,0.002974552],"category_scores_gemma":[0.008295991,0.0002888008,0.0005056286,0.0005933435,0.0009329546,0.001721851,0.0008246413,0.0008032381,0.000308857],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005928908,"about_ca_system_score_gemma":0.0006703694,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008588138,"about_ca_topic_score_gemma":0.001165617,"domain_scores_codex":[0.9978479,0.0007864564,0.000112429,0.0003285029,0.00073689,0.0001878337],"domain_scores_gemma":[0.9940416,0.004127203,0.0002649688,0.0009920588,0.0005090557,0.00006503596],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.002116423,0.0003988213,0.002808455,0.0003898256,0.0001005316,0.000819121,0.0003807572,0.1156482,0.04719349,0.1270919,0.003015557,0.700037],"study_design_scores_gemma":[0.0003014769,0.0007537481,0.001633292,0.00006247203,0.0001056393,0.0009728037,0.00007503968,0.7585302,0.04411277,0.1906845,0.00272688,0.00004118208],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1151576,0.0002779093,0.876248,0.0002552743,0.00006996071,0.0001522637,0.000131838,0.001484427,0.006222645],"genre_scores_gemma":[0.8650664,0.00005826197,0.1336559,0.0001124077,0.00002719213,0.00006874818,0.0001637576,0.00006440359,0.0007829288],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002974552,"threshold_uncertainty_score":0.009950817,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06617603612310759,"score_gpt":0.274039001556087,"score_spread":0.2078629654329794,"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."}}