Abstract
This paper presents a solution to the problem of an inadequate microprogram testbed facility for the Prime 400 system, but more importantly, defines typical problems resulting from lack of good microprogram developement software in the university environment, and provides a model for their solution.
- 1 Wilkes, M.V. "The Growth of Interest in Microprogramming: A Literature Survey", Computing Surveys, volume 1, 1969, pp. 139-145 Google Scholar
Digital Library
- 2 Chu, Yaohan. "Forward and Introduction to Special Section on Microprogramming", IEEE Transactions on Computers, volume C-25, number 10, October 1976, p. 961Google Scholar
- 3 Fuller, Samuel H., Victor R. Lesser, C. Gordon Bell, Charles H. Kaman. "The Effects of Emerging Technology and Emulation Requirements on Microprogramming", IEEE Transactions on Computers, Volume C-25, Number 10, October 1976, pp. 1000-1009Google Scholar
- 4 HP 21MX E-Series Computer Microprogramming Reference Manual, Hewlett-Packard Company, 11000 Wolfe Road, Cupertino, California, 95014Google Scholar
- 5 Frankenberg, Robert. "User Microprogramming", Mini-micro Systems, (reprint - Hewlett-Packard), June 1977, pp. 2-13Google Scholar
- 6 Chu, Yaohan. Computer Organization And Microprogramming, Prentice-Hall, Inc. Englewood Cliffs, N.J., 1972, chapter 1Google Scholar
- 7 Bell, C. Gordon, and Allen Newell. Computer Structures: Readings and Examples, McGraw-Hill, Inc., New York, N.Y., 1971, chapter 2 Google Scholar
Digital Library
- 8 Hill, Fredrick and Gerald Peterson. Digital Systems: Hardware Organization And Design, John Wiley & Sons, Inc. New York, N.Y., 1973, chapter 5 Google Scholar
Digital Library
- 9 Katzan, Harry. Migroprogramming Primer, McGraw-Hill, Inc., New York, N.Y., 1977, p.76Google Scholar
- 10 Hansen, Per Brinch, Architecture of Concurrent Programs, Prentice-Hall, Inc., Englewood Cliffs, 1977, chapter 9 Google Scholar
Digital Library
- 11 MICRO-CODE DEBUG PACKAGE, PRIME Inc. publication PE-T-367, Prime Computer, Incorporated, 145 Pennsylvania Avenue, Framingham, Massachusetts, 01701, September 8, 1977Google Scholar
- 12 Software Tools Subsystem Reference Manual, School of Information and Computer Science, Georgia Institute of Technology, Atlanta, Georgia 30332Google Scholar
Index Terms
Interactive microprogram validation: A Prime 400 testbed facility
Recommendations
Interactive microprogram validation: A Prime 400 testbed facility
MICRO 12: Proceedings of the 12th annual workshop on MicroprogrammingThis paper presents a solution to the problem of an inadequate microprogram testbed facility for the Prime 400 system, but more importantly, defines typical problems resulting from lack of good microprogram developement software in the university ...
Microprogram Transformations
A descriptive notation is proposed for microprogramming which uses conventional sequential machine notation for the microprogram, and a register transfer language to define microoperations. The combination allows the definition of useful formal ...
A Symbolic Simulator for Microprogram Development
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 ...






Comments