Abstract
Much work has been done recently on the problem of compaction of microcode, that of detecting parallelism between microoperations expressed in a sequential manner in order to pack the operations into as few microinstructions as possible. In particular, the theory of
local
compaction has developed to the stage where some extensive testing of the models and methods is called for.
This paper examines some of the considerations for local compaction of the
nanocode
of the Nanodata QM-1 in the context of the theoretical model of compaction presented in the literature.
This application of compaction to QM-1 nanocode not only provides a stringent test of the model, but also shows that compaction of code for this architecture is feasible, thus forming part of a test of the practicalities of developing a high-level microprogramming language for the QM-1.
Publisher
Association for Computing Machinery (ACM)
Reference22 articles.
1. Agrawala A.K. Rauscher T.G. Foundations of Microprogramming Academic Press Inc. New York 1976 Agrawala A.K. Rauscher T.G. Foundations of Microprogramming Academic Press Inc. New York 1976
2. Dasgupta S. "Some Implications of Program Methodology for Microprogramming Language Design" Microprogramming Firmware and Restructurable Hardware G.Chroust and J.Mulbacher Eds. North-Holland Publishers Amsterdam 1980 pp.243-252 Dasgupta S. "Some Implications of Program Methodology for Microprogramming Language Design" Microprogramming Firmware and Restructurable Hardware G.Chroust and J.Mulbacher Eds. North-Holland Publishers Amsterdam 1980 pp.243-252
3. Some Aspects of High-Level Microprogramming
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The use of hoare logic in the verification of horizontal microprograms;International Journal of Computer & Information Sciences;1984-12
2. Literatur;Mikroarchitekturen und Mikroprogrammierung: Formale Beschreibung und Optimierung;1984