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 moreMetadata
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)