Using edge-triggering in the asynchronous synthesis of write-after-read operations | IEEE Conference Publication | IEEE Xplore