Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!rphroy!ox.com!msen.com!emv
From: luciano@canuck.Berkeley.EDU (Luciano Lavagno)
Newsgroups: comp.archives
Subject: [c...] Re: Quinn-McClaskey Algorithm?
Message-ID: <1991May21.052318.1428@ox.com>
Date: 21 May 91 05:23:18 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: emv@msen.com (Edward Vielmetti, MSEN)
Reply-To: luciano@canuck.Berkeley.EDU (Luciano Lavagno)
Followup-To: comp.lang.c,comp.lang.c++,comp.lang.ada,comp.lang.pascal
Organization: UC Berkeley IC CAD Group
Lines: 38
Approved: emv@msen.com (Edward Vielmetti, MSEN)
X-Original-Newsgroups: comp.lang.c,comp.lang.c++,comp.lang.ada,comp.lang.pascal

Archive-name: math/logic/espresso/1991-05-10
Archive: shambhala.berkeley.edu:/pub/misII.tar.Z [128.32.132.54]
Original-posting-by: luciano@canuck.Berkeley.EDU (Luciano Lavagno)
Original-subject: Re: Quinn-McClaskey Algorithm?
Reposted-by: emv@msen.com (Edward Vielmetti, MSEN)


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) |                                    |
+--------------------------+------------------------------------+

-- comp.archives file verification
shambhala.berkeley.edu
-rw-r--r--  1 11       10        1567952 Oct 11  1990 /pub/misII.tar.Z
found espresso ok
shambhala.berkeley.edu:/pub/misII.tar.Z