This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A Symbolic Simulator for Microprogram Development
August 1983 (vol. 32 no. 8)
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.
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, Aug. 1983, doi:10.1109/TC.1983.1676320
Usage of this product signifies your acceptance of the Terms of Use.