Title :
A Symbolic Simulator for Microprogram Development
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.
Keywords :
Lisp applications; microprogram development; microprogramming; processor simulation; symbolic debugging; symbolic execution; Application software; Computational modeling; Computer architecture; Costs; History; Microprogramming; Pipeline processing; Programming profession; Registers; Signal processing; Lisp applications; microprogram development; microprogramming; processor simulation; symbolic debugging; symbolic execution;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/TC.1983.1676320
