Cubical CAMP for Minimization of Boolean Functions

Biswas, NN and Srikanth, C and Jacob, James (1996) Cubical CAMP for Minimization of Boolean Functions. In: 9th International Conference on VLSI Design, 1996, 3-6 January 1996, Bangalore, India, pp. 264-269.

Preview

PDF Cubical_CAMP.pdf Download (603kB)

Abstract

The paper presents QCAMP, a cube-based algorithm for minimization of single Boolean functions. The algorithm does not generate all the prime cubes, nor does it require the Off-set of the function. Two significant contributions of QCAMP are the UNATE TEST which tests if a given function is a unate function, and the BISECT procedure which minimizes a cyclic function without taking recourse to branching. A well known property of a unate function is that the prime cubes subsuming a unate function are all essential prime cubes. Hence as soon as a function passes the UNATE TEST, all its prime cubes are recognized as solution cubes without any further processing. Many special functions, such as both the On and Off-sets of Achilles' heel functions which ESPRESSO II finds hard to minimize are also unate functions. Consequently, as will be evident from the computational results QCAMP exhibits far better performance compared to ESPRESSO II in all such and many other functions.

Item Type:	Conference Paper
Publisher:	IEEE
Additional Information:	IEEE 1995.Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE
Department/Centre:	Division of Electrical Sciences > Electrical Communication Engineering
Date Deposited:	07 May 2007
Last Modified:	27 Feb 2019 08:56
URI:	http://eprints.iisc.ac.in/id/eprint/10858

Actions (login required)

View Item