selected publications conference paper SMDSS-a structured microcode development and simulation system. International Symposium on Microarchitecture. 252-259. 1990