Abstract
The use of microprogrammable processors and networks of microcomputers has induced a reconsideration of development tools and methodologies for system design and construction. This article presents the history, structure, and use of a system developed at Case Western Reserve to support the development of these kinds of systems. Other applications of hardware description languages to microprogramming and system development are discussed. The paper concludes with a discussion of limitations on the application of hardware description languages to this area as a consequence of faults in the languages themselves.
- 1 Abromovici, M., Brauer, M., and Kumar, K., Concurrent Fault Simulation and Functional Level Modeling, Proc. 14th Design Automation Conference, 1977.]] Google Scholar
Digital Library
- 2 Avizienis, A., Architecture of Fault Tolerant Computing Systems, Proc. Intl. Symposium on Fault Tolerant Computing Systems, 1975.]]Google Scholar
- 3 Backus, J., Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs, CACM, Vol. 21, No. 8, August 1978.]] Google Scholar
Digital Library
- 4 Barbacci, M., A Comparison of Register Transfer Languages for Describing Computer and Digital Systems, IEEE Transactions on Computers, February 1975.]]Google Scholar
- 5 Barbacci, M. and Siework, D., Applications of an ISP Compiler in a Design Automation Laboratory, Proc. 1975 Intl. Symposium on Computer Hardware Description Languages and Their Applications, 1975.]]Google Scholar
- 6 Barbacci, M. and Siework D., The C-MU RT-CAD System: An Innovative Approach to Computer- Aided Design, CMU Internal Report, 1975.]]Google Scholar
- 7 Bell, C. G., and Newell, A., The PMS and ISP Descriptive System for Computer Systems, Proc. AFIPS, SJCC, 1970.]]Google Scholar
- 8 Cooper, R., The Distributed Pipeline, IEEE Transactions on Computers, November 1977.]]Google Scholar
- 9 Crocker, S., State Deltas: A Formalism for Representing Segments of Computation, PhD Thesis, Computer Science Department, UCIA, 1977.]] Google Scholar
Digital Library
- 10 Davis, A. L., Data Driven Nets: A Maximally Concurrent, Procedural, Parallel Process Representation for Distributed Control Systems, Univ. of Utah Dept. of Computer Science Report UUCS-78-108, July 1978.]]Google Scholar
- 11 Drongowski, P. J., Fuller, S. H., and Almes, G. T., Emulating the Nova on the PDP-11/40E: A Case Study, IEEE Fall CompCon '75, September 9-11, 1975, Washington D.C.]]Google Scholar
- 12 Drongowski, P. J., N.mPc: An Adaptable Software System to Support the Development of Microprocessor- Based Systems, Andrew R. Jennings Computer Center Report 1177, Case Western Reserve University, 1977.]]Google Scholar
- 13 Drongowski, P. J., ISP' Language Reference Manual with Implementation Notes, Ford Aerospace Technical Report, IEEE Repository No. R78-216, June 1978.]]Google Scholar
- 14 Maxey, G. F., and Organick, E. I., CASL - A Language for Automating the Implementation of Computer Architectures, Proc. of the 5th Symposium on Computer Hardware Description Languages, Palo Alto, California, October, 1979.]]Google Scholar
- 15 Mitre Corp., Secure Unix Kernel B5 Specifications, Bedford, Massachusetts, 1976.]]Google Scholar
- 16 Parker, A., et. al., the C-MU Design Automation System: An Example of Automated Data Path Design, Carnegie-Mellon University Design Research Center Report DRC-18-15-79, May 1979.]] Google Scholar
Digital Library
- 17 Parker, A., and Hafer, L., Automated Synthesis of Digital Hardware, C-MU Design Research Center Report DRC-18-12-79, May 1979.]]Google Scholar
- 18 Parker, A. C., Thomas, D. E., and Crocker, S., ISPS: A Retrospective View, C-MU Design Research Center Report DRC-18-14-79, May 1979.]]Google Scholar
- 19 Parker, A. C., Invited Seminar Speaker, Dept. of Computer Science, University of Utah, June 1979.]]Google Scholar
- 20 Proceedings of the 1976 International Conference on Parallel Processing, IEEE, 1976.]]Google Scholar
- 21 Reddie, S. S., and Feustal, E. A., A Conceptual Framework for Computer Architecture, Computing Surveys, CACM, June 1976.]] Google Scholar
Digital Library
- 22 Rose, C. W., and Schoeffler, J. D., Distributed Intelligence and Input/Output in Data Acquisition Systems, Proc. International Telemetering Conference, Vol. XII, 705-720, September 1976.]]Google Scholar
- 23 Roubine, O., and Robinson, L., SPECIAL Reference Manual, 3rd Edition, SRI International Technical Report CSG-45, January 1977.]]Google Scholar
- 24 Proc. of the 16th Design Automation Conference, Session on N.mPc, ACM SIGDA and IEEE CS, San Diego, California, June 25-27, 1979.]]Google Scholar
- 25 TRW, Corp., Advanced SMITE Technical Report (Interim): Performance Measurement, Extensibility, and Concurrency Study, Defense and Space Systems Group, March 1978.]]Google Scholar
- 26 Wagner, T. J., Verification of Hardware Designs Through Symbolic Manipulation, Proc. Design Automation and Microprocessors, ACM SIGDA and IEEE CS, Palo Alto, California]] Google Scholar
Digital Library
Index Terms
Application of hardware description languages to microprogramming: Method, practice, and limitations
Recommendations
Application of hardware description languages to microprogramming: Method, practice, and limitations
MICRO 12: Proceedings of the 12th annual workshop on MicroprogrammingThe use of microprogrammable processors and networks of microcomputers has induced a reconsideration of development tools and methodologies for system design and construction. This article presents the history, structure, and use of a system developed ...
Hardware Description Languages: Voices from the Tower of Babel*
A hardware description language can be used to describe the logic gates, the sequential machines, and the functional modules, along with their interconnection and their control, in a digital system. In a general sense, Boolean equations, logic diagrams, ...
The Transmogrifier C hardware description language and compiler for FPGAs
FCCM '95: Proceedings of the IEEE Symposium on FPGA's for Custom Computing MachinesAbstract: The Transmogrifier C hardware description language is almost identical to the C programming language, making it attractive to the large community of C-language programmers. This paper describes the semantics of the language and presents a ...






Comments