Behavioral Synthesis of Asynchronous Circuits Using Syntax Directed Translation as Backend | IEEE Journals & Magazine | IEEE Xplore