Accession Number : AD0678158

Title :   AN ALGORITHMIC METHOD FOR ORGANIZING CHECKING EXPERIMENTS.

Descriptive Note : Research rept.,

Corporate Author : POLYTECHNIC INST OF BROOKLYN NY DEPT OF ELECTRICAL ENGINEERING

Personal Author(s) : Gonenc, Guney

Report Date : JUN 1968

Pagination or Media Count : 63

Abstract : In this work an algorithm for organization of checking experiments for synchronous sequential machines possessing distinguishing sequences is given. The algorithm is based on the transition checking approach, and yields an upper bound on the length of the checking sequence smaller than those given in previous works. The actual length of the experiments is, in general, well under the bound. A method to further decrease the experiment length is described. (Author)

Descriptors :   (*SWITCHING CIRCUITS, ALGORITHMS), (*FAILURE(ELECTRONICS), DETECTION), SPECIFICATIONS, OPERATIONAL READINESS, INTEGRATED CIRCUITS, DIGITAL SYSTEMS, RESPONSE, MATHEMATICAL ANALYSIS, RELIABILITY(ELECTRONICS), SEQUENCES(MATHEMATICS).

Subject Categories : Electrical and Electronic Equipment
      Computer Hardware

Distribution Statement : APPROVED FOR PUBLIC RELEASE