Diagnosis of Automata Failures: A Calculus and a Method

DOI10.1147/rd.104.0278zbMath0145.40707OpenAlexW2111994103MaRDI QIDQ5522666

P. J. Roth

Publication date: 1966

Published in: IBM Journal of Research and Development (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/e490bf9644f42da53e7d26e0a1e16fcc98612dee

zbMATH Keywords

numerical analysis

Related Items

An efficient algorithm for calculating Boolean difference, Complete test-set generation for bridging faults in combinational-logic circuits, Solution of systems of Boolean equations via the integer domain, A complete critical path algorithm for test generation of combinational circuits, Fault masking probabilities with single and multiple signature analysis, Propositional calculus problems in CHIP, Maxx: Test pattern optimisation with local search over an extended logic, Test derivation through critical path transitions, Efficient VLSI fault simulation, Constraint satisfaction using constraint logic programming, Development of tests for VLSI circuit testability at the upper design levels, Forecasting the efficiency of test generation algorithms for combinational circuits, Thread-parallel integrated test pattern generator utilizing satisfiability analysis, Quick detection of faults in combinational networks designed in minterm format by computing a single novel parameter, Electronic circuit diagnostic expert systems - a survey