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

MICRO 14: Proceedings of the 14th annual workshop on Microprogramming

Pages 124 - 130

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

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
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¹

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 ...
Two strings at Hamming distance 1 cannot be both quasiperiodic

We present a generalization to quasiperiodicity of a known fact from combinatorics on words related to periodicity. A string is called periodic if it has a period which is at most half of its length. A string w is called quasiperiodic if it has a non-...

Comments

Information & Contributors

Information

Published In

MICRO 14: Proceedings of the 14th annual workshop on Microprogramming

December 1981

214 pages

Chairman:
Dick Eckhouse

ACM SIGMICRO Newsletter Volume 12, Issue 4
Dec. 1981
187 pages
ISSN:1050-916X
DOI:10.1145/1014192
Issue’s Table of Contents

Publisher

IEEE Press

Publication History

Published: 01 December 1981

Check for updates

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 484 of 2,242 submissions, 22%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
248
Total Downloads

Downloads (Last 12 months)72
Downloads (Last 6 weeks)14

Reflects downloads up to 25 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

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
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

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.

Cited By

Index Terms

Recommendations

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

EASY—an operating system for the QM-1

Two strings at Hamming distance 1 cannot be both quasiperiodic