Issue No.08 - August (1983 vol.32)
Symbolic execution can be a powerful aid for microprogram development. This note describes a symbolic microprograni simulator which is used in developing microprograms for a signal processor and gives a brief example of its use. Implementation issues and cost effectiveness of this approach are also discussed.
symbolic execution, Lisp applications, microprogram development, microprogramming, processor simulation, symbolic debugging
C. Abbott, "A Symbolic Simulator for Microprogram Development", IEEE Transactions on Computers, vol.32, no. 8, pp. 770-774, August 1983, doi:10.1109/TC.1983.1676320