High-level synthesis of asynchronous systems: Scheduling and process synchronization | IEEE Conference Publication | IEEE Xplore