article

Free access

S(QM-1): An instantiation of the high level microprogramming language scheme S for the nanodata QM-1¹

Authors:

Alynn Klassen,

Subrata DasguptaAuthors Info & Claims

ACM SIGMICRO Newsletter, Volume 12, Issue 4

Pages 124 - 130

https://doi.org/10.1145/1014192.802444

Published: 01 December 1981 Publication History

PDF eReader

Abstract

In previous papers [1,2,3] a high level microprogramming language schema called S* was described. S* is a partially specified language such that for a given host machine M1, a particular language S*(M1) results when M1's properties are used to complete the specifications of S*. We say that S* is instantiated into S*(M1) with respect to M1. This paper describes the instantiation of S* with respect to the Nanodata QM-1. The resulting language S*(QM-1) allows high level “nanoprograms” to be written for the QM-1. The major objective of this research was to examine the language schema S*, from which S*(QM-1) was instantiated, in light of its overall philosophy and usefulness as a tool in the development of a specific microprogramming language for a highly complex microprogrammable machine.

References

[1]

Dasgupta, S. "Towards a Microprogramming Language Schema."Proc. 11th Annual Workshop on Microprogramming (MICRO-11), Nov. 1978, pp. 144-153.

Digital Library

Google Scholar

[2]

Dasgupta, S. "Some Implications of Programming Methodology for Microprogramming Language Design."Microprogramming, Firmware and Restructurable Hardware, Ed. X.G. Chroust and J. Mulbacher, North-Holland Amsterdam, 1980.

Google Scholar

[3]

Dasgupta, S. "Some Aspects of High Level Microprogramming."ACM Computing Surveys, Vol. 12, No. 3 (1980), pp. 295-323. Vol. 11, No. 5 (1978), pp. 21-33.

Digital Library

Google Scholar

[4]

Demco, J. C., and Marsland, T. A. "An Insight into PDP-11 Emulation."Proc. 9th Annual Workshop on Microprogramming (MICRO-9), Sept. 1976, pp. 20-26.

Digital Library

Google Scholar

[5]

Flynn, M. J., and Rosin, R. F. "Microprogramming: an Introduction and Viewpoint", IEEE Transactions on Computers, Vol. C-20, NO. 7 (1971), pp. 727-731.

Google Scholar

[6]

Johnson, S. C. "Language Development Tools on the Unix System."IEEE Computer, Vol. 13, No. 8 (1980), pp. 16-21. Vol. 57, No. 6 (1978), pp. 2155-2175.

Digital Library

Google Scholar

[7]

Klassen, A. and Dasgupta, S. "Syntax and Semantics of the High Level Microprogramming Language S*(QM-1)."Technical Report TR81-3, University of Alberta, Edmonton Alberta, T6G-1H7, June 1981.

Google Scholar

[8]

Nanodata Corporation. MULTI—Nanocode Segment, July 1975.

Google Scholar

[9]

Nanodata Corporation. QM-1 Hardware Users Manual. Third Edition, Revision 1, Buffalo, New York: Nanodata Corporation, 1979.

Google Scholar

[10]

Olafsson, M. "The QM-C: A Microprogrammed Instruction-Set Architecture."M.Sc. Thesis, University of Alberta 1981.

Google Scholar

[11]

Rideout, D. J. "An Application of a Microcode Compaction Technique to the Nanodata QM-1 Nano-architecture."M.Sc. Thesis, University of Alberta 1981.

Google Scholar

[12]

Rosin, R. F. "Contemporary Concepts of Microprogramming and Emulation."ACM Computing Surveys, Vol. 1, No. 4 (1969), pp. 197-212.

Digital Library

Google Scholar

[13]

Rosin, R. F., Frieder, G., and Eckhouse, R. H. "An Environment for Research in Microprogramming and Emulation."Communications of ACM, Vol. 15, No. 8 (1972), pp. 748-760.

Digital Library

Google Scholar

[14]

Sint, M. "A Survey of High Level Microprogramming Languages."Proc. 13th Annual Workshop on Microprogramming (MICRO-13), Dec. 1980, Colorado Springs, Colo., pp. 141-153.

Digital Library

Google Scholar

Cited By

View all

