Issue No. 04 - April (1999 vol. 48)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.762538
<p><b>Abstract</b>—Beerel [<ref rid="bibT04421" type="bib">1</ref>] showed that semimodular asynchronous circuits are totally self-checking with respect to multiple output stuck-at faults that are nonexitory and nonsubstitutional. We show that, in circuits with atomic gate implementations, it is possible to ensure that all exitory multiple output stuck-at faults will cause the circuit to halt.</p>
Asynchronous circuits, semimodular circuits, testability, totally self-checking circuits.
Michael J. Liebelt, Neil Burgess, "Detecting Exitory Stuck-At Faults in Semimodular Asynchronous Circuits", IEEE Transactions on Computers, vol. 48, no. , pp. 442-448, April 1999, doi:10.1109/12.762538