Towards a global solution to high level synthesis problems | IEEE Conference Publication | IEEE Xplore