Download and install the TECS hardware simulator

I downloaded the TECS software and unzipped it in ~/bin/tecs

Next, I ran HWSimulator.sh to check if the Hardware Simulator is working. It ran just fine, so I loaded the NAND chip ($TECS_HOME/builtInChips/NAND.HDL), and that too loaded fine.