A Fully Implicit Quine-McCluskey Procedure Using BDD’s

43 Pages Posted: 18 Nov 2020

See all articles by Gitanjali Swamy

Gitanjali Swamy

PCRI, Harvard Business School; IoTask; University of California, Berkeley; Auto-ID Center, MIT

Date Written: November 10, 1992


We present an exact method for minimizing logic functions using BDD's to represent our functions. This approach differs from the classical approach in that it exploits the properties of the BDD data structure and the properties of a new extended space that we define, in order to implicitly compute the Primes, Minterms and Covering table for the Quine-McCluskey procedure. In this method the function is mapped to an extended space which endows it with special properties that may be exploited to compute the function Primes and Minterms. The next step consists of conceptually creating a covering table whose rows represent the minterms and whose columns represent the primes. We formulate conditions for row and column dominance and remove dominated rows and columns iteratively until no more reduction is possible. The final step consists of finding a minimum column cover for the remaining cyclic core of the problem. All functions are implemented using implicit BDD operations.

Keywords: incremental algorithms, iterative design, computer aided design, logic network mapping

Suggested Citation

Swamy, Gitanjali, A Fully Implicit Quine-McCluskey Procedure Using BDD’s (November 10, 1992). Available at SSRN: https://ssrn.com/abstract=3702945 or http://dx.doi.org/10.2139/ssrn.3702945

Gitanjali Swamy (Contact Author)

PCRI, Harvard Business School ( email )

114 Western Ave
Allston, MA 02134
United States

HOME PAGE: http://www.privatecapitalresearchinstitute.org/people.php

IoTask ( email )

One Broadway, 14th floor
Cambridge, MA 02142
United States
7819753345 (Phone)

HOME PAGE: http://www.iot-ask.com

University of California, Berkeley ( email )

310 Barrows Hall
Berkeley, CA 94720
United States

Auto-ID Center, MIT ( email )

Do you have a job opening that you would like to promote on SSRN?

Paper statistics

Abstract Views
PlumX Metrics