{"id":"W1828801786","doi":"10.1109/mtdt.1998.705951","title":"Verification of CAM tests for input stuck-at faults","year":2002,"lang":"en","type":"article","venue":"","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Correctness; Computer science; Fault coverage; Word (group theory); Built-in self-test; Fault (geology); Bit (key); Automatic test pattern generation; CMOS; Fault model; Algorithm; Parallel computing; Embedded system; Computer hardware; Electronic circuit; Mathematics; Electronic 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002604207,0.0008044419,0.0008230323,0.001545295,0.0004845397,0.001473733,0.002211556,0.00125992,0.002771056],"category_scores_gemma":[0.02643071,0.000318797,0.0008076229,0.0008410184,0.001519154,0.001292092,0.0009152828,0.000744639,0.000489891],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001142296,"about_ca_system_score_gemma":0.002147391,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001757771,"about_ca_topic_score_gemma":0.001212663,"domain_scores_codex":[0.9946371,0.001473023,0.000390971,0.0004332961,0.002489667,0.0005761204],"domain_scores_gemma":[0.980337,0.01168439,0.001728583,0.002227796,0.003757881,0.0002644394],"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":[0.004968274,0.0005311559,0.05733936,0.002443246,0.0004718224,0.005184928,0.001231748,0.1137227,0.4453511,0.1371941,0.006504219,0.2250573],"study_design_scores_gemma":[0.0005203416,0.00208747,0.007001254,0.0001865749,0.0001734385,0.002007155,0.0001908903,0.4654861,0.4908303,0.02545832,0.005959352,0.00009869297],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6994482,0.0008511308,0.2791641,0.0004784152,0.0004390238,0.0002305313,0.000818043,0.005688198,0.01288234],"genre_scores_gemma":[0.9722424,0.0001052686,0.02638447,0.0001269297,0.00003682937,0.00009137385,0.0004324007,0.00007663064,0.0005037299],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.002771056,"threshold_uncertainty_score":0.01377249,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06210379045183737,"score_gpt":0.2661852260638524,"score_spread":0.2040814356120151,"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."}}