A comparative study of the design of synchronous and asynchronous self-checking RISC processors | IEEE Conference Publication | IEEE Xplore