High-level synthesis of asynchronous systems by data-driven decomposition