KFUPM ePrints

An Iterative Heuristic for State Justi�cation in Sequential Automatic Test Pattern Generation

El-Maleh, Aiman H. and Sait, Sadiq M. and Shazli, Syed Z. (2001) An Iterative Heuristic for State Justi�cation in Sequential Automatic Test Pattern Generation. Genetic and Evolutionary Computation Conference (GECCO).

[img]
Preview
PDF
161Kb

Abstract

State justifcation is one of the most time-consuming tasks in sequential Automatic Test Pattern Generation (ATPG). For states that are difficult to justify, deterministic algorithms take significant CPU time without much success most of the time. In this work, we adopt a hybrid approach for state justification. A new method based on Genetic Algorithms is proposed, in which we engineer state justifcation sequences vector by vector. 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.



Item Type:Article
Date:2001
Date Type:Publication
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:151
Deposited By:AIMAN HELMI EL-MALEH
Deposited On:28 Feb 2008 19:41
Last Modified:12 Apr 2011 13:06

Repository Staff Only: item control page