Theoretical Foundations of VLSI Design (Cambridge Tracts in Theoretical Computer Science)

Theoretical Foundations of VLSI Design (Cambridge Tracts in Theoretical Computer Science)

  • ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す
  • 製本 Hardcover:ハードカバー版/ページ数 448 p.
  • 言語 ENG
  • 商品コード 9780521366311
  • DDC分類 621.395

基本説明

New in paperback. Hardcover was publishrd in 1990 is out of print.

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.