Newsgroups: comp.archives
Path: utzoo!utgpu!news-server.csri.toronto.edu!math.lsa.umich.edu!math.lsa.umich.edu!emv
From: kk@mcnc.org (Krzysztof Kozminski)
Subject: [comp.lsi.cad] Re: PLA Benchmarks
Message-ID: <1990Aug3.052845.7294@math.lsa.umich.edu>
Followup-To: comp.lsi.cad
Keywords: PLA Espresso Logic-Optimization
Sender: emv@math.lsa.umich.edu (Edward Vielmetti)
Reply-To: kk@mcnc.org.UUCP (Krzysztof Kozminski)
Organization: University of Michigan, Department of Mathematics
Date: Fri, 3 Aug 90 05:28:45 GMT
Approved: emv@math.lsa.umich.edu (Edward Vielmetti)
X-Original-Newsgroups: comp.lsi.cad
Lines: 26

Archive-name: pla-benchmarks/19-Jul-90
Original-posting-by: kk@mcnc.org (Krzysztof Kozminski)
Original-subject: Re: PLA Benchmarks
Archive-site: mcnc.mcnc.org [128.109.130.3]
Archive-directory: /pub/benchmark
Reposted-by: emv@math.lsa.umich.edu (Edward Vielmetti)

In article <55@gypsy.ims.fhg.de> clawin@gypsy.ims.fhg.de (Detlef Clawin) writes:
|In "Logic Minimization Algorithms for VLSI Synthesis", by R. Brayton ....
|dealing with "espresso" several Berkeley PLA benchmarks are referenced, 
|e.g. ADD6, ADR4, ALU1. They are commonly referenced by other authors
|for benchmarking logic optimization tools.
|
|Does anybody know about a source for this benchmarks ore other
|commonly used benchmarks ?

Some of these (and a number of others) are available by anonymous
ftp from mcnc.mcnc.org.  Look in the directory pub/benchmark/synth89
and its subdirectories.  I believe also that all benchmarks references
in the book you mention are included on the Berkeley software
distribution tapes.

KK
-- 
Kris Kozminski   kk@mcnc.org
"The party was a masquerade; the guests were all wearing their faces."