Formal Definition of an Abstract VHDL'93 Simulator by EA-Machines