New techniques for functional testing of microprocessor based systems

  title={New techniques for functional testing of microprocessor based systems},
  author={Riccardo Cantoro},
Electronic devices may be affected by failures, for example due to physical defects. These defects may be introduced during the manufacturing process, as well as during the normal operating life of the device due to aging. How to detect all these defects is not a trivial task, especially in complex systems such as processor cores. Nevertheless, safety-critical applications do not tolerate failures, this is the reason why testing such devices is needed so to guarantee a correct behavior at any… Expand


Systematic Software-Based Self-Test for Pipelined Processors
A systematic SBST methodology that enhances existing SBST programs so that they comprehensively test the pipeline logic, and applies it to two complex benchmark RISC processors with respect to two fault models: stuck-at fault model and transition delay fault model. Expand
Software-based self-testing methodology for processor cores
  • L. Chen, S. Dey
  • Computer Science
  • IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
  • 2001
A new software-based self-testing methodology for processors, which uses a software tester embedded in the processor memory as a vehicle for applying structural tests and demonstrates its significant cost/fault coverage benefits and its ability to apply at-speed test while alleviating the need for high-speed testers. Expand
Synthesis of Native Mode Self-Test Programs
The results show that the approach is very effective in achieving high fault coverage and automation in at-speed self-test generation for microprocessor-like circuits. Expand
A Hybrid Approach to the Test of Cache Memory Controllers Embedded in SoCs
This paper proposes a hybrid methodology that exploits an Infrastructure Intellectual Property (I-IP) to complement an SBST algorithm for testing the data and instruction cache controllers of embedded processors in SoCs. Expand
An Efficient Method for the Test of Embedded Memory Cores during the Operational Phase
Experimental results, gathered by implementing some representative March elements and algorithms, show that the method guarantees higher defect coverage than software BIST and a test time comparable with that of traditional hardware BIST solutions with a reduced hardware cost. Expand
Software-Based Self-Test for Small Caches in Microprocessors
An SBST program development methodology is proposed for on-line testing of small cache memories in microprocessors and shows that the exploitation of such DD instructions has a significant improvement of test time when compared to SBST solutions that do not utilize these types of instructions. Expand
Test Generation for Microprocessors
In this paper, a general graph-theoretic model is developed at the register transfer level which takes the microprocessor organization and the instruction set as parameters and generate tests to detect all the faults in the fault model. Expand
FRITS - a microprocessor functional BIST method
A novel functional Built-in-Self-Test (BIST) method for microprocessors is described, based on the fundamental principle that complex chips have embedded functionality that can be used to implement a comprehensive self-test strategy. Expand
Improving the Functional Test Delay Fault Coverage: A Microprocessor Case Study
This work proposes to exploit existing Design-for-Test architecture to apply in a smarter way the functional programs, and combines those programs with the classical at-speed LOC and LOS delay fault testing schemes to further increase the delay fault coverage. Expand
On the automatic generation of SBST test programs for in-field test
This work describes an ATPG framework targeting stuck-at faults based on Bounded Model Checking and shows that the proposed method is the first able to automatically generate SBST test programs whose fault efficiency is superior to those produced with state-of-the-art manual approaches. Expand