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