An Error Diagnosis Technique Based on Location Variable Simulation Employing Implicit Representation of Error Location Sets

Abstract

This paper presents an error diagnosis technique based on location variable (LV) simulation, which shortens the processing time for screening error location sets using BDD-based implicit representation. An LV is a Boolean variable which indicates whether the function of the location is modified or not. For each signal value with each signal line, the LV-simulation computes a signal value function in terms of LVs which represents necessary conditions for taking that value. Based on the rectification condition to modify every incorrect primary output value to the correct one, the results of screening error location sets are obtained in a BDD-based implicit representation. Experimental results have shown that the proposed technique reduces the processing time by 60.8% on average.