|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.
|UNESCO Clasification:||3307 Tecnología electrónica||Keywords:||Vector generation
mixed integer linear programming (MILP)
|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.||URI:||http://hdl.handle.net/10553/49648||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|
checked on Jun 4, 2022
Items in accedaCRIS are protected by copyright, with all rights reserved, unless otherwise indicated.