Optimized timed hardware software cosimulation without roll-back | IEEE Conference Publication | IEEE Xplore