Model-based optimization of High Level Synthesis directives | IEEE Conference Publication | IEEE Xplore