home *** CD-ROM | disk | FTP | other *** search
- Path: 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
-
- 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.
-