Synopses & Reviews
'Recent research on the physical technologies of very large scale integration (VLSI).'
Synopsis
Recent research on the physical technologies of very large scale integration (VLSI).
Synopsis
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.
Table of Contents
Introduction; Part I. Formal Methods and Verification: 1. A mechanised proof of correctness of a simple counter; 2. A formal model for the hierarchical design of synchronous and systolic algorithms; 3. Correctness proofs for systolic algorithms; 4. A palindrome recogniser; Part II. Theory and Methodology of Design: 5. Formal specification of a digital correlator; 6. Describing and reasoning about circuits using relations; Part III. Models of Circuits and Complexity Theory: 7. Superpolynomial bounds on monotone network complexity; 8. The prioritiser experiment; 9. Estimation and measurement of computation time in VLSI.