How to run a 32 bit file with a 64 bit system

Question

I\'m trying to run a file, called counter.vhd but it quits immediately. Apparently, the file is given in 32 bit and in my manual it is given that, in this case,