Abstract
High level microprogramming languages have been studied extensively, but no widely accepted HLML exists to date. We examine the classes of HLMLs, giving examples. We then give some reasons as to the current lack of an accepted HLML, and give some suggestions how to solve this problem. The existence of a HLML would allow work on higher level microprogramming and firware engineering to proceed more rapidly. A possible microprogramming environment, based on a HLML, is presented.
- Bartlett, J. F., "MicroTAL - A Machine-Dependent High-Level Microprogramming Language," Proc. 14th Annu. Microprogramming Workshop, pp. 109--114. Google Scholar
Digital Library
- Brooks, F. P. Jr, The Mythical Man Month (3rd ed.). Reading, Massachusetts: Addison-Wesley, 1975. Google Scholar
Digital Library
- Budkowski, S., and P. Dembinski, "Firmware versus Software Verification," Proc. 11th Annu. Microprogramming Workshop, pp. 119--127. Google Scholar
Digital Library
- Carter, W. C., W. H. Joyner, Jr., and D. B. Brand, "Symbolic Simulation for Correct Machine Design," 16th Annu. Design Automation Conf., June 1979. Google Scholar
Digital Library
- Crocker, S. D., Marcus, L., and D. van-Mierop, "The ISI Microcode Development System," IFIP TC-10 Conference on Microprogramming, Firmware and Restructurable Hardware, North-Holland, Amsterdam, 1980, pp. 243--249.Google Scholar
- Dasgupta. S., "Some Aspects of High Level Microprogramming," Comput. Surv., 12 (1980), 3, pp. 295--324. Microprogramming Language Design," Google Scholar
Digital Library
- Davidson, S., "Design and Construction of a Virtual Machine Resource Binding Language," Ph.D. Dissertation, Computer Science Department, University of Southwestern Louisiana, December 1980. Google Scholar
Digital Library
- Davidson, S., and B. D. Shriver, "Firmware Engineering: An Extensive Update," IFIP TC-10 Conference on Microprogramming, Firmware and Restructurable Hardware, North-Holland, Amsterdam, 1980, pp. 1--36.Google Scholar
- Davidson, S., D. Landskov, B. D. Shriver, and P. W. Mallett, "Some Experiments in Local Microcode Compaction for Horizontal Machines," IEEE Trans. Comput., C-30 (1981), 7, pp. 460--477.Google Scholar
Digital Library
- Davidson, S., and B. D. Shriver, "Specifying Target Resources in a Machine Independent High Level Language," AFIPS Proceedings of the National Computer Conference (Vol. 50), 1981, pp. 81--85.Google Scholar
- Fisher, J. A., "Trace Scheduling: A Technique for Global Microcode Compaction," IEEE Trans. Comput., C-30 (1981), 7, pp. 478--490.Google Scholar
Digital Library
- Guffin, R. M., "A Microprogramming Language Directed Microarchitecture," Proc. 15th Annu. Microprogramming Workshop, pp. 42--49. Google Scholar
Digital Library
- Hobson, R. F., P. Hannon, and J. Thornburg, "High-Level Microprogramming with APL Syntax," Proc. 14th Annu. Microprogramming Workshop, pp. 131--139. Google Scholar
Digital Library
- Landskov, D., S. Davidson, B. D. Shriver, and P. W. Mallett, "Local Microcode Compaction Techniques," Comput. Surv., 12 (1980), 3, pp. 261--294. Google Scholar
Digital Library
- Lattin, W. W., J. A. Bayliss, D. L. Budde, J. R, Rattner, and W. S. Richardson, "A Methodology for VLSI Chip Design," Lambda, II (1981), 2, pp. 34--45.Google Scholar
- MICRO-14, Proceedings of 14th Annual Microprogramming Workshop, October 12-15 1981, Chatham, MA.Google Scholar
- Oestreicher, D. R., "A Microprogramming Language for the MLP-900," Proc. ACM SIGPLAN-SIGMICRO Interface Meeting, 1973, pp. 113--116. Google Scholar
Digital Library
- Patterson, D. A., "An Experiment in High Level Language Microprogramming and Verification," Comm. ACM, 24 (1981), 10, pp. 699--709. Google Scholar
Digital Library
- Patterson, D. A., K. Lew, and R. Tuck, "Towards an Efficient, Machine-Independent Language for Microprogramming," Proc. 12th Annu. Microprogramming Workshop, pp. 22--35. Google Scholar
Digital Library
- Patterson, D., R. Goodell, M. D. Poe, and S. C. Steely Jr., "V-Compiler: A Next-Generation Tool for Microprogramming," AFIPS Proceedings of the National Computer Conference, (Vol. 50), 1981, pp. 103--109.Google Scholar
- Sheraga, R. J., and J. L. Gieser, "Automatic Microcode Generation for Horizontally Microprogrammed Processors," Proc. 14th Annu. Microprogramming Workshop, pp. 154--168. Google Scholar
Digital Library
- Sint, M., "MIDL - A Microinstruction Description Language," Proc. 14th Annu. Microprogramming Workshop, pp. 95--106. Google Scholar
Digital Library
- Sint, M. "A Survey of Higher Level Microprogramming Languages," Proc. 13th Annu. Microprogramming Workshop, pp. 141--153. Google Scholar
Digital Library
- Sommerville, J. F., "Towards Machine Independent Microprogramming," Euromicro Journal, 5 (1979), 4, pp. 219--224.Google Scholar
Cross Ref
- Teitelbaum, T., and T. Reps, "The Cornell Program Synthesizer: A Syntax-Directed Programming Environment," Comm. ACM, 24 (1981), 9, pp. 563--573. Google Scholar
Digital Library
- Tucker, A. B., and Flynn, M. J., "Dynamic Microprogramming: Processor Organization and Programming," Comm. ACM, 14 (1971), 4, pp. 240--250. Google Scholar
Digital Library
- Wasserman, A. I. (ed.), Special Issue on Programming Environments, Computer, 14 (1981), 4.Google Scholar
Digital Library
- Weidner, T. G., "CHAMIL, A Case Study in Microprogramming Language Design," ACM SIGPLAN Notices, 15 (1980), 1, pp. 156--166. Google Scholar
Digital Library
- Wexelblat, R. L. (ed.), Proceedings of ACM SIGPLAN-SIGMICRO Interface Meeting, 1973.Google Scholar
Recommendations
High-level microprogramming: an optimizing C compiler for a processing element of a CAD accelerator
MICRO 23: Proceedings of the 23rd annual workshop and symposium on Microprogramming and microarchitectureThe development of a high-level language compiler for a micro-programmable processing element (PE) in the MARS multicomputer is described. MARS, an MIMD message passing machine, was designed to speed up VLSI CAD and similar other non-numerical ...
Target-independent high-level microprogramming
We describe a system which allows high-level microprogramming without requiring programmer knowledge of the target architecture, depending instead on retargetable microcode generation and optimization. In the ideal system the code generation, microcode ...
Microprogramming: Perspective and Status
The concept of microprogramming has been changing with the development of hardware technology to facilitate dynamic microprogramming and the development of software technology to facilitate user microprogramming. An examination of the status of ...






Comments