Abstract
Automatic microcode generation is a significant research field of firmware engineering. In the research System AMPS, three kinds of formal description of microoperations will be needed in automatic microcode generation from high level microprogramming language: algorithmic microoperations, real microoperations, and formal microoperations. In this paper, we present and discuss the formal descriptions, the relationship among real microoperations as well as the factors by which the concurrency of microoperations can be identified; we also show the vitality of these three kinds of description mentioned above in allowing the high level microprogramming language being machine-independent, and the generality of microcode compaction algorithm.
- Chu Y., "An Algol-like Computer Design Language," Comm. of ACM, Oct. 1965, pp. 607--615. Google Scholar
Digital Library
- R. H. Eckhouse, Jr., "A High-level Microprogramming Language (MPL)," AFIPS Conference Proceedings, vol. 39, 1971 SJCC.Google Scholar
- C. V. Ramamoorthy and Masahiro Tsuchiya, "A High-Level Language for Horizontal Microprogramming," IEEE Trans. Comput., vol. C-23, no. 8, Aug. 1974, pp. 791--801.Google Scholar
- D. J. Dewitt, "Extensibility---A New Approach for Designing Machine Independent Microprogramming Languages," Proceedings of the 9-th Annual Workshop on Microprogramming, 1976, pp. 33--41. Google Scholar
Digital Library
- S. Dasgupta, "Towards a Microprogramming Language Schema," Proceeding of the 11-th Annual Workshop on Microprogramming, 1978, pp. 144--153. Google Scholar
Digital Library
- Takaroku Baba, Hiroshi Hagiware, "The MPG System, A Machine-independent efficient Microprogram Generator," IEEE Trans. Comput., vol. C-30, no. 6, June 1981, pp. 373--395.Google Scholar
- Scott Davidson, David Landskov, Bruce D. Shriver and Patrick W. Mallett, "Some Experiments in Local Microcode Compaction for Horizontal Machines," IEEE Trans. Comput., vol. C-30, no. 7, July 1981, pp. 460--477.Google Scholar
- J. Fisher, "Trace Scheduling: A Technique for Global Microcode Compaction," IEEE Trans. Comput., vol. C-31, no. 7, July 1981, pp. 478--490.Google Scholar
- M. Tokoro, E. Tamura, and T. Takizuka, "Optimization of microprograms," IEEE Trans. Comput., vol. C-30, no. 7, July 1981, pp. 491--504.Google Scholar
- R. L. Kleir and C. V. Ramamoorthy, "Optimization Strategies for Microprograms," IEEE Trans. Comput., vol. C-20, no. 7, July 1971, pp. 783--794.Google Scholar
- Michael Andrews, "Principles of Firmware Engineering in microprogram Control," Computer Science Press, Inc., 1980, pp. 173. Google Scholar
Digital Library
- M. Mezzalama and P. Prinetto, "A Hierazchical Description Model for Microcode," IEEE Trans. Comput., vol. C-32, no. 5, May 1983, pp. 478--487.Google Scholar
- Tilak Agerwala, "Microprogram Optimization: A Survey," IEEE Trans. Comput., vol. C-25, no. 10, Oct. 1976, pp. 962--973.Google Scholar
- Subrata Dasgupta and John Tartar, "The Identification of Maximal Parallelism in Straightline Microprograms," IEEE Trans. Comput., vol. C-25, no. 10, Oct. 1976, pp. 986--991.Google Scholar
- S. S. Yau, A. C. Schowe, and M. Tsuchiya, "On Storage Optimization of Horizontal Microprograms," Proc. 7-th Annual Workshop on Microprogramming, 1974, pp. 98--106. Google Scholar
Digital Library
- Mario Tokoro, Eiji tamuza, Kazuhiko Takase, and Kiichiro Tamaru, "An Approach to Microprogram Optimization Considering Resource Occupancy and Instruction Formats," Proc. 10th Annual Workshop on Microprogramming, 1977, pp. 92--108. Google Scholar
Digital Library
- Chen Bingcong, "Microprogramming Techniques in Electronic Computer," (Chinese), Defence Industry Publishing House, Beijing, 1981.Google Scholar
- IBM CORP., IBM System 370 Model 158 Control Specification, 1977.Google Scholar
- M. Mezzalama and P. Prinetto, "A Machine-Independent Approach to Microprogram Synthesis," Software --- Practice and Experience, vol. 12, no. 11, Nov. 1982, pp. 985--1010.Google Scholar
Cross Ref
Recommendations
Experiments in Automatic Microcode Generation
A procedure is described which permits applications problems coded in a higher level language to be compiled to microcode for horizontally microprogrammed processors. An experimental language has been designed which is suitable for expressing ...
Automatic generation of custom SIMD instructions for superword level parallelism
DATE '14: Proceedings of the conference on Design, Automation & Test in EuropeApplication specific instruction-set processors (ASIPs) have drawn significant attention from System-on-a-Chip (SoC) community due to the capability of fine grain flexibility and customizability. In order to maximize the benefit of ASIP, automatic ...
Automatic formal verification of multithreaded pipelined microprocessors
ICCAD '11: Proceedings of the International Conference on Computer-Aided DesignWe present highly automatic techniques for formal verification of pipelined microprocessors with hardware support for multithreading. The processors are modeled at a high level of abstraction, using a subset of Verilog, in a way that allows us to ...






Comments