alias vsim '/usr/ed-pkg/wild.phc/b/binh/vsim'
setenv PATH /users/cs/emax/Program/Satzoo:/users/cs/emax/Program/Lava2000/Bin:$PATH
setenv SMV_DIR /users/cs/emax/Program/SMV
setenv PATH $SMV_DIR/bin:$PATH
setenv MANPATH $SMV_DIR/man:$MANPATH
setenv LD_LIBRARY_PATH $SMV_DIR/lib:$LD_LIBRARY_PATH

# echo "Done: settings for Modelsim and Lava"