Modelling using HDL