Please use this identifier to cite or link to this item:
Title: Application of mixed integer linear programming in the generation of vectors with maximum datapath coverage for combinational logic circuits
Authors: Sosa, Javier 
Montiel-Nelson, Juan A. 
Garcia-Montesdeoca, Jose C. 
Nooshabadi, Saeid
UNESCO Clasification: 3307 Tecnología electrónica
Keywords: Vector generation
mixed integer linear programming (MILP)
datapath coverage
Issue Date: 2010
Publisher: 0218-1266
Journal: Journal of Circuits, Systems and Computers 
Abstract: 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.
ISSN: 0218-1266
DOI: 10.1142/S0218126610006785
Source: Journal of Circuits, Systems and Computers[ISSN 0218-1266],v. 19, p. 1497-1516
Appears in Collections:Artículos
Show full item record

Page view(s)

checked on Jun 4, 2022

Google ScholarTM




Export metadata

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