Accession Number : AD0779080
Title : Checking Experiments for Incompletely Specified Sequential Machines.
Descriptive Note : Master's thesis,
Corporate Author : AIR FORCE INST OF TECH WRIGHT-PATTERSON AFB OHIO SCHOOL OF ENGINEERING
Personal Author(s) : Hoke,Paul L.
Report Date : MAR 1974
Pagination or Media Count : 107
Abstract : Methods are given for designing checking experiments for incompletely specified sequential machines (ISSM's). The methods closely parallel the methods of designing checking experiments for completely specified sequential machines (CSSM's). Therefore, the basic concepts of all the important published methods of designing checking experiments for CSSM's are summarized and referenced. These concepts are modified where necessary and are then applied to ISSM's to find checking (sequences) experiments. To verify the proposed checking experiment the I/O sequence is reduced to the original machine by one of several machine identification algorithms which are also shown and referenced. (Author)
Descriptors : *Memory devices, *Logic circuits, *Switching circuits, Experimental design, Network flows, Mathematical logic, Theses
Subject Categories : Computer Hardware
Distribution Statement : APPROVED FOR PUBLIC RELEASE