A generalized algorithm for constructing checking sequences
Published in IEEE Transactions on Computers • Feb 1, 1981
NobleIDNI0P68W04R84S86
Authors:,
Robert D. Braun
Donald D. Givone
Abstract
An efficient method for constructing checking sequences for strongly connected reduced, synchronous, completely specified, deterministic, sequential machines processing linking homing sequences (LHS) has been described. For machines not possessing an LHS, the only method for constructing a checking ...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!