Hardware/software co-verification, an IP vendors viewpoint | IEEE Conference Publication | IEEE Xplore