Abstract:
The procedure for design of a complete test for a class of multiple constant faults in an asynchronous logic network of an extended set of elements performing Boolean functions is a sequential connection of single loops. The test recognizes the possible hazards in the nodes of an operable and inoperable network and does not require simulation for verification.
Fulltext:
PDF file (2400 kB)