Theoretical Foundations of VLSI Design

Name: Theoretical Foundations of VLSI Design
Price: 62.81 USD
Availability: InStock
ISBN: 9780521545655

ISBN-10: 052154565X

ISBN-13: 9780521545655

Edition: 2003

Authors: K. McEvoy, J. V. Tucker, C. J. van Rijsbergen, S. Abramsky, P. H. Aczel

List price: $99.99

30 day, 100% satisfaction guarantee!

Marketplace

1 new & used from $62.81

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

This book discusses recent research in the theoretical foundations of several subjects of importance for the design of hardware, and for computer science in general. The physical technologies of very large scale integration (VLSI) are having major effects on the electronic industry. The potential diversity and complexity of digital systems have begun a revolution in the technologies of digital design, involving the application of concepts and methods to do with algorithms and programming. In return, the problems of VLSI design have led to new subjects becoming of importance in computer science. Topics covered in this volume include: models of VLSI complexity; complexity theory; systolic…

Book details

List price: $99.99
Copyright year: 2003
Publisher: Cambridge University Press
Publication date: 12/4/2003
Binding: Paperback
Pages: 452
Size: 7.25" wide x 9.50" long x 1.00" tall
Weight: 1.738
Language: English



Introduction



Formal Methods and Verification



A mechanised proof of correctness of a simple counter



A formal model for the hierarchical design of synchronous and systolic algorithms



Correctness proofs for systolic algorithms



A palindrome recogniser



Theory and Methodology of Design



Formal specification of a digital correlator



Describing and reasoning about circuits using relations



Models of Circuits and Complexity Theory



Superpolynomial bounds on monotone network complexity



The prioritiser experiment



Estimation and measurement of computation time in VLSI