Verification of streaming hardware and software codesigns | IEEE Conference Publication | IEEE Xplore