{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001032999,0.0001375253,0.0001886763,0.0002487809,0.0002092264,0.0001352673,0.0002683701,0.00005453341,0.00001473418],"category_scores_gemma":[0.004718368,0.0001373361,0.00005203814,0.0004960427,0.00004719814,0.0009763471,0.00006323941,0.0004159718,0.000003428786],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003466856,"about_ca_system_score_gemma":0.0005630116,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008845192,"about_ca_topic_score_gemma":0.00001348461,"domain_scores_codex":[0.9982592,0.0000746685,0.0005907226,0.0002321749,0.0004452548,0.0003979982],"domain_scores_gemma":[0.9967809,0.002170364,0.0004801742,0.00009059352,0.0003925732,0.00008543741],"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.000001072483,0.0007045961,0.2152207,0.00005115576,0.00005359117,0.0001495785,0.0002459628,0.3167465,0.09970283,0.07201026,0.0002482698,0.2948655],"study_design_scores_gemma":[0.000917148,0.0002744307,0.07834149,0.000169632,0.0000159504,0.002364453,0.0000105606,0.9084009,0.0003184672,0.008937309,0.000051079,0.0001986138],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7214885,0.001796785,0.2754584,0.0007954002,0.000157242,0.00008648052,0.000001108658,0.00003187947,0.0001841888],"genre_scores_gemma":[0.9941804,0.00001241699,0.005058319,0.0002066532,0.0005156245,0.000001983567,0.000002361566,0.00000797534,0.00001419538],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5916544,"threshold_uncertainty_score":0.5648668,"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."}}