Toward Efficient Asynchronous Circuits Design Flow Using Backward Delay Propagation Constraint | IEEE Journals & Magazine | IEEE Xplore