A formalisation of the VHDL simulation cycle - Van Tassel, John P. (1992)