SystemC modelling of a microprocessor