|
|
Sold Out
Book Categories |
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.
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
Shami Razak
reviewed Theoretical Foundations of VLSI Design on October 09, 2014 Theoretical Foundations of VLSI Design
I am not sure who the audience for this book is. The beginning chapters are obviously geared toward beginners, but the later chapters are quite complex - a remarkable range for a book under 400 pages. The book does a very poor job clearly explaining advanced topics.
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish List
X
This item is in your Collection
Theoretical Foundations of VLSI Design
X
This Item is in Your Inventory
Theoretical Foundations of VLSI Design
X
You must be logged in to review the productsX
X
X
Add Theoretical Foundations of VLSI Design, 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, Theoretical Foundations of VLSI Design to the inventory that you are selling on WonderClubX
X
Add Theoretical Foundations of VLSI Design, 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, Theoretical Foundations of VLSI Design to your collection on WonderClub |
