KFUPM ePrints

Evolutionary algorithms for state justification in sequential automatic test pattern generation

El-Maleh, Aiman H. and Sait, Sadiq M. and Shazli, Syed Z. (2005) Evolutionary algorithms for state justification in sequential automatic test pattern generation.

[img]
Preview
PDF
393Kb

Abstract

Sequential circuit test generation using deterministic, fault-oriented algorithms is highly complex and time consuming. New approaches are needed to enhance the existing techniques, both to reduce execution time and improve fault coverage. Evolutionary algorithms have been effective in solving many search and optimization problems. A common search operation in sequential Automatic Test Pattern Generation is to justify a desired state assignment on the sequential elements. State justification using deterministic algorithms is a difficult problem and is prone to many backtracks, which can lead to high execution times. In this work, a hybrid approach which uses a combination of evolutionary and deterministic algorithms for state justification is proposed. A General Algorithm is employed, to engineer state justification sequences vector by vector. This is in contrast to previous approaches where GA is applied to the whole sequence. The proposed method is compared with previous GA-based approaches. Significant improvements have been obtained for ISCAS benchmark circuits in terms of state coverage and CPU time. Furhtermore, it is demonstrated that the state justification sequence generated, helps the ATPG in detecting a large number of hard to detect faults.



Item Type:Article
Date:March 2005
Subjects:Computer
Divisions:College Of Computer Sciences and Engineering > Computer Engineering Dept
Creators:El-Maleh, Aiman H. and Sait, Sadiq M. and Shazli, Syed Z.
Email:aimane@kfupm.edu.sa, sadiq@kfupm.edu.sa, shazli@kfupm.edu.sa
ID Code:261
Deposited By:AbdulRahman
Deposited On:09 Mar 2008 15:24
Last Modified:12 Apr 2011 13:06

Repository Staff Only: item control page