A language capable of describing computer architecture.

Abstract

A fully automated and effective aid for computer system design is of great interest in increasing designers efficiency and reduce costs. Such a system, which requires unified and compatible tools for designing and analyzing computer architectures is still missing. Inserted in a research program by Professor Rigas to develop a complete automated design system, this work focuses on designing a formal language capable of describing the data flow of a computer. The language is capable of describing the interconnections between the major data flow components and the control of the flow of information. Using this language, several decompositions of the intended system can be specified and studied to find the optimal one.