Skip to main content Accessibility help
×
Hostname: page-component-78c5997874-lj6df Total loading time: 0 Render date: 2024-11-03T03:59:09.768Z Has data issue: false hasContentIssue false

Preface

Published online by Cambridge University Press:  06 November 2009

K. McEvoy
Affiliation:
University of Leeds
J. V. Tucker
Affiliation:
University of Wales, Swansea
Get access

Summary

The development of VLSI fabrication technology has resulted in a wide range of new ideas for application specific hardware and computer architectures, and in an extensive set of significant new theoretical problems for the design of hardware. The design of hardware is a process of creating a device that realises an algorithm, and many of the problems are concerned with the nature of algorithms that may be realised. Thus fundamental research on the design of algorithms, programming and programming languages is directly relevant to research on the design of hardware. And conversely, research on hardware raises many new questions for research on software. These points are discussed at some length in the introductory chapter.

The papers that make up this volume are concerned with the theoretical foundations of the design of hardware, as viewed from computer science. The topics addressed are the complexity of computation; the methodology of design; and the specification, derivation and verification of designs. Most of the papers are based on lectures delivered at our workshop on Theoretical aspects of VLSI design held at the Centre for Theoretical Computer Science, University of Leeds in September 1986. We wish to express our thanks to the contributors and referees for their cooperation in producing this work.

Type
Chapter
Information
Publisher: Cambridge University Press
Print publication year: 1990

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Save book to Kindle

To save this book to your Kindle, first ensure [email protected] is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

  • Preface
  • Edited by K. McEvoy, University of Leeds, J. V. Tucker, University of Wales, Swansea
  • Book: Theoretical Foundations of VLSI Design
  • Online publication: 06 November 2009
  • Chapter DOI: https://doi.org/10.1017/CBO9780511569838.001
Available formats
×

Save book to Dropbox

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.

  • Preface
  • Edited by K. McEvoy, University of Leeds, J. V. Tucker, University of Wales, Swansea
  • Book: Theoretical Foundations of VLSI Design
  • Online publication: 06 November 2009
  • Chapter DOI: https://doi.org/10.1017/CBO9780511569838.001
Available formats
×

Save book to Google Drive

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.

  • Preface
  • Edited by K. McEvoy, University of Leeds, J. V. Tucker, University of Wales, Swansea
  • Book: Theoretical Foundations of VLSI Design
  • Online publication: 06 November 2009
  • Chapter DOI: https://doi.org/10.1017/CBO9780511569838.001
Available formats
×