High-Level Synthesis for Self-Timed Systems | IEEE Conference Publication | IEEE Xplore