Daniel P. Siewiorek

Mario R. Barbacci

This book is designed to present the student with a computer description notation, ISP, and a methodology for the analysis of computer architectures. The overall motivation is to present the space of architecture features spanned by a collection of representative machines rather than presenting yet another paper machine, designed solely for pedagogical reasons. Each chapter of this book is meant to illustrate some aspect of the architecture space. Each feature is presented and discussed in terms of the same set of machines. The student is assumed to have some background in digital logic, assembly language programming, numeric representation in different bases and conversion between bases.

The Design and Analysis of Instruction Set Processors

Cees-Jan Koomen

IFIP WG 10.2

The symposium on which this book is based has become established as the focal point for the meeting of experts in the field of formal descriptions of hardware and their use in analysis and synthesis of digital systems. The papers reflect the gradual shift from the original emphasis on the uses of language design to describe hardware, toward more formal techniques for specification and verification.

Proceedings of the IFIP WG 10.2 Eighth International Conference on Computer Hardware Description Languages and Their Applications, Amsterdam, the Netherlands, 27-29 April, 1987

Mario R. Barbacci

Books

Your next favorite book is out there