A method for determining whether asynchronous circuits are self-checking | IEEE Conference Publication | IEEE Xplore