Identificador persistente para citar o vincular este elemento: http://hdl.handle.net/10553/49648
Título: Application of mixed integer linear programming in the generation of vectors with maximum datapath coverage for combinational logic circuits
Autores/as: Sosa, Javier 
Montiel-Nelson, Juan A. 
Garcia-Montesdeoca, Jose C. 
Nooshabadi, Saeid
Clasificación UNESCO: 3307 Tecnología electrónica
Palabras clave: Vector generation
mixed integer linear programming (MILP)
VLSI
datapath coverage
Fecha de publicación: 2010
Editor/a: 0218-1266
Publicación seriada: Journal of Circuits, Systems and Computers 
Resumen: In this paper, we present a novel methodology for vector generation that maximizes the metric of datapath coverage for a given combinational logic circuit. The proposed methodology is based on Mixed Integer Linear Programming (MILP). The search of input vectors based on the datapath coverage metric is a satisficability (SAT) problem. In order to obtain maximum coverage vectors, we use a novel model for the Boolean logic gates to translate the original SAT problem into an MILP optimization problem. Next, the new problem is solved following the MILP optimization environment and an exhaustive search strategy. We compare our proposed methodology with the exhaustive search algorithm. Experimental results and performance comparisons based on the large set of MCNC'91 suite of benchmark circuits are presented. They show significant speedups of MILP methodology against the exhaustive search algorithm for the complex circuits.
URI: http://hdl.handle.net/10553/49648
ISSN: 0218-1266
DOI: 10.1142/S0218126610006785
Fuente: Journal of Circuits, Systems and Computers[ISSN 0218-1266],v. 19, p. 1497-1516
Colección:Artículos
Vista completa

Visitas

29
actualizado el 13-ene-2024

Google ScholarTM

Verifica

Altmetric


Comparte



Exporta metadatos



Los elementos en ULPGC accedaCRIS están protegidos por derechos de autor con todos los derechos reservados, a menos que se indique lo contrario.