Generating Boolean SAT based Test Pattern Generation using Multi-objective Genetic Algorithm | Zendy

Ms. Sangeeta | Zendy; Vinay Chopra | Zendy; Harminder Pal Singh Dhami | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Generating Boolean SAT based Test Pattern Generation using Multi-objective Genetic Algorithm

Author(s) -

Ms. Sangeeta,

Vinay Chopra,

Harminder Pal Singh Dhami

Publication year - 2010

Publication title -

international journal of computer applications

Language(s) - English

Resource type - Journals

ISSN - 0975-8887

DOI - 10.5120/1099-1438

Subject(s) - computer science , test (biology) , genetic algorithm , algorithm , artificial intelligence , machine learning , paleontology , biology

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research