In this paper, we propose systematic procedures for generating the test sequence for digital systems described by means of procedural register transfer languages. Faults in the data unit (data faults) and in the contr...
详细信息
In this paper, we propose systematic procedures for generating the test sequence for digital systems described by means of procedural register transfer languages. Faults in the data unit (data faults) and in the control unit (control faults) will require different techniques for their detection. For the data unit, a graph representing the dataflow, the transfer graph, is proposed. Techniques for justifying and sensitising data faults are described. For the control unit we study the problem of its identification by using distinguishing sequences for its states. Testing of both units can be overlapped to reduce the length of the test sequence for the whole circuit.
暂无评论