The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.08 - August (1983 vol.32)
pp: 770-774
ABSTRACT
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.
INDEX TERMS
symbolic execution, Lisp applications, microprogram development, microprogramming, processor simulation, symbolic debugging
CITATION
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
20 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool