Re: how to get COSMOS from CMU

Article View: comp.lsi.cad

Article #665

#665

From: Kevin Karplus
Date: Sat, 12 Dec 1992 03:52

19 lines
1257 bytes

I can't help pointing out that there are several porgams out there
besides espresso and sis (though both of those are indeed very good).

I'd like to put in a plug for my program (ITEM) which is available by
anonymous FTP from ftp.cse.ucsc.edu.  The released version of ITEM is
from last January, but we hope to have a new release "real soon now".
We've got a lot of new stuff working, but we haven't gotten around to
making all the changes needed to run with the new g++ libraries.

Incidentally, the FAQ file for this newsgroup answers the question
asked in gory detail---including almost every publically accessible
logic minimizer. 

Kevin Karplus
-- 
Kevin Karplus		karplus@ce.ucsc.edu

Due to budgetary constraints the light at the end of the tunnel is
being turned off.

Technical Details

Message-ID: <1gbnm8INNt5i@darkstar.UCSC.EDU>

Path: arc1-ca.pugleaf.net!sparky!uunet!spool.mu.edu!agate!darkstar.UCSC.EDU!karplus

References: <Byytpx.Jwn.1@cs.cmu.edu>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!spool.mu.edu!agate!darkstar.UCSC.EDU!karplus
From: karplus@cse.ucsc.edu (Kevin Karplus)
Newsgroups: comp.lsi.cad
Subject: Re: how to get COSMOS from CMU
Date: 12 Dec 1992 03:52:40 GMT
Organization: University of California, Santa Cruz
Lines: 19
Distribution: inet
Message-ID: <1gbnm8INNt5i@darkstar.UCSC.EDU>
References: <Byytpx.Jwn.1@cs.cmu.edu>
Reply-To: karplus@ce.ucsc.edu (Kevin Karplus)
NNTP-Posting-Host: ararat.ucsc.edu

Reply to Parent Message