DocumentCode
1149284
Title
A Symbolic Simulator for Microprogram Development
Author
Abbott, Curtis
Issue
8
fYear
1983
Firstpage
770
Lastpage
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.
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;
fLanguage
English
Journal_Title
Computers, IEEE Transactions on
Publisher
ieee
ISSN
0018-9340
Type
jour
DOI
10.1109/TC.1983.1676320
Filename
1676320
Link To Document