|
Avtomatika i Telemekhanika, 1989, Issue 4, Pages 165–176
(Mi at6262)
|
|
|
|
Technical Diagnostics
Designing tests for mechanism which control inter-register data exchange in microprocessors
B. É. Borisovets, S. G. Sharshunov Vladivostok
Abstract:
Mechanisms are studied which control inter-register exchange in microprocessors. Models of the mechanisms of two types and models of their faults are introduced. Procedures are described in which checking tests are developed and the resultant tests are shown to be complete for the class of faults introduced. Case studies are provided for application of the procedures to K580 and K583 processors.
Received: 21.07.1987
Citation:
B. É. Borisovets, S. G. Sharshunov, “Designing tests for mechanism which control inter-register data exchange in microprocessors”, Avtomat. i Telemekh., 1989, no. 4, 165–176; Autom. Remote Control, 50:4 (1989), 561–569
Linking options:
https://www.mathnet.ru/eng/at6262 https://www.mathnet.ru/eng/at/y1989/i4/p165
|
|