Efficient System-Level Design Space Exploration for High-level Synthesis using Pareto-Optimal Subspace Pruning | IEEE Conference Publication | IEEE Xplore