To use the digital design tools for ELEC 340 , you should add the following lines at the end of your .cshrc file:

set path = (/usr/local/mit-dtools/sun4bin $path)
setenv MANPATH ${MANPATH}:/usr/local/mit-dtools/man

Log out and back in after modifying the .cshrc file so that the changes take effect.

To access manual pages for the digital design tools you can type:
man "tool-name", e.g. man reduce or man kmap