Generating Boolean SAT based Test Pattern Generation using Multi-objective Genetic Algorithm
Ms. Sangeeta, Vinay Chopra, Harminder Pal Singh Dhami · International Journal of Computer Applications · 2010
This paper presents a brief introduction to multi-objective genetic algorithms and FPGAs [5][9].In this paper we have discussed that how test pattern generation method can be formulated in terms of CNF form [2]and this CNF form can be used to generate test patterns using genetic algorithm.We have proposed that by applying a multi-objective genetic algorithm on this CNF form we can increase number of instances to satisfy boolean equation.