Exploiting Scheduling Information for Efficient High-Level Synthesis Design Space Exploration | IEEE Conference Publication | IEEE Xplore