Inter-procedural resource sharing in High Level Synthesis through function proxies | IEEE Conference Publication | IEEE Xplore