Automated Vertical Migration to Dynamic Microcode: An Overview and Example | IEEE Journals & Magazine | IEEE Xplore