Design of a Self-Checking Microprogram Control | IEEE Journals & Magazine | IEEE Xplore