How to run Cadence SMV on the CMU Andrew Unix machines

First, remotely login to an Andrew machine with your Andrew username and password:
ssh unix.andrew.cmu.edu
If you're using MS Windows, you can use PuTTY to connect. (But if you're running Windows, you might as well just download the Windows version of SMV and install it on your computer.) Once you're logged in, copy the following four lines to the clipboard and paste them into your terminal:
setenv CADSMVPATH /afs/andrew.cmu.edu/usr16/wklieber/cadsmv
setenv PATH $CADSMVPATH/bin:$PATH
setenv MANPATH $CADSMVPATH/man:$MANPATH
setenv LD_LIBRARY_PATH $CADSMVPATH/lib:$LD_LIBRARY_PATH
(Or you can put them into your .cshrc file.)

Now you can run Cadence SMV on the command-line using the smv command. If you're lucky, you might even be able to get the graphical user interface to work using the vw command (you'll need to specify the "-X" option for ssh to do X11 forwarding, or go to a campus computing lab and locally login to an Andrew machine).