co verification of hardware and software for arm soc designer