Dasgupta SWagner A(1984)The use of hoare logic in the verification of horizontal microprogramsInternational Journal of Computer & Information Sciences10.1007/BF0098582313:6(461-490)Online publication date: Dec-1984
https://doi.org/10.1007/BF00985823
Bode ABode A(1984)LiteraturMikroarchitekturen und Mikroprogrammierung: Formale Beschreibung und Optimierung10.1007/978-3-642-69701-2_6(206-216)Online publication date: 1984
https://doi.org/10.1007/978-3-642-69701-2_6
Wagner ADasgupta S(1983)Axiomatic proof rules for a machine-specific microprogramming languageACM SIGMICRO Newsletter10.1145/1096419.109644214:4(151-158)Online publication date: 1-Dec-1983
https://dl.acm.org/doi/10.1145/1096419.1096442
Show More Cited By

Index Terms

S*(QM-1): An instantiation of the high level microprogramming language scheme S* for the nanodata QM-1¹
1. Hardware
  1. Emerging technologies
    1. Analysis and design of emerging devices and systems
      1. Emerging languages and compilers
2. Software and its engineering
  1. Software notations and tools
    1. Compilers
    2. General programming languages

Recommendations

S*(QM-1): An instantiation of the high level microprogramming language scheme S* for the nanodata QM-1¹
MICRO 14: Proceedings of the 14th annual workshop on Microprogramming

In previous papers [1,2,3] a high level microprogramming language schema called S* was described. S* is a partially specified language such that for a given host machine M1, a particular language S*(M1) results when M1's properties are used to complete ...
EASY—an operating system for the QM-1
MICRO 10: Proceedings of the 10th annual workshop on Microprogramming

The Emulation Aid SYstem is a virtual machine monitor for the Nanodata QM-1 microprogrammable computer. The system is designed to provide the user with an interactive interface for the development and subsequent use of emulations on the QM-1. EASY ...
EASY—an operating system for the QM-1

The Emulation Aid SYstem is a virtual machine monitor for the Nanodata QM-1 microprogrammable computer. The system is designed to provide the user with an interactive interface for the development and subsequent use of emulations on the QM-1. EASY ...

Comments

Information & Contributors

Information

Published In

ACM SIGMICRO Newsletter Volume 12, Issue 4

Dec. 1981

187 pages

ISSN:1050-916X

DOI:10.1145/1014192

Issue’s Table of Contents

MICRO 14: Proceedings of the 14th annual workshop on Microprogramming
December 1981
214 pages
Chairman:
Dick Eckhouse

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 December 1981

Published in SIGMICRO Volume 12, Issue 4

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
239
Total Downloads

Downloads (Last 12 months)63
Downloads (Last 6 weeks)16

Reflects downloads up to 13 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Dasgupta SWagner A(1984)The use of hoare logic in the verification of horizontal microprogramsInternational Journal of Computer & Information Sciences10.1007/BF0098582313:6(461-490)Online publication date: Dec-1984
https://doi.org/10.1007/BF00985823
Bode ABode A(1984)LiteraturMikroarchitekturen und Mikroprogrammierung: Formale Beschreibung und Optimierung10.1007/978-3-642-69701-2_6(206-216)Online publication date: 1984
https://doi.org/10.1007/978-3-642-69701-2_6
Wagner ADasgupta S(1983)Axiomatic proof rules for a machine-specific microprogramming languageACM SIGMICRO Newsletter10.1145/1096419.109644214:4(151-158)Online publication date: 1-Dec-1983
https://dl.acm.org/doi/10.1145/1096419.1096442
Linn J(1983)SRDAG compactionACM SIGMICRO Newsletter10.1145/1096419.109642314:4(11-22)Online publication date: 1-Dec-1983
https://dl.acm.org/doi/10.1145/1096419.1096423
Dasgupta SOlafsson MSzygenda SHughes JBlanton MWagner TFrailey DGunter TMcLeavy CLipovski JMalek M(1982)Towards a family of languages for the design and implementation of machine architecturesProceedings of the 9th annual symposium on Computer Architecture10.5555/800048.801724(158-167)Online publication date: 26-Apr-1982
https://dl.acm.org/doi/10.5555/800048.801724
Dasgupta SOlafsson M(1982)Towards a family of languages for the design and implementation of machine architecturesACM SIGARCH Computer Architecture News10.1145/1067649.80172410:3(158-167)Online publication date: 1-Apr-1982
https://dl.acm.org/doi/10.1145/1067649.801724

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations

S*(QM-1): An instantiation of the high level microprogramming language scheme S* for the nanodata QM-11

EASY—an operating system for the QM-1

EASY—an operating system for the QM-1

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations

S(QM-1): An instantiation of the high level microprogramming language scheme S for the nanodata QM-1¹