A Conceptual Framework for Computer Architecture
ACM Computing Surveys (CSUR)
Communications of the ACM
Verification of hardware designs thru symbolic manipulation
Proceedings of the Symposium on Design Automation and Microprocessors
Concurrent fault simulation and functional level modeling
DAC '77 Proceedings of the 14th Design Automation Conference
State deltas: a formalism for representing segments of computation.
State deltas: a formalism for representing segments of computation.
Hi-index | 0.00 |
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.