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.
Connect to the subdirectory
FTP to ftp://n3.sp.cs.cmu.edu/usr/cosmos/ftp (login anonymous, password email@example.com)
cd /usr/cosmos/ftp ls5.
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. Type: get <FILE> (where <FILE> is the file name of the selected version). get README quit
Follow the instructions in README
Send the following information to firstname.lastname@example.org
Your name Your postal address Your net address The file retrieved The date of your retrievalCOSMOS 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]