Installation of Cadence SMV
===========================

Unpack the SMV tar file in some directory <DIR>. 

Add the following to your .bash_profile:

export SMV_DIR=<DIR>
export PATH=$SMV_DIR/bin:$PATH
export LD_LIBRARY_PATH=$SMV_DIR/lib:$LD_LIBRARY_PATH
export MANPATH=$SMV_DIR/man:$MANPATH

Log out and log in again.


In addition, users of emacs can try putting the following in
their ".emacs" file:

(setq load-path (cons "<DIR>/lib/emacs" load-path))
(load-library "smv-hooks")

This will enable smv-mode.


DOCUMENTATION
=============

For information on running the software, try:

	man smv

and

	man vw

For documentation on the SMV languge, such as it exists, point your
html browser at:

	file:<DIR>/doc/smv/smv.html

(or where you have installed this). Or, try the tutorial by running
the command

	smv_tutorial
