A Symbolic Simulator for Microprogram Development | IEEE Journals & Magazine | IEEE Xplore