J. B. Dennis
Massachusetts Institute of Technology, Cambridge, MA
Behavioral synthesis of asynchronous circuits using syntax directed translation as backend
IEEE Transactions on Very Large Scale Integration (VLSI) Systems