Logic design testing

This thesis concerns the testing of the design of logic networks. It is shown that conventional test methods, such as hard-ware testing and computer simulation, fail to satisfy the test requirements of modern logic networks. A new method is devised,consisting of a series of computer based modular tests, which permit the comprehensive verification of designs. The feasibility of the new method has been demonstrated on a prototype system. The work is based on a systems engineering approach which permits viewing the problems of logic design as particular cases of the more general problems of designing large interactive engineering systems. The systems approach also permits the extension of the methods described in this thesis to other areas of engineering. As part of the thesis, a framework of systems engineering concepts is constructed.