Microcode development for microprogrammed processors

Abstract

The aim of this paper is to develop a top-down design automation tool for digital system design such as microprogrammed processors. The package contains a hardware description language to specify the design, a microcode development module to generate an efficient microprogam for the microprogrammed processor's control, and a functional simulator module to verify the validity of the design. The goal of this project is to develop an interactive computer-aided design environment for specification, design and verification of instruction set processors.

References

1. 1 Bell C.G., Newell A., "The PMS and ISP Descriptive System for Computer Structure," Proc. AFIPS SJCC, 1970.
2. 2 Bartee C.T., Lebow L.I., Reed S.I., Theory and Design of Digital Machines, New York: McGraw Hill, 1962.
3. 3 Schorr H., "Computer Aided Digital System Design and Analysis Using a Register Transfer Language," IEEE Trans. Elec. Comp. VolEC-19, No. 12. Dec. 1964.
4. 4 Chu Y., " An ALGOL-like Computer Design Language," Comm. ACM Vol. 8 No. 10, Ott 1965.
5. 5 Duley J.R., Dietmeyer D.L., "A Digital System Design Language," IEEE Trans. Comp. vol c-17, no. g, Sept. 1968.
6. 6 Hill F.J., Peterson G.R., Digital System: Hardware Organization and Design, 2nd ed., John Wiley, N.Y. 1978.
7. 7 Barbacci M.R. "Instruction Set Processor Specifications for Simulation, Evaluation, and Synthesis", Proc. 16th Design Automation Conf. June 1979.
8. 8 Rose C.W., Ordy G.M., Drongowski P.J., "N,mPc: A study in University-Insustry Technology Transfer," IEEE Design d Test, Feb. 1984, pp. 4456.
9. 9 Zimmermann G., "MDS -- The MIMOLA Design Method," .I. of Digital Systems, Vol. 4, No. 3, Fall 1980, pp. 221-239.
10. 10 Franke E.A., Automated Functional Design of Digital System, Ph.D. Diss. Case Western Reserve University, Nov. 1967.
11. 11 Darringer J.A., The Description, Simulation, and Automatic Implementation of Digital Computer Processor, Ph.D. Diss. Carnegie-Mellon University, May 1969.
12. 12 Crocket E.D. et al., "Computer-aided System Design," Proc. AFIPS FJCC, 1970.
13. 13 Baray M.B., Su S.Y.H., "A Digital System Modeling and Design Language", Proc. 8th Design Automation Workshop, 1971.
14. 14 Lund J., "LOGAL-Logic Algorithmic Language," Univac Tech. Memo AOO317, Mar. 5, 1773.
15. 15 Hirschhorn S., et al., "Functional Simulation in FAN- SIM3 -- Algorithms, Data Structures, and Results," Proc. 18th Design Automation Con-f. June 1981.
16. 16 Anlauff, H., Funk, P., Menin, P., "PHPL -- A Language for logic Design and Simulation", Euromicro Symp. on Microprocessing and Microprogramming, 1977.
17. 17 Ullman D.J., Computational Aspects of VLSI, Rockville, MD: Computer Science Press, 1984.
18. 18 Mead C., Conway L., Introduction to VLSI Systems, Reading, MA: Addison Wesley, 1980.
19. 19 Matthews R., Newkirk J., Eichenberger P., "A Target Language for Silicon Compiler." IEEE Compcon 1982, pp. 349-95s.
20. 20 Johnson S.C., "Code Generation for Silicon," Proc. 10th ACM Symposium on Principles of Programming Languages. 1983.
21. 21 Karplus K., CHISEL, An Extension to the Programming Language C for VLSI layouts, Ph.D. Diss., Standford University, 1982.
22. 22 Hennessy J., "SLIM: A Simulation and Implementation Language for VLSI Microcode," Lambda, Second Quarter, 1981. pp. 20-28.
23. 23 Sheraga R., Gieser J.L., "Automatic Microcode Generation for Horizontally Microprogrammed Processor," Proc. 14th Workshop on Microprogramming, Oct. 1981.
24. 24 Ma P.R., Lewis T.G., "On the Design of a Microcode Compiler for a Machine Independent High-Level Language," IEEE Trans. Software Eng. Vol. SE-7 No. 3, May 1981, pp 261-274.
25. 25 Hwang P.C., MDSS: A Design Automation System Including a Hardware Language, a Microcode Generator und o Functional Simulator, Ph.D. Diss. University of Cincinnati, 1984.
26. 26 Papachristou C.A., Hwang P.C., "A Functional Simulator for Digital Systems," Proc. 16th Asilomar Conf. on 27. Circuits, Systems and Computers, Nov. 1982.
27. 27 Papachristou C.A., Hwang P.C., "A Language for Digital System Specification and Design," IEEE Workshop on Language for Automation, Nov. 1983, pp. 229-237.
28. 28 Andrews M., "A Firmware Engineering Development Tool," Chapter 6 of Principle of Firmware Engineering in Microprogram Control, Computer Science Press, Inc., 1980, pp. 210-274.
29. 29 Beauchamp R.W., Firtb N.R., "UDSYS -- A Microcode Development System," Proc 15th Annual Workshop on Microprogramming, Oct. 1982, pp. 35-41.
30. 30 Tamura E., Tokoro M., "Hierarchical Microprogram Generating System," Proc 12th Annual Workshop On Microprogramming, Nov 1979, Pp 7-21.
31. 31 Vegdahl S.R., "Phase Coupling And Constant Generation In An Optimizing Microcode Compiler," Proc 15th Annual Workshop On Microprogramtning, Ott 1982, Pp. 125-133.
32. 32 Nagle A.W., Cloutier R., Parker A.C., "Synthesis of Hardware For The Control Of Digital Systems," IEEE Trans. CAD, Vol . CAD-1 No.4, Oct. 1982, pp. 202-212.
33. 33 Dasgupta, S., "Toward a Microprogramming Language Schema," Proc 0th Annual Workshop On Microprogramming, Oct. 1978, pp. 144153.
34. 34 Dasgupta S., Tartar J., "The Identification of Maximal Parallelism in Straight Line Microprograms," IEEE Trans. Comp. Vol. C-25 No 10, Oct. 1976, pp. 986-991.

Index Terms

• Applied computing

  • Arts and humanities

    • Architecture (buildings)

      • Computer-aided design

  • Physical sciences and engineering

    • Engineering

      • Computer-aided design

• Computer systems organization

  • Architectures

    • Parallel architectures

      • Very long instruction word

    • Serial architectures

      • Complex instruction set computing

      • Reduced instruction set computing

  • Embedded and cyber-physical systems

    • Embedded systems

      • Firmware

• Hardware

  • Electronic design automation

    • Hardware description languages and compilation

  • Emerging technologies

    • Analysis and design of emerging devices and systems

      • Emerging languages and compilers

• Social and professional topics

  • Professional topics

    • Management of computing and information systems

• Software and its engineering

  • Software notations and tools

    • Compilers

    • Development frameworks and environments

      • Integrated and visual development environments