Mixed-level identification of fault redundancy in microprocessors

by   Adeboye Stephen Oyeniran, et al.

A new high-level implementation independent functional fault model for control faults in microprocessors is introduced. The fault model is based on the instruction set, and is specified as a set of data constraints to be satisfied by test data generation. We show that the high-level test, which satisfies these data constraints, will be sufficient to guarantee the detection of all non-redundant low level faults. The paper proposes a simple and fast simulation based method of generating test data, which satisfy the constraints prescribed by the proposed fault model, and a method of evaluating the high-level control fault coverage for the proposed fault model and for the given test. A method is presented for identification of the high-level redundant faults, and it is shown that a test, which provides 100 non-redundant high-level faults, will also guarantee 100 coverage, whereas all gate-level SAF not covered by the test are identified as redundant. Experimental results of test generation for the execution part of a microprocessor support the results presented in the paper.


page 1

page 2

page 3

page 4


High-Level Combined Deterministic and Pseudoexhuastive Test Generation for RISC Processors

Recent safety standards set stringent requirements for the target fault ...

A Novel RTL ATPG Model Based on Gate Inherent Faults (GIF-PO) of Complex Gates

This paper starts with a comprehensive survey on RTL ATPG. It then propo...

Fault Detection for Timed FSM with Timeouts by Constraint Solving

Recently, an efficient constraint solving-based approach has been develo...

New categories of Safe Faults in a processor-based Embedded System

The identification of safe faults (i.e., faults which are guaranteed not...

A Comprehensive Test Pattern Generation Approach Exploiting SAT Attack for Logic Locking

The need for reducing manufacturing defect escape in today's safety-crit...

Fault Detection for Covered Conductors With High-Frequency Voltage Signals: From Local Patterns to Global Features

The detection and characterization of partial discharge (PD) are crucial...

Multiagent Transition Systems with Faults: Protocol-Stack Mathematics for Distributed Computing

Presently, the practice of distributed computing is such that problems e...