A syntax-directed translation for the synthesis of delay-insensitive circuits | IEEE Journals & Magazine | IEEE Xplore