AMULET3: a high-performance self-timed ARM microprocessor | IEEE Conference Publication | IEEE Xplore