Loading [MathJax]/extensions/MathZoom.js
A Symbolic Simulator for Microprogram Development | IEEE Journals & Magazine | IEEE Xplore

A Symbolic Simulator for Microprogram Development

Publisher: IEEE

Abstract:

Symbolic execution can be a powerful aid for microprogram development. This note describes a symbolic microprograni simulator which is used in developing microprograms fo...View more

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.
Published in: IEEE Transactions on Computers ( Volume: C-32, Issue: 8, August 1983)
Page(s): 770 - 774
Date of Publication: 31 August 1983

ISSN Information:

Publisher: IEEE

References

References is not available for this document.