Efficient High Level Synthesis Exploration Methodology Combining Exhaustive and Gradient-Based Pruned Searching | IEEE Conference Publication | IEEE Xplore