Virtual hardware prototyping through timed hardware-software co-simulation | IEEE Conference Publication | IEEE Xplore