G. Pfister, W.C. Brantley, et al.
ICPP 1984
MMPS, a Modular MicroProgramming Simulator tool consisting of a compiler, a simulator, and a debugger, is described. It provides the functional verification of a microsequencer architecture. A microsequencer control architecture is designed with the objective of implementing modular microprograms that are similar in concept to structured software systems. The proposed sequencing constructs facilitate the migration of complicated software functions into firmware. MMPS provides a facility for verifying these microprograms.
G. Pfister, W.C. Brantley, et al.
ICPP 1984
Kuan-Tsae Huang, Ching-Chy Wang
IEEE Workshop on Languages for Automation 1983