A debug sub-system for embedded-system co-verification | IEEE Conference Publication | IEEE Xplore