Please use this identifier to cite or link to this item:
Title: A genetic algorithm methodology to find the maximum datapath coverage for combinational logic circuits
Authors: Sosa, Javier 
Montiel-Nelson, Juan A. 
Nooshabadi, Saeid
UNESCO Clasification: 3307 Tecnología electrónica
Keywords: Vector generation
genetic algorithms
datapath coverage
Issue Date: 2010
Publisher: 0218-1266
Journal: Journal of Circuits, Systems and Computers 
Abstract: In this paper, we present a genetic algorithm (GA) based methodology for vector generation that maximizes the metric of datapath coverage for a given combinational logic circuit, and compare it with a standard greedy algorithm. The search of maximum coverage vectors is a complex optimization of a satisfiability problem. The GA deals with the optimization problem, whilst an external satisfiability solver is invoked to deal with the coverage problem. Experimental results and performance comparisons based on the large set of MCNC'91 suite of benchmark circuits are presented. They show significant speedups of the GA methodology against a greedy algorithm for large circuits.
ISSN: 0218-1266
DOI: 10.1142/S0218126610006165
Source: Journal of Circuits, Systems and Computers[ISSN 0218-1266],v. 19, p. 435-450
Appears in Collections:Artículos
Show full item record


checked on Sep 24, 2023

Page view(s)

checked on Oct 8, 2022

Google ScholarTM




Export metadata

Items in accedaCRIS are protected by copyright, with all rights reserved, unless otherwise indicated.