The Community for Technology Leaders
RSS Icon
Issue No.08 - August (1983 vol.32)
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", IEEE Transactions on Computers, vol.32, no. 8, pp. 770-774, August 1983, doi:10.1109/TC.1983.1676320
32 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool