A synthesis method for mixed synchronous/asynchronous behavior | IEEE Conference Publication | IEEE Xplore