Abstract
A machine independent low level language YALLL is presented. This language produces microcode for two very different machines: Hewlett Packard HP 300 and Digital Equipment Corporation VAX 11/780. The efficiency of this language is tested by comparing two examples on both machines to microassembly coded versions. To our best knowledge, this is the first time programs have been compiled and executed on two different microarchitectures. These examples also let us compare the efficiency of the microarchitectures and macroarchitectures of these machines and re-examine the benefits of microprogramming versus macroprogramming. We conclude this paper with comments upon transportability of high level microprogramming languages.
- 1 Aho, A.V. and J.D. Ullman, Principles of Compiler Design, Addison-Wesley Publishing Co., Reading, Mass., 1977, page 7. Google Scholar
Digital Library
- 2 Davidson, S. and B.D. Shriver, "An overview of firmware engineering", Computer, May 1978, pp. 21-33.Google Scholar
- 3 Eckhouse, R.H., Jr., "A high level microprogramming language(MPL)," Proc. of the SJCC, 1971, pp. 169-177.Google Scholar
- 4 Hewlett-Packard, "SL300 Reference Manual" (to be published).Google Scholar
- 5 Hewlett-Packard, Hewlett-Packard Journal, Vol. 30, No. 6 & 7, June-July, 1979.Google Scholar
- 6 Johnson, S.C., "YACC. Yet Another Compiler-Compiler," Bell Labs, Murray Hill, N.J., 1977.Google Scholar
- 7 Joy, William N., Graham, Susan L., Haley, Charles B. "Berkeley Pascal User's Manual", Computer Science Division, Univ. of Calif., Berkeley, 1977.Google Scholar
- 8 Lesk, M.E., "Lex-A Lexical Analyzer Generator," Bell Labs, Murray Hill, N.J., 1975.Google Scholar
- 9 Nanodata, Hardware Level User's Manual, Nanodata Corp., Williamsville, N.Y, March 1976.Google Scholar
- 10 Patterson, D.A., "STRUM: Structured Microprogramming System for Correct Firmware", IEEE Trans. on Computers, Vol. C-25, No. 10, Oct. 1976, pp. 974-985.Google Scholar
- 11 Patterson, D.A., "Formal verification in an Unverified Environment: An experiment," Proceedings of the Sixth Texas Conference on Computer Systems, Nov. 1977, pp. 4A-13-4A-18.Google Scholar
- 12 Patterson, D.A., "An approach to firmware engineering", Proc. of the NCC, Anaheim, California, June 1978, p. 643-647.Google Scholar
- 13 Patterson, D.A., "An Experiment in High Level Language Microprogramming and Verification", submitted to CACM, Jan. 1979. Google Scholar
Digital Library
- 14 Ritchie, D.M. and K. Thompson, "The UNIX Time-Sharing System," CACM, Vol. 17, No. 7, July 1974, pp. 365-375. Google Scholar
Digital Library
- 15 Ritchie, D.M. et al, "The C Programming Language," Bell System Technical Journal, Vol. 57, No. 6, Part 2, July-August, 1978, pp. 1991-2020.Google Scholar
- 16 Strecker, W.D., "VAX-11/780: A Virtual Address Extension to the PDP-11 Family," in Computer Engineering: A DEC View of Hardware Systems Design, (C.G. Bell, J.C. Mudge, and J.E. McNamaras, eds.), Digital Press, Bedford, Mass, 1978.Google Scholar
- 17 Tuck, R. and W. Burkhard, "Multi Reference Manual," Tech. Report #22, UC San Diego, La Jolla, Calif., 1977.Google Scholar
- 18 Tuck, R., "Software Microprogramming Tools for the VAX.11/780," Electronics Research Laboratory Tech. Report, UC Berkeley, October, 1979.Google Scholar
- 19 Waite, W.M., "Code Generation", in Compiler Construction, (F.L. Bauer and J. Eickel, eds.), Springer-Verlag, N.Y., N.Y., 1974, pp. 329-332. Google Scholar
Digital Library
Index Terms
Towards an efficient, machine-independent language for microprogramming
Recommendations
Towards an efficient, machine-independent language for microprogramming
MICRO 12: Proceedings of the 12th annual workshop on MicroprogrammingA machine independent low level language YALLL is presented. This language produces microcode for two very different machines: Hewlett Packard HP 300 and Digital Equipment Corporation VAX 11/780. The efficiency of this language is tested by comparing ...
Extensibility - a new approach for designing machine independent microprogramming languages
MICRO 9: Proceedings of the 9th annual workshop on MicroprogrammingThis paper describes a new technique for designing high level machine independent microprogramming languages. In Section 1.0 we will discuss some design considerations for microprogramming languages and will review the previous efforts in the area of ...
The Datasaab FCPU microprogramming language
This paper describes the high level microprogramming language (ML) used in microprogramming the FCPU (Flexible Central Processing Unit) developed by the Datasaab sector of Saab-Scania AB. The background of the use of machine dependent high level ...






Comments