Multi-objective Design Space Exploration for High-Level Synthesis via Bayesian Optimization | IEEE Conference Publication | IEEE Xplore