Modelling in Hardware Description Languages