The problem considered is the diagnosis of failures of automata, specifically, failures that manifest themselves as logical malfunctions. A review of previous methods and results is first given. Aâ€¦ (More)

This paper presents a systematic procedure for the design of gate-type combinational switchingcircuitswithoutdiredtedloops. Eachsuchcircuit(Boo1eangraph) is in correspondencewithasequence ofâ€¦ (More)

In 2.12 minutes, an IBM 7090 program found four input tests (for an 8-input parity check circuit) whose outcome determines whether any one of 102 possible failures occurred. For any single-outputâ€¦ (More)

The subject of this paper is a system of programs to aid in the logical design of automata. Figure 1 depicts the experimental system as it presently exists within IBM. There are essentially twoâ€¦ (More)

This paper describes an algorithm for the computation of tests to detect failures in asynchronous sequential logic circuits. It is based upon an extension of the D-algorithm [1]. Discussion ofâ€¦ (More)

Programmed algorithms for test generation and test evaluation are described. The D-notation is introduced and a test generator (DALG) for combinational logic is presented. The sequential case is thenâ€¦ (More)

This paper describes an IBM 7 090 program for the design of single output combinational switching circuits for arbitrary sets of primitive logical elements. The only restriction on circuitâ€¦ (More)