A fast hardware/software co-verification method using a real hardware acceleration | IEEE Conference Publication | IEEE Xplore