{"id":"W2199628510","doi":"10.1109/asic.1995.580720","title":"Maximal multiple fault coverage using single fault test sets","year":2002,"lang":"en","type":"article","venue":"","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Fault coverage; Fault (geology); Set (abstract data type); Stuck-at fault; Automatic test pattern generation; Combinational logic; Test set; Algorithm; Computer science; Fault model; Fault detection and isolation; Mathematics; Electronic circuit; Logic gate; Engineering; Artificial intelligence","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.0001192652,0.0001780081,0.0001730657,0.00008650833,0.000260518,0.0003117977,0.0005979993,0.00006902147,0.0001408495],"category_scores_gemma":[0.0003316231,0.000165137,0.00007556521,0.0004136959,0.00003441987,0.0006705353,0.0001932125,0.00014668,0.0002795044],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006458149,"about_ca_system_score_gemma":0.00001633799,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001161872,"about_ca_topic_score_gemma":0.00002223411,"domain_scores_codex":[0.9985353,0.00002953278,0.0002467517,0.0004382259,0.0002856076,0.0004645338],"domain_scores_gemma":[0.998976,0.0002972006,0.00008196326,0.0004287802,0.00007967193,0.0001363777],"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":[3.566716e-7,0.001043572,0.05108039,0.00004663713,0.00002925406,0.0004327815,0.001380408,0.005446374,0.1350052,0.002058032,0.003463713,0.8000133],"study_design_scores_gemma":[0.0003660652,0.0000741297,0.001466617,0.00002829808,0.00000463741,0.0001419571,0.0000203657,0.9915674,0.004142754,0.0002838981,0.001602893,0.0003009872],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2297641,0.0001290116,0.7292055,0.0003178416,0.0002898945,0.00013876,0.000006865338,0.0006735192,0.03947445],"genre_scores_gemma":[0.9851445,0.000003251486,0.01327695,0.0006414917,0.00008597967,0.000001928598,0.000001654884,0.00001388256,0.0008303573],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.986121,"threshold_uncertainty_score":0.6734092,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05919355888515646,"score_gpt":0.243469886484731,"score_spread":0.1842763275995745,"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."}}