Synthesis of Self-Timed Circuits with Memory | IEEE Conference Publication | IEEE Xplore