scARM - A SystemC ARM