The paper explains the theory and design of a semicustom integrated ci
rcuit (IC) for the generation of the optimum polarity of a given Boole
an function. Given the minterm coefficients of a Boolean function, the
chip computes the coefficients of all the fixed polarities of the gen
eralized Reed-Muller expansions, and identifies the polarity with the
least number of terms. The chip can also convert the coefficients of t
he positive polarity Reed-Muller expansion to a sum of products form.
The design was completed using Mentor-Graphics VA.4 and the Mietec 0.7
mu m CMOS Library. (C) 1997 Elsevier Science Ltd.