Efficient Memory Arbitration in High-Level Synthesis From Multi-Threaded Code | IEEE Journals & Magazine | IEEE Xplore