Innovative practices session 7C: Verification and testing challenges in high-level synthesis | IEEE Conference Publication | IEEE Xplore