Abstract
The basic ideas of the microprogramming language MIDDLE are presented. The language gives a possibility to describe various properties of an executing hardware without loosing too much from the flexibility of a higher-level programming language. Three purely synctactic transformations defined in the language allow one to get more or less hardware oriented version of a microprogram. The language has full mathematical semantic description which gives the possibility for the microprogram verification based on the known general program-proof methods.
- 1 De Bakker, J.W., The fixed-point approach in semantics: theory and applications, in J.W. de Bakker (ed), Foundations of Computer Sci., Math. Centre Tracts 63, Amsterdam 1975.Google Scholar
- 2 Blikle A., An extended approach to mathematical analysis of programs, Banach Center Publications, vol.2, PWN, Warsaw 1977.Google Scholar
- 3 Blikle A., Budkowski S., Certification of microprograms by an algebraic method, Proc. MICRO-9, New Orlean, 1976. Google Scholar
Digital Library
- 4 Budkowski S., Dembinski P., Firmware versus software verification, this issue. Google Scholar
- 5 Budkowski S., Paplinski A., Sosnowski J., Zespoly i urzadzenia cyfrowe, WNT, Warsaw 1978.Google Scholar
- 6 Chu Y., Computer organization and microprogramming, Prentice Hall, New York 1972.Google Scholar
- 7 Dembinski P., Budkowski S., Verification, design and description - oriented microprogramming language, Proc. EUROMICRO-78, Munich, 1978. Google Scholar
Digital Library
- 8 Eckhouse R.H., A high-level microprogramming language, Proc. SJCC, 1971.Google Scholar
Digital Library
- 9 Gerace G.B., Vanneschi M., Flow-charting, microprogramming and system design, Proc. EUROMICRO-76.Google Scholar
- 10 Hansen I., Leszczylowski J., Micro-program-oriented model of the controlled structure, Proc. MFCS 76, Lecture Notes in Comp. Sci., Springer-Verlag, 1976Google Scholar
- 11 Mazurkiewicz A., Proving properties of processes, CCPAS Reports 134, 1973.Google Scholar
- 12 Patterson D.A., The design of a system for the synthesis of correct microprograms, Proc. MICRO-8, Chicago, 1975. Google Scholar
Digital Library
- 13 Salisbury A.B., Microprogrammable computer architecture, Elsevier, New York, 1976. Google Scholar
Digital Library
- 14 Scott D., Strachey Ch., Toward a math. semantics for computer languages, Techn. Monograph PRG-6, Oxford, 1971Google Scholar
Index Terms
An introduction to the verification oriented microprogramming language “MIDDLE”
Recommendations
An introduction to the verification oriented microprogramming language “MIDDLE”
MICRO 11: Proceedings of the 11th annual workshop on MicroprogrammingThe basic ideas of the microprogramming language MIDDLE are presented. The language gives a possibility to describe various properties of an executing hardware without loosing too much from the flexibility of a higher-level programming language. Three ...
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 ...
The Datasaab FCPU microprogramming language
Proceedings of the meeting on SIGPLAN/SIGMICRO interfaceThis 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