On the on-line functional test of the Reorder Buffer memory in superscalar processors

The Reorder Buffer (ROB) is a key component in superscalar processors. It enables both in-order commitment of instructions and precise exception management even in those architectures that support out-of-order execution. The ROB architecture typically includes a memory array whose size may reach several thousands of bits. Testing this array may be important to guarantee the correct behavior of the processor. Proprietary BIST solutions typically adopted by manufacturers for end-of-production test are not always suitable for on-line test. In fact, they require the usage of test infrastructures that may be expensive, or may not be accessible and/or documented. This paper proposes an alternative solution, based on a functional approach, which has been validated resorting to both an architectural and a memory fault simulator.

[1]  Said Hamdioui,et al.  Testing multi-port memories: Theory and practice , 2001 .

[2]  Alfredo Benso,et al.  Specification and design of a new memory fault simulator , 2002, Proceedings of the 11th Asian Test Symposium, 2002. (ATS '02)..

[3]  Alberto Paolo Tonda,et al.  On the functional test of Branch Prediction Units based on Branch History Table , 2011, 2011 IEEE/IFIP 19th International Conference on VLSI and System-on-Chip.

[4]  Alfredo Benso,et al.  Automatic March tests generation for multi-port SRAMs , 2006, Third IEEE International Workshop on Electronic Design, Test and Applications (DELTA'06).

[5]  S. Hamdioui,et al.  Converting March tests for bit-oriented memories into tests for word-oriented memories , 1998, Proceedings. International Workshop on Memory Technology, Design and Testing (Cat. No.98TB100236).

[6]  Jacob A. Abraham,et al.  Test Generation for Microprocessors , 1980, IEEE Transactions on Computers.

[7]  Iain Bate,et al.  Use of Modern Processors in Safety-Critical Applications , 2001, Comput. J..

[8]  Matteo Sonza Reorda,et al.  Test Program Generation for Communication Peripherals in Processor-Based SoC Devices , 2009, IEEE Design & Test of Computers.

[9]  Mohamed F. Younis,et al.  Statically Safe Speculative Execution for Real-Time Systems , 1999, IEEE Trans. Software Eng..

[10]  David A. Patterson,et al.  Computer Architecture: A Quantitative Approach , 1969 .

[11]  Matteo Sonza Reorda,et al.  Microprocessor Software-Based Self-Testing , 2010, IEEE Design & Test of Computers.

[12]  Alessandro Savino,et al.  Software-Based Self-Test of Set-Associative Cache Memories , 2011, IEEE Transactions on Computers.

[13]  Sujit Dey,et al.  Software-based self-testing methodology for processor cores , 2001, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[14]  Paolo Prinetto,et al.  Models in Memory Testing , 2010 .

[15]  Alfredo Benso,et al.  Software-Based Self-Test for Reliable Applications in Railway Systems , 2012 .