Abstract
Testing of a fabricated chip is a process that applies a sequence of inputs to the chip and analyzes the chip’s output sequence to ascertain whether it functions correctly. As the chip density grows to beyond millions of gates, Embedded systems and systems-on-chip testing becomes a formidable task. Vast amounts of time and money have been invested by the industry just to ensure the high testability of products. On the other hand, as design complexity drastically increases, current gate-level design and test methodology alone can no longer satisfy stringent time-to-market requirements. The High-Level Test Synthesis (HLTS) system, which this paper mainly focuses on, is to develop new systematic techniques to integrate testability consideration, specially the Built-In Self-Test (BIST) methodology, into the synthesis process. It makes possible for an automatic synthesis tool to predict testability of the synthesized embedded systems or chips accurately in the early stage. It also optimizes the designs in terms of test cost as well as performance and hardware area cost.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Agrawal, V.D., Kime, C.R., Saluja, K.K.: A tutotial on Build-in Self-test, part 1: principles. IEEE Design and Test of Computers (March 1993)
Camposano, R., Wolf, W.H.: High-Level VLSI Synthesis. Kluwer Academic Publishers, Dordrecht (1991)
Carletta, J., Papachristou, C.A.: Testability analysis and insertion for RTL circuits based on pseudorandom BIST. In: Proceedings of International Conference on Computer Design (1995)
Chiu, S., Papachristou, C.A.: A design for testability scheme with applications to data path synthesis. In: Proceedings of Design Automation Conference, pp. 271–277 (June 1991)
Gajski, D.D., Dutt, N.D., Wu, A.C.-H., Lin, S.Y.-L.: High-Level Synthesis: Introduction to Chip and System Design. Kluwer Academic Publishers, Dordrecht (1992)
Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman and Co., San Francisco (1979)
Gu, X., Larsson, E., Kuchcinski, K., Peng, Z.: A controller testability and enhancement technique. In: Proceedings of European Design and Test Conference, Paris, France, pp. 153–157 (March 1997)
Kim, K., Ha, D.S., Tront, J.G.: On using signature registers as pseudorandom pattern generators in built-in self-testing. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 7(8), 919–928 (1988)
Lisanke, R., Braglez, F., Degues, A.J., Gregory, D.: Testability-driven random test pattern generation. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 6, 1082–1087 (1987)
Papachristou, C.A., Carletta, J.: Test synthesis in the behavioral domain. In: Proceedings of International Test Conference (October 1995)
Parulkar, I.: Optimization of BIST resource during high-level synthesis. PhDthesis, University of South California (May 1998)
Parulkar, I., Gupta, S., Breuer, M.: Introducing redundant computations in a behavior for reducing BIST resources. In: Proceedings of the 35th ACM/IEEE Design Automation Conference (DAC 1998), San Francisco, USA, June 15-18, pp. 548–553 (1998)
Parulkar, I., Gupta, S., Breuer, M.: Introducing redundant computations in RTL data paths for reducing BIST resources. ACM Transactions on Design Automation of Electronic Systems 6(3), 423–445 (2001)
Peng, Z., Kuchcinski, K.: Automated transformation of algorithms into registertransfer level implementations. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 150–166 (1994)
Pilarski, S., Krasniewski, A., Kameda, T.: Estimating testing effectiveness of the circular self-test path technique. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 11(10), 1301–1316 (1992)
Pradhan, M.M., Brrien, E.J., Lam, S.L., Beausang, J.: Circular BIST with partial scan. In: Proceedings of International Test Conference, pp. 719–729 (October 1988)
Rosqvist, L.: Application Specification Integrated Circuit (ASIC) Technology, ch. 8. Test and testability of ASICs. Academic Press, San Diego (1991)
Wang, L.T., McCluskey, E.J.: Built-in self-test for sequential machines. In: Proceedings of International Test Conference, pp. 334–341 (1987)
Yang, L.T., Muzio, J.: A BIST testability metric-based algorithm to integrate scheduling and allocation in high-level test synthesis. In: Proceedings of the 9th International Symposium on Integrated Circuits, Devices and Systems (ISIC 2001), Singapore, September 3-5, pp. 409–413 (2001)
Yang, L.T., Muzio, J.: Built-in self-testable data path synthesis. In: Smailagic, A., De Man, H. (eds.) Proceedings of the 2001 IEEE Computer Society Workshop on VLSI (WVLSI 2001), Orlando, Florida, April 19-20, pp. 78–84 (2001)
Yang, L.T., Muzio, J.: High-level data path synthesis for built-in self-testable designs. In: Proceedings of the IEEE Pacific Rim Conference on Communication, Computers and Signal Processing (PARCIM 2001), Victoria, Canada, August 26-28, vol. 1, pp. 279–282 (2001)
Yang, L.T., Muzio, J.: An improved high-level built-in self-test synthesis algorithm. In: Proceedings of the 8th IEEE International Conference on Electronics, Circuits and Systems (ICECS 2001), Msida, Malta, September 2-5, vol. 1, pp. 549–552 (2001)
Yang, L.T., Muzio, J.: An improved register transfer level built-in self-test partitioning. In: Proceedings of the 9th International Symposium on Integrated Circuits, Devices and Systems (ISIC 2001), Singapore, September 3-5, pp. 414–417 (2001)
Yang, L.T., Muzio, J.: An integrated high-level test synthesis algorithm for built-in self-testable designs. In: Proceedings of the XIV International Symposium on Integrated Circuits and System Designs (SBCCI 2001), Brasilia, Brazil, September 10-15, pp. 115–121 (2001)
Yang, L.T., Muzio, J.: A register-transfer level BIST partitioning approach for ASIC designs. In: Proceedings of the 2001 IEEE Pacific Rim Conference on Communication, Computers and Signal Processing (PARCIM 2001), Victoria, Canada, August 26-28, vol. 1, pp. 275–278 (2001)
Yang, L.T., Muzio, J.: An improved BIST testability metric-based high-level test synthesis approach. In: Proceedings of the 2002 International Conference on VLSI (VLSI 2002), Las Vegas, USA, June 24-27, pp. 78–85 (2002)
Yang, L.T., Muzio, J.: Introducing redundant transformations for built-in self-testable data path allocation. In: Proceedings of the 2002 IEEE International Conference on Communications, Circuits and Systems (ICCCAS 2002), Chengdu, China, June 29-July 1, pp. 1346–1350 (2002)
Yang, L.T., Muzio, J.: Introducing redundant transformations for high-level built-in self-testable synthesis. In: Proceedings of the 9th IEEE International Conference on Electronics, Circuits and Systems (ICECS 2002), Dubrovnik, Croatia, September 15-18, vol. 2, pp. 475–479 (2002)
Yang, L.T., Muzio, J.: Redundant transformations for the testability metricsbased built-in self-testable data path allocation. In: Proceedings of the 2002 IEEE Asia-Pacific Conference on Circuits and Systems (APCCAS-2002), Bali, Indonesia, October 28-31, vol. 2, pp. 119–123 (2002)
Yang, L.T., Muzio, J.: Redundant transformations for the testability metricsbased high-level built-in self-testable synthesis. In: Proceedings of the XVII International Conference on Design of Circuits and Integrated Systems (DCIS 2002), Santander, Spain, November 19-22 (2002)
Yang, T., Peng, Z.: Register-transfer level testability analysis and improvement with pseudorandom BIST. In: Proceedings of the 1st IEEE International Workshop on Design, Test and Application (WDTA 1998), Dubrovnik, Croatia, June 8-10, pp. 117–120 (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Yang, L.T., Muzio, J. (2005). Testing Methodologies for Embedded Systems and Systems-on-Chip. In: Wu, Z., Chen, C., Guo, M., Bu, J. (eds) Embedded Software and Systems. ICESS 2004. Lecture Notes in Computer Science, vol 3605. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11535409_3
Download citation
DOI: https://doi.org/10.1007/11535409_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28128-3
Online ISBN: 978-3-540-31823-1
eBook Packages: Computer ScienceComputer Science (R0)