Testable Design of Single-Output Sequential Machines Using Checking Experiments
Saluja, Dandapani · IEEE Transactions on Computers · 1986
The problem of testing sequential machines using checking experiments is investigated. A method of modifying sequential machines by adding a controllable input is presented. A procedure is given to construct checking experiments for the modified machine and it is shown that only one output observation is sufficient to determine whether the machine is fault free.