To login to SciNet for testing:

ssh scinet 
ssh gpc01 # get to devel node if you want to compile
module load gcc

If the modelsim license isn't working:

ssh gpc01
ssh -N -f -L 7325:picton.eecg.utoronto.ca:7326 -L 7327:picton.eecg.utoronto.ca:7327 seth.eecg.utoronto.ca

If quartus license isn't working:

ssh gpc01
ssh -N -f -L 27002:ra.eecg.utoronto.ca:27002 seth.eecg.utoronto.ca
ssh -N -f -L 1802:ra.eecg.utoronto.ca:1802 seth.eecg.utoronto.ca