AN ALGORITHMIC METHOD FOR ORGANIZING CHECKING EXPERIMENTS.
POLYTECHNIC INST OF BROOKLYN NY DEPT OF ELECTRICAL ENGINEERING
Pagination or Media Count:
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
- Electrical and Electronic Equipment
- Computer Hardware