Design of a fault-tolerant RISC microprocessor using VHDL | IEEE Conference Publication | IEEE Xplore