Abstract

The importance of the study of design theory and methodologies has become apparent in all disciplines of engineering. In particular, if the computer industry is to advance at the rate of improvements in semiconductor technology, then better methods must be developed for designing and verifying computer architectures. The field of computer-aided design (CAD) has provided tools and analysis techniques for use in this area. However, the vast majority of CAD systems require a formal, complete specification of the computer’s design as input. Creating such a complex specification is itself a very difficult, time-consuming task. In reality this is truly the “design” phase and is usually assumed already complete by CAD systems. The design, including performance/cost trade-offs and verification, of architecture specifications is the subject of this research.

This content is only available via PDF.
You do not currently have access to this content.