25 COSMOS and BDD

(From their announcement posted here)

Obtaining and installing COSMOS and BDD. The COSMOS package generates switch-level simulators for MOS circuits. The BDD package is a subset of COSMOS providing a set of library routines for symbolic Boolean manipulation. To obtain a copy of either COSMOS or BDD via FTP:

Create an appropriate subdirectory. For COSMOS, you may want to create a symbolic link /usr/cosmos to this directory, although this is not essential.

2.

Connect to the subdirectory

3.

FTP to ftp://n3.sp.cs.cmu.edu/usr/cosmos/ftp (login anonymous, password yourname@your.host.name)

4.

Type:

cd /usr/cosmos/ftp
ls
5.

Select which version of the code you want. The files are named bdd.XXX.YYY.tar.Z and cosmos.XXX.YYY.tar.Z, where XXX.YYY is the version number. Generally you should select the highest numbered version.

6.

6. Type: get <FILE> (where <FILE> is the file name of the selected version). get README quit

7.

Follow the instructions in README

8.

Send the following information to cosmos@cs.cmu.edu

Your name
Your postal address
Your net address
The file retrieved
The date of your retrieval
COSMOS and BDD are made available with the understanding that no part of it will be redistributed further without permission. Last updated 18 July 1991 by Derek Beatty.

This document was translated by ms2html v1.7 on 16.01.97. OMN

[an error occurred while processing this directive]