Formal Methods of Microcode Verification and Synthesis | IEEE Journals & Magazine | IEEE Xplore