The Community for Technology Leaders
Green Image
Issue No. 08 - August (1983 vol. 32)
ISSN: 0018-9340
pp: 770-774
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," in IEEE Transactions on Computers, vol. 32, no. , pp. 770-774, 1983.
87 ms
(Ver 3.3 (11022016))