From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=0.7 required=5.0 tests=BAYES_00,INVALID_DATE,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
Xref: utzoo comp.lang.c:39179 comp.lang.c++:13368 comp.lang.ada:5414 comp.lang.pascal:6670
Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sdd.hp.com!zaphod.mps.ohio-state.edu!pacific.mps.ohio-state.edu!linac!att!ucbvax!canuck.Berkeley.EDU!luciano
From: luciano@canuck.Berkeley.EDU (Luciano Lavagno)
Newsgroups: comp.lang.c,comp.lang.c++,comp.lang.ada,comp.lang.pascal
Subject: Re: Quinn-McClaskey Algorithm?
Message-ID: <42105@ucbvax.BERKELEY.EDU>
Date: 10 May 91 18:48:47 GMT
References: <91122.203356TAINT021@ysub.ysu.edu> <1991May3.114141.24913@newcastle.ac.uk> <1991May7.101437.19522@minyos.xx.rmit.oz.au> <1991May7.225307.28404@am.dsir.govt.nz>
Sender: nobody@ucbvax.BERKELEY.EDU
Reply-To: luciano@canuck.Berkeley.EDU (Luciano Lavagno)
Organization: UC Berkeley IC CAD Group
List-Id: <comp.lang.ada>

I know this does NOT strictly belong to any of the groups I am posting
it to, but many people are asking information, so I will try to settle
the question.
1) the Quine-McCluskey algorithm is a well known algorithm to obtain a
minimum sum-of-products (e.g. f = a b' c + a' b + c') representation
of a logic function
(that is a function with domain {0,1}^n and range {0,1}) from an
initial non-optimal sum-of-products representation of it.
This finds applications mainly in combinational logic circuit
synthesis (but not only there...).
2) the best implementation of this algorithm that I am aware of, is
part of the "espresso" logic minimization program. It is available
from this university for a nominal fee (there is also anonymous ftp,
but that's a bit trickier...). Just send e-mail to
erl@janus.berkeley.edu and ask them. Let me know if you have any
problem...

Luciano
-- 
+--------------------------+------------------------------------+
|Luciano Lavagno           |  E-mail: luciano@ic.Berkeley.EDU   |
|Dept of EECS, Rm. 550B2-69|                                    |
|UC Berkeley               |  Phone: (415) 642-5012             |
|Berkeley, CA  94720 (USA) |                                    |
+--------------------------+------------------------------------+