High-level synthesis and optimization strategies in Hercules and Hebe | IEEE Conference Publication | IEEE Xplore