Constructing microprocessor tests. I. The general model. Testing data processing functions

A general microprocessor model is a totality of functions realized by its hardware, which consists of mechanisms for data processing, processing control, data storage and transmission, and data transmission control. The microprocessor test is defined as a totality of tests for individual mechanisms. Advice is given on design of tests for data processing mechanisms. Functional models are formulated and conditions for checking data processing control mechanisms. Functional models are formulated and conditions for checking data processing control mechanisms defined. The procedure for designing a test for these mechanisms is described. Actual results are reported.