High-level design for asynchronous logic | IEEE Conference Publication | IEEE Xplore