Automatic synthesis of asynchronous circuits from synchronous RTL descriptions | IEEE Conference Publication | IEEE Xplore