Source Code Error Detection in High-Level Synthesis Functional Verification | IEEE Journals & Magazine | IEEE Xplore