Re-useable hardware/software co-verification of IP blocks | IEEE Conference Publication | IEEE Xplore