A 580 MHz RISC microprocessor in SOI | IEEE Conference Publication | IEEE Xplore