Asynchronous Sequential Machines Designed for Fault Detection
- 1 March 1974
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-23 (3) , 239-249
- https://doi.org/10.1109/t-c.1974.223918
Abstract
A design procedure is presented which allows for detection of faults in asynchronous sequential machines in a real time environment. Faults affecting both the output states and the internal operation of the machine are detected. The class of faults initially considered are single stuck-at-1 and stuck-at-0 faults. However, since the detection system presented is static and continuous, the class of faults detected will be greatly extended to include intermittent and a large number of multiple faults.Keywords
This publication has 9 references indexed in Scilit:
- Improved State Assignment Selection TestsIEEE Transactions on Computers, 1972
- Realization of Fail-Safe Sequential Machines by Using a k-out-of-n CodeIEEE Transactions on Computers, 1971
- State Assignments for Asynchronous Sequential MachinesIEEE Transactions on Computers, 1971
- Fault Diagnosis of Digital Systems - a ReviewComputer, 1971
- Design of Asynchronous Circuits Assuming Unbounded Gate DelaysIEEE Transactions on Computers, 1969
- Universal Single Transition Time Asynchronous State AssignmentsIEEE Transactions on Computers, 1969
- Internal State Assignments for Asynchronous Sequential MachinesIEEE Transactions on Electronic Computers, 1966
- Fault detecting experiments for sequential circuitsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1964
- The Diagnosis of Asynchronous Sequential Switching SystemsIEEE Transactions on Electronic Computers, 1962