A simulation condition for correct asynchronous implementation of synchronous design | IEEE Conference Publication | IEEE Xplore