A Testing Program and Pragma Combination Selection Based Framework for High-Level Synthesis Tool Pragma-Related Bug Detection | IEEE Journals & Magazine | IEEE Xplore