The VHDL simulator is now hosted in https://tapec.uv.es/pardo/hdlsim