High-level Synthesis for Highly Concurrent Hardware Systems | IEEE Conference Publication | IEEE Xplore