Abstract
The well-known models and concepts of functional testing of microprocessors are described. The properties of the RISC-architecture that aid in applying effective approaches to hardware testing are stated. Functional decomposition is used to develop a sequence of actions implemented in designing tests. Special attention is paid to testing of control units. The RISC-architecture has shown to be helpful in designing effective algorithms for testing at the architectural level. The designed procedures detect most of the defects in control circuits indirectly through data processing and storing devices without the use of control units.
Similar content being viewed by others
REFERENCES
Stolichny, C., Davies, R., McKernan, P., and Truong, T., Manufacturing Test Development and Coverage Analysis, IEEE Design Test Comput., 1998, vol. 15, no. 3, p. 1.
Reilly, M., Designing an Alpha Microprocessor, IEE Comput., July 1999, pp. 25–34.
Robach, C. and Saucier, G., Dynamic Testing of Control Units, IEEE Trans. Comput., 1978, C-27(7), pp. 617–623.
Thatte, S.M. and Abraham, J.A., A Methodology for Functional Level Testing of Microprocessors, Proc. 8th Int. Symp. Fault Tolerant Comput., Touluse, France, 1978, pp. 90–95.
Thatte, S.M. and Abraham, J.A., Test Generation for Microprocessors, IEEE Trans. Comput., 1980, C-29(6), pp. 429–441.
Brahme, D. and Abraham, J.A., Functional Testing of Microprocessors, IEEE Trans. Comput., 1984, C-33(6), pp. 475–485.
Shen, L. and Su, S.Y.H., A Functional Testing Method for Microprocessors, IEEE Trans. Comput., 1988, C-37(10), pp. 1288–1293.
Sharshunov, S.G., Designing Tests for Microprocessor. A General Model. Testing of Data Processing, Avtom. Telemekh., 1985, no. 1, pp. 145–55.
Sharshunov, S.G. and Tchipulis, V.P., On Generating Tests for Microprocessors, Measurement, 1986, vol. 4,no. 1, pp. 28–38.
Tchipulis, V.P. and Sharshunov, S.G., Analiz i postroenie testov tsifrovykh programmno-upravlyaemykhustroistv(Analysis and Design of Tests for Digital Program-Controlled Devices), Moscow: Energoat-omizdat, 1992.
Van de Goor, A.J. and Verhallen, Th.J.W., Functional Testing of Current Microprocessors (Applied to the Intel i860 TM ), Proc. IEEE Int. Test Conf., 1992, pp. 684–695.
Koshevenko, A.V. and Sharshunov, S.G., Functional Testing of RISC-Microprocessors, Avtom. Tele-mekh., 1998, no. 10, pp. 147–158.
Suk, D.S. and Reddy, S.M., A March Test for Functional Faults in Semiconductor Random Access Memories, IEEE Trans. Comput., 1981, C-29(6), pp. 982–985.
Glushkov, V.M., Theory of Automata and Formal Transformations of Microprograms, Kibernetika, 1965, no. 5, pp. 1–9.
Polyakov, V., Microprocessor: Between the Past and Future, Komp'yuter-Press, 1996, no. 4, pp. 62–67.
Katevenis, M.G.H., Sekuin, K.H., Patterson, D.A., and Shernburn, R.U., RISC: Effective Architectures for VLSI Computers, in Elektronika SBIS. Proektirovanie mikrostruktur (VLSI Electronics. Design ofMicrostructures), Moscow: Mir, 1989.
Kautz, W.H., Testing for Faults in Cellular Logic Arrays, Proc. 8th Ann. Symp. Switching, Automata Theory, 1967, pp. 161–174.
Turcat, C. and Verdillon, A., Recursion and Testing of Combinational Circuits, IEEE Trans. Comput., 1976, C-25(6), pp. 625–654.
McLellan, E., The Alpha AXP Architecture and 21064 Processor, IEEE Micro, 1993, pp. 36–47.
Rybakov, A., PowerPC Processors, Komp'yuter-Press, 1996, no. 2, pp. 86–93.
Ultra Sparc TM Programmer Reference Manual. SPARC Technology Business, 1995, Sept. 18.
Shen, J.P. and Schuette, On-Line Self-Monitoring using Signatured Instruction Streams, Proc. Int. Test Conf., Philadelphia, 1983, pp. 275–282.
Novikov, A.S., Metody i algoritmy testirovaniya pamyati EVM s obnaruzhemiem kratnykh funkt-sianal'nykh neispravnostei (Methods and Algorithms for Testing Computer Memory with Detection of Multiple Functional Faults), Doctoral Dissertation, Vladivostok, 2002.
Kuznetsov, O.Yu., Funktsional'noe testirovanie upravlyayushchego oborudovaniya RISC-mikroprotses-sorov, primenitel'no k arkhitekture SPARC-V9 (Functional Testing for Control Units of RISC-Micro-processors under SPARC V9 Architecture), Doctoral Dissertation, Vladivostok, 2002.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Sharshunov, S.G. Functional Tests for RISC-microprocessors. Automation and Remote Control 65, 1847–1859 (2004). https://doi.org/10.1023/B:AURC.0000047898.43514.d0
Issue Date:
DOI: https://doi.org/10.1023/B:AURC.0000047898.43514.d0